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