主页
期刊介绍
编委会
服务介绍
投稿指南
出版道德
联系我们
E-mail Alert
English
2020年第31卷第5期目录
浏览其它刊期:
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-05-06 (11
页
)
2020,31(5):1454-1464
[
摘要
]
(2868)
[
PDF
1.36 M]
(5814)
多标记众包学习
李绍园，姜远
出版日期: 2020-05-06 (14
页
)
2020,31(5):1497-1510
[
摘要
]
(2332)
[
PDF
1.46 M]
(6755)
森林优化特征选择算法的增强与扩展
刘兆赓，李占山，王丽，王涛，于海鸿
出版日期: 2020-05-06 (14
页
)
2020,31(5):1511-1524
[
摘要
]
(2689)
[
PDF
1.44 M]
(5504)
拉普拉斯阶梯网络
胡聪，吴小俊，舒振球，陈素根
出版日期: 2020-05-06 (11
页
)
2020,31(5):1525-1535
[
摘要
]
(2480)
[
PDF
1.30 M]
(5333)
基于最小路径交叉度的域内路由保护方案
耿海军，施新刚，王之梁，尹霞，胡治国
出版日期: 2020-05-06 (13
页
)
2020,31(5):1536-1548
[
摘要
]
(2448)
[
PDF
1.37 M]
(4399)
基于小波能谱熵和隐半马尔可夫模型的LDoS攻击检测
吴志军，李红军，刘亮，张景安，岳猛，雷缙
出版日期: 2020-05-06 (14
页
)
2020,31(5):1549-1562
[
摘要
]
(2753)
[
PDF
1.52 M]
(5601)
基于代理重加密的云数据访问授权确定性更新方案
苏铓，吴槟，付安民，俞研，张功萱
出版日期: 2020-05-06 (10
页
)
2020,31(5):1563-1572
[
摘要
]
(3715)
[
PDF
1.17 M]
(5879)
轮廓指导的层级混合多任务全卷积网络
何克磊，史颖欢，高阳
出版日期: 2020-05-06 (12
页
)
2020,31(5):1573-1584
[
摘要
]
(2981)
[
PDF
1.47 M]
(5354)
专刊文章
系统软件构造与验证技术专题前言
赵永望，刘杨，王戟
出版日期: 2020-05-06 (2
页
)
2020,31(5):1241-1242
[
摘要
]
(2936)
[
PDF
293.99 K]
(5837)
综述文章
静态程序分析并行化研究进展
陆申明，左志强，王林章
出版日期: 2020-05-06 (12
页
)
2020,31(5):1243-1254
[
摘要
]
(4453)
[
PDF
1.24 M]
(9086)
深度神经网络测试研究综述
王赞，闫明，刘爽，陈俊洁，张栋迪，吴卓，陈翔
出版日期: 2020-05-06 (21
页
)
2020,31(5):1255-1275
[
摘要
]
(6823)
[
PDF
1.97 M]
(22081)
专刊文章
面向顺序存储结构的数据流分析
王淑栋，尹文静，董玉坤，张莉，刘浩
出版日期: 2020-05-06 (18
页
)
2020,31(5):1276-1293
[
摘要
]
(3391)
[
PDF
1.67 M]
(7541)
基于深度学习的安全缺陷报告预测方法实证研究
郑炜，陈军正，吴潇雪，陈翔，夏鑫
出版日期: 2020-05-06 (20
页
)
2020,31(5):1294-1313
[
摘要
]
(5635)
[
PDF
2.09 M]
(8528)
Web应用前后端融合的遗传算法并行化测试用例生成
王微微，李奕超，赵瑞莲，李征
出版日期: 2020-05-06 (18
页
)
2020,31(5):1314-1331
[
摘要
]
(3721)
[
PDF
1.90 M]
(8371)
CRDT协议的TLA+描述与验证
纪业，魏恒峰，黄宇，吕建
出版日期: 2020-05-06 (21
页
)
2020,31(5):1332-1352
[
摘要
]
(3651)
[
PDF
1.96 M]
(7750)
嵌入式实时操作系统内核混合代码的自动化验证框架
郭建，丁继政，朱晓冉
出版日期: 2020-05-06 (21
页
)
2020,31(5):1353-1373
[
摘要
]
(3378)
[
PDF
1.98 M]
(8272)
区域控制器的安全需求建模与自动验证
刘筱珊，袁正恒，陈小红，陈铭松，刘静，周庭梁
出版日期: 2020-05-06 (18
页
)
2020,31(5):1374-1391
[
摘要
]
(3416)
[
PDF
1.79 M]
(7760)
基于TEE的主动可信TPM/TCM设计与实现
董攀，丁滟，江哲，黄辰林，范冠男
出版日期: 2020-05-06 (14
页
)
2020,31(5):1392-1405
[
摘要
]
(4324)
[
PDF
1.63 M]
(10833)
综述文章
区块链隐私保护研究与实践综述
张奥，白晓颖
出版日期: 2020-05-06 (29
页
)
2020,31(5):1406-1434
[
摘要
]
(7280)
[
PDF
3.18 M]
(14587)
智能代码补全研究综述
杨博，张能，李善平，夏鑫
出版日期: 2020-05-06 (19
页
)
2020,31(5):1435-1453
[
摘要
]
(5757)
[
PDF
2.06 M]
(11287)
基于深度学习的自然场景文本检测与识别综述
王建新，王子亚，田萱
出版日期: 2020-05-06 (32
页
)
2020,31(5):1465-1496
[
摘要
]
(5337)
[
PDF
3.90 M]
(20593)
