2010年第21卷第7期目录

   
浏览其它刊期:  
  

本期目录

采用了剪枝优化的子类型关系判定算法
  戴晓君,陈海明
  2010,21(7):1481-1490 [摘要(4399)]  [PDF 571.22 K (5798)]
  
改进的以SMT为基础的实时系统限界模型检测
  徐 亮
  2010,21(7):1491-1502 [摘要(5179)]  [PDF 631.43 K (7014)]
  
串匹配算法中模式串与文本之间关系的研究
  刘 萍,刘 萍,刘燕兵,郭 莉,方滨兴
  2010,21(7):1503-1514 [摘要(4479)]  [PDF 1007.40 K (6859)]
  
Multicut问题参数算法的改进
  刘运龙,王建新,陈建二
  2010,21(7):1515-1523 [摘要(4873)]  [PDF 663.52 K (6220)]
  
分布式缓存系统中一种优化缓存部署的图算法
  李文中,陈道蓄,陆桑璐
  2010,21(7):1524-1535 [摘要(5178)]  [PDF 665.38 K (6841)]
  
基于规格说明的若干逻辑覆盖测试准则
  钱忠胜,缪淮扣
  2010,21(7):1536-1549 [摘要(4905)]  [PDF 746.98 K (6451)]
  
基于容斥原理的Skyband基数估计方法
  赵加奎,杨冬青,陈立军
  2010,21(7):1550-1560 [摘要(4494)]  [PDF 797.43 K (6018)]
  
无线传感器网络中的最大生命期基因路由算法
  唐 伟,郭 伟
  2010,21(7):1646-1656 [摘要(4589)]  [PDF 680.53 K (7323)]
  
移动Ad Hoc网络的跨层优化拥塞控制
  徐伟强,汪亚明,俞成海,刘良桂,张云华
  2010,21(7):1667-1678 [摘要(5262)]  [PDF 705.74 K (7843)]
  
无线传感器网络动态密钥管理方法
  孔繁瑞,李春文
  2010,21(7):1679-1691 [摘要(5181)]  [PDF 696.61 K (6583)]
  
基于熵模型的高透明性自适应视频水印算法
  李智,陈孝威
  2010,21(7):1692-1703 [摘要(5124)]  [PDF 725.30 K (6510)]
  
域间IP欺骗防御服务增强机制
  吕高锋,孙志刚,卢锡城
  2010,21(7):1704-1716 [摘要(4781)]  [PDF 947.72 K (6809)]
  
可证明安全的节点不相交多路径源路由协议
  冯 涛,郭 显,马建峰,李兴华
  2010,21(7):1717-1731 [摘要(4354)]  [PDF 733.96 K (6313)]
  
针对无标度网络的紧凑路由方法
  唐明董,张国清,杨 景,张国强
  2010,21(7):1732-1743 [摘要(4585)]  [PDF 645.41 K (6777)]
  
多约束最短链路分离路径精确算法
  熊 轲,裘正定,郭宇春,张宏科,秦雅娟
  2010,21(7):1744-1757 [摘要(4042)]  [PDF 913.06 K (6471)]
  
一类代数免疫度达到最优的布尔函数的构造
  孟 强,陈鲁生,符方伟
  2010,21(7):1758-1767 [摘要(4291)]  [PDF 580.83 K (6003)]
  
3GPP认证与密钥协商协议安全性分析
  陆 峰,陆 峰,郑康锋,钮心忻,杨义先,李忠献
  2010,21(7):1768-1782 [摘要(4966)]  [PDF 872.46 K (9465)]
  

综述文章

高速长距离网络传输协议
  任勇毛,唐海娜,李 俊,钱华林
  2010,21(7):1576-1588 [摘要(8732)]  [PDF 664.60 K (13908)]
  
互联网无中断转发的生存性路由协议
  苏金树,胡乔林,赵宝康
  2010,21(7):1589-1604 [摘要(6931)]  [PDF 827.17 K (10493)]
  
网络态势感知研究
  龚正虎,卓 莹
  2010,21(7):1605-1619 [摘要(10062)]  [PDF 856.25 K (20842)]
  
车用自组网信息广播
  李丽君,刘鸿飞,杨祖元,葛利嘉,黄席樾
  2010,21(7):1620-1634 [摘要(12582)]  [PDF 765.23 K (21237)]
  
终端性能自适应传输协议
  王伟杭,任勇毛,唐明洁,李 俊,钱华林
  2010,21(7):1635-1645 [摘要(7805)]  [PDF 637.59 K (9250)]
  

在线出版

图像-文本相关性挖掘的Web图像聚类方法
  吴 飞,韩亚洪,庄越挺,邵 健
  2010,21(7):1561-1575 [摘要(7237)]  [PDF 784.24 K (9395)]
  
物联网资源寻址模型
  孔 宁,李晓东,罗万明,阎保平
  2010,21(7):1657-1666 [摘要(7141)]  [PDF 566.91 K (9087)]