机读格式显示(MARC)
- 000 01110nam0 2200277 450
- 010 __ |a 978-7-03-072097-9 |d CNY89.00
- 035 __ |a (A100000NLC)011827501
- 049 __ |a A100000NLC |b UCS01011392452 |c 011827501 |d NLC01
- 100 __ |a 20220629d2022 em y0chiy50 ea
- 200 1_ |a 拉格朗日力学理论的形式化与机器人动力学形式化分析 |A La 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 科学出版社 |d 2022
- 304 __ |a 著者还有:张景芝、施智平、李晓娟
- 330 __ |a 本书主要内容包括:泛函变分、动力学与形式化验证的进展;泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论;泛函变分主要理论的形式化;拉格朗日力学主要理论的形式化;机器人动力学的形式化建模与分析;模块化自组织机器人对接运动学和动力学验证。
- 606 0_ |a 机器人 |A Ji Qi Ren |x 动力学 |x 研究
- 701 _0 |a 关永 |A Guan Yong |4 著
- 801 _2 |a CN |b OLCC |c 20220817
- 905 __ |a XATU |d TP24/90