TOP
0
0
進階搜尋

熱搜：

佛法是科學的終極典範

、

巨人思維

、

老公怎麼還不去死

、

DragonMasters 1-23

、

理想的讀本

、

法律與人生(鄰居篇)

、

走向馬克思主義史學之路

、

永續發展相關規範與實務

、

為妳煮食

、

新基本小六法

熱搜： 佛法是科學的終極典範、 巨人思維、 老公怎麼還不去死、 DragonMasters 1-23、 理想的讀本、 法律與人生(鄰居篇)、 走向馬克思主義史學之路、 永續發展相關規範與實務、 為妳煮食、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$400~$599 （1）
出版日期
2022~2023 （1）
裝訂方式
平裝 （1）
作者
關永、張景芝、施智平、李曉娟 （1）
出版社/品牌
科學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
拉格朗日力學理論的形式化與機器人動力學形式化分析（簡體書）
滿額折
1.

拉格朗日力學理論的形式化與機器人動力學形式化分析（簡體書）

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

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品