裝配序列規(guī)劃中的符號OBDD技術(shù)研究.pdf

1、分類號密級UDC編號桂林電子工業(yè)學(xué)院研究生學(xué)位論文題目裝配序列規(guī)劃中的符號OBDD技術(shù)研究(英文)SymbolicOBDDTechnologyinAssemblySequencePlanning研究生姓名：楊志飛指導(dǎo)教師姓名、職務(wù)：古天龍教授申請學(xué)位：工學(xué)碩士學(xué)科、專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)提交論文日期：2005年4月答辯日期：2005年6月14日摘要i摘要在裝配序列的自動規(guī)劃中，尤其是對于存在大量可行裝配序列的復(fù)雜裝配，裝配序列的緊湊表示是

2、裝配序列評價(jià)與優(yōu)化的必要條件，然而傳統(tǒng)的裝配序列表示方法，要么受組合復(fù)雜性影響，描述效率低，要么難于提取有效的裝配序列。為此，本文對OBDD在可行裝配序列的表示及其相關(guān)問題進(jìn)行了探研。論文取得的主要結(jié)果包括：(1)提出了一種新的基于符號OBDD的裝配序列的表示模型并給出了提取可行裝配序列的符號搜索算法。分析表明該模型是完全的和正確的，且易于從裝配模型推導(dǎo)出來，易于提取有效的可行裝配序列。(2)給出了與或圖、有向圖、建立條件轉(zhuǎn)化為OBDD

3、表示模型的方法，并對OBDD模型與與或圖、有向圖在表示復(fù)雜裝配的可行裝配序列時(shí)的存儲空間進(jìn)行了比較，實(shí)驗(yàn)結(jié)果表明OBDD表示模型在表示復(fù)雜裝配體的可行裝配序列時(shí)占用較少的存儲空間，是一種緊湊的表示方法。(3)提出了有向圖的一種新的存儲結(jié)構(gòu)——基于OBDD的存儲結(jié)構(gòu)，并給出了在該種存儲結(jié)構(gòu)上圖的操作方法及搜索算法。實(shí)驗(yàn)結(jié)果表明，該存儲結(jié)構(gòu)較傳統(tǒng)的鄰接表的存儲結(jié)構(gòu)，在處理大規(guī)模的有向圖時(shí)，具有較高的存儲效率。關(guān)鍵詞裝配序列表示，OBDD，有