2016年第27卷第3期目录
基于标签路径特征融合的在线Web新闻内容抽取吴共庆,胡骏,李莉,徐喆昊,刘鹏程,胡学钢,吴信东2016,27(3):714-735 [摘要(6408)] [PDF(5739)2.39 M][HTML(2610)]
软件形式化方法与应用专题前言詹乃军,王戟,李宣东2016,27(3):495-496 [摘要(4890)] [PDF(7598)364.87 K][HTML(2447)]几何代数的高阶逻辑形式化马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG2016,27(3):497-516 [摘要(5899)] [PDF(10642)476.76 K][HTML(3140)]有界闭连通域上的非线性循环终止性分析李轶,冯勇2016,27(3):517-526 [摘要(5114)] [PDF(6100)1.11 M][HTML(2911)]城市交通网络信号控制系统的实时演算模型孙景昊,关楠,邓庆绪,张鑫,杨丰源2016,27(3):527-546 [摘要(5105)] [PDF(7569)3.09 M][HTML(3034)]基于变量访问序模式的中断数据竞争检测方法陈睿,杨孟飞,郭向英2016,27(3):547-561 [摘要(5200)] [PDF(9833)1.69 M][HTML(3107)]安全苛刻系统测试语言中的测试设备协同语句吕江花,高世伟,马世龙,孙波,李先军2016,27(3):562-579 [摘要(4613)] [PDF(6820)1.93 M][HTML(2683)]基于模拟关系的精化检测方法王婷,陈铁明,刘杨2016,27(3):580-592 [摘要(4897)] [PDF(6358)1.44 M][HTML(2878)]面向条件判定覆盖的线性拟合制导测试生成汤恩义,周岩,欧建生,陈鑫2016,27(3):593-610 [摘要(4948)] [PDF(8185)2.13 M][HTML(2955)]同步语言的时间可预测多线程代码生成方法杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI2016,27(3):611-632 [摘要(4923)] [PDF(7462)2.35 M][HTML(3137)]面向方面设计中干涉问题的分析工具陈鑫,黄超,张一帆,梅一鸣2016,27(3):633-644 [摘要(4778)] [PDF(6594)1.41 M][HTML(2753)]运用栅栏函数验证连续系统的有界时间安全性甘庭,夏壁灿2016,27(3):645-654 [摘要(5137)] [PDF(6764)1.20 M][HTML(2885)]不确定环境下智能大厦空调系统调度策略评估陈铭松,顾璠,徐思远,陈小红2016,27(3):655-669 [摘要(5171)] [PDF(8000)3.01 M][HTML(2847)]二维逻辑PPTLSL的可满足性检查陆旭,段振华,田聪2016,27(3):670-681 [摘要(5107)] [PDF(6615)1.37 M][HTML(2731)]面向无穷数据的形式模型综述宋富,吴志林2016,27(3):682-690 [摘要(5309)] [PDF(6810)1.04 M][HTML(3373)]
基于排序学习的推荐算法研究综述黄震华,张佳雯,田春岐,孙圣力,向阳2016,27(3):691-713 [摘要(11564)] [PDF(21521)2.43 M][HTML(4181)]绿色网络理论与技术研究张国强,许自取,刘真2016,27(3):736-759 [摘要(6469)] [PDF(7662)2.61 M][HTML(4801)]公钥密码分析简介肖人毅2016,27(3):760-767 [摘要(6715)] [PDF(10107)948.75 K][HTML(4307)]
