2016年第27卷第2期目录
命题中介逻辑的可靠和完备Gentzen推导系统朱梧槚,李未,眭跃飞,罗杰2016,27(2):209-218 [摘要(3480)] [PDF(4499)509.27 K][HTML(1066)]
一种基于不变量的软错误检测方法马骏驰,汪芸2016,27(2):219-230 [摘要(3867)] [PDF(4645)640.57 K][HTML(1217)]
基于服务交互行为的复杂服务协同网络建模张锡哲,吕天阳,张斌2016,27(2):231-246 [摘要(3597)] [PDF(5364)2.45 M][HTML(1066)]基于语义的中文事件触发词抽取联合模型李培峰,周国栋,朱巧明2016,27(2):280-294 [摘要(4242)] [PDF(8036)631.48 K][HTML(1781)]粗糙集的最优近似集张清华,薛玉斌,王国胤2016,27(2):295-308 [摘要(3632)] [PDF(4832)774.42 K][HTML(1247)]面向自然语言文本的否定性与不确定性信息抽取邹博伟,钱忠,陈站成,朱巧明,周国栋2016,27(2):309-328 [摘要(3788)] [PDF(7554)780.88 K][HTML(1683)]基于时空图的移动对象聚集模式挖掘方法张峻铭,李静林,王尚广,刘志晗,袁泉,杨放春2016,27(2):348-362 [摘要(4155)] [PDF(5748)1.01 M][HTML(1180)]一种面向语义重叠社区发现的Link-Block算法辛宇,杨静,谢志强2016,27(2):363-380 [摘要(3135)] [PDF(5904)1.71 M][HTML(1293)]基于差分隐私的流式直方图发布方法张啸剑,孟小峰2016,27(2):381-393 [摘要(4274)] [PDF(6678)693.07 K][HTML(1125)]一种无线传感器网络的概率覆盖增强算法范兴刚,杨静静,王恒2016,27(2):418-431 [摘要(3426)] [PDF(4937)718.40 K][HTML(1168)]车载自组织网络中基于停车骨干网络的数据传输朱金奇,马春梅,刘明,陈贵海,龚海刚,刘斌2016,27(2):432-450 [摘要(3646)] [PDF(5267)1.31 M][HTML(1096)]安全高效的异构无线网络可控匿名漫游认证协议周彦伟,杨波,张文政2016,27(2):451-465 [摘要(3002)] [PDF(5370)899.08 K][HTML(1354)]一种基于聚类分组的虚拟机镜像去冗余方法徐继伟,张文博,魏峻,钟华,黄涛2016,27(2):466-480 [摘要(3455)] [PDF(5059)939.83 K][HTML(1051)]基于硬件虚拟化的安全高效内核监控模型黄啸,邓良,孙浩,曾庆凯2016,27(2):481-494 [摘要(3801)] [PDF(5322)2.88 M][HTML(1377)]
偶图及其应用研究综述许东,王晶晶,李静2016,27(2):195-208 [摘要(6198)] [PDF(7824)922.21 K][HTML(2925)]微博信息传播预测研究综述李洋,陈毅恒,刘挺2016,27(2):247-263 [摘要(7552)] [PDF(15388)703.93 K][HTML(4590)]分布式约束优化方法研究进展段沛博,张长胜,张斌2016,27(2):264-279 [摘要(7019)] [PDF(9746)756.88 K][HTML(2760)]空间关键词搜索研究综述刘喜平,万常选,刘德喜,廖国琼2016,27(2):329-347 [摘要(7847)] [PDF(10161)869.80 K][HTML(2933)]基于软件定义网络的流量工程周桐庆,蔡志平,夏竟,徐明2016,27(2):394-417 [摘要(7834)] [PDF(12686)1.31 M][HTML(3908)]
