2023年第34卷第7期目录下载本期目录

   
浏览其它刊期:  
  

本期目录

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

专刊文章

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

综述文章

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