| | 2007年第18卷第6期目录
本期目录 | | | 面向语义Web语义表示的模糊描述逻辑 | | | 蒋运承,史忠植,汤庸,王驹 | | | 2007,18(6):1257-1269 | | | [摘要](4885) [PDF 972.84 K](7120) | | | 并发反应式系统的组合模型检验与组合精化检验 | | | 文艳军,王戟,齐治昌 | | | 2007,18(6):1270-1281 | | | [摘要](5117) [PDF 663.51 K](6500) | | | 基于量子逻辑的自动机理论的拓扑性质 | | | 郭秀红 | | | 2007,18(6):1282-1286 | | | [摘要](4853) [PDF 321.48 K](5953) | | | 用擂台赛法则构造多目标Pareto最优解集的方法 | | | 郑金华,蒋浩,邝达,史忠植 | | | 2007,18(6):1287-1297 | | | [摘要](5015) [PDF 852.93 K](8310) | | | 一种基于彩色编码技术的基序发现算法 | | | 王建新,黄元南,陈建二 | | | 2007,18(6):1298-1307 | | | [摘要](4772) [PDF 689.13 K](6855) | | | Ad Hoc网络中基于方向性天线的分布式拓扑控制算法 | | | 贺鹏,李建东,陈彦辉,陈亮 | | | 2007,18(6):1308-1318 | | | [摘要](5180) [PDF 813.23 K](7609) | | | 背包类问题的并行O(25n/6)时间-空间-处理机折衷 | | | 李肯立,赵欢,李仁发,李庆华 | | | 2007,18(6):1319-1327 | | | [摘要](4751) [PDF 622.25 K](6210) | | | STRIPS规划领域中动作效果关系的研究 | | | 吴向军,姜云飞,凌应标 | | | 2007,18(6):1328-1349 | | | [摘要](4707) [PDF 1.51 M](6502) | | | 基于平行性约束的摄像机标定与3D重构 | | | 段福庆,吴福朝,胡占义 | | | 2007,18(6):1350-1360 | | | [摘要](5248) [PDF 714.96 K](7946) | | | 一种检测器长度可变的非选择算法 | | | 何申,罗文坚,王煦法 | | | 2007,18(6):1361-1368 | | | [摘要](4670) [PDF 469.22 K](6401) | | | 基于改进多目标遗传算法的入侵检测集成方法 | | | 俞研,黄皓 | | | 2007,18(6):1369-1378 | | | [摘要](4691) [PDF 586.56 K](6657) | | | 基于最大间隙空间映射的高维数据索引技术 | | | 王国仁,黄健美,王斌,韩东红,乔百友,于戈 | | | 2007,18(6):1419-1428 | | | [摘要](5332) [PDF 642.83 K](7235) | | | F-Index:一种加速Twig查询处理的扁平结构索引 | | | 周军锋,孟小峰,蒋瑜,谢敏 | | | 2007,18(6):1429-1442 | | | [摘要](5249) [PDF 883.33 K](6704) | | | 非结构化对等计算系统中多维范围搜索 | | | 徐林昊,钱卫宁,周傲英 | | | 2007,18(6):1443-1455 | | | [摘要](5459) [PDF 804.36 K](6910) | | | 一种基于有限编码的多副本分簇管理方法 | | | 周婧,王意洁,李思昆 | | | 2007,18(6):1456-1467 | | | [摘要](4442) [PDF 774.81 K](6204) | | | 基于数据时态特性的实时事务并发控制 | | | 韩启龙,郝忠孝 | | | 2007,18(6):1468-1476 | | | [摘要](4829) [PDF 547.03 K](6450) | | | 无线多媒体通信网适应带宽配置在线优化算法 | | | 江琦,奚宏生,殷保群 | | | 2007,18(6):1491-1500 | | | [摘要](4844) [PDF 664.76 K](6640) | | | 对两个改进的BLP模型的分析 | | | 何建波,卿斯汉,王超 | | | 2007,18(6):1501-1509 | | | [摘要](5694) [PDF 561.44 K](8958) | | | 基于参数优化批处理的TLS协议 | | | 齐芳,贾维嘉,鲍丰,吴永东,王国军 | | | 2007,18(6):1522-1530 | | | [摘要](5423) [PDF 672.38 K](6145) | | | 基于GPU的实时深度图像前向映射绘制算法 | | | 刘保权,刘学慧,吴恩华 | | | 2007,18(6):1531-1542 | | | [摘要](4839) [PDF 739.03 K](6827) | | | 基于测地距离的多边形网格模型约束变形 | | | 周艳,刘圣军,金小刚,冯结青,叶晓丰 | | | 2007,18(6):1543-1552 | | | [摘要](5162) [PDF 642.44 K](8231) | |
综述文章 | | | P2P持久存储研究 | | | 田敬,代亚非 | | | 2007,18(6):1379-1399 | | | [摘要](8307) [PDF 1.06 M](11079) | | | XML数据的查询技术 | | | 孔令波,唐世渭,杨冬青,王腾蛟,高军 | | | 2007,18(6):1400-1418 | | | [摘要](9365) [PDF 1.08 M](12411) | | | 车用自组织网络传输控制研究 | | | 陈立家,江昊,吴静,郭成城,徐武平,晏蒲柳 | | | 2007,18(6):1477-1490 | | | [摘要](10691) [PDF 890.16 K](14151) | | | 大规模分布式环境下动态信任模型研究 | | | 李小勇,桂小林 | | | 2007,18(6):1510-1521 | | | [摘要](10984) [PDF 700.42 K](14439) | |
|