《幾何計算》討論幾何計算(geometri ccomputing),其主體是幾何,要解決的對象是幾何的定義、構造、度量、變換與關系處理。幾何計算在計算機圖形學、計算機輔助設計與制造、計算幾何以及圖像處理等領域均有應用。 《幾何計算》全面闡述一個基于“幾何問題幾何化”的幾何計算理論體系與實施框架。全書分成導論、數學基礎、幾何基礎、幾何變換、二維幾何、二維計算、三維幾何、三維計算、二維造型、三維造型和曲線曲面等11章及算法索引、應用指南兩個附錄。 《幾何計算》詳細給出了二維、三維幾何計算中300余個算法的原理與理論。以算法的形式去描述幾何問題解,可能是提供從理論到實踐的最佳解決方案。編制一個完整的代碼并實現(xiàn)它,是對理論和算法認知的最高境界。《幾何計算》提供大量這樣的代碼,使讀者能更容易理解那些經典算法的原理并直接應用它們。 《幾何計算》可作為高等學校幾何設計與計算、計算機圖形學、CAD等課程的教材或教學參考書,凡從事與幾何數據的獲取、表示、處理和分析相關的工程技術人員等都可直接使用《幾何計算》提供的算法。
何援軍,浙江諸暨人,畢業(yè)于浙江大學數學力學系數學專業(yè),上海交通大學計算機系教授、博士生導師。
1992年7月被中國船舶工業(yè)總公司授予“有突出貢獻中青年專家”稱號,同年10月起享受政府特殊津貼。
“九五”期間為上海市CAD應用工程專家組成員,曾任中國圖學學會副理事長、計算機圖學專業(yè)委員會主任、上海市工程圖學學會理事長和上海市科學技術協(xié)會委員等。
提出了“計算機圖形學=幾何+繪制”的觀點,并引入“幾何基”與“幾何數”,創(chuàng)立了“幾何問題幾何化的幾何計算理論體系與實施框架”。
主持過國家自然科學基金、863計劃和上海市及中國船舶工業(yè)總公司重點和重大課題27項,獲省、部級以上科技進步獎14項,主研的CAD軟件曾獲全國評測第1名,登記軟件著作權1項。
著作有《計算機圖形學算法與實踐》、《CAD圖形開發(fā)工具》和《計算機圖形學》等,發(fā)表論文120余篇。
第1章 導論
1.1 認識幾何計算
1.2 幾何計算的基礎
1.3 幾何問題幾何化
1.4 幾何計算的理論框架
1.5 本書的任務
1.6 參數約定
1.7 數據結構
第2章 數學基礎
2.1 空間點與向量
2.2 矩陣
2.3 工具函數
第3章 幾何基礎
3.1 基本幾何元素的表述
3.2 幾何數
3.3 基于幾何數的幾何奇異處理
第4章 幾何變換
4.1 幾何變換的理論基礎
4.2 變換的幾何化表示
4.3 二維變換
4.4 三維變換
4.5 軸測變換
4.6 透視變換
4.7 羅盤變換
4.8 視圖變換
第5章 二維幾何
5.1 點的建立
5.2 直線的建立
5.3 圓和圓弧的建立
第6章 二維計算
6.1 判斷計算
6.2 幾何裁剪
6.3 幾何度量
6.4 包圍盒(圓、球、體)
6.5 多邊形的三角化
第7章 三維幾何
7.1 點與向量
7.2 空間直線
7.3 平面
7.4 三維基本計算
7.5 三維幾何度量
第8章 三維計算
8.1 三維判斷計算
8.2 三維相交計算
8.3 三維裁剪
8.4 三維包圍盒
第9章 二維造型
9.1 二維布爾運算
9.2 變形造型
9.3 尺規(guī)作圖
第10章 三維造型
10.1 物體描述
10.2 平行掃掠造型
10.3 旋轉掃掠造型
10.4 場景裝配
第11章 曲線曲面
11.1 樣條曲線擬合
11.2 雙圓弧逼近
11.3 圓的直線逼近
11.4 nezier曲線
11.5 Bezier曲面
11.6 B-Spline曲線
11.7 B樣條曲面
11.8 曲面的三角化表示
附錄A算法索引
附錄B應用指南
參考文獻
科研支撐
例如,在求解交點的時候,希望給出求交點的公式,以便最終能看到交點的坐標值;在求解直線的時候,希望給出表示直線的方程。
但是,解的表述形式往往是多樣的。在進入高等數學之后,對計算方式和結果的表述形式均有了很大的飛躍。例如,顯式解似乎不是必需的了,隱式解變得更為普遍;解的表述不明顯了,逼近解意味著解是一個不確定的值了;極限解表明解可以根據你的控制選擇了,等等。高等數學還使有限演變成無窮。更有,解可由“算法表述”了,以及“n維空間的任一向量可由它的基底線性標出”,等等,各種計算結果的表述方式被采用。甚至,曲線的表述也不是固定的了,例如用二分遞歸法表述(繪制)一條Bezier曲線。
中國數學源遠流長,遠古時代就有《九章算術》一書,其成果大都以算法的形式出現(xiàn)。對于雞兔共籠一類問題,可用盈不足術來解答。更一般的問題,則有方程術與正負術。在幾何方面,中國古代數學根本不考慮定理與證明,而重在幾何問題的解決。例如田畝丈量與勾股測量一類問題,導致開平方術。這種“術”實質上就是現(xiàn)在計算機科學下的“算法”,因此中國的傳統(tǒng)數學早就萌生出算法的思想,解決問題的方法早就以術亦即算法的形式出現(xiàn)了。
在計算機科學高度發(fā)達的今天,有必要重新審視計算方式的表述形式,而不是一味地追求所謂“解的顯式表述形式”,應該考慮幾何、代數、計算機科學等綜合的計算方法及方式和計算結果的表述。例如,算法的序列也是一種解的表述形式。
1.3.3 幾何基
1.幾何基的引入
畫法幾何中的尺規(guī)作圖只包括八種基本作圖方法:作一條線段等于已知線段、作一個角等于已知角、作已知線段的垂直平分線、作已知角的角平分線、過一點作已知直線的垂線、已知一角/一邊作等腰三角形、已知兩角/一邊作三角形以及已知一角/兩邊作三角形等。任一種基本作圖方法均可通過下述五個步驟中的一步或任幾步實現(xiàn)(也稱為作圖公法):通過兩個已知點可作一直線;已知圓心和半徑可作一個圓;兩已知直線相交,可求其交點;已知直線和一已知圓相交,可求其交點;兩已知圓相交,可求其交點等。
尺規(guī)作圖本質上是用幾何方法處理幾何問題,而且這種原始的尺規(guī)作圖的基本工具很少,約定是很苛刻的,它最樸素的思想是將復雜的幾何問題分解成有序的、簡單的基本幾何問題。
米勒認為,“計算機圖形學和造型依賴于點和向量的數學運算,我認為應使用向量幾何分析去簡化推導”。在一個典型的幾何造型系統(tǒng)中,用到的幾何元素通常有25種,為了建立一個通用的定義與求交函數庫,所要完成的求交函數約為c+25=325種。幾何的構造、定位和度量工作雖然千變萬化,但均基于點、線、面等這些少量的基本作圖工具或基本幾何函數。這些基本的作圖方法可以完成平面圖形的作圖工作,這意味著它起到了“基”的作用,或有資格作為構筑平面圖形的“基”。下面舉一個最基礎、最簡單、最常用的基本幾何函數的例子。
……