拉格朗日力學理論的形式化與機器人動力學形式化分析 圖書 ![](/liaode/images/fjie0.gif)
市場價:780元 優惠價:650元
立刻節省:130元
本書以拉格朗日力學理論與自動定理證明思想為指導,繫統深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關繫,從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依托的定理證明體繫。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。全書主要內容包括:泛函變分、動力學與形式化驗證的進展;泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論;泛函變分主要理論的形式化;拉格朗日力學主要理論的形式化;機器人動力學的形式化建模與分析;模塊化自組織機器人對接運動學和動力學驗證。作者長期對繫統形式化與自動定理證明進行深入研究並在機器人安全驗證等領域持續實踐迭代,本書是對該過程成果的高度凝練與繫統總結。本書可作為從事形式化驗證、動力學、機器人動力學形式化分析研究的科研人員和工程技術人員的參考書,也可以作為高等院校相關專業高年級等
|