2023年第34卷第7期目录下载本期目录
面向Java微服务系统的透明请求追踪及采样方法黄梓程，陈鹏飞，余广坝，陈泓仰出版日期: 2023-07-06 (21 页)2023,34(7):3167-3187 [摘要(1176)] [PDF(2807)8.66 M][HTML(1733)]基于多重异质图的恶意软件相似性度量方法谷勇浩，王翼翡，刘威歆，吴铁军，孟国柱出版日期: 2023-07-06 (18 页)2023,34(7):3188-3205 [摘要(1363)] [PDF(3454)3.14 M][HTML(1671)]基于实例加权和双分类器的稳定学习算法杨帅，王浩，俞奎，曹付元出版日期: 2023-07-06 (20 页)2023,34(7):3206-3225 [摘要(828)] [PDF(2741)7.51 M][HTML(1661)]基于双重注意力机制的事件抽取方法朱敏，毛莺池，程永，陈程军，王龙宝出版日期: 2023-07-06 (15 页)2023,34(7):3226-3240 [摘要(1124)] [PDF(3618)7.72 M][HTML(1829)]主动自动机学习中的等价查询算法优化潘雁，祝跃飞出版日期: 2023-07-06 (15 页)2023,34(7):3241-3255 [摘要(707)] [PDF(2607)5.55 M][HTML(1643)]互信息与多条元路径融合的异质网络表示学习方法贾霄生，赵中英，李超，栾文静，梁永全出版日期: 2023-07-06 (16 页)2023,34(7):3256-3271 [摘要(1242)] [PDF(3490)9.42 M][HTML(2069)]基于雾计算的智能医疗三方认证与密钥协商协议王菲菲，汪定出版日期: 2023-07-06 (20 页)2023,34(7):3272-3291 [摘要(800)] [PDF(2793)5.02 M][HTML(2941)]区块链中可监管的身份隐私保护方案宋靖文，张大伟，韩旭，杜晔出版日期: 2023-07-06 (21 页)2023,34(7):3292-3312 [摘要(1796)] [PDF(3629)8.75 M][HTML(1519)]基于义原级语句稀释法的文本对抗攻击能力强化方法叶文滔，张敏，陈仪香出版日期: 2023-07-06 (16 页)2023,34(7):3313-3328 [摘要(868)] [PDF(2779)7.00 M][HTML(1731)]一种支持分级用户访问的文件分层CP-ABE方案刘帅南，刘彬，郭真，冯朝胜，秦志光，卿昱出版日期: 2023-07-06 (14 页)2023,34(7):3329-3342 [摘要(925)] [PDF(2971)10.55 M][HTML(1508)]集合交集元素之和的保密计算李顺东，张凯鑫，杨晨，汪榆淋出版日期: 2023-07-06 (11 页)2023,34(7):3343-3353 [摘要(751)] [PDF(2419)5.55 M][HTML(1452)]基于SM9的CCA安全广播加密方案赖建昌，黄欣沂，何德彪，宁建廷出版日期: 2023-07-06 (11 页)2023,34(7):3354-3364 [摘要(1097)] [PDF(3232)6.00 M][HTML(1520)]基于跨域关联与隐私保护的深度推荐模型王利娥，李东城，李先贤出版日期: 2023-07-06 (20 页)2023,34(7):3365-3384 [摘要(1022)] [PDF(3342)5.28 M][HTML(1784)]基于U-Net结构的生成式多重对抗隐写算法马宾，韩作伟，徐健，王春鹏，李健，王玉立出版日期: 2023-07-06 (23 页)2023,34(7):3385-3407 [摘要(1097)] [PDF(3038)10.20 M][HTML(1278)]基于卷积神经网络的全景分割Transformer模型毛琳，任凤至，杨大伟，张汝波出版日期: 2023-07-06 (14 页)2023,34(7):3408-3421 [摘要(1563)] [PDF(3399)8.76 M][HTML(1759)]基于避让阻塞的优先级天花板协议陈熙，乔磊，杨孟飞，刘洪标出版日期: 2023-07-06 (16 页)2023,34(7):3422-3437 [摘要(872)] [PDF(2663)11.36 M][HTML(1371)]基于标记增强的离散跨模态哈希方法王永欣，田洁茹，陈振铎，罗昕，许信顺出版日期: 2023-07-06 (13 页)2023,34(7):3438-3450 [摘要(779)] [PDF(2713)6.65 M][HTML(1693)]申威1621处理器上矩阵乘法优化研究闫昊，刘芳芳，马文静，陈道琨出版日期: 2023-07-06 (13 页)2023,34(7):3451-3463 [摘要(1079)] [PDF(3315)7.02 M][HTML(2223)]
形式化方法与应用专题前言董云卫，刘关俊，毛晓光出版日期: 2023-07-06 (2 页)2023,34(7):2979-2980 [摘要(834)] [PDF(3900)530.35 K][HTML(2715)]安全的混成系统神经网络控制器生成与验证赵庆晔，王豫，李宣东出版日期: 2023-07-06 (21 页)2023,34(7):2981-3001 [摘要(1373)] [PDF(3817)2.37 M][HTML(3836)]自动驾驶交叉路口测试场景建模及验证方法夏春艳，黄松，郑长友，张清睿，王宇，魏瑀皓出版日期: 2023-07-06 (18 页)2023,34(7):3002-3021 [摘要(1688)] [PDF(4493)3.49 M][HTML(3327)]基于LLVM Pass的复杂嵌套循环自动并行化框架马春燕，吕炳旭，叶许姣，张雨出版日期: 2023-07-06 (21 页)2023,34(7):3022-3042 [摘要(1424)] [PDF(4104)2.96 M][HTML(2720)]目标导向的多线程程序UAF漏洞预测方法鲁法明，唐梦凡，包云霞，曾庆田，李彦成出版日期: 2023-07-06 (19 页)2023,34(7):3043-3063 [摘要(1271)] [PDF(3933)2.33 M][HTML(2693)]基于约束依赖图的并发程序模型检测工具苏杰，杨祖超，田聪，段振华出版日期: 2023-07-06 (17 页)2023,34(7):3064-3079 [摘要(1250)] [PDF(4463)2.37 M][HTML(2627)]基于SMT的区域控制器同步反应式模型的形式化验证李腾飞，孙军峰，吕新军，陈祥，刘静，孙海英，何积丰出版日期: 2023-07-06 (19 页)2023,34(7):3080-3098 [摘要(1248)] [PDF(3937)2.82 M][HTML(2572)]智能规划中面向简单偏好的高效求解方法陆旭，于斌，段振华，王德奎，陈矗，崔进出版日期: 2023-07-06 (18 页)2023,34(7):3099-3115 [摘要(1217)] [PDF(4133)2.27 M][HTML(3039)]面向未解释程序的合作验证方法杜一德，洪伟疆，陈振邦，王戟出版日期: 2023-07-06 (18 页)2023,34(7):3116-3133 [摘要(780)] [PDF(3586)2.82 M][HTML(2316)]
前馈神经网络和循环神经网络的鲁棒性验证综述刘颖，杨鹏飞，张立军，吴志林，冯元出版日期: 2023-07-06 (35 页)2023,34(7):3134-3166 [摘要(1794)] [PDF(5116)10.65 M][HTML(3705)]
