2024年7月14日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
杨秀梅
作品数:
2
被引量:6
H指数:2
供职机构:
首都师范大学信息工程学院
更多>>
发文基金:
国际科技合作与交流专项项目
国家自然科学基金
北京市教委科学研究与科研基地建设项目
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
张杰
北京化工大学信息科学与技术学院
关永
首都师范大学信息工程学院轻型工...
施智平
首都师范大学信息工程学院轻型工...
叶世伟
中国科学院研究生院
张倩颖
首都师范大学信息工程学院轻型工...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文期刊文章
领域
2篇
自动化与计算...
主题
2篇
形式化
2篇
形式化验证
2篇
高阶逻辑
1篇
定理
1篇
定理证明
1篇
雅可比
1篇
雅可比矩阵
1篇
微积分
1篇
矩阵
1篇
机器人
1篇
积分
1篇
函数
1篇
函数矩阵
1篇
串联机器人
机构
2篇
北京化工大学
2篇
首都师范大学
1篇
中国科学院研...
作者
2篇
施智平
2篇
关永
2篇
张杰
2篇
杨秀梅
1篇
张倩颖
1篇
叶世伟
传媒
1篇
小型微型计算...
1篇
计算机科学
年份
2篇
2016
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
串联机器人雅可比矩阵的高阶逻辑形式化
被引量:4
2016年
机器人雅可比矩阵是描述机器人运动性能的重要参数,保证机器人雅可比矩阵的描述、求解及分析的正确性和可靠性非常重要.然而传统的数值计算与计算机代数符号方法不能给出100%精确和完备的分析与验证.基于高阶逻辑定理证明技术固有的高可靠性和证明完备性,以运动旋量和串联机器人正向运动学指数积公式为数学基础,在高阶逻辑定理证明器HOL4中建立串联机器人正向运动学的形式化模型,对其旋量法描述的速度雅可比矩阵进行严格的形式化分析与验证.最后通过对Stanford机器人的雅可比矩阵的形式化分析,说明本文形式化工作的实用性和正确性.
杨秀梅
施智平
吴爱轩
关永
叶世伟
张杰
关键词:
形式化验证
函数矩阵及其微积分的高阶逻辑形式化
被引量:2
2016年
函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定理证明器HOL4中对函数向量和函数矩阵相关理论进行形式化,内容包括函数向量和函数矩阵及其连续性、微分、积分的形式化定义和相关性质的逻辑推理证明。为示范函数矩阵形式化的应用,最后给出机器人运动学中旋转矩阵微分公式的形式化验证。
杨秀梅
关永
施智平
吴爱轩
张倩颖
张杰
关键词:
函数矩阵
形式化验证
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张