面向裝配規(guī)劃的符號(hào)加權(quán)約束求解技術(shù)研究.pdf

1、裝配序列規(guī)劃(Assembly Sequences Planning，ASP)是裝配規(guī)劃中的重要環(huán)節(jié)。一個(gè)滿(mǎn)足所有幾何可行約束的良好裝配序列能夠有效縮短裝配時(shí)間、減少裝配的復(fù)雜度、提高產(chǎn)品的生產(chǎn)效率。因此，對(duì)裝配序列規(guī)劃研究具有非常重要的意義。
　　裝配序列規(guī)劃（ASP）問(wèn)題是一種典型的組合最優(yōu)化問(wèn)題，裝配序列生成的前提是零件之間必須滿(mǎn)足幾何可行性，窮盡搜索算法復(fù)雜度為指數(shù)級(jí)。當(dāng)裝配規(guī)模較大時(shí)，就會(huì)產(chǎn)生組合爆炸問(wèn)題。采用符號(hào)或者隱

2、式描述技術(shù)是減緩組合復(fù)雜性問(wèn)題的一種可行策略。作為OBDD的一種變體，代數(shù)決策圖（ADD）具有緊湊高效的表示和操作數(shù)據(jù)的特點(diǎn)，能有效的減緩因問(wèn)題規(guī)模的巨大而造成的組合爆炸，并且能夠更加有效解決裝配評(píng)價(jià)指標(biāo)的表示問(wèn)題。約束求解技術(shù)在人工智能領(lǐng)域和計(jì)算機(jī)科學(xué)領(lǐng)域有了廣泛的應(yīng)用。目前，約束求解技術(shù)為解決裝配序列規(guī)劃問(wèn)題提供了新的思路和手段?；诩訖?quán)約束問(wèn)題求解技術(shù)可以求解ASP的最優(yōu)裝配序列。
　　鑒于以上幾點(diǎn)內(nèi)容，本文采用符號(hào)ADD對(duì)

3、裝配體知識(shí)建模，設(shè)計(jì)一個(gè)合理的裝配評(píng)價(jià)函數(shù)，通過(guò)ADD運(yùn)算從可行裝配序列中篩選最優(yōu)解，并且對(duì)裝配序列規(guī)劃問(wèn)題的約束求解技術(shù)進(jìn)行研究。論文主要研究成果如下：
　?。?）給出基于符號(hào)ADD的裝配評(píng)價(jià)函數(shù)及求解算法。構(gòu)造了一個(gè)合理的裝配評(píng)價(jià)函數(shù)，并基于符號(hào)ADD技術(shù)，給出了帶權(quán)移動(dòng)向量函數(shù)的符號(hào)ADD描述。在現(xiàn)有的求解可行裝配序列符號(hào)算法的基礎(chǔ)上，依據(jù)裝配評(píng)價(jià)函數(shù)提出了一種判斷裝配序列優(yōu)劣的符號(hào)ADD算法。
　?。?）給出基于加權(quán)