在裝配序列規(guī)劃問題中解出符合約束條件、可行的裝配序列,達(dá)成即定的裝配目標(biāo)是裝配序列規(guī)劃問題中一項(xiàng)重要的研究內(nèi)容,也是研究中的難點(diǎn)。為此建立了裝配序列問題的約束滿足問題(CSP)模型,提出了對稱性破壞的方法,并結(jié)合了有序二叉決策圖(OBDD)的符號求解技術(shù)。首先給出裝配體模型中的符號表示,建立裝配序列規(guī)劃問題的CSP模型,將裝配序列問題轉(zhuǎn)化為對CSP模型進(jìn)行求解。然后利用字典序(Lex-Leader)約束和值優(yōu)先約束破壞排除CSP的對稱解,結(jié)合回溯算法進(jìn)行符號OBDD求解,得到所有可行裝配序列。最后通過實(shí)驗(yàn)證明了采用CSP模型和OBDD技術(shù)的正確性和可行性;同時,破壞CSP中對稱性解對求得所有可行的裝配序列效率有顯著提高。由于有序二叉決策圖(OBDD)的回溯算法對裝配序列問題求解的時候執(zhí)行回溯操作不可避免的要重復(fù)搜索到對稱變量和值的情況,這無疑不利于算法效率的提高,對于約束問題中出現(xiàn)的對稱解情況,本文分別通過添加靜態(tài)約束條件和動態(tài)構(gòu)建GE樹兩種方法來破壞對稱性,并作了相關(guān)研究,主要工作內(nèi)容包括:(1)基于裝配序列規(guī)劃問題的裝配連接圖構(gòu)造CSP模型,加入新的約束集,在符號OBDD算法中通過...

【文章頁數(shù)】：54 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖2.1機(jī)械臂裝配體

對裝配體背景知識進(jìn)行介紹，進(jìn)而對約束滿足問題中然后介紹二叉決策圖的基本概念相關(guān)操作；最后引申程中的作用，介紹靜態(tài)對稱性破壞和動態(tài)破壞關(guān)鍵§2.1裝配體的相關(guān)概念成品的組裝成功都離不開許多組小零件和必要的固化要求，將各個零部件依照一定裝配順序、滿足零件成產(chǎn)品的過程，稱之為裝配[1....

圖2.2安全閥裝配體

圖2.3油泵裝配體

圖2.4虎鉗裝配體

本文編號：3974474