2016年第27卷第3期目录
基于标签路径特征融合的在线Web新闻内容抽取吴共庆,胡骏,李莉,徐喆昊,刘鹏程,胡学钢,吴信东2016,27(3):714-735 [摘要(6076)] [PDF(4570)2.39 M][HTML(1143)]
软件形式化方法与应用专题前言詹乃军,王戟,李宣东2016,27(3):495-496 [摘要(4719)] [PDF(5240)364.87 K][HTML(1212)]几何代数的高阶逻辑形式化马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG2016,27(3):497-516 [摘要(5628)] [PDF(6298)476.76 K][HTML(1487)]有界闭连通域上的非线性循环终止性分析李轶,冯勇2016,27(3):517-526 [摘要(4968)] [PDF(4087)1.11 M][HTML(1288)]城市交通网络信号控制系统的实时演算模型孙景昊,关楠,邓庆绪,张鑫,杨丰源2016,27(3):527-546 [摘要(4843)] [PDF(5095)3.09 M][HTML(1396)]基于变量访问序模式的中断数据竞争检测方法陈睿,杨孟飞,郭向英2016,27(3):547-561 [摘要(4895)] [PDF(6058)1.69 M][HTML(1550)]安全苛刻系统测试语言中的测试设备协同语句吕江花,高世伟,马世龙,孙波,李先军2016,27(3):562-579 [摘要(4502)] [PDF(4632)1.93 M][HTML(1256)]基于模拟关系的精化检测方法王婷,陈铁明,刘杨2016,27(3):580-592 [摘要(4764)] [PDF(4319)1.44 M][HTML(1435)]面向条件判定覆盖的线性拟合制导测试生成汤恩义,周岩,欧建生,陈鑫2016,27(3):593-610 [摘要(4734)] [PDF(6134)2.13 M][HTML(1417)]同步语言的时间可预测多线程代码生成方法杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI2016,27(3):611-632 [摘要(4779)] [PDF(5139)2.35 M][HTML(1511)]面向方面设计中干涉问题的分析工具陈鑫,黄超,张一帆,梅一鸣2016,27(3):633-644 [摘要(4632)] [PDF(4420)1.41 M][HTML(1286)]运用栅栏函数验证连续系统的有界时间安全性甘庭,夏壁灿2016,27(3):645-654 [摘要(4963)] [PDF(4643)1.20 M][HTML(1354)]不确定环境下智能大厦空调系统调度策略评估陈铭松,顾璠,徐思远,陈小红2016,27(3):655-669 [摘要(5022)] [PDF(5506)3.01 M][HTML(1277)]二维逻辑PPTLSL的可满足性检查陆旭,段振华,田聪2016,27(3):670-681 [摘要(4972)] [PDF(4466)1.37 M][HTML(1331)]面向无穷数据的形式模型综述宋富,吴志林2016,27(3):682-690 [摘要(5184)] [PDF(4730)1.04 M][HTML(1607)]
基于排序学习的推荐算法研究综述黄震华,张佳雯,田春岐,孙圣力,向阳2016,27(3):691-713 [摘要(9416)] [PDF(17986)2.43 M][HTML(2114)]绿色网络理论与技术研究张国强,许自取,刘真2016,27(3):736-759 [摘要(6347)] [PDF(5364)2.61 M][HTML(2132)]公钥密码分析简介肖人毅2016,27(3):760-767 [摘要(6434)] [PDF(7065)948.75 K][HTML(1950)]