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