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