1、參數(shù)化設(shè)計(jì)在現(xiàn)代CAD技術(shù)中占據(jù)著越來(lái)越重要的地位，幾何約束系統(tǒng)的建模、管理與求解是該技術(shù)的關(guān)鍵，對(duì)約束如何進(jìn)行方便、有效的管理一直未能得到很好的解決，因而在設(shè)計(jì)的過(guò)程中，約束的動(dòng)態(tài)管理顯得至關(guān)重要。 本文從幾何約束的動(dòng)態(tài)管理出發(fā)，研究了參數(shù)化設(shè)計(jì)中幾何約束的歸約策略，基于幾何約束的圖表示闡述了幾何約束的虛擬基歸約技術(shù)，并探討了幾何約束的一致性檢驗(yàn)問(wèn)題。 首先，結(jié)合面向?qū)ο蟮脑O(shè)計(jì)方法以及AutoCAD平臺(tái)的一些特性，本文

2、分析了參數(shù)化設(shè)計(jì)過(guò)程中幾何約束的動(dòng)態(tài)管理對(duì)其宿主平臺(tái)的要求，并建立了設(shè)計(jì)系統(tǒng)中幾何約束動(dòng)態(tài)管理的外掛式參數(shù)化計(jì)算模型。 其次，在外掛式參數(shù)化設(shè)計(jì)計(jì)算模型的基礎(chǔ)上，本文結(jié)合AutoCAD平臺(tái)研究了約束的動(dòng)態(tài)管理問(wèn)題，介紹了對(duì)象的持久存儲(chǔ)，并建立了約束的實(shí)時(shí)計(jì)算模型。對(duì)于單純完備和復(fù)合完備的幾何約束系統(tǒng)，本文分別討論了它們的歸約計(jì)算方法并對(duì)其進(jìn)行維護(hù)。 再次，在對(duì)幾何約束的約束網(wǎng)格圖進(jìn)行自動(dòng)維護(hù)的前提下，研究了約束的顯示、添