基于并行技術(shù)的幾何自動(dòng)推理中推理規(guī)則庫建立的研究.pdf

1、傳統(tǒng)的計(jì)算機(jī)輔助設(shè)計(jì)(ComputerAidedDesign，簡稱CAD)系統(tǒng)在生成工程圖和三維實(shí)體模型方面十分有效，但不能很好地滿足產(chǎn)品設(shè)計(jì)者在概念化設(shè)計(jì)階段經(jīng)常遇到的修改和形狀的選擇。自從1963年首次提出CAD的概念后，CAD系統(tǒng)經(jīng)歷了四次重大的技術(shù)創(chuàng)新，智能化(參數(shù)化)CAD是第四次創(chuàng)新，幾何自動(dòng)推理是智能化CAD的技術(shù)核心，幾何自動(dòng)推理是指利用計(jì)算機(jī)，自動(dòng)生成滿足設(shè)計(jì)者意圖的圖形，它能夠提供因修改而導(dǎo)致約束改變時(shí)圖形的自動(dòng)生成

2、。目前，幾何自動(dòng)推理的主要方法有：基于數(shù)值計(jì)算的方法、基于符號(hào)計(jì)算的方法、基于規(guī)則的方法和基于圖論的方法。 在基于規(guī)則的方法中，用于推理的規(guī)則庫的建立，至關(guān)重要。針對該方法存在的推理耗時(shí)的不足。本文借鑒了黑板模型中的多知識(shí)源求解的思想，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于并行技術(shù)的幾何自動(dòng)推理規(guī)則庫的建立算法。該算法對規(guī)則庫中的規(guī)則進(jìn)行分類處理，比如構(gòu)造規(guī)則、隱含規(guī)則和默認(rèn)規(guī)則等等，并分別提供了相應(yīng)的控制策略，提高了規(guī)則庫的建立效率，使得并行成