| |
2023年第34卷第8期目录
本期目录 | | | 基于核外计算的Datalog引擎设计与实现 | | | 张奕裕，王归航，左志强，李宣东 | | | 出版日期: 2023-08-06 (18 页) | | | 2023,34(8):3587-3604 | | | [摘要](1837) [PDF 4.83 M](3964) | | | 可信执行环境访问控制建模与安全性分析 | | | 苗新亮，常瑞，潘少平，赵永望，蒋烈辉 | | | 出版日期: 2023-08-06 (22 页) | | | 2023,34(8):3637-3658 | | | [摘要](2257) [PDF 20.53 M](4976) | | | Streett自动机确定化工具 | | | 王文胜，田聪，段振华 | | | 出版日期: 2023-08-06 (15 页) | | | 2023,34(8):3659-3673 | | | [摘要](1586) [PDF 6.31 M](3764) | | | 基于非交互式Petri网的异步程序验证模型和方法 | | | 吴志文，李国强 | | | 出版日期: 2023-08-06 (12 页) | | | 2023,34(8):3674-3685 | | | [摘要](1546) [PDF 4.12 M](3589) | | | 基于函数式语义的循环和递归程序结构通用证明技术 | | | 李希萌，王国辉，张倩颖，施智平，关永 | | | 出版日期: 2023-08-06 (22 页) | | | 2023,34(8):3686-3707 | | | [摘要](1541) [PDF 6.47 M](3575) | | | 一个切换认证的5G鉴权协议及其形式化分析 | | | 刘逸冰，周刚 | | | 出版日期: 2023-08-06 (18 页) | | | 2023,34(8):3708-3725 | | | [摘要](1985) [PDF 3.51 M](4760) | | | 基于Petri网展开的多线程程序数据竞争检测与重演 | | | 鲁法明，黄莹，曾庆田，包云霞，唐梦凡 | | | 出版日期: 2023-08-06 (19 页) | | | 2023,34(8):3726-3744 | | | [摘要](1718) [PDF 8.80 M](3670) | | | 基于Capstone和流敏感混合执行的自动化反混淆技术 | | | 鲁辉，郭润生，金成杰，何陆潇涵，王兴伟，田志宏 | | | 出版日期: 2023-08-06 (12 页) | | | 2023,34(8):3745-3756 | | | [摘要](1774) [PDF 2.27 M](3489) | | | 反射剖面精确拟合的次表面散射计算方法 | | | 梁仕宇，高阳，丛宇，郝爱民 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3757-3773 | | | [摘要](1488) [PDF 7.38 M](3555) | | | 电动自行车轨迹简化与自适应地图匹配算法 | | | 王东京，刘继涛，俞东进 | | | 出版日期: 2023-08-06 (28 页) | | | 2023,34(8):3793-3820 | | | [摘要](1672) [PDF 7.54 M](3911) | | | 显式知识推理和深度强化学习结合的动态决策 | | | 张昊迪，陈振浩，陈俊扬，周熠，连德富，伍楷舜，林方真 | | | 出版日期: 2023-08-06 (15 页) | | | 2023,34(8):3821-3835 | | | [摘要](2962) [PDF 9.56 M](5532) | | | 基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策 | | | 陈洁娜，张铭茁，杜德慧，李博，聂基辉，任婧瑶 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3836-3852 | | | [摘要](3655) [PDF 12.09 M](5161) | | | 基于K Framework的向量化机器学习指令语义形式化 | | | 黄厚华，刘嘉祥，施晓牧 | | | 出版日期: 2023-08-06 (17 页) | | | 2023,34(8):3853-3869 | | | [摘要](1766) [PDF 6.07 M](4199) | | | 对一种白盒SM4方案的差分计算分析 | | | 原梓清，陈杰 | | | 出版日期: 2023-08-06 (14 页) | | | 2023,34(8):3891-3904 | | | [摘要](1762) [PDF 3.96 M](4011) | | | 基于流特征的数据中心非对称流负载均衡方法 | | | 陈中卿，李丹丹，闪德胜，钱叶魁，谢坤，黄小红，丛群 | | | 出版日期: 2023-08-06 (14 页) | | | 2023,34(8):3924-3937 | | | [摘要](1592) [PDF 10.73 M](4288) | |
专刊文章 综述文章
|
