Page 2 - 《软件学报》2025年第8期
P. 2

中国精品科技期刊


                 2013 年全国百强科技期刊   2015 年全国百强科技期刊   中国精品科技期刊        中国计算机学会会刊


                          软  件  学  报                                         第  36 卷第    8 期

                                                                               2025 年  8 月
                             (Ruanjian Xuebao)

                                                        目 次


                 形式化方法与应用专题


                 形式化方法与应用专题前言 ································································ 陈明帅 田 聪 熊英飞  (3429)
                 Fast-USYN: 从酉矩阵到高质量量子电路的快速合成 ················································································
                 ················································································ 谭思危 卢丽强 郎聪亮 陈明帅 尹建伟  (3431)

                 神经网络的增量验证 ··································································································································
                 ··································· 刘宗鑫 迟智名 赵梦宇 黄承超 黄小炜 蔡少伟 张立军 杨鹏飞  (3444)

                 单球驱动平衡机器人运动学和动力学形式化验证 ·····················································································
                 ················································································ 张善强 张景芝 施智平 王国辉 关 永  (3462)
                 基于记忆策略的元解释学习 ·································· 王 榕 田 聪 孙 军 于 斌 段振华  (3477)

                 GhostFunc: 一种针对   Rust 操作系统内核的验证方法 ·························· 何 韬 董 威 文艳军  (3494)

                 面向自动驾驶系统的场景建模及边缘关键场景生成 ·················································································
                 ················································································ 杜德慧 叶 振 郑成行 朱珍珍 李家蕴  (3512)
                 动态顺序统计树类结构的函数式建模及其自动化验证 ·············································································
                 ················································································ 左正康 刘增鑫 柯雨含 游 珍 王昌晶  (3531)

                 基于下推自动机的同步数据流语言可信编译 ····························································································
                 ···················· 于 涛 王珊珊 徐芊卉 董晓晗 胡代金 罗 杰 杨溢龙 吕江花 马殿富  (3554)
                 操作系统内核权能访问控制的形式验证 ·························································· 徐家乐 王淑灵 李黎明

                                   詹博华 吕 毅 代艺博 崔舍承 吴 鹏 谭 宇 张学军 詹乃军  (3570)
                 基于混成自动机路径过滤与动态选择的                 CPS  系统反例生成 ·····································································
                 ······························································································· 王佳宛 刘熹橦 卜 磊 李宣东  (3587)

                 面向  Rust 语言的形式化验证方法研究综述 ·························· 张卓若 常 瑞 杨申毅 陈 芳  (3604)

                 因果时空语义驱动的深度强化学习抽象建模方法 ·····················································································
                 ················································································ 田丽丽 杜德慧 聂基辉 陈逸康 李荥达  (3637)
   1   2   3   4   5   6   7