登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書

『簡體書』拉格朗日力学理论的形式化与机器人动力学形式化分析

書城自編碼： 3759219
分類：簡體書→大陸圖書→計算機/網絡→人工智能
作者： 关永等
國際書號(ISBN)： 9787030720979
出版社： 科学出版社
出版日期： 2022-05-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 111.3

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
新知文库·动人的北平
《 新知文库·动人的北平 》
售價：HK$ 34.3
萧条中的生存策略
《 萧条中的生存策略 》
售價：HK$ 57.4
银色瀑布：美国兵工厂与中途岛海战
《 银色瀑布：美国兵工厂与中途岛海战 》
售價：HK$ 79.4
乔丹法则
《 乔丹法则 》
售價：HK$ 80.3
如何不被一杯水淹没
《 如何不被一杯水淹没 》
售價：HK$ 67.9
流人系列03：猛虎 午夜文库
《 流人系列03：猛虎 午夜文库 》
售價：HK$ 90.9
洛克现代性政治学之根
《 洛克现代性政治学之根 》
售價：HK$ 109.3
奥登诗精选
《 奥登诗精选 》
售價：HK$ 112.7

 
建議一齊購買：

+

HK$ 110.0
《多智能体机器人系统信息融合与协调》		 +

HK$ 68.2
《四旋翼无人机的制作与飞行》		 +

HK$ 161.7
《智慧医疗实践》		 +

HK$ 122.5
《面向人机交互的人脸表情识别技术（英文版）》		 +

HK$ 98.8
《绿色制造理论方法及应用》		 +

HK$ 226.8
《深度学习（上）》
內容簡介：
《拉格朗日力学理论的形式化与机器人动力学形式化分析》以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。　　《拉格朗日力学理论的形式化与机器人动力学形式化分析》主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论；泛函变分主要理论的形式化；拉格朗日力学主要理论的形式化；机器人动力学的形式化建模与分析；模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代，《拉格朗日力学理论的形式化与机器人动力学形式化分析》是对该过程成果的高度凝练与系统总结。
目錄：
目录　序前言　第1章　绪论　1　1.1　背景　1　1.2　泛函变分、动力学与形式化验证　2　1.2.1　泛函变分与动力学　2　1.2.2　形式化数学　3　1.2.3　形式化验证　5　1.3　本书研究内容　6　1.4　本书结构　7　参考文献　9　第2章　预备知识　13　2.1　泛函变分主要理论　13　2.2　拉格朗日力学主要理论　15　2.3　机器人动力学主要理论　16　2.4　形式化验证　19　2.5　本章小结　21　参考文献　21　第3章　泛函变分主要理论的形式化　23　3.1　泛函Fréchet形式变分主要理论的形式化　23　3.1.1　泛函Fréchet形式变分的形式化建模与证明策略　23　3.1.2　泛函连续与变分之间关系的形式化验证　31　3.1.3　变分中值定理的形式化表示及证明策略　34　3.1.4　泛函Fréchet形式变分驻值条件的形式化表示及证明策略　37　3.2　泛函Gateaux形式变分主要理论的形式化建模与验证　40　3.2.1　泛函Gateaux形式变分的形式化表示　40　3.2.2　积分型泛函Gateaux形式变分的形式化证明　42　3.2.3　泛函Gateaux形式变分驻值条件的形式化证明　45　3.3　泛函欧拉方程形式化建模与验证　463.3.1　一些与微积分相关的定理的形式化　46　3.3.2　单变量函数高阶微分的形式化表示　49　3.3.3　变分基本引理的形式化表示与证明　52　3.3.4　一些新的向量值函数与矩阵值函数的形式化表示　55　3.3.5　泛函的欧拉方程形式化建模与验证　60　3.4　示例验证:气体流动的最小阻力问题　67　3.5　本章小结　69　参考文献　69　第4章　拉格朗日力学主要理论的形式化　70　4.1　哈密顿变分原理的形式化　70　4.2　虚功原理的形式化　72　4.3　达朗贝尔原理的形式化　77　4.4　一般形式拉格朗日方程的形式化　78　4.5　示例验证:珠子沿着螺旋线运动问题　90　4.6　本章小结　94　参考文献　94　第5章　机器人动力学的形式化建模与分析　95　5.1　刚体运动齐次变换的形式化表示　95　5.2　刚体速度的形式化表示　100　5.3　机器人雅可比矩阵的形式化表示　119　5.4　机器人拉格朗日方程的形式化表示　125　5.5　示例验证：三关节串联机器人动力学的形式化验证　129　5.6　本章小结　132　参考文献　132　第6章　模块化自组织机器人对接运动学和动力学验证　134　6.1　模块化自组织机器人运动学与动力学设计　134　6.2　模块化自组织机器人运动学的形式化验证与分析　140　6.3　模块化自组织机器人动力学的形式化验证　148　6.4　本章小结　153　参考文献　153　第7章　总结与展望　154　7.1　总结　154　7.2　展望　156

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.