2023年第34卷第7期目录

   
浏览其它刊期:  
  

本期目录

面向Java微服务系统的透明请求追踪及采样方法
  黄梓程,陈鹏飞,余广坝,陈泓仰
  出版日期: 2023-07-06 (21 )
  2023,34(7):3167-3187
  [摘要](1843)  [PDF 8.66 M](3828)
基于多重异质图的恶意软件相似性度量方法
  谷勇浩,王翼翡,刘威歆,吴铁军,孟国柱
  出版日期: 2023-07-06 (18 )
  2023,34(7):3188-3205
  [摘要](2116)  [PDF 3.14 M](4372)
基于实例加权和双分类器的稳定学习算法
  杨帅,王浩,俞奎,曹付元
  出版日期: 2023-07-06 (20 )
  2023,34(7):3206-3225
  [摘要](1332)  [PDF 7.51 M](3739)
基于双重注意力机制的事件抽取方法
  朱敏,毛莺池,程永,陈程军,王龙宝
  出版日期: 2023-07-06 (15 )
  2023,34(7):3226-3240
  [摘要](1837)  [PDF 7.72 M](4628)
主动自动机学习中的等价查询算法优化
  潘雁,祝跃飞
  出版日期: 2023-07-06 (15 )
  2023,34(7):3241-3255
  [摘要](1207)  [PDF 5.55 M](3403)
互信息与多条元路径融合的异质网络表示学习方法
  贾霄生,赵中英,李超,栾文静,梁永全
  出版日期: 2023-07-06 (16 )
  2023,34(7):3256-3271
  [摘要](1828)  [PDF 9.42 M](4612)
基于雾计算的智能医疗三方认证与密钥协商协议
  王菲菲,汪定
  出版日期: 2023-07-06 (20 )
  2023,34(7):3272-3291
  [摘要](1441)  [PDF 5.02 M](3697)
区块链中可监管的身份隐私保护方案
  宋靖文,张大伟,韩旭,杜晔
  出版日期: 2023-07-06 (21 )
  2023,34(7):3292-3312
  [摘要](2717)  [PDF 8.75 M](5182)
基于义原级语句稀释法的文本对抗攻击能力强化方法
  叶文滔,张敏,陈仪香
  出版日期: 2023-07-06 (16 )
  2023,34(7):3313-3328
  [摘要](1613)  [PDF 7.00 M](3875)
一种支持分级用户访问的文件分层CP-ABE方案
  刘帅南,刘彬,郭真,冯朝胜,秦志光,卿昱
  出版日期: 2023-07-06 (14 )
  2023,34(7):3329-3342
  [摘要](1638)  [PDF 10.55 M](4118)
集合交集元素之和的保密计算
  李顺东,张凯鑫,杨晨,汪榆淋
  出版日期: 2023-07-06 (11 )
  2023,34(7):3343-3353
  [摘要](1269)  [PDF 5.55 M](3290)
基于SM9的CCA安全广播加密方案
  赖建昌,黄欣沂,何德彪,宁建廷
  出版日期: 2023-07-06 (11 )
  2023,34(7):3354-3364
  [摘要](1822)  [PDF 6.00 M](4103)
基于跨域关联与隐私保护的深度推荐模型
  王利娥,李东城,李先贤
  出版日期: 2023-07-06 (20 )
  2023,34(7):3365-3384
  [摘要](1840)  [PDF 5.28 M](4718)
基于U-Net结构的生成式多重对抗隐写算法
  马宾,韩作伟,徐健,王春鹏,李健,王玉立
  出版日期: 2023-07-06 (23 )
  2023,34(7):3385-3407
  [摘要](1711)  [PDF 10.20 M](4074)
基于卷积神经网络的全景分割Transformer模型
  毛琳,任凤至,杨大伟,张汝波
  出版日期: 2023-07-06 (14 )
  2023,34(7):3408-3421
  [摘要](2274)  [PDF 8.76 M](4498)
基于避让阻塞的优先级天花板协议
  陈熙,乔磊,杨孟飞,刘洪标
  出版日期: 2023-07-06 (16 )
  2023,34(7):3422-3437
  [摘要](1403)  [PDF 11.36 M](3684)
基于标记增强的离散跨模态哈希方法
  王永欣,田洁茹,陈振铎,罗昕,许信顺
  出版日期: 2023-07-06 (13 )
  2023,34(7):3438-3450
  [摘要](1430)  [PDF 6.65 M](3553)
申威1621处理器上矩阵乘法优化研究
  闫昊,刘芳芳,马文静,陈道琨
  出版日期: 2023-07-06 (13 )
  2023,34(7):3451-3463
  [摘要](1814)  [PDF 7.02 M](4499)

专刊文章

形式化方法与应用专题前言
  董云卫,刘关俊,毛晓光
  出版日期: 2023-07-06 (2 )
  2023,34(7):2979-2980
  [摘要](1366)  [PDF 530.35 K](5019)
安全的混成系统神经网络控制器生成与验证
  赵庆晔,王豫,李宣东
  出版日期: 2023-07-06 (21 )
  2023,34(7):2981-3001
  [摘要](2222)  [PDF 2.37 M](4913)
自动驾驶交叉路口测试场景建模及验证方法
  夏春艳,黄松,郑长友,张清睿,王宇,魏瑀皓
  出版日期: 2023-07-06 (18 )
  2023,34(7):3002-3021
  [摘要](3182)  [PDF 3.49 M](5773)
基于LLVM Pass的复杂嵌套循环自动并行化框架
  马春燕,吕炳旭,叶许姣,张雨
  出版日期: 2023-07-06 (21 )
  2023,34(7):3022-3042
  [摘要](2261)  [PDF 2.96 M](5304)
目标导向的多线程程序UAF漏洞预测方法
  鲁法明,唐梦凡,包云霞,曾庆田,李彦成
  出版日期: 2023-07-06 (19 )
  2023,34(7):3043-3063
  [摘要](2188)  [PDF 2.33 M](5184)
基于约束依赖图的并发程序模型检测工具
  苏杰,杨祖超,田聪,段振华
  出版日期: 2023-07-06 (17 )
  2023,34(7):3064-3079
  [摘要](2466)  [PDF 2.37 M](5714)
基于SMT的区域控制器同步反应式模型的形式化验证
  李腾飞,孙军峰,吕新军,陈祥,刘静,孙海英,何积丰
  出版日期: 2023-07-06 (19 )
  2023,34(7):3080-3098
  [摘要](1963)  [PDF 2.82 M](5250)
智能规划中面向简单偏好的高效求解方法
  陆旭,于斌,段振华,王德奎,陈矗,崔进
  出版日期: 2023-07-06 (18 )
  2023,34(7):3099-3115
  [摘要](1927)  [PDF 2.27 M](5284)
面向未解释程序的合作验证方法
  杜一德,洪伟疆,陈振邦,王戟
  出版日期: 2023-07-06 (18 )
  2023,34(7):3116-3133
  [摘要](1682)  [PDF 2.82 M](4781)

综述文章

前馈神经网络和循环神经网络的鲁棒性验证综述
  刘颖,杨鹏飞,张立军,吴志林,冯元
  出版日期: 2023-07-06 (35 )
  2023,34(7):3134-3166
  [摘要](2724)  [PDF 10.65 M](7596)