| |
2019年第30卷第7期目录
本期目录 | | | 软件形式化验证专题前言 | | | 贺飞,张立军 | | | 2019,30(7):1901-1902 | | | [摘要](2508) [PDF 277.21 K](4937) | | | 基于对抗式神经网络的多维度情绪回归 | | | 朱苏阳,李寿山,周国栋 | | | 2019,30(7):2091-2108 | | | [摘要](2836) [PDF 1.81 M](9311) | | | 软件开发活动数据集的层次化、多版本化方法 | | | 朱家鑫,周明辉 | | | 2019,30(7):2109-2123 | | | [摘要](2560) [PDF 1.57 M](6627) | | | 基于Jalangi的广告代码调用路径追踪 | | | 许蕾,刘蕊成,陈贵美,赵晨,张卫丰 | | | 2019,30(7):2124-2138 | | | [摘要](2208) [PDF 1.54 M](4416) | | | 一种基于最大公共子图的社交网络对齐方法 | | | 冯朔,申德荣,聂铁铮,寇月,于戈 | | | 2019,30(7):2175-2187 | | | [摘要](2592) [PDF 1.46 M](4427) | | | 采用改进Levenberg-Marquardt法的快速弹性运动估计 | | | 宋传鸣,闵新,闫小红,王相海,尹宝才 | | | 2019,30(7):2208-2226 | | | [摘要](2615) [PDF 2.15 M](5575) | |
专刊文章 | | | 基于SVM的多项式循环程序秩函数生成 | | | 李轶,蔡天训,樊建峰,吴文渊,冯勇 | | | 2019,30(7):1903-1915 | | | [摘要](4206) [PDF 1.43 M](6577) | | | 高阶类型化软件体系结构建模和验证及案例 | | | 乌尼日其其格,李小平,马世龙,吕江花,张思卿 | | | 2019,30(7):1916-1938 | | | [摘要](4507) [PDF 2.57 M](12055) | | | 非交互式Petri网可覆盖性验证的高效实现 | | | 丁如江,李国强 | | | 2019,30(7):1939-1952 | | | [摘要](4153) [PDF 1.53 M](6492) | | | 基于实时自动机的连续时段演算的验证 | | | 安杰,张苗苗 | | | 2019,30(7):1953-1965 | | | [摘要](3819) [PDF 1.48 M](6643) | | | 面向实时数据的CPS一体化建模方法 | | | 罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG | | | 2019,30(7):1966-1979 | | | [摘要](4462) [PDF 1.66 M](8233) | | | 一种同步语言多线程代码自动生成工具 | | | 杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI | | | 2019,30(7):1980-2002 | | | [摘要](4058) [PDF 2.46 M](8225) | | | 同步数据流语言可信编译器Vélus与L2C的比较 | | | 康跃馨,甘元科,王生原 | | | 2019,30(7):2003-2017 | | | [摘要](4273) [PDF 1.60 M](7786) | | | 具有多传感器的CPS系统的攻击检测 | | | 杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG | | | 2019,30(7):2018-2032 | | | [摘要](4088) [PDF 1.58 M](7501) | | | 有关时间自动机重置的若干问题的计算复杂性 | | | 朱凯,毋国庆,吴理华,袁梦霆 | | | 2019,30(7):2033-2051 | | | [摘要](4082) [PDF 2.22 M](7472) | |
综述文章 | | | 汉语篇章理解研究综述 | | | 孔芳,王红玲,周国栋 | | | 2019,30(7):2052-2072 | | | [摘要](4805) [PDF 2.00 M](10514) | | | 受限玻尔兹曼机研究综述 | | | 张健,丁世飞,张楠,杜鹏,杜威,于文家 | | | 2019,30(7):2073-2090 | | | [摘要](5246) [PDF 1.91 M](10186) | | | 知识图谱数据管理研究综述 | | | 王鑫,邹磊,王朝坤,彭鹏,冯志勇 | | | 2019,30(7):2139-2174 | | | [摘要](9358) [PDF 3.44 M](19069) | | | 人类面部属性估计研究:综述 | | | 曹猛,田青,马廷淮,陈松灿 | | | 2019,30(7):2188-2207 | | | [摘要](4216) [PDF 2.36 M](8736) | |
|
