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

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

哈密顿力学理论的形式化与机器人动力学形式化分析


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
哈密顿力学理论的形式化与机器人动力学形式化分析
  • 书号：9787030532046
    作者：施智平等
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：127
    字数：170000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2022-09-01
  • 所属分类：
  • 定价： ￥89.00元
    售价： ￥71.20元
  • 图书介质:
    纸质书

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

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程的形式化和机器人动力学的形式化建模与分析。内容涉及交互式定理证明、机器人、形式化验证等人工智能领域。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 目录
    序
    前言
    第1章绪论1
    1.1研究意义1
    1.2研究现状3
    1.2.1分析力学3
    1.2.2形式化数学4
    1.2.3机器人形式化验证6
    1.3主要内容和贡献7
    1.3.1主要研究内容7
    1.3.2主要贡献9
    1.4本书组织结构9
    1.5交互式定理证明器HOL Light10
    参考文献11
    第2章辛几何形式化16
    2.1辛向量空间的形式化16
    2.1.1辛空间与欧氏空间的异同17
    2.1.2辛内积形式化定义与性质形式化证明17
    2.1.3辛向量空间的形式化建模与验证19
    2.1.4辛空间基底性质形式化证明20
    2.2辛变换矩阵的形式化23
    2.2.1辛变换的形式化定义及其判定定理的证明策略23
    2.2.2分块矩阵相关理论的形式化25
    2.2.3单位辛矩阵性质的形式化29
    2.3辛群的形式化30
    2.3.1辛群形式化建模31
    2.3.2辛群判定定理及其证明策略32
    2.4本章小结36
    参考文献36
    第3章勒让德变换形式化38
    3.1勒让德变换原理38
    3.2一元函数勒让德变换形式化模型及固有属性的证明策略41
    3.3多元函数勒让德变换的形式化建模44
    3.3.1完全勒让德变换的形式化模型及固有属性证明策略44
    3.3.2部分勒让德变换的形式化模型及固有属性证明策略49
    3.4本章小结58
    参考文献58
    第4章哈密顿力学系统形式化59
    4.1哈密顿函数的形式化建模60
    4.1.1构造力学函数数据类型60
    4.1.2从拉格朗日函数到哈密顿函数形式化模型的构建63
    4.1.3哈密顿函数物理意义的形式化验证67
    4.2哈密顿正则方程的形式化建模70
    4.2.1哈密顿函数微分相关定理形式化描述70
    4.2.2哈密顿正则方程的形式化建模及证明策略73
    4.3泊松括号与泊松定理的形式化87
    4.3.1泊松括号形式化描述及其性质形式化证明87
    4.3.2泊松定理形式化验证94
    4.4本章小结96
    参考文献96
    第5章串联机器人哈密顿动力学形式化建模与验证98
    5.1SCARA四自由度机器人哈密顿函数形式化建模98
    5.2SCARA四自由度机器人哈密顿正则方程形式化建模105
    5.3机器人动力学形式化建模与验证过程111
    5.4本章小结123
    参考文献123
    第6章总结与展望125
    6.1主要工作和创新点125
    6.2下一步工作与展望126
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

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

　

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

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