书目详细信息
： 拉格朗日力学理论的形式化与机器人动力学形式化分析
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-072097-9:CNY89.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 拉格朗日力学理论的形式化与机器人动力学形式化分析/.关永 ... [等] 著 |
| 出版发行项： | 北京:,科学出版社:,2022 |
| 载体形态项： | 156页:;+图:;+24cm |
| 提要文摘： | 本书内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域，以拉格朗日力学理论与自动定理证明思想为指导，研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。 |
| 题名主题： | 机器人 动力学 研究 |
| 索书号： | TP242/G75 |
| 中图分类： | TP242 |
| 个人名称等同： | 关永 著 |
| 个人名称等同： | 张景芝 著 |
| 个人名称等同： | 施智平 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20220622 |