2023年第34卷第8期目录下载本期目录
基于核外计算的Datalog引擎设计与实现张奕裕，王归航，左志强，李宣东出版日期: 2023-08-06 (18 页)2023,34(8):3587-3604 [摘要(1074)] [PDF(2674)4.83 M][HTML(1399)]可信执行环境访问控制建模与安全性分析苗新亮，常瑞，潘少平，赵永望，蒋烈辉出版日期: 2023-08-06 (22 页)2023,34(8):3637-3658 [摘要(1426)] [PDF(3499)20.53 M][HTML(1321)]Streett自动机确定化工具王文胜，田聪，段振华出版日期: 2023-08-06 (15 页)2023,34(8):3659-3673 [摘要(739)] [PDF(2564)6.31 M][HTML(950)]基于非交互式Petri网的异步程序验证模型和方法吴志文，李国强出版日期: 2023-08-06 (12 页)2023,34(8):3674-3685 [摘要(871)] [PDF(2472)4.12 M][HTML(893)]基于函数式语义的循环和递归程序结构通用证明技术李希萌，王国辉，张倩颖，施智平，关永出版日期: 2023-08-06 (22 页)2023,34(8):3686-3707 [摘要(828)] [PDF(2443)6.47 M][HTML(910)]一个切换认证的5G鉴权协议及其形式化分析刘逸冰，周刚出版日期: 2023-08-06 (18 页)2023,34(8):3708-3725 [摘要(1184)] [PDF(3354)3.51 M][HTML(1218)]基于Petri网展开的多线程程序数据竞争检测与重演鲁法明，黄莹，曾庆田，包云霞，唐梦凡出版日期: 2023-08-06 (19 页)2023,34(8):3726-3744 [摘要(956)] [PDF(2514)8.80 M][HTML(785)]基于Capstone和流敏感混合执行的自动化反混淆技术鲁辉，郭润生，金成杰，何陆潇涵，王兴伟，田志宏出版日期: 2023-08-06 (12 页)2023,34(8):3745-3756 [摘要(766)] [PDF(2110)2.27 M][HTML(1112)]反射剖面精确拟合的次表面散射计算方法梁仕宇，高阳，丛宇，郝爱民出版日期: 2023-08-06 (17 页)2023,34(8):3757-3773 [摘要(587)] [PDF(2118)7.38 M][HTML(944)]电动自行车轨迹简化与自适应地图匹配算法王东京，刘继涛，俞东进出版日期: 2023-08-06 (28 页)2023,34(8):3793-3820 [摘要(722)] [PDF(2325)7.54 M][HTML(1512)]显式知识推理和深度强化学习结合的动态决策张昊迪，陈振浩，陈俊扬，周熠，连德富，伍楷舜，林方真出版日期: 2023-08-06 (15 页)2023,34(8):3821-3835 [摘要(1651)] [PDF(3589)9.56 M][HTML(1325)]基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策陈洁娜，张铭茁，杜德慧，李博，聂基辉，任婧瑶出版日期: 2023-08-06 (17 页)2023,34(8):3836-3852 [摘要(1470)] [PDF(3472)12.09 M][HTML(1871)]基于K Framework的向量化机器学习指令语义形式化黄厚华，刘嘉祥，施晓牧出版日期: 2023-08-06 (17 页)2023,34(8):3853-3869 [摘要(943)] [PDF(2824)6.07 M][HTML(831)]对一种白盒SM4方案的差分计算分析原梓清，陈杰出版日期: 2023-08-06 (14 页)2023,34(8):3891-3904 [摘要(946)] [PDF(2505)3.96 M][HTML(1560)]基于流特征的数据中心非对称流负载均衡方法陈中卿，李丹丹，闪德胜，钱叶魁，谢坤，黄小红，丛群出版日期: 2023-08-06 (14 页)2023,34(8):3924-3937 [摘要(740)] [PDF(2518)10.73 M][HTML(879)]
约束求解与定理证明专题前言蔡少伟，陈振邦，王戟，詹博华，赵永望出版日期: 2023-08-06 (2 页)2023,34(8):3465-3466 [摘要(603)] [PDF(2337)537.17 K][HTML(1338)]基于不可满足核的近似逼近可达性分析于忠祺，张小禹，李建文出版日期: 2023-08-06 (19 页)2023,34(8):3467-3484 [摘要(967)] [PDF(2938)2.92 M][HTML(1800)]GC-MCR:有向图约束指导的并发缺陷检测方法李硕川，王赞，马明旭，陈翔，赵英全，王海弛，王昊宇出版日期: 2023-08-06 (22 页)2023,34(8):3485-3506 [摘要(1184)] [PDF(2783)2.78 M][HTML(1526)]基于精化的TrustZone多安全分区建模与形式化验证曾凡浪，常瑞，许浩，潘少平，赵永望出版日期: 2023-08-06 (20 页)2023,34(8):3507-3526 [摘要(1277)] [PDF(3243)2.26 M][HTML(1620)]L4虚拟内存子系统的形式化验证章乐平，赵永望，王布阳，李悦欣，冯潇潇出版日期: 2023-08-06 (21 页)2023,34(8):3527-3548 [摘要(1196)] [PDF(3043)2.42 M][HTML(2142)]针对教学场景的ZFC集合论Coq形式化万新熠，徐轲，曹钦翔出版日期: 2023-08-06 (26 页)2023,34(8):3549-3573 [摘要(984)] [PDF(2984)2.60 M][HTML(1517)]强表达描述逻辑本体的后继式公理定位研究李静，欧阳丹彤，叶育鑫出版日期: 2023-08-06 (13 页)2023,34(8):3574-3586 [摘要(764)] [PDF(2499)1.75 M][HTML(1609)]
用户特征请求分析与处理研究综述牛菲菲，李传艺，葛季栋，骆斌出版日期: 2023-08-06 (32 页)2023,34(8):3605-3636 [摘要(1540)] [PDF(4431)12.76 M][HTML(2950)]人工智能系统可信性度量评估研究综述刘晗，李凯旋，陈仪香出版日期: 2023-08-06 (19 页)2023,34(8):3774-3792 [摘要(3516)] [PDF(8022)5.37 M][HTML(4741)]带内网络遥测方法综述吕鸿润，李清，沈耿彪，周建二，江勇，李伟超，刘凯，齐竹云出版日期: 2023-08-06 (21 页)2023,34(8):3870-3890 [摘要(2277)] [PDF(4738)10.74 M][HTML(2588)]基于深度学习的事件抽取研究综述王浩畅，周郴莲，Marius Gabriel PETRESCU出版日期: 2023-08-06 (19 页)2023,34(8):3905-3923 [摘要(2097)] [PDF(5416)5.46 M][HTML(2646)]
