
嘉興動畫課件制作之空間推理算法
1)空間推理算法 目前空間推理的研究主要集中在GIS研究領域,研究對復雜地學對象進行管理和處理;實現對由各 種空間對象表達形式表示的地學復雜對象進行有效的空間存?。粚崿F對各種空間對象進行有效的空間 操作。由于空間知識和空間推理本質上是定性的,因此這里主要是指定性空間推理技術。郭平‘33]詳 細闡述了在二維空間的定性推理技術的發(fā)展趨勢。定性空間推理主要包括基于組合表推理邏輯演算等 方面。
雖然關于定性空間推理的研究已有十幾年,獲得了一些推理方法,但是基于組合表的推理仍是 定性空間推理最常用的推理方法’“-‘1)。組合表推理是從兩個已知關系尺,(以,6)和R:(6, f)推出僅含n和c.的關系R,(o,c)。組合表推理的 1 2 14flash動畫創(chuàng)作與后期視頻處理技術毋合法性在于多數情況下推理不依賴于已知事實而依賴于 關系的邏輯屬性,組合表推理的可行性在于無論是拓撲關系還是方位關系其全集均是有限集合。
通過 邏輯演算來進行推理是定性空間推理的另一種方法。Randell等‘靶,通過空間謂詞C(。I.,v)定義 空間邏輯系統(tǒng),將空間對象間的拓撲關系表示為謂詞公式,利用一階謂詞邏輯建立了一階邏輯范疇下 的空間拓撲關系推理技術。石純一等,‘‘‘將定性空間推理問題劃分為易處理類與非易處理類,并 給出了易處理類的分層逼近推理方法。Bennett[4'1)用命題邏輯來表示空間對象間的拓撲關系,由此 使得空間推理成為命題演算。Bennettc樸’還在將模態(tài)邏輯引入空間拓撲關系的描述與推理方面進行 了一些嘗試性研究。
為了表達三維空間對象的拓撲關系,一些學者開發(fā)了基于拓撲關系的數據模型, 如3DFDS模型(3D formal data structure)-1-l。3DFDS模型基于二維拓撲數據結構,定義了結點、弧 段、邊、面四種基本的幾何元素以及基本元素與點、線、面、體四種幾何目標之間的拓撲關系。該模 型具有很強的表達拓撲關系和位置的能力,但由于沒有考慮空間實體的內部結構,僅適于表達具有規(guī) 則形狀的簡單空間實體,難以表達沒有規(guī)則邊界的復雜實體。一些學者對3DFDS模型進行了擴展,發(fā)展 了新的模型,如SSM(simplified spatial model)”: 目前空間推理算法主要用于對GIS中二維空 間對象的檢索,而3D GIS的空間推理算法還處于初級研究階段,并沒有形成實用的系統(tǒng)。因此目前根 據文本描述自動生成3D場景的實用系統(tǒng)如Carsimu"l:1.WordsEyec’‘,以及Leec.18]等人實現的 實時3D場景自動生成系統(tǒng)都沒有使川GIS空間推理算法確定空間對象間的位置關系,而僅僅使用“上” 、“下”、“前”、“后”、“左”、“右”等基本位置關系附加上基于物理的約束條件以及基于常 識的約束條件或者其他類型的各種約束來精確定義各個空間對象之間的方位關系。
轉載請注明:
嘉興flash動畫制作公司:http://www.haldonestatewines.com/city56/