2020年第31卷第8期目录下载本期目录
面向新兴系统的形式化建模与验证方法专题前言陈振邦，冯新宇，刘志明出版日期: 2020-08-06 (2 页)2020,31(8):2283-2284 [摘要(1255)] [PDF(2404)297.73 K][HTML(850)]代数次数的求解算法及其在SIMON-like算法中的应用任炯炯，李航，林键，陈少真出版日期: 2020-08-06 (12 页)2020,31(8):2453-2464 [摘要(1203)] [PDF(2490)1.23 M][HTML(893)]基于用户和产品表示的情感分析和评论质量检测联合模型吴璠，王中卿，周夏冰，周国栋出版日期: 2020-08-06 (16 页)2020,31(8):2492-2507 [摘要(1625)] [PDF(2619)1.69 M][HTML(1365)]一种基于录制/重放的Android应用众包测试方法曹羽中，吴国全，陈伟，魏峻，黄涛，王溯出版日期: 2020-08-06 (22 页)2020,31(8):2508-2529 [摘要(2586)] [PDF(5824)1.43 M][HTML(1534)]基于对称正定流形潜在稀疏表示分类算法陈凯旋，吴小俊出版日期: 2020-08-06 (13 页)2020,31(8):2530-2542 [摘要(1290)] [PDF(2257)1.32 M][HTML(1261)]大规模路网图下关键词覆盖最优路径查询优化郝晋瑶，牛保宁，康家兴出版日期: 2020-08-06 (14 页)2020,31(8):2543-2556 [摘要(1348)] [PDF(2597)1.50 M][HTML(1064)]基于双层协同的联盟区块链隐私数据保护方法蔡亮，端豪，鄢萌，夏鑫出版日期: 2020-08-06 (17 页)2020,31(8):2557-2573 [摘要(2892)] [PDF(4813)799.22 K][HTML(819)]面向医学图像分割的半监督条件生成对抗网络刘少鹏，洪佳明，梁杰鹏，贾西平，欧阳佳，印鉴出版日期: 2020-08-06 (15 页)2020,31(8):2588-2602 [摘要(2211)] [PDF(3819)1.80 M][HTML(1276)]
一种包解析器硬件配置描述语言及其编译结构李璜华，李凌，赵宇，王生原，李翔宇出版日期: 2020-08-06 (24 页)2020,31(8):2285-2308 [摘要(2687)] [PDF(4558)2.72 M][HTML(1682)]高阶类型化可验证应用系统体系结构建模及案例李小平，乌尼日其其格，马世龙，吕江花出版日期: 2020-08-06 (27 页)2020,31(8):2309-2335 [摘要(2544)] [PDF(5216)3.00 M][HTML(1998)]PaxosStore中共识协议TPaxos的推导、规约与精化易星辰，魏恒峰，黄宇，乔磊，吕建出版日期: 2020-08-06 (26 页)2020,31(8):2336-2361 [摘要(2702)] [PDF(4225)6.30 M][HTML(2232)]基于Coq的Paxos形式化建模与验证李亚男，邓玉欣，刘静出版日期: 2020-08-06 (13 页)2020,31(8):2362-2374 [摘要(2621)] [PDF(4575)1.30 M][HTML(2271)]基于Coq的操作系统任务管理需求层建模及验证姜菁菁，乔磊，杨孟飞，杨桦，刘波出版日期: 2020-08-06 (13 页)2020,31(8):2375-2387 [摘要(2785)] [PDF(4531)1.30 M][HTML(2285)]基本并行进程活性的限界模型检测谭锦豪，李国强出版日期: 2020-08-06 (16 页)2020,31(8):2388-2403 [摘要(2665)] [PDF(3554)1.69 M][HTML(1908)]
机器学习赋能的软件自适应性综述张明悦，金芝，赵海燕，罗懿行出版日期: 2020-08-06 (28 页)2020,31(8):2404-2431 [摘要(3978)] [PDF(5844)1.17 M][HTML(3778)]基于信息检索的软件缺陷定位技术研究进展张芸，刘佳琨，夏鑫，吴明晖，颜晖出版日期: 2020-08-06 (21 页)2020,31(8):2432-2452 [摘要(3277)] [PDF(5182)794.97 K][HTML(2462)]维度语音情感识别研究综述李海峰，陈婧，马琳，薄洪健，徐聪，李洪伟出版日期: 2020-08-06 (27 页)2020,31(8):2465-2491 [摘要(3096)] [PDF(8084)968.01 K][HTML(3544)]基于意图的网络研究综述李福亮，范广宇，王兴伟，刘树成，谢坤，孙琼出版日期: 2020-08-06 (14 页)2020,31(8):2574-2587 [摘要(3951)] [PDF(7872)591.56 K][HTML(3049)]面向异构融合处理器的性能分析、优化及应用综述张峰，翟季冬，陈政，林甲灶，杜小勇出版日期: 2020-08-06 (22 页)2020,31(8):2603-2624 [摘要(3577)] [PDF(4681)499.03 K][HTML(3205)]
