| |
2008年第19卷第12期目录
本期目录 | | | 语义网的一阶逻辑推理技术支持 | | | 徐贵红,张 健 | | | 2008,19(12):3091-3099 | | | [摘要](7442) [PDF 371.15 K](12705) | | | 一种描述逻辑与逻辑程序相结合的杂合系统DLclog | | | 杨方凯,陈小平 | | | 2008,19(12):3100-3110 | | | [摘要](4988) [PDF 431.61 K](7288) | | | 混合系统的符号化可达性分析 | | | 张海宾,段振华 | | | 2008,19(12):3111-3121 | | | [摘要](5242) [PDF 464.50 K](7898) | | | 直觉线性μ-演算 | | | KAZMI Syed Asad Raza,张文辉 | | | 2008,19(12):3122-3133 | | | [摘要](5879) [PDF 437.50 K](6915) | | | 基于奇异点邻近结构的快速指纹识别 | | | 时 鹏,田 捷,苏 琪,杨 鑫 | | | 2008,19(12):3134-3146 | | | [摘要](5029) [PDF 730.74 K](9796) | | | 基于多项式核的结构化有向树数据聚类算法 | | | 丁军娣,马儒宁,陈松灿 | | | 2008,19(12):3147-3160 | | | [摘要](5693) [PDF 885.36 K](8241) | | | 用于图像分割的自适应距离保持水平集演化 | | | 何传江,李 梦,詹 毅 | | | 2008,19(12):3161-3169 | | | [摘要](6482) [PDF 558.99 K](9197) | | | 基于一阶模态逻辑的模糊推理 | | | 张晓如,张再跃,眭跃飞,黄智生 | | | 2008,19(12):3170-3178 | | | [摘要](5561) [PDF 406.11 K](7326) | | | 基于服务的网络体系结构的设计和实现 | | | 易发胜,陈贵海,刘 明,龚海刚,曾家智 | | | 2008,19(12):3179-3195 | | | [摘要](6141) [PDF 583.64 K](7913) | | | 基于调度集合的多播单播数据联合调度算法 | | | 田 霖,杨育波,方更法,石晶林,DUTKIEWICZ Eryk | | | 2008,19(12):3196-3206 | | | [摘要](5200) [PDF 532.85 K](6953) | | | 一种维序的基于组合输入输出排队的并行交换结构 | | | 戴 艺,苏金树,孙志刚 | | | 2008,19(12):3207-3217 | | | [摘要](4871) [PDF 590.17 K](7515) | | | 无线Ad Hoc网络中基于时间广播的功率感知路由 | | | 文 凯,郭 伟,黄广杰 | | | 2008,19(12):3218-3227 | | | [摘要](5466) [PDF 466.07 K](7618) | | | 基于物理的人体空中运动仿真 | | | 魏 毅,夏时洪,王兆其 | | | 2008,19(12):3228-3236 | | | [摘要](5012) [PDF 541.30 K](8080) | | | 海量医学数据处理框架及快速体绘制算法 | | | 薛 健,田 捷,戴亚康,陈 健 | | | 2008,19(12):3237-3248 | | | [摘要](5727) [PDF 757.92 K](8975) | |
|
