2010年第21卷第7期目录

   
浏览其它刊期:  
  

本期目录

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

综述文章

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

在线出版

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