平面并联机构的形式化建模与验证

发布时间：2022-01-25 09:30

　　平面并联机构运动学分析是机构学研究热点之一,平面并联机构运动学模型的构建和求解的错误会给整个系统带来灾难性损失.传统运动学分析方法难以保证模型的完备性和求解的正确性.而基于高阶逻辑的定理证明方法可以弥补传统分析方法的不足.本文以几何代数、共形几何代数的高阶逻辑表达为基础,在HOL Light定理证明器中形式化描述平面并联机构的相关数学理论,建立正向运动学高阶逻辑模型,验证正向运动学的一般性求解算法,从而确保了平面并联机构运动学分析的正确性和分析求解方法的可靠性. 

【文章来源】：小型微型计算机系统. 2020,41(05)北大核心CSCD

【文章页数】：7 页

【部分图文】：

平面并联机构等效模型

【参考文献】：
期刊论文
[1]一种新型2-CPR/RRR平面移动并联机构的设计与分析[J]. 陈子豪,张彦斌,荆献领,王科明,许泽华.  机电工程. 2019(04)
[2]平面并联机构正运动学分析的几何建模和免消元计算[J]. 张英,魏世民,李端玲,廖启征.  机械工程学报. 2018(19)
[3]利用共形几何代数的平面并联机构位置正解求解方法[J]. 黄昔光,黄旭.  西安交通大学学报. 2018(03)
[4]共形几何代数与机器人运动学的形式化[J]. 马莎,施智平,关永,李黎明,邵振洲,张杰.  小型微型计算机系统. 2016(03)
[5]几何代数的高阶逻辑形式化[J]. 马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG.  软件学报. 2016(03)
[6]使用模型检验自动化验证路由协议[J]. 马银雪,陈哲,黄志球,黄吴丹.  小型微型计算机系统. 2015(11)
[7]Position, Singularity and Workspace Analysis of 3-PSR-O Spatial Parallel Manipulator[J]. SHAO Jiejie,CHEN Wenyu,FU Xin.  Chinese Journal of Mechanical Engineering. 2015(03)
[8]运用定理证明的形式化方法验证SpaceWire编码电路[J]. 李黎明,关永,吴敏华,张杰,施智平.  小型微型计算机系统. 2012(06)
[9]平面平台型Stewart并联机构的奇异性分析[J]. 程世利,吴洪涛,王超群,姚裕,朱剑英.  机械工程学报. 2011(09)
[10]平面并联机构与电主轴耦合系统动态性能研究[J]. 宋方臻,冯会民,刘慧.  组合机床与自动化加工技术. 2011(03)

硕士论文
[1]基于几何代数的机构运动学及特性分析[D]. 张立先.燕山大学 2008



本文编号：3608298