幾何自動(dòng)推理DM-分解算法的改進(jìn)與實(shí)現(xiàn).pdf

1、幾何自動(dòng)推理是智能化CAD的技術(shù)核心，幾何自動(dòng)推理是指利用計(jì)算機(jī)，自動(dòng)生成滿足設(shè)計(jì)者意圖的圖形，它能夠提供因修改而導(dǎo)致約束改變時(shí)圖形的自動(dòng)生成。幾何自動(dòng)推理的DM-分解算法是一個(gè)基于偶圖DM-分解的幾何自動(dòng)推理方法。 DM-分解算法的主要思想是將一個(gè)幾何自動(dòng)推理問題分解成一些小的幾何自動(dòng)推理問題，目的是為了減少求解的難度，即將一個(gè)幾何圖形分解成一些小的幾何剛體。然后再將其裝配起來，得到原幾何自動(dòng)推理問題所對(duì)應(yīng)的幾何圖形。DM-分

2、解算法是通過對(duì)幾何自動(dòng)推理問題的表示偶圖的分解來得到一系列的子圖，這些子圖分別對(duì)應(yīng)著一系列的小剛體。在幾何自動(dòng)推理問題的表示偶圖中對(duì)應(yīng)每一個(gè)幾何體都會(huì)有多于一個(gè)的結(jié)點(diǎn)與之對(duì)應(yīng)。從幾何直觀的角度來看，這些結(jié)點(diǎn)都應(yīng)該被分解到同一個(gè)偶子圖中，這個(gè)問題是決定這個(gè)算法的正確性和可行性的，所以本文給出了相應(yīng)的理論證明。本文從圖論的角度證明了這一點(diǎn)即分解后的同一個(gè)幾何體所對(duì)應(yīng)的偶圖結(jié)點(diǎn)在分解后是在同一個(gè)偶子圖中。并且通過上機(jī)實(shí)際編程并進(jìn)行計(jì)算所得到的