拉格朗日力学理论的形式化与机器人动力学形式化分析
出版时间:
2022-06
版次:
31
ISBN:
9787030720979
定价:
89.00
装帧:
其他
页数:
164页
1人买过
-
本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。《BR》 全书主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论；泛函变分主要理论的形式化；拉格朗日力学主要理论的形式化；机器人动力学的形式化建模与分析；模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代，本书是对该过程成果的高度凝练与系统总结。
-
内容简介:
本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。《BR》 全书主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论；泛函变分主要理论的形式化；拉格朗日力学主要理论的形式化；机器人动力学的形式化建模与分析；模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代，本书是对该过程成果的高度凝练与系统总结。
查看详情
-
九品
北京市东城区
平均发货25小时
成功完成率88.26%
-
全新
四川省成都市
平均发货10小时
成功完成率86.91%
-
全新
河北省保定市
平均发货19小时
成功完成率85.74%
-
全新
河北省保定市
平均发货16小时
成功完成率85.28%
-
全新
河北省保定市
平均发货18小时
成功完成率81.77%
-
全新
河北省保定市
平均发货24小时
成功完成率90.55%
-
全新
河北省保定市
平均发货28小时
成功完成率92.04%
-
全新
北京市朝阳区
平均发货12小时
成功完成率96.02%
-
全新
山东省泰安市
平均发货12小时
成功完成率94.7%
-
全新
山东省泰安市
平均发货22小时
成功完成率87.66%
-
全新
江苏省宿迁市
平均发货20小时
成功完成率88.48%
-
九品
北京市昌平区
平均发货22小时
成功完成率88.04%
-
全新
山东省济宁市
平均发货62小时
成功完成率80.74%
-
全新
江苏省南京市
平均发货13小时
成功完成率83.72%
-
全新
山东省潍坊市
平均发货15小时
成功完成率81.36%
-
全新
北京市通州区
平均发货10小时
成功完成率90.63%
-
全新
山东省泰安市
平均发货7小时
成功完成率87.93%
-
全新
广东省广州市
平均发货17小时
成功完成率87.31%
-
全新
四川省成都市
平均发货22小时
成功完成率88.14%
-
九五品
北京市东城区
平均发货29小时
成功完成率83.78%
-
全新
山东省泰安市
平均发货8小时
成功完成率91.16%
-
全新
北京市通州区
平均发货12小时
成功完成率96.02%
-
全新
上海市浦东新区
平均发货20小时
成功完成率80%
-
全新
北京市朝阳区
平均发货5小时
成功完成率95.37%
-
全新
河北省保定市
平均发货16小时
成功完成率81.89%
-
全新
北京市通州区
平均发货44小时
成功完成率84.51%
-
全新
河北省廊坊市
平均发货16小时
成功完成率82.35%
-
全新
北京市通州区
平均发货43小时
成功完成率82.89%
-
全新
河北省保定市
平均发货6小时
成功完成率85.57%
-
全新
北京市通州区
平均发货30小时
成功完成率79.55%
-
全新
河北省保定市
平均发货32小时
成功完成率63.93%
-
全新
北京市通州区
平均发货30小时
成功完成率83.93%
-
全新
北京市通州区
平均发货38小时
成功完成率64.29%
-
全新
河北省沧州市
平均发货13小时
成功完成率75.69%
-
九五品
北京市西城区
平均发货16小时
成功完成率88.7%
-
全新
广东省广州市
平均发货20小时
成功完成率87.76%
-
全新
-
全新
江西省吉安市
平均发货54小时
成功完成率87.46%
-
全新
河北省保定市
平均发货27小时
成功完成率91.15%
-
全新
河北省保定市
平均发货23小时
成功完成率87.75%
-
全新
北京市丰台区
平均发货7小时
成功完成率91.54%
-
全新
河北省保定市
平均发货24小时
成功完成率92.97%
占位居中
