书目信息 |
| 题名： |
拉格朗日力学理论的形式化与机器人动力学形式化分析
|
|
| 作者： | 关永 ， 张景芝 ， 施智平 ， 李晓娟 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2022.05 |
|
| 页数： | 156页 | |
| 开本： | 24cm | |
| 丛书名： | ||
| 单 册： | ||
| 中图分类： | TP24 | |
| 科图分类： | ||
| 主题词： | 机器人--ji qi ren--动力学--研究 | |
| 电子资源： | ||
| ISBN： | 978-7-03-072097-9 | |
| 000 | 01200nam0 2200277 450 | |
| 001 | 2260403692 | |
| 010 | @a978-7-03-072097-9@dCNY89.00 | |
| 100 | @a20220711d2022 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a拉格朗日力学理论的形式化与机器人动力学形式化分析@Ala 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科学出版社@d2022.05 | |
| 215 | @a156页@d24cm | |
| 304 | @a题名页题其余责任者: 张景芝, 施智平, 李晓娟 | |
| 320 | @a有书目 | |
| 330 | @a本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 | |
| 606 | 0 | @a机器人@Aji qi ren@x动力学@x研究 |
| 690 | @aTP24@v5 | |
| 701 | 0 | @a关永@Aguan yong@4著 |
| 701 | 0 | @a张景芝@Azhang jing zhi@4著 |
| 701 | 0 | @a施智平@Ashi zhi ping@4著 |
| 701 | 0 | @a李晓娟@Ali xiao juan@4著 |
| 801 | 0 | @aCN@c20220906 |
| 905 | @a河南城建学院图书馆@dTP24@eG555 | |
| 拉格朗日力学理论的形式化与机器人动力学形式化分析/关永 ... [等] 著.-北京：科学出版社，2022.05 |
| 156页；24cm |
| ISBN 978-7-03-072097-9：CNY89.00 |
| 本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 |
| ● |
| 相关链接 |
|
|
|
正题名：拉格朗日力学理论的形式化与机器人动力学形
索取号：TP24/G555
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1572837 | 215728372 | 自科库301/301自科库 40排4列4层/ [索取号:TP24/G555] | 在馆 |