Page 53 - 《软件学报》2025年第8期

3476 软件学报 2025 年第 36 卷第 8 期

10.3969/j.issn.1000-1220.2020.05.005]
[19] 谢果君, 杨焕焕, 石正璞, 陈钢. 基于 DH 标定的机器人正向运动学形式化验证. 软件学报, 2024, 35(9): 4160–4178. http://www.jos.
org.cn/1000-9825/7131.htm [doi: 10.13328/j.cnki.jos.007131]
[22] 张景芝. 泛函变分与拉格朗日力学的形式化及在机器人动力学的应用 [博士学位论文]. 北京: 首都师范大学, 2020.

张善强(2000－), 男, 硕士, CCF 学生会员, 主要 王国辉(1984－), 男, 博士, 高级实验师 , CCF 专
研究领域为形式化验证, 定理证明. 业会员, 主要研究领域为形式化验证, 高可靠嵌
入式系统.

张景芝(1986－), 女, 博士, 实验师, 主要研究领 关永(1966－), 男, 博士, 教授, 博士生导师, CCF
域为形式化验证, 定理证明. 专业会员, 主要研究领域为形式化验证, 高可靠
嵌入式系统.

施智平(1974－), 男, 博士, 教授, 博士生导师,
CCF 高级会员, 主要研究领域为形式化验证, 计
算机视觉.