2023年第34卷第7期目录

   
浏览其它刊期:  
  

本期目录

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

专刊文章

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

综述文章

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