2016年第27卷第2期目录

   
浏览其它刊期:  
  

本期目录

命题中介逻辑的可靠和完备Gentzen推导系统
  朱梧槚,李未,眭跃飞,罗杰
  2016,27(2):209-218 [摘要(3412)]  [PDF 509.27 K (3780)]
  

本期目录

一种基于不变量的软错误检测方法
  马骏驰,汪芸
  2016,27(2):219-230 [摘要(3789)]  [PDF 640.57 K (4014)]
  

本期目录

基于服务交互行为的复杂服务协同网络建模
  张锡哲,吕天阳,张斌
  2016,27(2):231-246 [摘要(3546)]  [PDF 2.45 M (4572)]
  
基于语义的中文事件触发词抽取联合模型
  李培峰,周国栋,朱巧明
  2016,27(2):280-294 [摘要(4156)]  [PDF 631.48 K (6950)]
  
粗糙集的最优近似集
  张清华,薛玉斌,王国胤
  2016,27(2):295-308 [摘要(3556)]  [PDF 774.42 K (4069)]
  
面向自然语言文本的否定性与不确定性信息抽取
  邹博伟,钱忠,陈站成,朱巧明,周国栋
  2016,27(2):309-328 [摘要(3721)]  [PDF 780.88 K (6655)]
  
基于时空图的移动对象聚集模式挖掘方法
  张峻铭,李静林,王尚广,刘志晗,袁泉,杨放春
  2016,27(2):348-362 [摘要(4074)]  [PDF 1.01 M (5093)]
  
一种面向语义重叠社区发现的Link-Block算法
  辛宇,杨静,谢志强
  2016,27(2):363-380 [摘要(3079)]  [PDF 1.71 M (5220)]
  
基于差分隐私的流式直方图发布方法
  张啸剑,孟小峰
  2016,27(2):381-393 [摘要(4188)]  [PDF 693.07 K (5875)]
  
一种无线传感器网络的概率覆盖增强算法
  范兴刚,杨静静,王恒
  2016,27(2):418-431 [摘要(3374)]  [PDF 718.40 K (3950)]
  
车载自组织网络中基于停车骨干网络的数据传输
  朱金奇,马春梅,刘明,陈贵海,龚海刚,刘斌
  2016,27(2):432-450 [摘要(3566)]  [PDF 1.31 M (4520)]
  
安全高效的异构无线网络可控匿名漫游认证协议
  周彦伟,杨波,张文政
  2016,27(2):451-465 [摘要(2933)]  [PDF 899.08 K (4399)]
  
一种基于聚类分组的虚拟机镜像去冗余方法
  徐继伟,张文博,魏峻,钟华,黄涛
  2016,27(2):466-480 [摘要(3375)]  [PDF 939.83 K (4189)]
  
基于硬件虚拟化的安全高效内核监控模型
  黄啸,邓良,孙浩,曾庆凯
  2016,27(2):481-494 [摘要(3716)]  [PDF 2.88 M (4581)]
  

综述文章

偶图及其应用研究综述
  许东,王晶晶,李静
  2016,27(2):195-208 [摘要(5981)]  [PDF 922.21 K (5828)]
  
微博信息传播预测研究综述
  李洋,陈毅恒,刘挺
  2016,27(2):247-263 [摘要(7326)]  [PDF 703.93 K (12845)]
  
分布式约束优化方法研究进展
  段沛博,张长胜,张斌
  2016,27(2):264-279 [摘要(6843)]  [PDF 756.88 K (7025)]
  
空间关键词搜索研究综述
  刘喜平,万常选,刘德喜,廖国琼
  2016,27(2):329-347 [摘要(7680)]  [PDF 869.80 K (8551)]
  
基于软件定义网络的流量工程
  周桐庆,蔡志平,夏竟,徐明
  2016,27(2):394-417 [摘要(7640)]  [PDF 1.31 M (10728)]