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

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

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

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