2019年第30卷第7期目录
软件形式化验证专题前言贺飞,张立军2019,30(7):1901-1902 [摘要(1817)] [PDF(2518)277.21 K][HTML(637)]基于对抗式神经网络的多维度情绪回归朱苏阳,李寿山,周国栋2019,30(7):2091-2108 [摘要(1997)] [PDF(3756)1.81 M][HTML(1256)]软件开发活动数据集的层次化、多版本化方法朱家鑫,周明辉2019,30(7):2109-2123 [摘要(1786)] [PDF(3517)1.57 M][HTML(1113)]基于Jalangi的广告代码调用路径追踪许蕾,刘蕊成,陈贵美,赵晨,张卫丰2019,30(7):2124-2138 [摘要(1547)] [PDF(2457)1.54 M][HTML(1132)]一种基于最大公共子图的社交网络对齐方法冯朔,申德荣,聂铁铮,寇月,于戈2019,30(7):2175-2187 [摘要(1733)] [PDF(2569)1.46 M][HTML(1288)]采用改进Levenberg-Marquardt法的快速弹性运动估计宋传鸣,闵新,闫小红,王相海,尹宝才2019,30(7):2208-2226 [摘要(1930)] [PDF(3418)2.15 M][HTML(1380)]
基于SVM的多项式循环程序秩函数生成李轶,蔡天训,樊建峰,吴文渊,冯勇2019,30(7):1903-1915 [摘要(3252)] [PDF(3502)1.43 M][HTML(1591)]高阶类型化软件体系结构建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花,张思卿2019,30(7):1916-1938 [摘要(3655)] [PDF(4261)2.57 M][HTML(1641)]非交互式Petri网可覆盖性验证的高效实现丁如江,李国强2019,30(7):1939-1952 [摘要(3204)] [PDF(3219)1.53 M][HTML(1821)]基于实时自动机的连续时段演算的验证安杰,张苗苗2019,30(7):1953-1965 [摘要(2857)] [PDF(3437)1.48 M][HTML(1720)]面向实时数据的CPS一体化建模方法罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG2019,30(7):1966-1979 [摘要(3413)] [PDF(4239)1.66 M][HTML(2162)]一种同步语言多线程代码自动生成工具杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI2019,30(7):1980-2002 [摘要(3228)] [PDF(4980)2.46 M][HTML(1720)]同步数据流语言可信编译器Vélus与L2C的比较康跃馨,甘元科,王生原2019,30(7):2003-2017 [摘要(3286)] [PDF(4262)1.60 M][HTML(1874)]具有多传感器的CPS系统的攻击检测杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG2019,30(7):2018-2032 [摘要(3155)] [PDF(3891)1.58 M][HTML(1761)]有关时间自动机重置的若干问题的计算复杂性朱凯,毋国庆,吴理华,袁梦霆2019,30(7):2033-2051 [摘要(3090)] [PDF(4025)2.22 M][HTML(1483)]
汉语篇章理解研究综述孔芳,王红玲,周国栋2019,30(7):2052-2072 [摘要(3800)] [PDF(5727)2.00 M][HTML(2924)]受限玻尔兹曼机研究综述张健,丁世飞,张楠,杜鹏,杜威,于文家2019,30(7):2073-2090 [摘要(3916)] [PDF(4582)1.91 M][HTML(2558)]知识图谱数据管理研究综述王鑫,邹磊,王朝坤,彭鹏,冯志勇2019,30(7):2139-2174 [摘要(7307)] [PDF(12461)3.44 M][HTML(3773)]人类面部属性估计研究:综述曹猛,田青,马廷淮,陈松灿2019,30(7):2188-2207 [摘要(3271)] [PDF(4951)2.36 M][HTML(2456)]