机读格式显示(MARC)

• 000 01393nam0 22003131 450

• 001 0000446624

• 005 20231206155700.0

• 010 __ |a 978-7-03-053204-6 |d CNY89.00

• 100 __ |a 20231120d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 哈密顿力学理论的形式化与机器人动力学形式化分析 |A ha mi dun li xue li lun de xing shi hua yu ji qi ren dong li xue xing shi hua fen xi |f 施智平 ... [等] 著

• 210 __ |a 北京 |c 科学出版社 |d 2022.09

• 215 __ |a 127页 |c 图 |d 24cm

• 304 __ |a 题名页题其余责任者: 王国辉, 关永, 王瑞

• 320 __ |a 有书目

• 330 __ |a 本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系, 并以四自由度串联机器人为例, 研究基于哈密顿动力学系统的形式化分析与验证方法的应用, 为机器人动力学的安全设计提供形式化验证理论和技术手段。内容涵盖了交互式定理证明、机器人、形式化验证等人工智能领域。全书主要内容包括: 哈密顿模型的几何基础 —— 辛流形空间的形式化 ; 哈密顿模型和拉格朗日模型的勒让德影射关系的形式化 ; 哈密顿方程的形式化和机器人动力学的形式化建模与分析。

• 606 0_ |a 哈密顿原理 |A ha mi dun yuan li

• 606 0_ |a 机器人 |A ji qi ren |x 动力学 |x 研究

• 690 __ |a O316 |v 5

• 690 __ |a TP24 |v 5

• 701 _0 |a 施智平 |A shi zhi ping |4 著

• 701 _0 |a 王国辉 |A wang guo hui |4 著

• 701 _0 |a 关永 |A guan yong |4 著

• 701 _0 |a 王瑞 |A wang rui |4 著

• 801 _0 |a CN |b 辽批 |c 20231120

• 905 __ |a AUSTL |d O316/S987