正版现货 哈密顿力学理论的形式化与机器人动力学形式化分析
举报
人工智能 新华书店全新正版书籍
-
作者:
施智平
-
出版社:
科学出版社
-
ISBN:
9787030532046
-
出版时间:
2022-09
售价
¥
59.64
6.7折
定价
¥89.00
品相
全新
上书时间2023-12-10
卖家超过10天未登录
手机购买
微信扫码访问
-
-
商品描述:
-
名称:哈密顿力学理论的形式化与机器人动力学形式化分析
作者:施智平
品相:全新
出版时间:2022-09
装订:其他
ISBN:9787030532046
出版社:科学出版社
版次:31
页数:136页
商品描述:
本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系,并以四自由度串联机器人为例,研究了基于哈密顿动力学系统的形式化分析与验证方法的应用,为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括:哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程的形式化和机器人动力学的形式化建模与分析。内容涉及交互式定理证明、机器人、形式化验证等人工智能领域。本书可作为机器定理证明、机器人学、形式化方法、理论计算机科学及软件工程等领域科研人员和工程技术人员的参考书,也可作为高等院校相关专业高年级本科生和研究生的学习用书。
孔网啦啦啦啦啦纺织女工火锅店第三课
开播时间:09月02日 10:30
即将开播,去预约
直播中,去观看