2025年第36卷第8期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
本期目录
Fast-USYN: 从酉矩阵到高质量量子电路的快速合成
谭思危，卢丽强，郎聪亮，陈明帅，尹建伟
2025,36(8):1-13 [
摘要
(119)
] [
PDF
(187)
3.94 M
][
HTML()
]
神经网络的增量验证
刘宗鑫，迟智名，赵梦宇，黄承超，黄小炜，蔡少伟，张立军，杨鹏飞
2025,36(8):1-18 [
摘要
(120)
] [
PDF
(196)
3.26 M
][
HTML()
]
单球驱动平衡机器人运动学和动力学形式化验证
张善强，张景芝，施智平，王国辉，关永
2025,36(8):1-15 [
摘要
(138)
] [
PDF
(301)
5.70 M
][
HTML()
]
基于记忆策略的元解释学习
王榕，田聪，孙军，于斌，段振华
2025,36(8):1-17 [
摘要
(126)
] [
PDF
(190)
6.34 M
][
HTML()
]
专刊文章
GhostFunc: 一种针对Rust操作系统内核的验证方法
何韬，董威，文艳军
2025,36(8):1-18 [
摘要
(77)
] [
PDF
(120)
1.17 M
][
HTML()
]
本期目录
面向自动驾驶系统的场景建模及边缘关键场景生成
杜德慧，叶振，郑成行，朱珍珍，李家蕴
2025,36(8):1-19 [
摘要
(487)
] [
PDF
(225)
9.65 M
][
HTML()
]
动态顺序统计树类结构的函数式建模及其自动化验证
左正康，刘增鑫，柯雨含，游珍，王昌晶
2025,36(8):1-23 [
摘要
(279)
] [
PDF
(199)
4.76 M
][
HTML()
]
基于下推自动机的同步数据流语言可信编译
于涛，王珊珊，徐芊卉，董晓晗，胡代金，罗杰，杨溢龙，吕江花，马殿富
2025,36(8):1-16 [
摘要
(110)
] [
PDF
(189)
10.78 M
][
HTML()
]
操作系统内核权能访问控制的形式验证
徐家乐，王淑灵，李黎明，詹博华，吕毅，代艺博，崔舍承，吴鹏，谭宇，张学军，詹乃军
2025,36(8):1-17 [
摘要
(154)
] [
PDF
(251)
12.27 M
][
HTML()
]
基于混成自动机路径过滤与动态选择的CPS系统反例生成
王佳宛，刘熹橦，卜磊，李宣东
2025,36(8):1-17 [
摘要
(85)
] [
PDF
(181)
1.63 M
][
HTML()
]
面向Rust语言的形式化验证方法研究综述
张卓若，常瑞，杨申毅，陈芳
2025,36(8):1-33 [
摘要
(427)
] [
PDF
(305)
5.43 M
][
HTML()
]
因果时空语义驱动的深度强化学习抽象建模方法
田丽丽，杜德慧，聂基辉，陈逸康，李荥达
2025,36(8):1-18 [
摘要
(712)
] [
PDF
(257)
7.01 M
][
HTML()
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫
