目录
智能系统的分析和验证专题
智能系统的分析和验证专题前言明仲;张立军;秦胜潮;2365-2366
可信系统性质的分类和形式化研究综述王淑灵;詹博华;盛欢欢;吴昊;易士程;王令泰;金翔宇;薛白;李静辉;向霜晴;向展;毛碧飞;2367-2410
人脸识别反欺诈研究进展张帆;赵世坤;袁操;陈伟;刘小丽;赵涵捷;2411-2446
基于最小不满足核的随机森林局部解释性分析马舒岑;史建琦;黄滟鸿;秦胜潮;侯哲;2447-2463
基于多路径回溯的神经网络验证方法郑烨;施晓牧;刘嘉祥;2464-2481
基于概率模型检查的树模型公平性验证方法王艳;侯哲;黄滟鸿;史建琦;张格林;2482-2498
采用多目标优化的深度学习测试优化方法沐燕舟;王赞;陈翔;陈俊洁;赵静珂;王建敏;2499-2524
基于Rectified Adam和颜色不变性的对抗迁移攻击丁佳;许智武;2525-2537
安全强化学习算法及其在CPS智能控制中的应用赵恒军;李权忠;曾霞;刘志明;2538-2561
系统软件与软件工程
面向领域驱动设计的逆向建模支持方法钟陈星;李文君;任贵杰;荣国平;2562-2580
代码审查中代码变更恢复的经验研究王青叶;万志远;李善平;夏鑫;2581-2598
模式识别与人工智能
粗糙集多目标并行属性约简算法危前进;魏继鹏;古天龙;常亮;文益民;2599-2617
基于深度语义匹配的法律条文推荐方法李琳;段围;周栋;袁景凌;2618-2632
基于级联注意力与点监督机制的考场目标检测模型田卓钰;马苗;杨楷芳;2633-2645
基于互联网群体智能的知识图谱构造方法蒋逸;张伟;王佩;张馨月;梅宏;2646-2666
基于标签关联性的分层分类共有与固有特征选择林耀进;白盛兴;赵红;李绍滋;胡清华;2667-2682
计算机网络与信息安全
基于隐马尔可夫模型的加密恶意流量检测邹福泰;俞汤达;许文亮;2683-2698
面向智能家居的区块链轻量级认证机制张珠君;范伟;朱大立;2699-2715
计算机图形学与计算机辅助设计
基于类别注意实例归一化机制的人脸年龄合成舒祥波;施成龙;孙运莲;唐金辉;2716-2728
基于深度学习的草图分割算法综述王佳欣;朱志亮;邓小明;马翠霞;王宏安;2729-2752