主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2007年第18卷第6期目录

   
浏览其它刊期:  
  

本期目录

面向语义Web语义表示的模糊描述逻辑
  蒋运承,史忠植,汤庸,王驹
  2007,18(6):1257-1269 [摘要(3214)]  [PDF 972.84 K (3513)]
  
并发反应式系统的组合模型检验与组合精化检验
  文艳军,王戟,齐治昌
  2007,18(6):1270-1281 [摘要(3272)]  [PDF 663.51 K (2848)]
  
基于量子逻辑的自动机理论的拓扑性质
  郭秀红
  2007,18(6):1282-1286 [摘要(3084)]  [PDF 321.48 K (2781)]
  
用擂台赛法则构造多目标Pareto最优解集的方法
  郑金华,蒋浩,邝达,史忠植
  2007,18(6):1287-1297 [摘要(3122)]  [PDF 852.93 K (3534)]
  
一种基于彩色编码技术的基序发现算法
  王建新,黄元南,陈建二
  2007,18(6):1298-1307 [摘要(2906)]  [PDF 689.13 K (3049)]
  
Ad Hoc网络中基于方向性天线的分布式拓扑控制算法
  贺鹏,李建东,陈彦辉,陈亮
  2007,18(6):1308-1318 [摘要(3284)]  [PDF 813.23 K (4132)]
  
背包类问题的并行O(25n/6)时间-空间-处理机折衷
  李肯立,赵欢,李仁发,李庆华
  2007,18(6):1319-1327 [摘要(3089)]  [PDF 622.25 K (2823)]
  
STRIPS规划领域中动作效果关系的研究
  吴向军,姜云飞,凌应标
  2007,18(6):1328-1349 [摘要(2990)]  [PDF 1.51 M (2852)]
  
基于平行性约束的摄像机标定与3D重构
  段福庆,吴福朝,胡占义
  2007,18(6):1350-1360 [摘要(3361)]  [PDF 714.96 K (3808)]
  
一种检测器长度可变的非选择算法
  何申,罗文坚,王煦法
  2007,18(6):1361-1368 [摘要(2996)]  [PDF 469.22 K (3067)]
  
基于改进多目标遗传算法的入侵检测集成方法
  俞研,黄皓
  2007,18(6):1369-1378 [摘要(2930)]  [PDF 586.56 K (3093)]
  
基于最大间隙空间映射的高维数据索引技术
  王国仁,黄健美,王斌,韩东红,乔百友,于戈
  2007,18(6):1419-1428 [摘要(3499)]  [PDF 642.83 K (3443)]
  
F-Index:一种加速Twig查询处理的扁平结构索引
  周军锋,孟小峰,蒋瑜,谢敏
  2007,18(6):1429-1442 [摘要(3370)]  [PDF 883.33 K (3027)]
  
非结构化对等计算系统中多维范围搜索
  徐林昊,钱卫宁,周傲英
  2007,18(6):1443-1455 [摘要(3393)]  [PDF 804.36 K (3300)]
  
一种基于有限编码的多副本分簇管理方法
  周婧,王意洁,李思昆
  2007,18(6):1456-1467 [摘要(2778)]  [PDF 774.81 K (2901)]
  
基于数据时态特性的实时事务并发控制
  韩启龙,郝忠孝
  2007,18(6):1468-1476 [摘要(3009)]  [PDF 547.03 K (3216)]
  
无线多媒体通信网适应带宽配置在线优化算法
  江琦,奚宏生,殷保群
  2007,18(6):1491-1500 [摘要(3032)]  [PDF 664.76 K (3089)]
  
对两个改进的BLP模型的分析
  何建波,卿斯汉,王超
  2007,18(6):1501-1509 [摘要(3539)]  [PDF 561.44 K (3518)]
  
基于参数优化批处理的TLS协议
  齐芳,贾维嘉,鲍丰,吴永东,王国军
  2007,18(6):1522-1530 [摘要(3533)]  [PDF 672.38 K (2812)]
  
基于GPU的实时深度图像前向映射绘制算法
  刘保权,刘学慧,吴恩华
  2007,18(6):1531-1542 [摘要(3062)]  [PDF 739.03 K (3399)]
  
基于测地距离的多边形网格模型约束变形
  周艳,刘圣军,金小刚,冯结青,叶晓丰
  2007,18(6):1543-1552 [摘要(3483)]  [PDF 642.44 K (4223)]
  

综述文章

P2P持久存储研究
  田敬,代亚非
  2007,18(6):1379-1399 [摘要(5706)]  [PDF 1.06 M (5242)]
  
XML数据的查询技术
  孔令波,唐世渭,杨冬青,王腾蛟,高军
  2007,18(6):1400-1418 [摘要(6522)]  [PDF 1.08 M (5994)]
  
车用自组织网络传输控制研究
  陈立家,江昊,吴静,郭成城,徐武平,晏蒲柳
  2007,18(6):1477-1490 [摘要(7886)]  [PDF 890.16 K (8038)]
  
大规模分布式环境下动态信任模型研究
  李小勇,桂小林
  2007,18(6):1510-1521 [摘要(7516)]  [PDF 700.42 K (6768)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利