裝配序列規(guī)劃問(wèn)題的Benchmark自動(dòng)生成及優(yōu)化求解研究.pdf

1、裝配序列規(guī)劃(Assembly Sequence Planning, ASP)是裝配規(guī)劃中的關(guān)鍵部分,優(yōu)化的裝配序列對(duì)于提高整個(gè)產(chǎn)品的生產(chǎn)效率有著重要影響。自上世紀(jì)八十年代開(kāi)始至今,國(guó)內(nèi)外學(xué)者已提出了許多求解優(yōu)化裝配序列的方法,由于這些方法眾多,如何對(duì)它們的優(yōu)劣進(jìn)行統(tǒng)一比較與評(píng)價(jià)便成了一個(gè)亟待解決的問(wèn)題。此外,現(xiàn)有的眾多ASP方法中仍存在很多不足之處,如求解過(guò)程繁瑣、難以得到優(yōu)化解及易發(fā)生組合爆炸等。針對(duì)上述問(wèn)題,本文開(kāi)展了相關(guān)研究,取

2、得的主要成果如下:
　　(1)提出了一種自動(dòng)生成ASP問(wèn)題的Benchmark的方法。首先分析了現(xiàn)有的裝配建模方法,歸納提出了統(tǒng)一裝配模型表示法;然后借鑒索瑪立方體中的組合思想,在統(tǒng)一裝配模型的基礎(chǔ)上,設(shè)計(jì)了 ASP問(wèn)題的 Benchmark自動(dòng)生成算法;最后基于Matlab開(kāi)發(fā)了該Benchmark自動(dòng)生成系統(tǒng),實(shí)驗(yàn)表明該系統(tǒng)可以給ASP方法提供有效的測(cè)試用例,進(jìn)而對(duì)ASP方法進(jìn)行統(tǒng)一比較與評(píng)價(jià)。
　　(2)提出了基于符號(hào)

3、化模型檢測(cè)工具SMV的ASP方法。首先根據(jù)統(tǒng)一裝配模型建立穩(wěn)定可行裝配序列的有限狀態(tài)限遷移模型;然后對(duì)裝配過(guò)程中的約束進(jìn)行時(shí)態(tài)邏輯描述;最后通過(guò)實(shí)例詳細(xì)闡述了求解優(yōu)化裝配序列的過(guò)程,實(shí)例運(yùn)行結(jié)果表明該方法提高了ASP的效率。
　　(3)提出了基于啟發(fā)式DCPM-FGA的ASP方法。首先在統(tǒng)一裝配模型的基礎(chǔ)上,計(jì)算得到 ASP的啟發(fā)式信息:零件間優(yōu)先關(guān)系矩陣、序列頭兩位及末位可行零件矩陣;然后結(jié)合啟發(fā)式信息和比較比例-模糊遺傳算法(