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

   
浏览其它刊期:  
  

本期目录

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

专刊文章

约束求解与定理证明专题前言
  蔡少伟，陈振邦，王戟，詹博华，赵永望
  出版日期: 2023-08-06 (2 页)
  2023,34(8):3465-3466 [摘要(604)]  [PDF 537.17 K (2379)]
  
基于不可满足核的近似逼近可达性分析
  于忠祺，张小禹，李建文
  出版日期: 2023-08-06 (19 页)
  2023,34(8):3467-3484 [摘要(967)]  [PDF 2.92 M (2973)]
  
GC-MCR:有向图约束指导的并发缺陷检测方法
  李硕川，王赞，马明旭，陈翔，赵英全，王海弛，王昊宇
  出版日期: 2023-08-06 (22 页)
  2023,34(8):3485-3506 [摘要(1184)]  [PDF 2.78 M (2820)]
  
基于精化的TrustZone多安全分区建模与形式化验证
  曾凡浪，常瑞，许浩，潘少平，赵永望
  出版日期: 2023-08-06 (20 页)
  2023,34(8):3507-3526 [摘要(1277)]  [PDF 2.26 M (3283)]
  
L4虚拟内存子系统的形式化验证
  章乐平，赵永望，王布阳，李悦欣，冯潇潇
  出版日期: 2023-08-06 (21 页)
  2023,34(8):3527-3548 [摘要(1198)]  [PDF 2.42 M (3089)]
  
针对教学场景的ZFC集合论Coq形式化
  万新熠，徐轲，曹钦翔
  出版日期: 2023-08-06 (26 页)
  2023,34(8):3549-3573 [摘要(985)]  [PDF 2.60 M (3018)]
  
强表达描述逻辑本体的后继式公理定位研究
  李静，欧阳丹彤，叶育鑫
  出版日期: 2023-08-06 (13 页)
  2023,34(8):3574-3586 [摘要(766)]  [PDF 1.75 M (2531)]
  

综述文章

用户特征请求分析与处理研究综述
  牛菲菲，李传艺，葛季栋，骆斌
  出版日期: 2023-08-06 (32 页)
  2023,34(8):3605-3636 [摘要(1544)]  [PDF 12.76 M (4470)]
  
人工智能系统可信性度量评估研究综述
  刘晗，李凯旋，陈仪香
  出版日期: 2023-08-06 (19 页)
  2023,34(8):3774-3792 [摘要(3533)]  [PDF 5.37 M (8080)]
  
带内网络遥测方法综述
  吕鸿润，李清，沈耿彪，周建二，江勇，李伟超，刘凯，齐竹云
  出版日期: 2023-08-06 (21 页)
  2023,34(8):3870-3890 [摘要(2287)]  [PDF 10.74 M (4777)]
  
基于深度学习的事件抽取研究综述
  王浩畅，周郴莲，Marius Gabriel PETRESCU
  出版日期: 2023-08-06 (19 页)
  2023,34(8):3905-3923 [摘要(2109)]  [PDF 5.46 M (5462)]
  


版权所有：欢迎访问软件学报网站！
地址：北京市海淀区中关村南四街4号 邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

川公网安备 51010702000686号