机读格式显示(MARC)

• 000 01157nam0 2200301 450

• 001 0000414867

• 005 20230329155500.0

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

• 035 __ |a (A100000NLC)011970937

• 049 __ |a A100000NLC |b UCS01011526210 |c 011970937 |d NLC01

• 100 __ |a 20220921d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 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

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

• 304 __ |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 著

• 801 _2 |a CN |b OLCC |c 20221101

• 905 __ |a XATU |d O316/14

• 920 __ |a 261060 |z 1