文献类型:专著 浏览次数:21
  • 题名:拉格朗日力学理论的形式化与机器人动力学形式化分析
  • 责任者:关永 ... [等] 著
  • 出版社科学出版社
  • 出版年:2022.05
  • ISBN:978-7-03-072097-9
  • 定价:89.00
  • 载体形态项:156页 24cm
  • 个人责任者:关永著、张景芝著、施智平著、李晓娟著
  • 学科主题:机器人
  • 中图法分类号:TP24
  • 提要文摘附注:本书以拉格朗日力学理论与自动定理证明思想为指导, 系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系, 从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码