机读格式显示(MARC)
- 000 01261nam0 2200289 450
- 010 __ |a 978-7-03-072097-9 |d CNY89.00
- 100 __ |a 20220624d2022 em y0chiy50 ea
- 200 1_ |a 拉格朗日力学理论的形式化与机器人动力学形式化分析 |A la ge lang ri li xue li lun de xing shi hua yu ji qi ren dong li xue xing shi hua fen xi |f 关永 ... [等] 著
- 210 __ |a 北京 |c 科学出版社 |d 2022
- 215 __ |a 156页 |c 图 |d 24cm
- 304 __ |a 题名页题: 关永, 张景芝, 施智平, 李晓娟著
- 330 __ |a 全书主要内容包括: 泛函变分、动力学与形式化验证的进展; 泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论; 泛函变分主要理论的形式化; 拉格朗日力学主要理论的形式化; 机器人动力学的形式化建模与分析; 模块化自组织机器人对接运动学和动力学验证。作者长期对系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代, 本书是对该过程成果的高度凝练与系统总结。
- 606 0_ |a 机器人 |A ji qi ren |x 动力学 |x 研究
- 701 _0 |a 关永 |A guan yong |4 著
- 701 _0 |a 张景芝 |A zhang jing zhi |4 著
- 701 _0 |a 施智平 |A shi zhi ping |4 著
- 801 _0 |a CN |b HDUL |c 20220926
- 905 __ |a HDUL |d TP24/830