2020年第31卷第8期目录下载本期目录
面向新兴系统的形式化建模与验证方法专题前言陈振邦，冯新宇，刘志明出版日期: 2020-08-06 (2 页)2020,31(8):2283-2284 [摘要(1376)] [PDF(3660)297.73 K][HTML(1687)]代数次数的求解算法及其在SIMON-like算法中的应用任炯炯，李航，林键，陈少真出版日期: 2020-08-06 (12 页)2020,31(8):2453-2464 [摘要(1342)] [PDF(3726)1.23 M][HTML(1934)]基于用户和产品表示的情感分析和评论质量检测联合模型吴璠，王中卿，周夏冰，周国栋出版日期: 2020-08-06 (16 页)2020,31(8):2492-2507 [摘要(1905)] [PDF(4019)1.69 M][HTML(2698)]一种基于录制/重放的Android应用众包测试方法曹羽中，吴国全，陈伟，魏峻，黄涛，王溯出版日期: 2020-08-06 (22 页)2020,31(8):2508-2529 [摘要(2775)] [PDF(7917)1.43 M][HTML(3134)]基于对称正定流形潜在稀疏表示分类算法陈凯旋，吴小俊出版日期: 2020-08-06 (13 页)2020,31(8):2530-2542 [摘要(1463)] [PDF(3308)1.32 M][HTML(2733)]大规模路网图下关键词覆盖最优路径查询优化郝晋瑶，牛保宁，康家兴出版日期: 2020-08-06 (14 页)2020,31(8):2543-2556 [摘要(1505)] [PDF(3922)1.50 M][HTML(1869)]基于双层协同的联盟区块链隐私数据保护方法蔡亮，端豪，鄢萌，夏鑫出版日期: 2020-08-06 (17 页)2020,31(8):2557-2573 [摘要(3173)] [PDF(6150)799.22 K][HTML(1999)]面向医学图像分割的半监督条件生成对抗网络刘少鹏，洪佳明，梁杰鹏，贾西平，欧阳佳，印鉴出版日期: 2020-08-06 (15 页)2020,31(8):2588-2602 [摘要(2526)] [PDF(5632)1.80 M][HTML(3003)]
一种包解析器硬件配置描述语言及其编译结构李璜华，李凌，赵宇，王生原，李翔宇出版日期: 2020-08-06 (24 页)2020,31(8):2285-2308 [摘要(2870)] [PDF(6855)2.72 M][HTML(3430)]高阶类型化可验证应用系统体系结构建模及案例李小平，乌尼日其其格，马世龙，吕江花出版日期: 2020-08-06 (27 页)2020,31(8):2309-2335 [摘要(2801)] [PDF(8319)3.00 M][HTML(3600)]PaxosStore中共识协议TPaxos的推导、规约与精化易星辰，魏恒峰，黄宇，乔磊，吕建出版日期: 2020-08-06 (26 页)2020,31(8):2336-2361 [摘要(2980)] [PDF(6783)6.30 M][HTML(3813)]基于Coq的Paxos形式化建模与验证李亚男，邓玉欣，刘静出版日期: 2020-08-06 (13 页)2020,31(8):2362-2374 [摘要(2846)] [PDF(7193)1.30 M][HTML(3972)]基于Coq的操作系统任务管理需求层建模及验证姜菁菁，乔磊，杨孟飞，杨桦，刘波出版日期: 2020-08-06 (13 页)2020,31(8):2375-2387 [摘要(3059)] [PDF(6966)1.30 M][HTML(4163)]基本并行进程活性的限界模型检测谭锦豪，李国强出版日期: 2020-08-06 (16 页)2020,31(8):2388-2403 [摘要(2922)] [PDF(5878)1.69 M][HTML(3857)]
机器学习赋能的软件自适应性综述张明悦，金芝，赵海燕，罗懿行出版日期: 2020-08-06 (28 页)2020,31(8):2404-2431 [摘要(4460)] [PDF(9280)1.17 M][HTML(7837)]基于信息检索的软件缺陷定位技术研究进展张芸，刘佳琨，夏鑫，吴明晖，颜晖出版日期: 2020-08-06 (21 页)2020,31(8):2432-2452 [摘要(3621)] [PDF(8146)794.97 K][HTML(5510)]维度语音情感识别研究综述李海峰，陈婧，马琳，薄洪健，徐聪，李洪伟出版日期: 2020-08-06 (27 页)2020,31(8):2465-2491 [摘要(3803)] [PDF(12432)968.01 K][HTML(7062)]基于意图的网络研究综述李福亮，范广宇，王兴伟，刘树成，谢坤，孙琼出版日期: 2020-08-06 (14 页)2020,31(8):2574-2587 [摘要(4708)] [PDF(12563)591.56 K][HTML(5771)]面向异构融合处理器的性能分析、优化及应用综述张峰，翟季冬，陈政，林甲灶，杜小勇出版日期: 2020-08-06 (22 页)2020,31(8):2603-2624 [摘要(3927)] [PDF(7656)499.03 K][HTML(6244)]
