平面并聯(lián)機(jī)構(gòu)運(yùn)動(dòng)學(xué)分析是機(jī)構(gòu)學(xué)研究熱點(diǎn)之一,平面并聯(lián)機(jī)構(gòu)運(yùn)動(dòng)學(xué)模型的構(gòu)建和求解的錯(cuò)誤會(huì)給整個(gè)系統(tǒng)帶來(lái)災(zāi)難性損失.傳統(tǒng)運(yùn)動(dòng)學(xué)分析方法難以保證模型的完備性和求解的正確性.而基于高階邏輯的定理證明方法可以彌補(bǔ)傳統(tǒng)分析方法的不足.本文以幾何代數(shù)、共形幾何代數(shù)的高階邏輯表達(dá)為基礎(chǔ),在HOL Light定理證明器中形式化描述平面并聯(lián)機(jī)構(gòu)的相關(guān)數(shù)學(xué)理論,建立正向運(yùn)動(dòng)學(xué)高階邏輯模型,驗(yàn)證正向運(yùn)動(dòng)學(xué)的一般性求解算法,從而確保了平面并聯(lián)機(jī)構(gòu)運(yùn)動(dòng)學(xué)分析的正確性和分析求解方法的可靠性. 

【文章來(lái)源】：小型微型計(jì)算機(jī)系統(tǒng). 2020,41(05)北大核心CSCD

【文章頁(yè)數(shù)】：7 頁(yè)

【部分圖文】：

平面并聯(lián)機(jī)構(gòu)等效模型

【參考文獻(xiàn)】：
期刊論文
[1]一種新型2-CPR/RRR平面移動(dòng)并聯(lián)機(jī)構(gòu)的設(shè)計(jì)與分析[J]. 陳子豪,張彥斌,荊獻(xiàn)領(lǐng),王科明,許澤華.  機(jī)電工程. 2019(04)
[2]平面并聯(lián)機(jī)構(gòu)正運(yùn)動(dòng)學(xué)分析的幾何建模和免消元計(jì)算[J]. 張英,魏世民,李端玲,廖啟征.  機(jī)械工程學(xué)報(bào). 2018(19)
[3]利用共形幾何代數(shù)的平面并聯(lián)機(jī)構(gòu)位置正解求解方法[J]. 黃昔光,黃旭.  西安交通大學(xué)學(xué)報(bào). 2018(03)
[4]共形幾何代數(shù)與機(jī)器人運(yùn)動(dòng)學(xué)的形式化[J]. 馬莎,施智平,關(guān)永,李黎明,邵振洲,張杰.  小型微型計(jì)算機(jī)系統(tǒng). 2016(03)
[5]幾何代數(shù)的高階邏輯形式化[J]. 馬莎,施智平,李黎明,關(guān)永,張杰,Xiaoyu SONG.  軟件學(xué)報(bào). 2016(03)
[6]使用模型檢驗(yàn)自動(dòng)化驗(yàn)證路由協(xié)議[J]. 馬銀雪,陳哲,黃志球,黃吳丹.  小型微型計(jì)算機(jī)系統(tǒng). 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]運(yùn)用定理證明的形式化方法驗(yàn)證SpaceWire編碼電路[J]. 李黎明,關(guān)永,吳敏華,張杰,施智平.  小型微型計(jì)算機(jī)系統(tǒng). 2012(06)
[9]平面平臺(tái)型Stewart并聯(lián)機(jī)構(gòu)的奇異性分析[J]. 程世利,吳洪濤,王超群,姚裕,朱劍英.  機(jī)械工程學(xué)報(bào). 2011(09)
[10]平面并聯(lián)機(jī)構(gòu)與電主軸耦合系統(tǒng)動(dòng)態(tài)性能研究[J]. 宋方臻,馮會(huì)民,劉慧.  組合機(jī)床與自動(dòng)化加工技術(shù). 2011(03)

碩士論文
[1]基于幾何代數(shù)的機(jī)構(gòu)運(yùn)動(dòng)學(xué)及特性分析[D]. 張立先.燕山大學(xué) 2008



本文編號(hào)：3608298