2020年第31卷第8期目录下载本期目录
面向新兴系统的形式化建模与验证方法专题前言陈振邦，冯新宇，刘志明出版日期: 2020-08-06 (2 页)2020,31(8):2283-2284 [摘要(1323)] [PDF(3280)297.73 K][HTML(1187)]代数次数的求解算法及其在SIMON-like算法中的应用任炯炯，李航，林键，陈少真出版日期: 2020-08-06 (12 页)2020,31(8):2453-2464 [摘要(1274)] [PDF(3294)1.23 M][HTML(1359)]基于用户和产品表示的情感分析和评论质量检测联合模型吴璠，王中卿，周夏冰，周国栋出版日期: 2020-08-06 (16 页)2020,31(8):2492-2507 [摘要(1799)] [PDF(3620)1.69 M][HTML(2115)]一种基于录制/重放的Android应用众包测试方法曹羽中，吴国全，陈伟，魏峻，黄涛，王溯出版日期: 2020-08-06 (22 页)2020,31(8):2508-2529 [摘要(2698)] [PDF(7377)1.43 M][HTML(2341)]基于对称正定流形潜在稀疏表示分类算法陈凯旋，吴小俊出版日期: 2020-08-06 (13 页)2020,31(8):2530-2542 [摘要(1372)] [PDF(2965)1.32 M][HTML(1954)]大规模路网图下关键词覆盖最优路径查询优化郝晋瑶，牛保宁，康家兴出版日期: 2020-08-06 (14 页)2020,31(8):2543-2556 [摘要(1443)] [PDF(3460)1.50 M][HTML(1399)]基于双层协同的联盟区块链隐私数据保护方法蔡亮，端豪，鄢萌，夏鑫出版日期: 2020-08-06 (17 页)2020,31(8):2557-2573 [摘要(3063)] [PDF(5721)799.22 K][HTML(1336)]面向医学图像分割的半监督条件生成对抗网络刘少鹏，洪佳明，梁杰鹏，贾西平，欧阳佳，印鉴出版日期: 2020-08-06 (15 页)2020,31(8):2588-2602 [摘要(2398)] [PDF(5125)1.80 M][HTML(2095)]
一种包解析器硬件配置描述语言及其编译结构李璜华，李凌，赵宇，王生原，李翔宇出版日期: 2020-08-06 (24 页)2020,31(8):2285-2308 [摘要(2781)] [PDF(5939)2.72 M][HTML(2625)]高阶类型化可验证应用系统体系结构建模及案例李小平，乌尼日其其格，马世龙，吕江花出版日期: 2020-08-06 (27 页)2020,31(8):2309-2335 [摘要(2689)] [PDF(6951)3.00 M][HTML(2894)]PaxosStore中共识协议TPaxos的推导、规约与精化易星辰，魏恒峰，黄宇，乔磊，吕建出版日期: 2020-08-06 (26 页)2020,31(8):2336-2361 [摘要(2876)] [PDF(5678)6.30 M][HTML(3087)]基于Coq的Paxos形式化建模与验证李亚男，邓玉欣，刘静出版日期: 2020-08-06 (13 页)2020,31(8):2362-2374 [摘要(2749)] [PDF(6183)1.30 M][HTML(3272)]基于Coq的操作系统任务管理需求层建模及验证姜菁菁，乔磊，杨孟飞，杨桦，刘波出版日期: 2020-08-06 (13 页)2020,31(8):2375-2387 [摘要(2907)] [PDF(6104)1.30 M][HTML(3414)]基本并行进程活性的限界模型检测谭锦豪，李国强出版日期: 2020-08-06 (16 页)2020,31(8):2388-2403 [摘要(2780)] [PDF(4940)1.69 M][HTML(2914)]
机器学习赋能的软件自适应性综述张明悦，金芝，赵海燕，罗懿行出版日期: 2020-08-06 (28 页)2020,31(8):2404-2431 [摘要(4243)] [PDF(7818)1.17 M][HTML(5989)]基于信息检索的软件缺陷定位技术研究进展张芸，刘佳琨，夏鑫，吴明晖，颜晖出版日期: 2020-08-06 (21 页)2020,31(8):2432-2452 [摘要(3514)] [PDF(7363)794.97 K][HTML(3954)]维度语音情感识别研究综述李海峰，陈婧，马琳，薄洪健，徐聪，李洪伟出版日期: 2020-08-06 (27 页)2020,31(8):2465-2491 [摘要(3551)] [PDF(11195)968.01 K][HTML(5374)]基于意图的网络研究综述李福亮，范广宇，王兴伟，刘树成，谢坤，孙琼出版日期: 2020-08-06 (14 页)2020,31(8):2574-2587 [摘要(4406)] [PDF(11073)591.56 K][HTML(4713)]面向异构融合处理器的性能分析、优化及应用综述张峰，翟季冬，陈政，林甲灶，杜小勇出版日期: 2020-08-06 (22 页)2020,31(8):2603-2624 [摘要(3785)] [PDF(6660)499.03 K][HTML(4778)]
