2019年第30卷第7期目录
软件形式化验证专题前言贺飞,张立军2019,30(7):1901-1902 [摘要(1986)] [PDF(4078)277.21 K][HTML(1307)]基于对抗式神经网络的多维度情绪回归朱苏阳,李寿山,周国栋2019,30(7):2091-2108 [摘要(2193)] [PDF(7742)1.81 M][HTML(2387)]软件开发活动数据集的层次化、多版本化方法朱家鑫,周明辉2019,30(7):2109-2123 [摘要(1923)] [PDF(5775)1.57 M][HTML(1800)]基于Jalangi的广告代码调用路径追踪许蕾,刘蕊成,陈贵美,赵晨,张卫丰2019,30(7):2124-2138 [摘要(1689)] [PDF(3441)1.54 M][HTML(1865)]一种基于最大公共子图的社交网络对齐方法冯朔,申德荣,聂铁铮,寇月,于戈2019,30(7):2175-2187 [摘要(1902)] [PDF(3667)1.46 M][HTML(2210)]采用改进Levenberg-Marquardt法的快速弹性运动估计宋传鸣,闵新,闫小红,王相海,尹宝才2019,30(7):2208-2226 [摘要(2066)] [PDF(4670)2.15 M][HTML(2161)]
基于SVM的多项式循环程序秩函数生成李轶,蔡天训,樊建峰,吴文渊,冯勇2019,30(7):1903-1915 [摘要(3487)] [PDF(5512)1.43 M][HTML(3110)]高阶类型化软件体系结构建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花,张思卿2019,30(7):1916-1938 [摘要(3840)] [PDF(10556)2.57 M][HTML(3282)]非交互式Petri网可覆盖性验证的高效实现丁如江,李国强2019,30(7):1939-1952 [摘要(3415)] [PDF(5400)1.53 M][HTML(3261)]基于实时自动机的连续时段演算的验证安杰,张苗苗2019,30(7):1953-1965 [摘要(3074)] [PDF(5535)1.48 M][HTML(3160)]面向实时数据的CPS一体化建模方法罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG2019,30(7):1966-1979 [摘要(3763)] [PDF(6873)1.66 M][HTML(3807)]一种同步语言多线程代码自动生成工具杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI2019,30(7):1980-2002 [摘要(3460)] [PDF(7095)2.46 M][HTML(3240)]同步数据流语言可信编译器Vélus与L2C的比较康跃馨,甘元科,王生原2019,30(7):2003-2017 [摘要(3597)] [PDF(6558)1.60 M][HTML(3550)]具有多传感器的CPS系统的攻击检测杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG2019,30(7):2018-2032 [摘要(3475)] [PDF(6284)1.58 M][HTML(3244)]有关时间自动机重置的若干问题的计算复杂性朱凯,毋国庆,吴理华,袁梦霆2019,30(7):2033-2051 [摘要(3302)] [PDF(6407)2.22 M][HTML(2869)]
汉语篇章理解研究综述孔芳,王红玲,周国栋2019,30(7):2052-2072 [摘要(4081)] [PDF(9326)2.00 M][HTML(5083)]受限玻尔兹曼机研究综述张健,丁世飞,张楠,杜鹏,杜威,于文家2019,30(7):2073-2090 [摘要(4452)] [PDF(8525)1.91 M][HTML(4800)]知识图谱数据管理研究综述王鑫,邹磊,王朝坤,彭鹏,冯志勇2019,30(7):2139-2174 [摘要(8132)] [PDF(17479)3.44 M][HTML(6579)]人类面部属性估计研究:综述曹猛,田青,马廷淮,陈松灿2019,30(7):2188-2207 [摘要(3557)] [PDF(7509)2.36 M][HTML(4492)]
