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