TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
出版社/品牌
搜尋結果 /

李晓娟

1
1 / 1
拉格朗日力學理論的形式化與機器人動力學形式化分析(簡體書)
滿額折
出版日:2022/06/08 作者:關永; 張景芝; 施智平; 李曉娟  出版社:科學出版社  裝訂:平裝
《拉格朗日力學理論的形式化與機器人動力學形式化分析》以拉格朗日力學理論與自動定理證明思想為指導,系統深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關係,從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依託的定理證明體系。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。 《拉格朗日力學理論的形式化與機器人動力學形式化分析》主要內容包括:泛函變分、動力學與形式化驗證的進展;泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論;泛函變分主要理論的形式化;拉格朗日力學主要理論的形式化;機器人動力學的形式化建模與分析;模塊化自組織機器人對接運動學和動力學驗證。作者長期系統形式化與自動定理證明進行深入研究並在機器人安全驗證等領域持續實踐迭代,《拉格朗日力學理論的形式化與機器人動力學形式化分析》是對該過程成果的高度凝練與系統總結。
優惠價: 87 465
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區