1963年，在他的p係統中第一個采用了用約束定義物體的方法，此法成為以後約束滿足型智能方法的先驅。最早對智能的研究使用專家係統的辦法。國際上最早研究智能的單位是美國的卡耐基梅隆大學。著名的人工智能學者n和學者s於20世紀70年代中期帶領一批博士研究生研究住宅空間的綜合。澳大利亞悉尼大學以r教授為首的snpnn從研究工程設計優化方法著手，於20世紀70年代末開始轉向設計中的人工智能技術。
目前，的研究中存在著三個前沿問題第一個問題是解決方案的形成，第二個問題是圍繞著設計對象、設計知識的表達展開的研究，第三個問題是圍繞智能係統的自動作圖功能研究，即幾何約束求解。
現在陳東風和楊韋就是想要直接挑戰智能係統這樣的科技前沿，不得不說確實步子邁的有點大。
“昌宏，你說的問題我有思考過，不光是欠約束情況下全參數的方程組求解問題，還有過約束的情況，需要把相同的或者部分重疊的條件進行過濾。其實這個問題歸根到底是幾何約束求解的問題。這個技術不能說是先進，但是確實是幾何引擎成敗的關鍵。我決心要把幾何約束的算法融合到幾何引擎中。”陳東風堅定的說。
楊輝看著陳東風說：“我看這個問題不用爭論了，東風你能把幾何約束的算法搞出來，那麽皆大歡喜，就看你有沒有信心了，不過這種純數學的問題恐怕我是幫不了你了。不過這段時間我會潛心研究和幾何引擎的價格，等你計算出幾何約束算法從而解決欠過約束情況下全參數方程證求解問題，那麽我們就立即投入到幾何引擎的編程工作中，怎麽樣？”
楊輝的提議是不是辦法的辦法，算法這個核心搞出來了，那麽就成功了一半自然沒有問題。如果陳東風攻克不了這個問題，那麽他的提議也就是沒有了價值，可能幾何引擎這個項目就黃了。
想要理解幾何約束求解那麽就必須要了解什麽是幾何體。幾何體的定義是一個幾何圖形中最基本最具有特征的幾何元素。例如2維中的點、直線、線段、圓、圓弧和三維中的平麵、球麵、曲麵等。
在幾何體的定義上引申出來的幾何約束的定義是，兩個或多個幾何體之間所具有的幾何關係。例如點與點之間的距離，直線和直線之間的角度，兩條直線垂直，直線與圓相切等。
陳東風自從接過幾何約束的問題後，就全心全意的投入到了其中，他首先將幾何形式的幾何約束進行了分類，不外乎幾何形式的幾何約束和代數代數形式的幾何約束。
幾何形式的幾何約束包括尺寸約束和拓撲約束。
所謂尺寸約束一般是由用戶顯式輸入的。通常包括兩點之間的距離、直線與直線之間的角度、點到直線的距離、半徑約束和兩條平行直線之間的距離等。
所謂拓撲約束束一般是隱含的，是由係統根據草圖自動建立的。通常包括水平約、兩條直線平行和垂直、三點共線、兩個角相等、兩個圓共心等。
根據幾何約束中所涉及的幾何體的個數，還可以將幾何形式的幾何約束分為三類。一元約束隻涉及一個幾何體的約束。這類幾何約束很少見，例如線段的長度就是一個一元約束。
本章尚未完結,請點擊下一頁繼續閱讀---->>>