| | 2016年第27卷第2期目录
本期目录 | | | 命题中介逻辑的可靠和完备Gentzen推导系统 | | | 朱梧槚,李未,眭跃飞,罗杰 | | | 2016,27(2):209-218 | | | [摘要](4282) [PDF 509.27 K](5616) | | | 一种基于不变量的软错误检测方法 | | | 马骏驰,汪芸 | | | 2016,27(2):219-230 | | | [摘要](4568) [PDF 640.57 K](5703) | | | 基于服务交互行为的复杂服务协同网络建模 | | | 张锡哲,吕天阳,张斌 | | | 2016,27(2):231-246 | | | [摘要](4319) [PDF 2.45 M](6825) | | | 基于语义的中文事件触发词抽取联合模型 | | | 李培峰,周国栋,朱巧明 | | | 2016,27(2):280-294 | | | [摘要](5273) [PDF 631.48 K](9567) | | | 粗糙集的最优近似集 | | | 张清华,薛玉斌,王国胤 | | | 2016,27(2):295-308 | | | [摘要](4329) [PDF 774.42 K](5962) | | | 面向自然语言文本的否定性与不确定性信息抽取 | | | 邹博伟,钱忠,陈站成,朱巧明,周国栋 | | | 2016,27(2):309-328 | | | [摘要](4559) [PDF 780.88 K](8743) | | | 基于时空图的移动对象聚集模式挖掘方法 | | | 张峻铭,李静林,王尚广,刘志晗,袁泉,杨放春 | | | 2016,27(2):348-362 | | | [摘要](5219) [PDF 1.01 M](6947) | | | 一种面向语义重叠社区发现的Link-Block算法 | | | 辛宇,杨静,谢志强 | | | 2016,27(2):363-380 | | | [摘要](3699) [PDF 1.71 M](7187) | | | 基于差分隐私的流式直方图发布方法 | | | 张啸剑,孟小峰 | | | 2016,27(2):381-393 | | | [摘要](4911) [PDF 693.07 K](7836) | | | 一种无线传感器网络的概率覆盖增强算法 | | | 范兴刚,杨静静,王恒 | | | 2016,27(2):418-431 | | | [摘要](4126) [PDF 718.40 K](6291) | | | 车载自组织网络中基于停车骨干网络的数据传输 | | | 朱金奇,马春梅,刘明,陈贵海,龚海刚,刘斌 | | | 2016,27(2):432-450 | | | [摘要](4453) [PDF 1.31 M](6587) | | | 安全高效的异构无线网络可控匿名漫游认证协议 | | | 周彦伟,杨波,张文政 | | | 2016,27(2):451-465 | | | [摘要](3651) [PDF 899.08 K](7198) | | | 一种基于聚类分组的虚拟机镜像去冗余方法 | | | 徐继伟,张文博,魏峻,钟华,黄涛 | | | 2016,27(2):466-480 | | | [摘要](4286) [PDF 939.83 K](7140) | | | 基于硬件虚拟化的安全高效内核监控模型 | | | 黄啸,邓良,孙浩,曾庆凯 | | | 2016,27(2):481-494 | | | [摘要](4620) [PDF 2.88 M](6708) | |
综述文章 | | | 偶图及其应用研究综述 | | | 许东,王晶晶,李静 | | | 2016,27(2):195-208 | | | [摘要](7031) [PDF 922.21 K](10227) | | | 微博信息传播预测研究综述 | | | 李洋,陈毅恒,刘挺 | | | 2016,27(2):247-263 | | | [摘要](9036) [PDF 703.93 K](19394) | | | 分布式约束优化方法研究进展 | | | 段沛博,张长胜,张斌 | | | 2016,27(2):264-279 | | | [摘要](7846) [PDF 756.88 K](11857) | | | 空间关键词搜索研究综述 | | | 刘喜平,万常选,刘德喜,廖国琼 | | | 2016,27(2):329-347 | | | [摘要](8761) [PDF 869.80 K](12399) | | | 基于软件定义网络的流量工程 | | | 周桐庆,蔡志平,夏竟,徐明 | | | 2016,27(2):394-417 | | | [摘要](9353) [PDF 1.31 M](14930) | |
|