2023年第34卷第7期目录下载本期目录
面向Java微服务系统的透明请求追踪及采样方法黄梓程，陈鹏飞，余广坝，陈泓仰出版日期: 2023-07-06 (21 页)2023,34(7):3167-3187 [摘要(1031)] [PDF(2315)8.66 M][HTML(1143)]基于多重异质图的恶意软件相似性度量方法谷勇浩，王翼翡，刘威歆，吴铁军，孟国柱出版日期: 2023-07-06 (18 页)2023,34(7):3188-3205 [摘要(1214)] [PDF(3018)3.14 M][HTML(919)]基于实例加权和双分类器的稳定学习算法杨帅，王浩，俞奎，曹付元出版日期: 2023-07-06 (20 页)2023,34(7):3206-3225 [摘要(744)] [PDF(2336)7.51 M][HTML(1060)]基于双重注意力机制的事件抽取方法朱敏，毛莺池，程永，陈程军，王龙宝出版日期: 2023-07-06 (15 页)2023,34(7):3226-3240 [摘要(995)] [PDF(3124)7.72 M][HTML(1071)]主动自动机学习中的等价查询算法优化潘雁，祝跃飞出版日期: 2023-07-06 (15 页)2023,34(7):3241-3255 [摘要(633)] [PDF(2212)5.55 M][HTML(966)]互信息与多条元路径融合的异质网络表示学习方法贾霄生，赵中英，李超，栾文静，梁永全出版日期: 2023-07-06 (16 页)2023,34(7):3256-3271 [摘要(1094)] [PDF(3045)9.42 M][HTML(1187)]基于雾计算的智能医疗三方认证与密钥协商协议王菲菲，汪定出版日期: 2023-07-06 (20 页)2023,34(7):3272-3291 [摘要(691)] [PDF(2367)5.02 M][HTML(1598)]区块链中可监管的身份隐私保护方案宋靖文，张大伟，韩旭，杜晔出版日期: 2023-07-06 (21 页)2023,34(7):3292-3312 [摘要(1390)] [PDF(3062)8.75 M][HTML(873)]基于义原级语句稀释法的文本对抗攻击能力强化方法叶文滔，张敏，陈仪香出版日期: 2023-07-06 (16 页)2023,34(7):3313-3328 [摘要(772)] [PDF(2307)7.00 M][HTML(1094)]一种支持分级用户访问的文件分层CP-ABE方案刘帅南，刘彬，郭真，冯朝胜，秦志光，卿昱出版日期: 2023-07-06 (14 页)2023,34(7):3329-3342 [摘要(762)] [PDF(2555)10.55 M][HTML(797)]集合交集元素之和的保密计算李顺东，张凯鑫，杨晨，汪榆淋出版日期: 2023-07-06 (11 页)2023,34(7):3343-3353 [摘要(649)] [PDF(2060)5.55 M][HTML(806)]基于SM9的CCA安全广播加密方案赖建昌，黄欣沂，何德彪，宁建廷出版日期: 2023-07-06 (11 页)2023,34(7):3354-3364 [摘要(950)] [PDF(2690)6.00 M][HTML(859)]基于跨域关联与隐私保护的深度推荐模型王利娥，李东城，李先贤出版日期: 2023-07-06 (20 页)2023,34(7):3365-3384 [摘要(845)] [PDF(2839)5.28 M][HTML(936)]基于U-Net结构的生成式多重对抗隐写算法马宾，韩作伟，徐健，王春鹏，李健，王玉立出版日期: 2023-07-06 (23 页)2023,34(7):3385-3407 [摘要(932)] [PDF(2616)10.20 M][HTML(861)]基于卷积神经网络的全景分割Transformer模型毛琳，任凤至，杨大伟，张汝波出版日期: 2023-07-06 (14 页)2023,34(7):3408-3421 [摘要(1391)] [PDF(2946)8.76 M][HTML(1148)]基于避让阻塞的优先级天花板协议陈熙，乔磊，杨孟飞，刘洪标出版日期: 2023-07-06 (16 页)2023,34(7):3422-3437 [摘要(777)] [PDF(2263)11.36 M][HTML(818)]基于标记增强的离散跨模态哈希方法王永欣，田洁茹，陈振铎，罗昕，许信顺出版日期: 2023-07-06 (13 页)2023,34(7):3438-3450 [摘要(678)] [PDF(2316)6.65 M][HTML(1031)]申威1621处理器上矩阵乘法优化研究闫昊，刘芳芳，马文静，陈道琨出版日期: 2023-07-06 (13 页)2023,34(7):3451-3463 [摘要(886)] [PDF(2794)7.02 M][HTML(1426)]
形式化方法与应用专题前言董云卫，刘关俊，毛晓光出版日期: 2023-07-06 (2 页)2023,34(7):2979-2980 [摘要(725)] [PDF(2617)530.35 K][HTML(1735)]安全的混成系统神经网络控制器生成与验证赵庆晔，王豫，李宣东出版日期: 2023-07-06 (21 页)2023,34(7):2981-3001 [摘要(1242)] [PDF(2654)2.37 M][HTML(2203)]自动驾驶交叉路口测试场景建模及验证方法夏春艳，黄松，郑长友，张清睿，王宇，魏瑀皓出版日期: 2023-07-06 (18 页)2023,34(7):3002-3021 [摘要(1437)] [PDF(3232)3.49 M][HTML(1966)]基于LLVM Pass的复杂嵌套循环自动并行化框架马春燕，吕炳旭，叶许姣，张雨出版日期: 2023-07-06 (21 页)2023,34(7):3022-3042 [摘要(1166)] [PDF(2863)2.96 M][HTML(1646)]目标导向的多线程程序UAF漏洞预测方法鲁法明，唐梦凡，包云霞，曾庆田，李彦成出版日期: 2023-07-06 (19 页)2023,34(7):3043-3063 [摘要(1108)] [PDF(2780)2.33 M][HTML(1580)]基于约束依赖图的并发程序模型检测工具苏杰，杨祖超，田聪，段振华出版日期: 2023-07-06 (17 页)2023,34(7):3064-3079 [摘要(1073)] [PDF(3230)2.37 M][HTML(1619)]基于SMT的区域控制器同步反应式模型的形式化验证李腾飞，孙军峰，吕新军，陈祥，刘静，孙海英，何积丰出版日期: 2023-07-06 (19 页)2023,34(7):3080-3098 [摘要(1093)] [PDF(2646)2.82 M][HTML(1654)]智能规划中面向简单偏好的高效求解方法陆旭，于斌，段振华，王德奎，陈矗，崔进出版日期: 2023-07-06 (18 页)2023,34(7):3099-3115 [摘要(1014)] [PDF(2892)2.27 M][HTML(1862)]面向未解释程序的合作验证方法杜一德，洪伟疆，陈振邦，王戟出版日期: 2023-07-06 (18 页)2023,34(7):3116-3133 [摘要(679)] [PDF(2378)2.82 M][HTML(1422)]
前馈神经网络和循环神经网络的鲁棒性验证综述刘颖，杨鹏飞，张立军，吴志林，冯元出版日期: 2023-07-06 (35 页)2023,34(7):3134-3166 [摘要(1555)] [PDF(3759)10.65 M][HTML(2274)]
