|
题名:
|
拉格朗日力学理论的形式化与机器人动力学形式化分析 / 关永, 张景芝, 施智平, 李晓娟著 , |
|
ISBN:
|
978-7-03-072097-9 价格： CNY89.00 |
|
语种:
|
chi |
|
载体形态:
|
156页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2022 |
|
内容提要:
|
全书主要内容包括: 泛函变分、动力学与形式化验证的进展; 泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论; 泛函变分主要理论的形式化; 拉格朗日力学主要理论的形式化; 机器人动力学的形式化建模与分析; 模块化自组织机器人对接运动学和动力学验证。作者长期对系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代, 本书是对该过程成果的高度凝练与系统总结。 |
|
主题词:
|
机器人 动力学 |
|
中图分类法:
|
TP24 版次： 5 |
|
主要责任者:
|
关永 著 |
|
主要责任者:
|
张景芝 著 |
|
主要责任者:
|
施智平 著 |