目录
面向领域的软件系统构造与质量保障专题
面向领域的软件系统构造与质量保障专题前言
潘敏学;魏峻;崔展齐;887-888
基于反例确认的CPS不确定性模型校准
杨文华;周宇;黄志球;889-903
安全关键异构软件混合建模及代码生成方法
宗喆;杨志斌;袁胜浩;周勇;Jean-Paul BODELEIX;Mamoun FILALI;904-933
基于环境建模的物联网系统TAP规则生成方法
边寒;陈小红;金芝;张民;934-952
区块链赋能的高效物联网数据激励共享方案
蔡婷;林晖;陈武辉;郑子彬;余阳;953-972
时空轨迹数据驱动的自动驾驶场景元建模方法
张梦寒;杜德慧;张铭茁;张雷;王耀;周文韬;973-987
基于深度学习的混合模糊测试方法
高凤娟;王豫;司徒凌云;王林章;988-1005
一种结构信息增强的代码修改自动转换方法
曹英魁;孙泽宇;邹艳珍;谢冰;1006-1022
融合代码与文档的软件功能特征挖掘方法
沈琦;钱莹;邹艳珍;伍仕骏;谢冰;1023-1038
基于偶然正确性概率的错误定位技术
周小莉;赵建华;1039-1050
面向神经机器翻译系统的多粒度蜕变测试
钟文康;葛季栋;陈翔;李传艺;唐泽;骆斌;1051-1066
模式识别与人工智能
可靠多模态学习综述
杨杨;詹德川;姜远;熊辉;1067-1081
基于深度学习的语言模型研究进展
王乃钰;叶育鑫;刘露;凤丽洲;包铁;彭涛;1082-1115
基于一种条件熵距离惩罚的生成式对抗网络
谭宏卫;王国栋;周林勇;张自力;1116-1128
数据库技术
学习索引:现状与研究展望
张洲;金培权;谢希科;1129-1150
计算机网络与信息安全
椭圆曲线同源的有效计算研究进展
黄艳;张方国;1151-1164
后量子密码算法的侧信道攻击与防御综述
吴伟彬;刘哲;杨昊;张吉鹏;1165-1185
基于局部邻居节点和链路权值的改进AODV路由协议
陈侃松;李豪科;阮玉龙;王时绘;1186-1200
计算机图形学与计算机辅助设计
多尺度目标检测的深度学习研究综述
陈科圻;朱志亮;邓小明;马翠霞;王宏安;1201-1227