0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 信息技术 > 计算机理论 > 拉格朗日力学理论的形式化与机器人动力学形式化分析

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

拉格朗日力学理论的形式化与机器人动力学形式化分析


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
拉格朗日力学理论的形式化与机器人动力学形式化分析
  • 书号：9787030720979
    作者：关永等
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：156
    字数：210000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2022-05-01
  • 所属分类：
  • 定价： ￥89.00元
    售价： ￥71.20元
  • 图书介质:
    按需印刷

  • 购买数量： 件  可供
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。
　　全书主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论；泛函变分主要理论的形式化；拉格朗日力学主要理论的形式化；机器人动力学的形式化建模与分析；模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代，本书是对该过程成果的高度凝练与系统总结。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录　
    序
    前言　
    第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　泛函欧拉方程形式化建模与验证　46
    3.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
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com