主页
期刊介绍
编委会
服务介绍
投稿指南
出版道德
联系我们
E-mail Alert
English
2020年第31卷第8期目录
浏览其它刊期:
2026年第37卷
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
本期目录
面向新兴系统的形式化建模与验证方法专题前言
陈振邦，冯新宇，刘志明
出版日期: 2020-08-06 (2
页
)
2020,31(8):2283-2284
[
摘要
]
(1965)
[
PDF
297.73 K]
(4529)
代数次数的求解算法及其在SIMON-like算法中的应用
任炯炯，李航，林键，陈少真
出版日期: 2020-08-06 (12
页
)
2020,31(8):2453-2464
[
摘要
]
(2092)
[
PDF
1.23 M]
(4688)
基于用户和产品表示的情感分析和评论质量检测联合模型
吴璠，王中卿，周夏冰，周国栋
出版日期: 2020-08-06 (16
页
)
2020,31(8):2492-2507
[
摘要
]
(2612)
[
PDF
1.69 M]
(5013)
一种基于录制/重放的Android应用众包测试方法
曹羽中，吴国全，陈伟，魏峻，黄涛，王溯
出版日期: 2020-08-06 (22
页
)
2020,31(8):2508-2529
[
摘要
]
(3454)
[
PDF
1.43 M]
(8975)
基于对称正定流形潜在稀疏表示分类算法
陈凯旋，吴小俊
出版日期: 2020-08-06 (13
页
)
2020,31(8):2530-2542
[
摘要
]
(2121)
[
PDF
1.32 M]
(4194)
大规模路网图下关键词覆盖最优路径查询优化
郝晋瑶，牛保宁，康家兴
出版日期: 2020-08-06 (14
页
)
2020,31(8):2543-2556
[
摘要
]
(2128)
[
PDF
1.50 M]
(4692)
基于双层协同的联盟区块链隐私数据保护方法
蔡亮，端豪，鄢萌，夏鑫
出版日期: 2020-08-06 (17
页
)
2020,31(8):2557-2573
[
摘要
]
(3997)
[
PDF
799.22 K]
(7459)
面向医学图像分割的半监督条件生成对抗网络
刘少鹏，洪佳明，梁杰鹏，贾西平，欧阳佳，印鉴
出版日期: 2020-08-06 (15
页
)
2020,31(8):2588-2602
[
摘要
]
(3151)
[
PDF
1.80 M]
(6405)
专刊文章
一种包解析器硬件配置描述语言及其编译结构
李璜华，李凌，赵宇，王生原，李翔宇
出版日期: 2020-08-06 (24
页
)
2020,31(8):2285-2308
[
摘要
]
(3617)
[
PDF
2.72 M]
(7943)
高阶类型化可验证应用系统体系结构建模及案例
李小平，乌尼日其其格，马世龙，吕江花
出版日期: 2020-08-06 (27
页
)
2020,31(8):2309-2335
[
摘要
]
(3580)
[
PDF
3.00 M]
(10788)
PaxosStore中共识协议TPaxos的推导、规约与精化
易星辰，魏恒峰，黄宇，乔磊，吕建
出版日期: 2020-08-06 (26
页
)
2020,31(8):2336-2361
[
摘要
]
(3818)
[
PDF
6.30 M]
(7922)
基于Coq的Paxos形式化建模与验证
李亚男，邓玉欣，刘静
出版日期: 2020-08-06 (13
页
)
2020,31(8):2362-2374
[
摘要
]
(3486)
[
PDF
1.30 M]
(8398)
基于Coq的操作系统任务管理需求层建模及验证
姜菁菁，乔磊，杨孟飞，杨桦，刘波
出版日期: 2020-08-06 (13
页
)
2020,31(8):2375-2387
[
摘要
]
(3742)
[
PDF
1.30 M]
(8051)
基本并行进程活性的限界模型检测
谭锦豪，李国强
出版日期: 2020-08-06 (16
页
)
2020,31(8):2388-2403
[
摘要
]
(3644)
[
PDF
1.69 M]
(7129)
综述文章
机器学习赋能的软件自适应性综述
张明悦，金芝，赵海燕，罗懿行
出版日期: 2020-08-06 (28
页
)
2020,31(8):2404-2431
[
摘要
]
(5208)
[
PDF
1.17 M]
(10454)
基于信息检索的软件缺陷定位技术研究进展
张芸，刘佳琨，夏鑫，吴明晖，颜晖
出版日期: 2020-08-06 (21
页
)
2020,31(8):2432-2452
[
摘要
]
(4394)
[
PDF
794.97 K]
(9180)
维度语音情感识别研究综述
李海峰，陈婧，马琳，薄洪健，徐聪，李洪伟
出版日期: 2020-08-06 (27
页
)
2020,31(8):2465-2491
[
摘要
]
(4802)
[
PDF
968.01 K]
(14388)
基于意图的网络研究综述
李福亮，范广宇，王兴伟，刘树成，谢坤，孙琼
出版日期: 2020-08-06 (14
页
)
2020,31(8):2574-2587
[
摘要
]
(6133)
[
PDF
591.56 K]
(13839)
面向异构融合处理器的性能分析、优化及应用综述
张峰，翟季冬，陈政，林甲灶，杜小勇
出版日期: 2020-08-06 (22
页
)
2020,31(8):2603-2624
[
摘要
]
(4640)
[
PDF
499.03 K]
(8724)
