文章编号 | 标题 | 作者 | 年卷期:起止页码 | 复制 |
7140 |
形式化方法与应用专题前言
|
曹钦翔,宋富,詹乃军
|
2024,35(9):4011-4012
|
|
7126 |
关于安全案例论证构建的综述
|
陈泽众,邓玉欣
|
2024,35(9):4013-4037
|
|
7127 |
完备神经网络验证加速技术综述
|
刘宗鑫,杨鹏飞,张立军,吴志林,黄小炜
|
2024,35(9):4038-4068
|
|
7138 |
基于交互式定理证明的并发程序验证工作综述
|
王中烨,吴姝姝,曹钦翔
|
2024,35(9):4069-4099
|
|
7128 |
舰载机弹药保障作业调度的形式化建模与验证
|
金钊,金璐,张博闻,吴庆顺,冯朔,李冠峰,徐明亮
|
2024,35(9):4100-4122
|
|
7129 |
基于优先级时间Petri网的实时嵌入式多核系统分析
|
张凯文,刘关俊,孙彦韬,李晓锋,关健,解毅,顾斌
|
2024,35(9):4123-4140
|
|
7130 |
并发对象强可线性化性质的检测和验证
|
王超,贾巧雯,吕毅,吴鹏
|
2024,35(9):4141-4159
|
|
7131 |
基于DH标定的机器人正向运动学形式化验证
|
谢果君,杨焕焕,石正璞,陈钢
|
2024,35(9):4160-4178
|
|
7132 |
微内核操作系统互斥量模块功能正确性的形式化验证
|
张林雁,李希萌,施智平,关永,曹钦翔,张倩颖
|
2024,35(9):4179-4192
|
|
7133 |
基于形式化方法的区块链系统漏洞检测模型
|
陈锦富,冯乔伟,蔡赛华,施登洲,Rexford Nii Ayitey SOSU
|
2024,35(9):4193-4217
|
|
7134 |
命令式动态规划类算法程序推导及机械化验证
|
左正康,孙欢,王昌晶,游珍,黄箐,王唱唱
|
2024,35(9):4218-4241
|
|
7135 |
Trie+结构函数式建模、机械化验证及其应用
|
左正康,柯雨含,黄箐,王玥坤,曾志城,王昌晶
|
2024,35(9):4242-4264
|
|
7136 |
基于MTRDL的自动飞行系统模式需求建模与验证方法
|
徐恒,黄志球,胡军,陶传奇,王金永,石帆
|
2024,35(9):4265-4286
|
|
7137 |
基于AADL的混合关键系统随机错误与突发错误安全性分析
|
魏晓敏,董云卫,孙聪,李兴华,马建峰
|
2024,35(9):4287-4309
|
|
7139 |
Büchi自动机确定化分析工具
|
马润哲,田聪,王文胜,段振华
|
2024,35(9):4310-4323
|
|
6951 |
基于胶囊异构图注意力网络的中文表格型数据事实验证
|
杨鹏,查显宇,赵广振,林茜
|
2024,35(9):4324-4345
|
|
6955 |
基于IR-UWB的睡眠状态下人体呼吸波形检测方法
|
郭政鑫,戴余豪,桂林卿,盛碧云,肖甫
|
2024,35(9):4346-4364
|
|
6956 |
Pobe: 一种基于生成式模型的分布外文本检测方法
|
欧阳亚文,高源,宗石,鲍宇,戴新宇
|
2024,35(9):4365-4376
|
|
6963 |
属性建模与课程学习相结合的属性级情感分类方法
|
叶静,向露,宗成庆
|
2024,35(9):4377-4389
|
|
6970 |
基于重要性采样的超图网络高效表示方法
|
邵豪,王伦文,朱然刚,刘辉
|
2024,35(9):4390-4407
|
|
|