|
|
125.
|
拉格朗日力學理論的形式化與機器人動力學形式化分析 圖書 ![](/liaode/images/fjie0.gif)
市場價:780元 優惠價:650元
立刻節省:130元
本書以拉格朗日力學理論與自動定理證明思想為指導,繫統深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關繫,從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依托的定理證明體繫。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。全書主要內容包括:泛函變分、動力學與形式化驗證的進展;泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論;泛函變分主要理論的形式化;拉格朗日力學主要理論的形式化;機器人動力學的形式化建模與分析;模塊化自組織機器人對接運動學和動力學驗證。作者長期對繫統形式化與自動定理證明進行深入研究並在機器人安全驗證等領域持續實踐迭代,本書是對該過程成果的高度凝練與繫統總結。本書可作為從事形式化驗證、動力學、機器人動力學形式化分析研究的科研人員和工程技術人員的參考書,也可以作為高等院校相關專業高年級等
|
126.
|
拉格朗日力學理論的形式化與機器人動力學形式化分析 圖書 ![](/liaode/images/fjie0.gif)
市場價:780元 優惠價:650元
立刻節省:130元
本書以拉格朗日力學理論與自動定理證明思想為指導,繫統深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關繫,從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依托的定理證明體繫。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。全書主要內容包括:泛函變分、動力學與形式化驗證的進展;泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論;泛函變分主要理論的形式化;拉格朗日力學主要理論的形式化;機器人動力學的形式化建模與分析;模塊化自組織機器人對接運動學和動力學驗證。作者長期對繫統形式化與自動定理證明進行深入研究並在機器人安全驗證等領域持續實踐迭代,本書是對該過程成果的高度凝練與繫統總結。本書可作為從事形式化驗證、動力學、機器人動力學形式化分析研究的科研人員和工程技術人員的參考書,也可以作為高等院校相關專業高年級等
|
130.
|
學習型企業 ![](/liaode/images/fjie0.gif)
市場價:95元 優惠價:81元
立刻節省:14元
|
131.
|
核心職業素養 ![](/liaode/images/fjie0.gif)
市場價:135元 優惠價:112元
立刻節省:23元
|
160.
|
重建客觀:中國大陸精確新聞報道研究 ![](/liaode/images/fjie0.gif)
市場價:170元 優惠價:150元
立刻節省:20元
作為媒介內容生產的重要形式,準確新聞報道因其科學方法的使用而獨樹一幟。這種報道形式在中國大陸的運用情況如何?對當代中國的媒介實踐具有何種意義?圍繞這兩個問題,本文從中國的歷史語境和現實語境出發,以新聞客觀性作為中心線索謀篇布局,給出了詳細深入的闡釋。
|
|