數(shù)學(xué)建模工作總結(jié)精選(九篇)

前言：一篇好文章的誕生，需要你不斷地搜集資料、整理思路，本站小編為你收集了豐富的數(shù)學(xué)建模工作總結(jié)主題范文，僅供參考，歡迎閱讀并收藏。

第1篇：數(shù)學(xué)建模工作總結(jié)范文

關(guān)鍵詞： 民辦高職 數(shù)學(xué)教學(xué)改革 教學(xué)過(guò)程

數(shù)學(xué)是高等院校開設(shè)的基礎(chǔ)課程。由于各高校學(xué)生特點(diǎn)及各專業(yè)要求不同，高校開設(shè)的數(shù)學(xué)課程、所選的教材、教學(xué)時(shí)數(shù)和教學(xué)內(nèi)容都不同，但是基本課程如《高等數(shù)學(xué)》、《經(jīng)濟(jì)數(shù)學(xué)》在高校理工類專業(yè)都會(huì)開設(shè)，在民辦高職院校更是如此。然而，隨著各高校擴(kuò)大招生及越來(lái)越多的獨(dú)立學(xué)院的興起，學(xué)生的入學(xué)門檻越來(lái)越低，尤其是民辦高職院校，這就決定了學(xué)生入學(xué)基礎(chǔ)差的特點(diǎn)，尤其是作為基礎(chǔ)課的數(shù)學(xué)，許多學(xué)生都將其視為天書。加之學(xué)生就讀高職就是想學(xué)一門技術(shù)，想學(xué)好專業(yè)課，因而民辦高職學(xué)生不喜歡數(shù)學(xué)課，所以教學(xué)效果不理想。針對(duì)此種情況，我就民辦高職數(shù)學(xué)教學(xué)提出幾點(diǎn)建議。

一、向?qū)W生說(shuō)明數(shù)學(xué)課對(duì)專業(yè)學(xué)習(xí)的作用

教師應(yīng)積極地和專業(yè)課教師溝通，了解各個(gè)專業(yè)都分別涉及哪些數(shù)學(xué)知識(shí)及是以怎樣的方式涉及的。如機(jī)電專業(yè)里某個(gè)零部件的形狀涉及立體幾何圖形，各個(gè)橫截面的尺寸涉及計(jì)量方式，以及其運(yùn)行的速度的計(jì)算涉及某個(gè)傅里葉公式的運(yùn)用，而這中間可能涉及導(dǎo)數(shù)、微分、積分等內(nèi)容。結(jié)合學(xué)生的專業(yè)講數(shù)學(xué)對(duì)專業(yè)后續(xù)課程的作用，讓學(xué)生明白學(xué)好數(shù)學(xué)就能把專業(yè)課學(xué)得更好。同時(shí)，向?qū)W生說(shuō)明學(xué)好數(shù)學(xué)能夠提高人的邏輯思維能力、分析和解決問(wèn)題的能力，對(duì)學(xué)生提高自身綜合素質(zhì)有很大的幫助。

二、關(guān)愛學(xué)生，做學(xué)生的良師益友

民辦高職院校數(shù)學(xué)教育的對(duì)象一般是新生，他們有的是因?yàn)楦呖际ЮM(jìn)來(lái)，有的是從中職業(yè)教育升上來(lái)，還有的是從初中升上來(lái)的。相對(duì)于公辦院校的學(xué)生，他們心里多少會(huì)有些自卑。因此，教師要關(guān)愛學(xué)生，多和學(xué)生溝通交流，了解學(xué)生的思想動(dòng)態(tài)，了解學(xué)生對(duì)教學(xué)有怎樣的需求，并進(jìn)行教學(xué)調(diào)整。關(guān)心學(xué)生的生活，幫助學(xué)生解決生活和學(xué)習(xí)上的問(wèn)題，做學(xué)生的良師益友。這樣，學(xué)生才能更加信任教師，愿意聽老師的話，為后續(xù)教學(xué)的有效開展做好鋪墊。

三、對(duì)教學(xué)過(guò)程進(jìn)行調(diào)整

由于民辦高職院校理工類學(xué)生進(jìn)來(lái)學(xué)的是一門技術(shù)，數(shù)學(xué)是起到基礎(chǔ)性的、輔助的作用，因而，教師要秉承“以應(yīng)用為目的，以必需夠用為度”的原則，結(jié)合學(xué)生基礎(chǔ)普遍差而又參差不齊的特點(diǎn)對(duì)教學(xué)過(guò)程進(jìn)行調(diào)整。

首先，在教學(xué)內(nèi)容上，對(duì)一些論證繁雜、理論性極強(qiáng)而對(duì)后續(xù)課程學(xué)習(xí)作用不大的命題或者定理可不講；對(duì)教學(xué)內(nèi)容聯(lián)系緊密的章節(jié)聯(lián)系起來(lái)講甚至可以并作一章，如不定積分和定積分；對(duì)于概念的講解要堅(jiān)持直觀性原則，如函數(shù)連續(xù)的定義中是用當(dāng)變量的增量趨于零時(shí)變量終值與變量初值的函數(shù)差的極限是零來(lái)定義函數(shù)在變量初值處連續(xù)。我們可以用作圖的直觀形式，向?qū)W生闡明其實(shí)連續(xù)就是函數(shù)圖像的不間斷，這樣學(xué)生才會(huì)更加容易理解；對(duì)有些屬于拓展意義的內(nèi)容可以少講或不講，如函數(shù)作圖。

其次，打破傳統(tǒng)按專業(yè)分班授課的模式。民辦高職院校學(xué)生數(shù)學(xué)基礎(chǔ)差異較大，如果能按學(xué)生的知識(shí)水平進(jìn)行分層次教學(xué)，在每一層次教學(xué)時(shí)數(shù)、教學(xué)內(nèi)容的難易、教學(xué)方法及手段、課后作業(yè)的布置及考核內(nèi)容、考核方式將因?qū)W生層次的不同而不同。對(duì)于低層次的學(xué)生，教師要有更多的耐心和愛心，要多重復(fù)講基礎(chǔ)性的知識(shí)，必要的話幫助學(xué)生補(bǔ)習(xí)初高中的知識(shí)。教學(xué)主要以課本知識(shí)為主，講解概念定理要貫徹直觀性原則，多采用情境教學(xué)法和任務(wù)驅(qū)動(dòng)教學(xué)法，讓學(xué)生置身于具體的情境或者親自動(dòng)手完成任務(wù)會(huì)提高學(xué)生的學(xué)習(xí)興趣。同時(shí)，教師要注重引導(dǎo)，盡量使大部分的學(xué)生都能理解，逐步幫助學(xué)生找回自信。對(duì)高層次學(xué)生，除課本外，教師還應(yīng)找多一點(diǎn)課外的題目給學(xué)生做，增強(qiáng)學(xué)生對(duì)知識(shí)的應(yīng)用能力，還要補(bǔ)充一些知識(shí)理論讓學(xué)生形成一個(gè)較嚴(yán)密的理論體系。此外，多鼓勵(lì)學(xué)生參加數(shù)學(xué)建模等數(shù)學(xué)競(jìng)賽，激勵(lì)學(xué)生進(jìn)步。

四、改革考核方式

傳統(tǒng)的考核方式是期末出一份試卷，學(xué)生的卷面考試成績(jī)即是最后總的考核成績(jī)。這種方式只會(huì)讓學(xué)生一味追求理論成績(jī)，忽視動(dòng)手及實(shí)踐能力的培養(yǎng)，進(jìn)而達(dá)不到將數(shù)學(xué)知識(shí)應(yīng)用于實(shí)際的目的。此外，還會(huì)挫傷一些上進(jìn)心強(qiáng)、上課認(rèn)真聽講、積極配合教師但最后考試失利的學(xué)生的學(xué)習(xí)積極性。特別是民辦院校的學(xué)生，他們大多基礎(chǔ)不好，若只以單一的卷面成績(jī)來(lái)評(píng)價(jià)，則可能會(huì)導(dǎo)致很多學(xué)生掛科，會(huì)給學(xué)生帶來(lái)很大的心理壓力，不利于數(shù)學(xué)教學(xué)工作的開展。因此，必須改革考核方式?？己藘?nèi)容應(yīng)該多樣化，除了考試成績(jī)之外，學(xué)生平時(shí)的出勤率、作業(yè)完成情況、課堂是否認(rèn)真聽講，是否積極回答問(wèn)題、課外的動(dòng)手能力如參加數(shù)學(xué)建模競(jìng)賽等都應(yīng)考慮進(jìn)去，它們可以占有不同的權(quán)重或者以加分的形式參與考核。

五、教師應(yīng)加強(qiáng)業(yè)務(wù)學(xué)習(xí)，提高自身素質(zhì)

教師是人類靈魂的工程師。民辦高職教師在學(xué)生自身發(fā)展中起著重要作用，奠定著學(xué)生的職業(yè)生涯基礎(chǔ)。因此，教師要積極學(xué)習(xí)，提高素質(zhì)。一方面，在教學(xué)上，組織教師多開展聽課、評(píng)課活動(dòng)，組織教師聽教學(xué)經(jīng)驗(yàn)豐富、知識(shí)淵博的老教師講課，傳授經(jīng)驗(yàn)，并及時(shí)開展工作總結(jié)會(huì)議；組織教師根據(jù)學(xué)院學(xué)生情況編寫教材并組織進(jìn)行教學(xué)方法、教學(xué)手段的改革。另一方面，多派遣教師參加省教育廳、知名高校開展的工作或者學(xué)術(shù)交流會(huì)議，讓教師了解國(guó)家政策，了解本行業(yè)未來(lái)發(fā)展的方向，以便進(jìn)行相應(yīng)的改革。另外，鼓勵(lì)教師學(xué)習(xí)深造，提升職業(yè)能力。

民辦高職院校數(shù)學(xué)教學(xué)改革還有很長(zhǎng)的路要走，我們要不斷實(shí)踐，不斷探索，不斷改革創(chuàng)新，找到更優(yōu)良的教學(xué)方法。

參考文獻(xiàn)：

第2篇：數(shù)學(xué)建模工作總結(jié)范文

對(duì)于軟件開發(fā)來(lái)說(shuō)，公司老板的想法是最重要的。今天小編給大家為您整理了軟件試用期個(gè)人工作總結(jié)，希望對(duì)大家有所幫助。

軟件試用期個(gè)人工作總結(jié)范文一隨著互聯(lián)網(wǎng)技術(shù)的快速發(fā)展，以及電信行業(yè)的第三次重組，給我們通信服務(wù)行業(yè)帶來(lái)了巨大的商機(jī)，我很榮幸在這個(gè)大好時(shí)機(jī)來(lái)到中國(guó)網(wǎng)通常州分公司，成為網(wǎng)通公司的一名寬帶醫(yī)生，我非常珍惜這份工作機(jī)會(huì)。

時(shí)間一晃而過(guò)，轉(zhuǎn)眼間2010年已接近尾聲?；厥追泵Χ殖鋵?shí)的2010年心中不禁感慨萬(wàn)千，過(guò)去的一年中通過(guò)自身的不斷努力，使得技術(shù)水平、溝通技巧等方面都取得了一定的進(jìn)步，當(dāng)然亦有需要改進(jìn)的地方，這是我人生中彌足珍貴的經(jīng)歷，也給我留下了精彩而美好的回憶。

非常幸運(yùn)能夠來(lái)到__公司參加工作，上任軟件工程師這一職位?；仡櫂I(yè)務(wù)培訓(xùn)期的一個(gè)月工作，感觸很深，收獲頗豐，我們首先對(duì)寬帶醫(yī)生這項(xiàng)業(yè)務(wù)的前期推出做了很細(xì)致的準(zhǔn)備，仔細(xì)討論了在業(yè)務(wù)推出以后可能遇到的種種困難;然后參加了代維部門的實(shí)踐學(xué)習(xí)，深入了解了網(wǎng)絡(luò)的接入技術(shù)，以及在修障過(guò)程中遇到的問(wèn)題，接著參加了為期兩天的新員工入職培訓(xùn)班，認(rèn)真聽取了相關(guān)領(lǐng)導(dǎo)對(duì)公司的發(fā)展概況，組織結(jié)構(gòu)，以及各部門職責(zé)的介紹，并認(rèn)真學(xué)習(xí)了公司的基本業(yè)務(wù)和增值業(yè)務(wù)，對(duì)公司的產(chǎn)品和服務(wù)有了很清楚的認(rèn)識(shí)。

后期在主管的帶領(lǐng)下，我們陸續(xù)對(duì)周邊保有用戶進(jìn)行了寬帶醫(yī)生免費(fèi)體驗(yàn)活動(dòng)，也讓用戶知道我們這項(xiàng)延伸服務(wù)的推出，樹立我們__寬帶的品牌形象。

在過(guò)去的工作當(dāng)中，在領(lǐng)導(dǎo)和同事們的悉心關(guān)懷和指導(dǎo)下，通過(guò)自身的不懈努力，各方面均取得了一定的進(jìn)步，但那些遠(yuǎn)遠(yuǎn)不夠，我也在實(shí)際工作中認(rèn)識(shí)到自己的不足，業(yè)務(wù)還不夠熟練，很多知識(shí)還有欠缺，處理事情不成熟。因此在今后的工作中，我將努力提高自身素質(zhì)，克服不足，朝著以下幾個(gè)方向努力：

1、學(xué)無(wú)止鏡，時(shí)代的發(fā)展瞬息萬(wàn)變，各種學(xué)科知識(shí)日新月異。

我將堅(jiān)持不懈地加強(qiáng)學(xué)習(xí)，向理論學(xué)習(xí)，向?qū)I(yè)知識(shí)學(xué)習(xí)，向身邊的同事學(xué)習(xí)，逐步提高自己的理論水平和業(yè)務(wù)能力，并用于指導(dǎo)實(shí)踐。

2、“業(yè)精于勤而荒于嬉”，在以后的工作中不斷學(xué)習(xí)業(yè)務(wù)知識(shí)，通過(guò)多看、多學(xué)、多練來(lái)不斷的提高自己的各項(xiàng)服務(wù)技能，克服年輕氣躁，做到腳踏實(shí)地，提高工作主動(dòng)性，不怕多做事，不怕做小事，在點(diǎn)滴實(shí)踐中完善提高自己。

3、不斷鍛煉自己的膽識(shí)和毅力，提高自己解決實(shí)際問(wèn)題的能力，并在工作過(guò)程中慢慢克服急躁情緒，積極、熱情、細(xì)致地的對(duì)待每一項(xiàng)工作，繼續(xù)提高自身文化的修養(yǎng)，努力使自己成為一名優(yōu)秀的軟件工程師。

4、在工作上積極配合省公司“關(guān)于配合全省寬帶續(xù)費(fèi)率提升活動(dòng)開展“寬帶醫(yī)生”服務(wù)的建議“的活動(dòng);

加強(qiáng)對(duì)武進(jìn)、新區(qū)、金壇寬帶醫(yī)生的業(yè)務(wù)宣傳，增加這些區(qū)域的服務(wù)量;加大對(duì)他網(wǎng)用戶的宣傳，擴(kuò)大寬帶醫(yī)生的服務(wù)群，爭(zhēng)取將用戶發(fā)展為本網(wǎng)用戶;明確寬帶醫(yī) 生遠(yuǎn)程服務(wù)軟件的一整套受理、安裝、服務(wù)的流程，加強(qiáng)遠(yuǎn)程服務(wù)軟件的推廣，將遠(yuǎn)程服務(wù)和上門服務(wù)結(jié)合起來(lái)。

軟件試用期個(gè)人工作總結(jié)范文二在這一年，我跳了兩次槽，一次是自愿的，還有一次是被迫的。我目睹了一些公司從盛到衰的過(guò)程，也看到了一些腳踏實(shí)地的公司。

離開_1公司，是因?yàn)槲矣X得_1公司不是在做軟件，所謂的印度模式，我想，絕對(duì)不是這么做的。理想不合，不想浪費(fèi)時(shí)間，也只能背負(fù)跳槽的惡名，掛冠而去。去_2公司，是因?yàn)榭吹剿敲绹?guó)獨(dú)資公司，做外包軟件，能夠接觸美國(guó)的客戶和技術(shù)，希望能夠有所收獲，何況，職位也不錯(cuò)。的確很想好好做，也跳累了，只想穩(wěn)定發(fā)展，畢竟，是做父親的人了。沒(méi)有想到的是，竟然讓我目睹了一場(chǎng)資產(chǎn)爭(zhēng)奪的好戲。公司易主，流言滿天，誹謗四起，官司大戰(zhàn)，這種平常只有在電視和電影里看到的情節(jié)，我實(shí)實(shí)在在的親身經(jīng)歷了，也算是人生的重要一課吧，至少，讓我看到了人性最陰暗和惡毒的一面。自然，是做不下去了，只能又走。

也看到了一些踏踏實(shí)實(shí)做事情的公司。園區(qū)的瑞博軟件就是一個(gè)。很少看到如此踏實(shí)做事的公司。若干年后，只要他能夠存活，必定是一個(gè)成功的公司。雖然老板對(duì)我也很有誠(chéng)意，只是，對(duì)于教育軟件，我實(shí)在沒(méi)有太大的興趣，何況，如果想做教育，我何不選擇安博呢?畢竟，安博給于我很多?；仡^想想，在其他公司，我都是在奉獻(xiàn)，只有在安博，是學(xué)習(xí)了很多。

說(shuō)起跳槽，其實(shí)，看看那些公司，有多少是在踏踏實(shí)實(shí)做事情的?老板本不懂軟件，都是看著軟件行業(yè)能賺錢，想來(lái)?yè)埔黄?，結(jié)果把中國(guó)的軟件行業(yè)做壞了，也害苦了中國(guó)的程序員。自己不好好做事，怎么怪別人跳槽?同工作經(jīng)歷的坎坷相比，，在個(gè)人能力方面，今年的進(jìn)步是非常大的。今年上半年，我的進(jìn)步集中在技術(shù)領(lǐng)域。我更加深入研究了設(shè)計(jì)模式、EJB體系和.Net平臺(tái)，還有UML建模，終于有所突破，設(shè)計(jì)了一套自己的基于.Net平臺(tái)的系統(tǒng)架構(gòu)和開發(fā)工具，并且得到了應(yīng)用的證實(shí)。在網(wǎng)上也陸續(xù)發(fā)表了一些文章，受到比較好的歡迎，還上了賽迪網(wǎng)的開發(fā)之星。

下半年，在軟件工程方面收獲是很多的。

看到網(wǎng)上對(duì)于印度模式從吹捧到批駁的吵鬧，也看到_1公司學(xué)習(xí)印度的失敗，加上自己從開始就對(duì)那些記者的懷疑，決定好好學(xué)習(xí)軟件工程。我一向認(rèn)為，任何東西，不能道聽途說(shuō)，只有自己好好深入研究，才能得其精髓。同時(shí)，軟件工程絕對(duì)不能只看印度的，畢竟，美國(guó)才是軟件業(yè)最發(fā)達(dá)的國(guó)度。

列舉一些學(xué)習(xí)的參考資料：《RUP軟件工程過(guò)程》、《MSF微軟解決方案》、《_P極限編程》、《CMM實(shí)踐應(yīng)用——Infosys公司的軟件項(xiàng)目執(zhí)行過(guò)程》、《人月神話》、《軟件需求》、《軟件工程Java語(yǔ)言實(shí)現(xiàn)》。每本書，我都仔細(xì)研讀了，頗有體會(huì)。

我開始就想，印度軟件工程絕對(duì)不會(huì)象那些記者所說(shuō)的那么簡(jiǎn)單，所謂的高中生編程說(shuō)。所以，我必須實(shí)際看看印度的軟件工程?！禖MM實(shí)踐應(yīng)用——Infosys公司的軟件項(xiàng)目執(zhí)行過(guò)程》，是印度最大的軟件公司Infosys公司的分管質(zhì)量的副總裁寫的，介紹他們的CMM4的軟件工程，果然不同凡響。這是我了解印度軟件工程的主要窗口。

首先，同原來(lái)的想法不同的，也可能同大多數(shù)人(尤其是受那些軟件記者影響很深的“專業(yè)”和非專業(yè)人士)想法不同的是，軟件工程實(shí)際上不僅僅只是管理，而是一門涉及很廣的交叉學(xué)科。在軟件工程中，大約一半的內(nèi)容是專業(yè)性很強(qiáng)的，涉及到軟件分析、設(shè)計(jì)甚至編碼的技術(shù)。所謂的結(jié)構(gòu)化、面向?qū)ο?，都在軟件工程的范疇?nèi)，同樣是軟件開發(fā)和組織的重要內(nèi)容，也是軟件質(zhì)量保證的重要內(nèi)容。至于軟件開發(fā)的管理部分，只能算是軟件工程中軟件工程過(guò)程的部分，或者說(shuō)項(xiàng)目管理部分。脫離管理來(lái)開發(fā)軟件是絕對(duì)不可行的，同樣，拋棄技術(shù)基礎(chǔ)，空談管理出效益，便如無(wú)源之水、無(wú)本之木。誠(chéng)如《軟件工程Java語(yǔ)言實(shí)現(xiàn)》中所說(shuō)：“軟件工程范圍極為廣泛。軟件工程的某些方面屬于數(shù)學(xué)或計(jì)算機(jī)科學(xué)，其他方面可歸入經(jīng)濟(jì)學(xué)、管理學(xué)或心理學(xué)中?！痹谶@里，我強(qiáng)調(diào)了軟件工程中的技術(shù)部分，并非輕視管理，只想在軟件工程的概念上做一些撥亂反正，也希望多一些人來(lái)關(guān)心軟件的核心技術(shù)，而不要空喊口號(hào)和概念。畢竟，中國(guó)的軟件太缺乏核心技術(shù)了。

其次，對(duì)管理要求的嚴(yán)格不說(shuō)(這個(gè)誰(shuí)都知道)，實(shí)際上，不管是美國(guó)的軟件工程，還是印度的軟件工程，都是比較靈活的。即便是印度這樣的所謂“軟件工廠”模式，對(duì)于軟件工程過(guò)程管理極為嚴(yán)格，也有一個(gè)部分是專門講述過(guò)程剪裁的。整個(gè)軟件工程過(guò)程是非常龐大和繁復(fù)的，然而，由于項(xiàng)目具體情況不同，如項(xiàng)目的規(guī)模，參與人員的數(shù)量、素質(zhì)等的不同，對(duì)于軟件過(guò)程的每個(gè)部分，不是都必須的，可以根據(jù)具體情況來(lái)進(jìn)行剪裁。這個(gè)部分對(duì)于我的啟發(fā)是很大的。以前做什么ISO9000等，開始做了一個(gè)以為很好的規(guī)范，但是，到具體項(xiàng)目，總是對(duì)不起來(lái)，到處有問(wèn)題，現(xiàn)在想想，便是少了這個(gè)變通的部分。不過(guò)，話說(shuō)回來(lái)，這CMM也是老美想出來(lái)的，而不是印度。

第三，對(duì)于開發(fā)人員的選用，我發(fā)現(xiàn)，美國(guó)人是非常注重選用優(yōu)秀的開發(fā)人員的。Martin Fowler曾經(jīng)開玩笑的說(shuō)，如果給他一批水平不高的開發(fā)項(xiàng)目，他會(huì)考慮全部解雇，重新招聘?！度嗽律裨挕分幸舱f(shuō)，如果200人開發(fā)一個(gè)項(xiàng)目，其中25個(gè)人最能干，那么會(huì)考慮解雇其余的175個(gè)人，讓項(xiàng)目經(jīng)理來(lái)編程(當(dāng)然，后面還有一些抉擇分析，這里斷章取義了)。其結(jié)論的基礎(chǔ)是基于以下研究結(jié)果：優(yōu)秀的開發(fā)人員和差的開發(fā)人員，其效率之差可以達(dá)到數(shù)量級(jí)。另外，從管理的角度來(lái)說(shuō)，只有人多了，才會(huì)有管理問(wèn)題，當(dāng)團(tuán)隊(duì)規(guī)?？刂圃谝欢ǖ姆秶鷥?nèi)時(shí)，便不會(huì)有太大的管理問(wèn)題。

對(duì)于軟件來(lái)說(shuō)，很難實(shí)現(xiàn)同傳統(tǒng)產(chǎn)業(yè)一樣的工廠化生產(chǎn)，這是由軟件開發(fā)的本質(zhì)決定的。軟件的復(fù)雜性是軟件的本質(zhì)屬性，在這個(gè)屬性沒(méi)有改變之前，軟件便不會(huì)實(shí)現(xiàn)同傳統(tǒng)產(chǎn)業(yè)一樣的工廠化生產(chǎn)。至于印度的所謂“軟件工廠”，實(shí)際上，只是完成了軟件代碼的編寫工作，并不是實(shí)現(xiàn)了整個(gè)軟件研發(fā)工作，而代碼編寫工作，恰恰是軟件開發(fā)中最簡(jiǎn)單的一環(huán)。至于印度是否真的有很多高中生程序員，印度人的書上沒(méi)有說(shuō)，記者到說(shuō)了不少，我也無(wú)從考證。所以，軟件的開發(fā)，還是需要選用優(yōu)秀的人的。除非，公司只想幫別人編寫代碼，而不希望有自己的產(chǎn)品和技術(shù)。

第四，軟件開發(fā)中，最重要的還是團(tuán)隊(duì)合作和交流。這個(gè)是我目前最深切的感受。具體的，大家都知道，也用不著多說(shuō)。

最后，對(duì)于軟件開發(fā)來(lái)說(shuō)，公司老板的想法是最重要的。如果老板說(shuō)“No”，那便是水平再高，管理再好，也終歸無(wú)用。年齡漸長(zhǎng)，也做父親了，卻總是在漂泊，沒(méi)有一個(gè)可以穩(wěn)定發(fā)展的地方。希望目前的公司能夠有這個(gè)機(jī)會(huì)。不想總是跳槽。

軟件試用期個(gè)人工作總結(jié)范文三作為剛從學(xué)校出來(lái)的應(yīng)屆畢業(yè)生，第一份工作就落在智通，來(lái)到智通，深深地被這個(gè)企業(yè)的文化所感染，我很認(rèn)同智通的企業(yè)文化，智通的企業(yè)精神“統(tǒng)一，專一，事業(yè)第一”體現(xiàn)出了這一行業(yè)優(yōu)秀企業(yè)文化的特點(diǎn)。在這三個(gè)月的學(xué)習(xí)與親身感受之下，我更加堅(jiān)定地要使自己成為一名合格并爭(zhēng)取優(yōu)秀的智通人，我對(duì)自己有信心，對(duì)智通更有信心。

作為一名在技術(shù)崗位的職員，要具備一定的專業(yè)知識(shí)，不斷地充實(shí)自己，在不斷的工作學(xué)習(xí)與研究中成長(zhǎng)，要有很好的團(tuán)隊(duì)協(xié)作精神，有很強(qiáng)的執(zhí)行力，能真正為企業(yè)做實(shí)事。在智通上班的三個(gè)月里，我主要完成了以下工作項(xiàng)目：

一、剛來(lái)的兩個(gè)星期，由于目前網(wǎng)站工作的需要，師傅指導(dǎo)一邊熟悉工作職位環(huán)境一邊學(xué)習(xí)asp，用了兩個(gè)星期系統(tǒng)地學(xué)習(xí)了這門從未接觸過(guò)的asp語(yǔ)言，為接下來(lái)一個(gè)月的工作打了堅(jiān)實(shí)的基礎(chǔ)。

二、接下來(lái)的時(shí)間，主要配合網(wǎng)站先前asp的后臺(tái)管理系統(tǒng)進(jìn)行某些功能優(yōu)化與系統(tǒng)維護(hù)工作。先后完成了銷售管理模塊的最新注冊(cè)企業(yè)查詢、職業(yè)推薦給求職者、把求職者推薦給企業(yè)、會(huì)員職位刷新、職位刷新統(tǒng)計(jì)等幾個(gè)模塊的功能修改與優(yōu)化，解決了業(yè)務(wù)員帶權(quán)限控制的查詢、推薦時(shí)間的控制與查詢速度優(yōu)化、企業(yè)職位刷新時(shí)的權(quán)限控制與企業(yè)職位時(shí)效性的控制以及完成對(duì)各銷售組成員的職位數(shù)統(tǒng)計(jì)，職位刷新數(shù)統(tǒng)計(jì)的功能設(shè)計(jì)。在完成這些各種功能需求的時(shí)候，對(duì)后臺(tái)管理系統(tǒng)進(jìn)行了深入的分析研究，因此對(duì)銷售管理模塊非常熟悉，給目前網(wǎng)站新版開發(fā)的后臺(tái)設(shè)計(jì)提了不少建設(shè)性的想法。之后還完成了logo管理模塊中的投票項(xiàng)目添加優(yōu)化與投票結(jié)果統(tǒng)計(jì)查詢修正、logo、banner的管理與文本文件的生成。還完成了客服管理模塊中后臺(tái)開通資料查詢的改進(jìn)，企業(yè)管理、個(gè)人管理模塊查詢功能的改進(jìn)。期間還完成了部分功能錯(cuò)誤的修正，如校園招聘管理圖片不能上傳、文章類別不能修改、文章不能刪除等。

三、目前新版是用jsp開發(fā)的，在這三個(gè)月里，我進(jìn)一步對(duì)java，jsp的深入學(xué)習(xí)，了解了mvc模式開發(fā)，在這階段的學(xué)習(xí)期間，我以一個(gè)小商務(wù)系統(tǒng)的開發(fā)作為學(xué)習(xí)任務(wù)。還對(duì)當(dāng)前流行的jive代碼與開發(fā)思想進(jìn)行了初步的學(xué)習(xí)研究。

四、作為一名系統(tǒng)開發(fā)與維護(hù)工作者，當(dāng)然不能忽視對(duì)數(shù)據(jù)庫(kù)知識(shí)的學(xué)習(xí)，在這段時(shí)間我也進(jìn)一步對(duì)sql語(yǔ)句進(jìn)行了深入的學(xué)習(xí)，對(duì)sql語(yǔ)句的查詢進(jìn)行了分析，比較重視數(shù)據(jù)庫(kù)性能分析與調(diào)整這方面的知識(shí)學(xué)習(xí)。通過(guò)這階段的學(xué)習(xí)，把這些知識(shí)與方法運(yùn)用到了對(duì)后臺(tái)管理系統(tǒng)會(huì)員查詢的速度優(yōu)化功能上，在實(shí)際工作中得以實(shí)踐運(yùn)用。

五、網(wǎng)站新版開發(fā)方面，主要還為新版做了幾個(gè)數(shù)據(jù)庫(kù)對(duì)照表。

六、還參加了網(wǎng)站新版的第二輪測(cè)試工作，主要以后臺(tái)管理系統(tǒng)為主做測(cè)試，還參與了前臺(tái)個(gè)人管理與企業(yè)管理的流程測(cè)試，測(cè)出了不少關(guān)鍵性的bug。

七、入職以來(lái)，還擔(dān)任了網(wǎng)站部群發(fā)郵件的工作。三個(gè)月內(nèi)完成了好幾批郵件群發(fā)的工作，每天定時(shí)定量地給在無(wú)憂無(wú)慮網(wǎng)站上注冊(cè)的企業(yè)或會(huì)員群發(fā)幾十萬(wàn)封郵件。還配合客服部群發(fā)了兩批特殊活動(dòng)的郵件，配合網(wǎng)站營(yíng)銷活動(dòng)群發(fā)了兩批群件，每天堅(jiān)持固定給注冊(cè)會(huì)員群發(fā)。

在網(wǎng)站技術(shù)部工作的三個(gè)月里，自己感受非常多。首先，作為剛從學(xué)校出來(lái)的畢業(yè)生，在實(shí)際開發(fā)中的經(jīng)驗(yàn)尚不夠成熟，還需要在工作中不斷的提升自己。其次，要進(jìn)一步提高自己的開發(fā)技能，使自己的技能滿足今后的需求，主動(dòng)獲取并學(xué)習(xí)當(dāng)今最新技術(shù)信息，平衡自己的知識(shí)結(jié)構(gòu)，在不斷的學(xué)習(xí)中提高自己。然后，要加強(qiáng)與同事們的溝通，融入團(tuán)隊(duì)，互相學(xué)習(xí)、相互提高，在團(tuán)隊(duì)中不斷完善自己。

我相信，通過(guò)我的努力，一定能成為智通的優(yōu)秀員工，一定會(huì)在優(yōu)秀成績(jī)之上提升自己。同時(shí)我希望公司能根據(jù)情況給我培訓(xùn)深造的機(jī)會(huì)，也希望部門內(nèi)能有經(jīng)常性的專業(yè)技術(shù)學(xué)習(xí)。

第3篇：數(shù)學(xué)建模工作總結(jié)范文

關(guān)鍵詞: 地理時(shí)空本體; 時(shí)間本體; 空間本體

時(shí)間與空間永遠(yuǎn)是人類永恒的話題, 也是一直困擾著各學(xué)科的少數(shù)共同概念之一. 對(duì)于地理學(xué)而言, 其所有的研究對(duì)象都與時(shí)間和空間密切相關(guān).地理信息具有區(qū)域性、多維結(jié)構(gòu)特征和動(dòng)態(tài)變化特征. 地理信息系統(tǒng)的出現(xiàn), 使其以地理信息世界來(lái)表達(dá)地理現(xiàn)實(shí)世界, 來(lái)真實(shí)、快速地模擬各種自然過(guò)程和思維過(guò)程. 傳統(tǒng)的地理信息系統(tǒng)中只考慮了地物的空間特性, 忽略了其時(shí)間特性. 而在許多應(yīng)用領(lǐng)域, 這種動(dòng)態(tài)變化規(guī)律在問(wèn)題的求解過(guò)程中起著十分重要的作用. 因此, 近年來(lái)對(duì)g is 中時(shí)態(tài)特性的研究十分活躍, 即所謂“時(shí)空系統(tǒng)”. 時(shí)空語(yǔ)義對(duì)于在建立真實(shí)世界和地理信息系統(tǒng)的聯(lián)系起極其重要的橋梁作用. 但是, 受到研究理論和技術(shù)制約, 目前對(duì)于時(shí)空g is 的研究進(jìn)展仍十分緩慢. 隨著g is 的智能化、網(wǎng)絡(luò)化和大眾化的發(fā)展必然趨勢(shì), 對(duì)g is 理論和技術(shù)上的創(chuàng)新也提出了更高的要求.

為此, 將本體論作為新的理論和方法引入時(shí)空g is 的研究中具有十分重要的意義. 論文由于本體技術(shù)對(duì)于地理信息科學(xué)研究的重要性以及地理信息科學(xué)中時(shí)空的重要性, 地理本體必須包含一個(gè)對(duì)于世界的全面的時(shí)空觀點(diǎn), 成了地理時(shí)空本體研究的重要背景. 本文介紹了時(shí)空本體的相關(guān)概念、表示模型等, 綜述了目前時(shí)空本體的研究進(jìn)展, 并對(duì)目前研究中存在的一些問(wèn)題及發(fā)展方向進(jìn)行了探討.

1 時(shí)空本體的起源基礎(chǔ)

本體最初為哲學(xué)概念, 是指關(guān)于存在及其本體和規(guī)律的學(xué)說(shuō), 是關(guān)于世界某個(gè)方面的一個(gè)特定的分類體系. 本體論發(fā)展到后來(lái), 演變成了一種“借用”或“承諾”. 后來(lái)被引入人工智能領(lǐng)域后, 本體被認(rèn)為是共享的概念模型的明確的形式化規(guī)范說(shuō)明[ 1 ]. 在地理信息領(lǐng)域, 雖然目前還沒(méi)有達(dá)成共識(shí)的地理本體的概念, 但一致認(rèn)為地理本體應(yīng)該包含哲學(xué)本體和信息本體的內(nèi)涵.

時(shí)空地理本體的研究是建立在前人對(duì)時(shí)間本體和空間本體的大量研究成果之上的. 畢業(yè)論文這里簡(jiǎn)要介紹時(shí)間本體以及空間本體的基元、屬性以及表示模型等.

1. 1 時(shí)間本體

心理學(xué)和哲學(xué)領(lǐng)域通常把時(shí)間分為3 種, 即自然時(shí)間( natu ral t im e )、習(xí)俗時(shí)間( conven t ional t im e) 和邏輯時(shí)間( logic t im e) [ 2 ]. 在人工智能領(lǐng)域,由于應(yīng)用領(lǐng)域的復(fù)雜性, 需要使時(shí)間概念更加明確. 因而時(shí)間本體的建立一般是基于時(shí)間基元( tempo ral p rim it ive) 的, 時(shí)間基元的選擇對(duì)于表示時(shí)間概念的時(shí)間模型尤其重要. 目前對(duì)于時(shí)間基元主要有兩種對(duì)立的觀點(diǎn), 即時(shí)間點(diǎn)( in stan t s o r po in t s) 和時(shí)間段(periods o r in tervals). 有些學(xué)者認(rèn)為時(shí)間基元可以同時(shí)包含二者. 此外, 也有學(xué)者并不基于純粹的時(shí)間基元建立時(shí)間本體. 例如moen 等人便從語(yǔ)言學(xué)角度出發(fā), 研究了基于原因、結(jié)果等概念上的時(shí)間本體[ 3 ].

時(shí)間本體的屬性主要涉及次序、結(jié)構(gòu)和界限性等問(wèn)題. 時(shí)間的次序性問(wèn)題主要為: 時(shí)間流是線形、分支還是循環(huán)的? 時(shí)間的結(jié)構(gòu)是密集的、離散的還是連續(xù)的? 時(shí)間是有限的還是無(wú)限的? 線性時(shí)間是最普遍的模型, 而分支模型考慮了將來(lái)可能發(fā)生的多種可能性, 循環(huán)時(shí)間可以看作是線性時(shí)間的特殊形式. 密集型時(shí)間與有理數(shù)集(q ) 同構(gòu), 離散時(shí)間與整數(shù)集(z) 同構(gòu), 而連續(xù)時(shí)間則與實(shí)數(shù)集(r ) 同構(gòu). 時(shí)間的無(wú)限延展可以發(fā)生在連續(xù)的線性時(shí)間和循環(huán)時(shí)間中, 卻不能發(fā)展在離散的線性或分支時(shí)間里; 在時(shí)間系統(tǒng)里引入度量關(guān)系就可以轉(zhuǎn)化為一個(gè)日歷系統(tǒng).

決定時(shí)間關(guān)系類型以及時(shí)間表現(xiàn)形式的時(shí)間約束有基于定性時(shí)間關(guān)系的和基于定量信息的, 也有將二者融合進(jìn)行約束的. 定性關(guān)系主要有a llen的時(shí)間區(qū)間代數(shù)[ 4 ]、m atu szee 等人的基于時(shí)間段端點(diǎn)的局部信息方法[ 5 ]、f rek sa 基于鄰近概念的半?yún)^(qū)間方法[ 6 ]等. 定量關(guān)系中最簡(jiǎn)單的例子是根據(jù)日期或其他準(zhǔn)確的數(shù)值形式獲得時(shí)間信息. kau tz和l adk in[ 7 ]等人提出了把時(shí)間的定性和定量關(guān)系相結(jié)合的方法來(lái)處理不同精度時(shí)間知識(shí)的可得性.

時(shí)間關(guān)系的表示模型很多, 根據(jù)它們所采用的時(shí)間本體的基元不同可以大致分為兩類, 即以時(shí)間點(diǎn)為時(shí)間基元的表示模型和以時(shí)間段為時(shí)間基元的表示模型. 在人工智能早期的研究中, 多數(shù)的工作是以時(shí)間點(diǎn)為時(shí)間基元的, 例如狀態(tài)演算(situat ional calcu lu s) [ 8 ]、b ruce 的ch rono s 系統(tǒng)[ 9 ]以及時(shí)間專家系統(tǒng)( t im e specialist) [ 10 ]等. 但是在后來(lái)的研究中, 以a llen 為首的許多學(xué)者認(rèn)為時(shí)間段比時(shí)間點(diǎn)更能體現(xiàn)人們常識(shí)中的時(shí)間概念.a llen 提出, 由于時(shí)間段是表示屬性(p ropert ies) 和事件(even t s) 的最好概念, 因而它應(yīng)該是唯一的時(shí)間基元. 此后, 許多學(xué)者都以此為依據(jù)建立一些模型. 也有學(xué)者提出過(guò)包含兩種基元的時(shí)間模型, 例如v ila[ 11 ]等人.

1. 2 空間本體

對(duì)于空間本體的基元, 主要有基于點(diǎn)和基于區(qū)域兩種選擇[ 12 ]. 最初的空間數(shù)學(xué)理論中, 把點(diǎn)作為基本空間實(shí)體, 并用點(diǎn)把區(qū)域定義為點(diǎn)的集合. 在q sr (定性空間表示) 中, 更趨向于把區(qū)域作為基本空間實(shí)體. 盡管本體的出現(xiàn)意味著為多數(shù)空間和幾何概念建立新的理論, 但是多數(shù)學(xué)者仍認(rèn)為區(qū)域是本體基元.

除了基元問(wèn)題外, 空間本體還要考慮空間的性質(zhì), 即它是同維的還是混合維的、離散的還是連續(xù)的、有限的還是無(wú)限的.碩士論文 這些問(wèn)題引發(fā)了允許什么樣的基元“計(jì)算”的問(wèn)題. 即相當(dāng)于邏輯理論中什么樣的簡(jiǎn)單非邏輯符號(hào)在沒(méi)有定義而只是被某個(gè)公理既約束條件下可以被承認(rèn). 另一個(gè)本體問(wèn)題就是多維空間的建模問(wèn)題, 一個(gè)方法是通過(guò)分別考慮每個(gè)維來(lái)進(jìn)行空間建模, 但這種方法仍非常不完備.

由于空間關(guān)系可以分為3 類, 即拓?fù)潢P(guān)系、方位關(guān)系和度量關(guān)系. 因而, 其表示模型可以分為拓?fù)淠Ｐ汀⒎较蚰Ｐ秃投攘磕Ｐ? 空間拓?fù)淠Ｐ陀悬c(diǎn)集拓?fù)浜蛥^(qū)域拓?fù)鋬深? 影響較大的是rcc 模型[ 13 ] , 它是以區(qū)域作為空間基元的. 方向模型研究中, 使用了點(diǎn)和區(qū)域兩種基元, 例如f rank 的“錐形法”和“投影法”[ 14 ]以及f rek sa 的“雙十字模型”[ 15 ]等都是針對(duì)點(diǎn)對(duì)象的; 而goyal 和egenhofer 的mbr 法則[ 16 ]依據(jù)于區(qū)域. 度量關(guān)系模型中多以點(diǎn)為空間基元, 定量度量關(guān)系通常使用歐氏距離來(lái)進(jìn)行量算, 偶爾也采用曼哈頓距離等; 而定性度量關(guān)系則常用遠(yuǎn)、近、中等等來(lái)表示距離. 在定位時(shí), 度量關(guān)系往往需要和方向關(guān)系進(jìn)行結(jié)合.

2 時(shí)空本體的研究進(jìn)展

現(xiàn)實(shí)世界中時(shí)間和空間是緊密聯(lián)系、不可分割的. 因而, 人們?nèi)找嬲J(rèn)識(shí)到真實(shí)世界的時(shí)空模型的重要性和必要性. 目前, 有兩種建立時(shí)空模型的思路, 其一是利用已有的時(shí)間模型和空間模型; 其二是試圖重新建立統(tǒng)一的時(shí)空模型. 前者主要是在已有的時(shí)態(tài)模型的基礎(chǔ)上添加對(duì)空間的支持能力; 或在已有的空間模型的基礎(chǔ)上添加對(duì)時(shí)態(tài)的支持; 或者是將時(shí)態(tài)模型和空間模型作正交組合. 后者則將時(shí)空看作原子實(shí)體, 以此為基礎(chǔ)建立新的時(shí)空統(tǒng)一模型. 兩種思路各有千秋, 從實(shí)現(xiàn)難度看, 前者與現(xiàn)有研究基礎(chǔ)結(jié)合比較緊密, 更易于實(shí)現(xiàn); 而從理論角度看, 后者則更為完美. 總的說(shuō)來(lái), 目前從本體角度對(duì)時(shí)空關(guān)系進(jìn)行研究仍處于探索階段, 尚無(wú)十分成熟的理論和技術(shù)方法.

2. 1 主要研究趨向

目前孤立研究時(shí)間關(guān)系或空間關(guān)系的學(xué)者較多, 但是將二者結(jié)合起來(lái), 并明確提出從本體角度研究時(shí)空關(guān)系的學(xué)者仍比較少, 主要有a uf rank, b it tner t , p ierre grenon 等. f rank 最早開始在對(duì)時(shí)空數(shù)據(jù)庫(kù)的基礎(chǔ)本體的研究中提出了一個(gè)5 層的本體, 每層都應(yīng)用不同的規(guī)則. 他把自然事實(shí)看作一個(gè)四維場(chǎng)模型, 構(gòu)造公式a= f (x , y , z , t) 來(lái)表示一個(gè)只有唯一值的函數(shù), 該公式表明只有唯一的時(shí)空世界[ 17 ]. 此外他還從語(yǔ)言學(xué)和認(rèn)知角度研究了時(shí)空g is 中的本體的一致性[ 18 ].

但也有學(xué)者認(rèn)為時(shí)空本體并非是唯一的, 單一四維模型不能有效的表達(dá)現(xiàn)實(shí)世界的時(shí)空關(guān)系.b it tner[ 19 ]首先提出了建立兩種時(shí)空本體, 即sna pon to logy (快照本體) 和span on to logy (時(shí)段本體) , 前者認(rèn)為永久的實(shí)體處于特定的時(shí)刻之中, 后者認(rèn)為實(shí)體持續(xù)存在于完整的時(shí)間之中. 并且他提出了粒度的概念來(lái)分解空間和時(shí)間, 分別建立對(duì)應(yīng)的本體論. grenon[ 20 ]定義的時(shí)空本體在時(shí)空表示方面也區(qū)分了兩種對(duì)象: 持續(xù)對(duì)象(endu ran t) , 可以在給定時(shí)刻存在的物質(zhì)、性質(zhì)、關(guān)系、功能等; 連續(xù)對(duì)象(perdu ran t) , 對(duì)應(yīng)某個(gè)過(guò)程, 并不在某個(gè)給定時(shí)刻存在, 而是作為整體存在于一段時(shí)間之內(nèi).這兩種對(duì)象分別對(duì)應(yīng)e2本體和p2本體. 持續(xù)對(duì)象可以作為連續(xù)對(duì)象的組成部分, 參與連續(xù)對(duì)象對(duì)應(yīng)的過(guò)程. 他還給出了時(shí)空本體的20 條公理. 在隨后的工作中, grenon 和sm ith[ 21 ] 針對(duì)地理現(xiàn)實(shí)的動(dòng)態(tài)性, 進(jìn)一步提出一個(gè)好的本體應(yīng)該既能表示同時(shí)發(fā)生的現(xiàn)實(shí)又能表示歷史事實(shí), 針對(duì)這兩個(gè)不同的任務(wù)他們提出了用當(dāng)代哲學(xué)本體中的三維和四維相結(jié)合的辦法來(lái)解決, 他們建立了一個(gè)包括兩個(gè)成分的形式本體sna p 和span , 一個(gè)是針對(duì)地理對(duì)象, 一個(gè)針對(duì)地理過(guò)程. sna p 處理三維實(shí)世界, 包括它們所處的空間區(qū)域以及所有的性質(zhì)、功率、功能、角色以及其他從一個(gè)時(shí)刻到下一個(gè)時(shí)刻保持一致的實(shí)體. span 則適于處理包括持續(xù)實(shí)體在內(nèi)的過(guò)程以及這些過(guò)程發(fā)生的時(shí)空體( spat io tempo ralvo lum es). 國(guó)內(nèi)也有學(xué)者[ 22 ]將其分為tsoo (時(shí)空對(duì)象本體) 和tspo (時(shí)空過(guò)程本體) , 其觀點(diǎn)與grenon 觀點(diǎn)實(shí)質(zhì)相同.

雖然目前對(duì)于時(shí)空本體的形式化尚未取得一致性意見, 但是有一些學(xué)者提出了自己對(duì)建立時(shí)空本體的規(guī)范性要求的看法. galton[ 23 ] 在在回顧了地理學(xué)以及地理信息科學(xué)范圍內(nèi)的多種現(xiàn)象種類后, 確定了3 個(gè)可以全面、適當(dāng)處理這些現(xiàn)象的時(shí)空地理本體所必要條件, 一個(gè)這樣的本體必須:①提供合適的表現(xiàn)和操作形式以適當(dāng)處理基于場(chǎng)和基于對(duì)象的世界視點(diǎn)間的豐富的相互連接的網(wǎng)絡(luò); ②把基于場(chǎng)和基于對(duì)象的模型, 以及用來(lái)處理這些模型的表現(xiàn)形式擴(kuò)展到時(shí)間領(lǐng)域; ③提供一種方法來(lái)發(fā)展時(shí)空范圍以及范圍內(nèi)存在的現(xiàn)象的不同模型, 尤其是對(duì)于那些諸如暴風(fēng)雪、洪水、野火等似乎既表現(xiàn)為對(duì)象性又表現(xiàn)為過(guò)程性的雙重性的現(xiàn)象.

2. 2 時(shí)空本體庫(kù)

由于時(shí)間與空間都屬于常識(shí)范疇, 是重要的常識(shí)概念, 因此, 任何重要的上層本體都必須考慮時(shí)間和空間的問(wèn)題. 目前已有的時(shí)空本體庫(kù)里一般是將時(shí)間本體與空間本體分開建立. 比較大型的本體庫(kù)有斯坦福大學(xué)的p ro tégé本體庫(kù)[ 24 ]、cyc 上層本體庫(kù)[ 25 ] , ieee 的標(biāo)準(zhǔn)上層本體工作組開發(fā)的sumo 本體[ 26 ]等. 其中p ro tégé本體庫(kù)中涉及到時(shí)間和空間本體的有na sa 開發(fā)的sw eet( sem an t ic w eb fo r earth and environm en tal term ino logy ) 本體系統(tǒng); o gc (open g is con so rt ium ) 的地理標(biāo)記語(yǔ)言o gc 本體系統(tǒng); iso的owl 本體中包括地理信息空間框架( iso 19107: 2003)、地理信息時(shí)間框架( iso 19108:2002)、地理信息空間坐標(biāo)參考( iso 19111: 2003)、地理信息空間地理標(biāo)記參考( iso 19112: 2003) 等.比較常用的是以語(yǔ)言命名的daml 時(shí)間本體和空間本體. 也有學(xué)者嘗試著對(duì)建立統(tǒng)一的時(shí)空本體提出了自己的構(gòu)想, 如胡鶴在其博士論文中利用owl dl 對(duì)daml 時(shí)間本體和空間本體進(jìn)行結(jié)合建立了統(tǒng)一的時(shí)空本體框架[ 27 ]. 此外, 還有一些小的時(shí)間本體、空間本體以及時(shí)空本體的存在.

2. 3 研究熱點(diǎn)

2. 3. 1時(shí)空本體建模的形式化語(yǔ)言與推理

f rank 認(rèn)為本體需要形式化語(yǔ)言來(lái)描述, 并且這種語(yǔ)言應(yīng)該具有客觀的形式、明確的聲明性、類型化、自動(dòng)的一致性檢驗(yàn)機(jī)制以及可執(zhí)行性[ 17 ]. 研究時(shí)空本體的傳統(tǒng)方法主要是邏輯的方法. 且使用較多的是以一階謂詞邏輯為基礎(chǔ), 引入其他非經(jīng)典邏輯的方法. 例如,wo lter 等人[ 28 ] (2000) 采用語(yǔ)義的方法, 將時(shí)態(tài)模型t 和空間模型s 結(jié)合成一個(gè)多維時(shí)空結(jié)構(gòu). 他們把時(shí)空解釋成時(shí)間和空間結(jié)構(gòu)的迪卡爾乘積, 并基于brcc - 8 進(jìn)行時(shí)空表示, 構(gòu)造st 0、st 1、st 2 這3 個(gè)時(shí)空邏輯. 對(duì)st i 應(yīng)用模態(tài)算子、得到stb i, 在stb i 上添加時(shí)間區(qū)域項(xiàng)得到stb i+ . wo lter[ 29 ]等人(2002) 構(gòu)造了一階時(shí)空邏輯(fo st ) , 并指出在基于無(wú)限時(shí)間流的拓?fù)鋾r(shí)態(tài)模型中, 由于時(shí)態(tài)操作符和作用于區(qū)域變量上的量詞導(dǎo)致fo st 的可滿足問(wèn)題是不可判定的, 他們將brcc- 8 嵌入到雙模態(tài)邏輯s4u 中(可判定的) , 然后再把s4u 嵌入到一階邏輯單變量子集中(n p- 完全的) , 構(gòu)造出命題時(shí)空語(yǔ)言(pst ) , 有關(guān)任意拓?fù)淠Ｐ椭械膒st 公式可滿足性問(wèn)題的計(jì)算性質(zhì)還有待研究. 通過(guò)在brcc- 8 中加入?yún)^(qū)間時(shí)態(tài)邏輯(all - 13) 得到arcc- 8 邏輯. arcc- 8公式在時(shí)態(tài)拓?fù)淠Ｐ椭惺莕 p 完全的. bennet t 等人[ 30 ] (2002) 將命題時(shí)態(tài)邏輯ptl 和空間模態(tài)邏輯s4u 結(jié)合起來(lái), 形成了“二維”時(shí)空邏輯pstl.

pstl 是否可判定, 仍然是未解決的問(wèn)題, 但通過(guò)嵌入pstl 到rcc8 空間邏輯, 能得到一些可判定的子系統(tǒng). m u ller[ 31 ] (2002) 把時(shí)間和空間看成同質(zhì)(homogeneity) 的, 以時(shí)空區(qū)域(時(shí)空歷史) 為基本實(shí)體, 在擴(kuò)展a sher 的空間邏輯公理集基礎(chǔ)上,定義了時(shí)序關(guān)系和時(shí)空約束, 建立了一階時(shí)空邏輯模型, 并基于該邏輯提出了有關(guān)運(yùn)動(dòng)的推理理論.隨著更易被人和機(jī)器理解的描述邏輯(dl ) 的出現(xiàn)與發(fā)展, haarslev 在alc (d) 的基礎(chǔ)上對(duì)描述邏輯進(jìn)行了擴(kuò)展. 他研究了alcrp (d ) 理論作為地理信息系統(tǒng)領(lǐng)域的知識(shí)表示和查詢操作的基礎(chǔ), 通過(guò)具體領(lǐng)域和一個(gè)角色形成謂詞算子的結(jié)合, 把時(shí)間推理加入了空間和術(shù)語(yǔ)推理中, 克服了過(guò)去alc(d) 只能進(jìn)行概念推理或只能進(jìn)行空間定性推理的局限性. 并且haarslev 還證明了alcrp (d ) 在具體的時(shí)空領(lǐng)域應(yīng)用中具有明顯的優(yōu)勢(shì)[ 32 ]. 該方法后來(lái)被sw iss 國(guó)家基金委o fes 支助的部分歐洲know ledgew eb 和d ip 項(xiàng)目所采用.

2. 3. 2時(shí)空本體的粒度問(wèn)題　粒度是構(gòu)成完整的空間和時(shí)間數(shù)據(jù)所必需的, 粒度問(wèn)題是影響時(shí)空不確定性的關(guān)鍵因素. 大量的應(yīng)用要求事實(shí)以及其時(shí)空背景一起存儲(chǔ), 這就需要根據(jù)合適的粒度來(lái)表示. 并且, g is 中時(shí)空數(shù)據(jù)可以用不同的粒度來(lái)記錄和查詢. 因此需要在不同粒度之間進(jìn)行轉(zhuǎn)化與合并. 目前已經(jīng)有許多學(xué)者分別研究了時(shí)間粒度和空間粒度的問(wèn)題. bet t in i[ 33 ] 等人提出了形式化表示的時(shí)間粒度——日歷代數(shù)(calendar a lgeb ra) , 并把它應(yīng)用到時(shí)間數(shù)據(jù)庫(kù)、時(shí)間csp、時(shí)間數(shù)據(jù)挖掘等領(lǐng)域. 他將時(shí)間劃分為日歷法中的年、月、日、小時(shí)、分鐘等不同粒度. wo rboys[ 34 ]等則研究了空間的粒度問(wèn)題. b it tner (2000) 采用了一個(gè)基于粗糙集理論的時(shí)間或空間粒度理論, 提出用大致位置的方法來(lái)表示近似空間區(qū)域[ 35 ] 或時(shí)間段[ 36 ]. stell[ 37 ](2003) 對(duì)時(shí)空粒度的定性外延進(jìn)行了研究. 但是這些工作都沒(méi)有形式化理論來(lái)解決時(shí)空信息的多時(shí)空粒度問(wèn)題. b it tner 的理論只適合解決單一的時(shí)間或空間問(wèn)題, 而stell 只進(jìn)行了描述, 沒(méi)有給出明確定義和操作.ith 和b rogaard[ 38 ] 于2002 年在對(duì)l ew is 提出的個(gè)體與個(gè)體和的部分- 整體關(guān)系的分類進(jìn)行總結(jié)的基礎(chǔ)上提出了粒度劃分(granu lar part it ion). 該方法以集理論和部分- 整體理論為其理論基礎(chǔ), 可作為形式化本體的工具和人類認(rèn)知表現(xiàn)結(jié)構(gòu). 隨后sm ith 和b it tner 又提出了粒度劃分的形式化理論[ 39 ] , 并針對(duì)時(shí)空本體sna p和span 提出了粒度時(shí)空本體sna p 和span [ 40 ].國(guó)內(nèi)也有部分學(xué)者提出了自己的觀點(diǎn), 王生生等人[ 41 ]提出了一個(gè)對(duì)于時(shí)空數(shù)據(jù)模型通用的支持多粒度和不確定性時(shí)空粒度的理論. 他主要是使用了時(shí)間粒度和空間粒度的乘積空間來(lái)表示時(shí)空粒度.也有人[ 22 ]提出了用于g is 整合的時(shí)空語(yǔ)義粒度,即時(shí)空對(duì)象粒度本體與時(shí)空過(guò)程粒度本體, 二者都可以根據(jù)粗糙程度進(jìn)一步細(xì)分為良性粒度和粗糙粒度.

2. 3. 3時(shí)空本體的應(yīng)用　由于時(shí)空問(wèn)題普遍存在于各領(lǐng)域中, 因而時(shí)空本體的研究對(duì)于解決不同時(shí)空表示系統(tǒng)之間的交互、集成、共享、重用等有著重要的意義. 醫(yī)學(xué)論文 目前, 時(shí)空本體已經(jīng)引起了生物信息化、g is、常識(shí)庫(kù)建造以及語(yǔ)義w eb 領(lǐng)域?qū)W者的廣泛關(guān)注, 并且在一些應(yīng)用領(lǐng)域已有一些實(shí)證研究. 但是,目前對(duì)于地理時(shí)空本體的應(yīng)用研究仍然處于探索階段, 主要用于時(shí)空推理方面, 例如, kaupp inen 和hyv nen 等[ 42 ]建立20 世紀(jì)到2004 年的芬蘭的時(shí)間區(qū)域本體, 他們使用了本體的時(shí)間序列模型來(lái)進(jìn)行推理以解決與歷史相關(guān)的數(shù)據(jù)庫(kù)中的信息查詢問(wèn)題, 該方法成功的表示了芬蘭歷史地理區(qū)域隨時(shí)間演變的過(guò)程.

3 結(jié)論與展望

總的來(lái)說(shuō), 目前對(duì)于時(shí)空地理本體的研究, 仍然處于起步階段, 因而很多研究領(lǐng)域都存在亟待解決的問(wèn)題.

(1) 地理時(shí)空本體基元的選擇. 不同基元的選擇受人們對(duì)時(shí)空現(xiàn)象認(rèn)知的影響, 反過(guò)來(lái), 基元的選擇對(duì)于時(shí)空本體的形式化表示至關(guān)重要, 以不同基元為基礎(chǔ)的時(shí)空本體會(huì)影響人們對(duì)世界的進(jìn)一步認(rèn)知以及知識(shí)的交流. 目前對(duì)于時(shí)空本體基元的選擇仍未有統(tǒng)一看法.

(2) 地理時(shí)空本體的形式化表示以及時(shí)空本體的建立. 目前對(duì)時(shí)空本體采用的形式化工具多是基于一階謂詞邏輯的基礎(chǔ)上的, 而使用描述邏輯定義時(shí)空本體的工作仍較少. 因此應(yīng)該進(jìn)一步研究時(shí)空本體的形式化方法, 建立良性的形式化時(shí)空本體, 使得所建立的時(shí)空本體更適合于人們對(duì)時(shí)空常識(shí)的理解. 此外, 如何在建立的時(shí)空本體之間進(jìn)行轉(zhuǎn)化, 尤其是如何在以不同基元為基礎(chǔ)的時(shí)空本體之間進(jìn)行轉(zhuǎn)化與無(wú)縫結(jié)合也是個(gè)值得探索的問(wèn)題.

(3) 地理時(shí)空本體粒度的研究. 粒度的變化影響人們對(duì)地理時(shí)空的認(rèn)識(shí), 不同粒度下, 人們認(rèn)知的時(shí)空范圍大小與層次有所不同. 如何選擇適合人們不同視點(diǎn)需求并且易于在g is 中表達(dá)的粒度是值得進(jìn)一步研究的課題.

(4) 地理時(shí)空本體與實(shí)際應(yīng)用. 時(shí)空本體是可應(yīng)用于各學(xué)科領(lǐng)域的頂級(jí)本體, 因此, 可以表達(dá)地理學(xué)領(lǐng)域與時(shí)空相關(guān)的一切地理現(xiàn)象. 但是, 目前對(duì)于地理時(shí)空本體的實(shí)際應(yīng)用研究尚不多, 工作總結(jié) 仍然處于探索階段. 因而, 應(yīng)該積極探索地理時(shí)空本體的廣泛應(yīng)用領(lǐng)域, 并建立與具體應(yīng)用領(lǐng)域相關(guān)的推理規(guī)則, 推理模型等, 以解決領(lǐng)域中的實(shí)際問(wèn)題. 參考文獻(xiàn):

[1 ] bo rst w n. construction of engineering onto logies [d ].ph thesis, u niversity of twenty, 1997.

[2 ]pani a k, bhattacharjee g p. tempo ral rep resentation and reasoning in artificial intelligence: a review [ j ].m athematical and computermodelling, 2001, 34 (1ö2 ) : 55-80.

[ 3 ]m arcmoen, m ark steedman. tempo ralonto logy in n atural l anguage [c ]ööp roceedings of the 25th annual meeting on a ssociation fo r computational l inguistics. stanfo rd,

califo rnia. 1987: 127

[4 ]a llen j f. m aintaining know ledge about tempo ral intervals [j ]. communications of the acm , 1983, 26 (11) : 832-834.

[ 5 ] m atuszec d, fmm t, f rltzson t, overton c. endpo int relations on tempo ral intervals [r ]. technical repo rt prc- 2bs- 8810, paohresearchcenter, um sys co rp, 1988.

[ 6 ] f rek sa c. tempo ral reasoning based on sem i2intervals,a rtzficzal intelligence[j ]. 1992, 54: 199-227,

[7 ] kautz h a , l adk in p b. integrating metric and qualitative tempo ral reasoning [ c ]ööp roceedings of aaa i291.a naheim, ca 1991: 241-246.

[ 8 ]m ccarthy j m , hayes p. some ph ilo soph ical p roblem s from standpo int of a i, m ach ine intelligence [ j ]. 1969, 4: 463-502.

[ 9 ]bruce b. a model fo r tempo ral references and its app lication m a question answering p rogram [j ]. a rtificial intelligence,1972, 4: l-25.

[10 ] kahn k m , go rry g. m echanizing tempo ral know ledge [j ]. a rtificial intelligence, 1977, 9: 872108.

[ 11 ] v ila l. a n analysis of the main app roaches to tempo ral reasoning in a i[r ]. repo rt de recerca iiia , 1993.

[ 12 ] cohn a g, hazarika s m. q ualitative spatial rep resentation and reasoning: a n overview [ j ].fundamental info rmatics, 2001, 46 (1ö2) : 1-29.

[ 13 ]randelld, cui z, cohn a. a spatial logic based on regions and connection [ c ]öön ebel b, r ich c, swartout w.p roceedings of the know ledge rep resentation and reasoning. san m ateo: mo rgan kaufmann, 1992: 165-176.

[ 14 ] f rank a u. q ualitative spatial reasoning about cardinal directions [c ]ööm ark d, w h ite d. p roceedings of the 7th . a ustrian conference on a rtificial intelligence. baltimo re: mo rgan kaufmann, 1991: 157-167.

[ 15 ] ch ristian f rek sa. u sing o rientation info rmation for qualitative spatial reasoning [c ]ööf rank au , campari i,fo rmentiniu. p roceedings of the int’l conference on gis. berlin: sp ringer2v erlag, 1992: 162-178.

[ 16 ] goyal r, egenhofer m j. cardinal d irections between extended spatial objects [ eböol ]. 2001. h ttp: öö spatial maine. eduö～maxörj36. h tm l.

[ 17 ]f rank a u. t iers of onto logy and consistency constraints in geograph ic info rmation system s [ j ]. international journal of geograph ical info rmation science, 2001, 15 (7) :667-678.

[ 18 ]f rank a u. a l inguistically justified p ropo sal fo r a spatio-tempo ral onto logy [ eböol ]. the p re-cos it wo rk shop on fundamental issues in spatial and geograph ical onto logy. /eijiansuo/" target="_blank" title="">ei xu, yong q in, hou2kuan huang. sp tio-tempo ral onto logy o riented to geograph ic info rmation system [c ]ööp roceedings of the th ird international conference on

m ach ine l earning and cybernetics. shanghai, 26～29 a ugust 2004.

[ 23 ] a ntony galton. desiderata fo r a spatio2tempo ral geo-onto logy [c ]öökuhnw , wo rboysm f, t impf s. spatial info rmation theo ry: foundations of geograph ic info rmation science ( p roceedings of international conference cos it 2003, kartause ittingen, sw itzerland,

sep tember 2003 ). sp ringer l ecture no tes in computer science, 2003: 1-12.

第4篇：數(shù)學(xué)建模工作總結(jié)范文

關(guān)鍵詞: 地理時(shí)空本體; 時(shí)間本體; 空間本體

時(shí)間與空間永遠(yuǎn)是人類永恒的話題， 也是一直困擾著各學(xué)科的少數(shù)共同概念之一. 對(duì)于地理學(xué)而言， 其所有的研究對(duì)象都與時(shí)間和空間密切相關(guān).地理信息具有區(qū)域性、多維結(jié)構(gòu)特征和動(dòng)態(tài)變化特征. 地理信息系統(tǒng)的出現(xiàn)， 使其以地理信息世界來(lái)表達(dá)地理現(xiàn)實(shí)世界， 來(lái)真實(shí)、快速地模擬各種自然過(guò)程和思維過(guò)程. 傳統(tǒng)的地理信息系統(tǒng)中只考慮了地物的空間特性， 忽略了其時(shí)間特性. 而在許多應(yīng)用領(lǐng)域， 這種動(dòng)態(tài)變化規(guī)律在問(wèn)題的求解過(guò)程中起著十分重要的作用. 因此， 近年來(lái)對(duì)G IS 中時(shí)態(tài)特性的研究十分活躍， 即所謂“時(shí)空系統(tǒng)”. 時(shí)空語(yǔ)義對(duì)于在建立真實(shí)世界和地理信息系統(tǒng)的聯(lián)系起極其重要的橋梁作用. 但是， 受到研究理論和技術(shù)制約， 目前對(duì)于時(shí)空G IS 的研究進(jìn)展仍十分緩慢. 隨著G IS 的智能化、網(wǎng)絡(luò)化和大眾化的發(fā)展必然趨勢(shì)， 對(duì)G IS 理論和技術(shù)上的創(chuàng)新也提出了更高的要求.

為此， 將本體論作為新的理論和方法引入時(shí)空G IS 的研究中具有十分重要的意義. 由于本體技術(shù)對(duì)于地理信息科學(xué)研究的重要性以及地理信息科學(xué)中時(shí)空的重要性， 地理本體必須包含一個(gè)對(duì)于世界的全面的時(shí)空觀點(diǎn)， 成了地理時(shí)空本體研究的重要背景. 本文介紹了時(shí)空本體的相關(guān)概念、表示模型等， 綜述了目前時(shí)空本體的研究進(jìn)展， 并對(duì)目前研究中存在的一些問(wèn)題及發(fā)展方向進(jìn)行了探討.

1 時(shí)空本體的起源基礎(chǔ)

本體最初為哲學(xué)概念， 是指關(guān)于存在及其本體和規(guī)律的學(xué)說(shuō)， 是關(guān)于世界某個(gè)方面的一個(gè)特定的分類體系. 本體論發(fā)展到后來(lái)， 演變成了一種“借用”或“承諾”. 后來(lái)被引入人工智能領(lǐng)域后， 本體被認(rèn)為是共享的概念模型的明確的形式化規(guī)范說(shuō)明[ 1 ]. 在地理信息領(lǐng)域， 雖然目前還沒(méi)有達(dá)成共識(shí)的地理本體的概念， 但一致認(rèn)為地理本體應(yīng)該包含哲學(xué)本體和信息本體的內(nèi)涵.

時(shí)空地理本體的研究是建立在前人對(duì)時(shí)間本體和空間本體的大量研究成果之上的. 畢業(yè)論文這里簡(jiǎn)要介紹時(shí)間本體以及空間本體的基元、屬性以及表示模型等.

1. 1 時(shí)間本體

心理學(xué)和哲學(xué)領(lǐng)域通常把時(shí)間分為3 種， 即自然時(shí)間( natu ral t im e )、習(xí)俗時(shí)間( conven t ional t im e) 和邏輯時(shí)間( logic t im e) [ 2 ]. 在人工智能領(lǐng)域，由于應(yīng)用領(lǐng)域的復(fù)雜性， 需要使時(shí)間概念更加明確. 因而時(shí)間本體的建立一般是基于時(shí)間基元( tempo ral p rim it ive) 的， 時(shí)間基元的選擇對(duì)于表示時(shí)間概念的時(shí)間模型尤其重要. 目前對(duì)于時(shí)間基元主要有兩種對(duì)立的觀點(diǎn)， 即時(shí)間點(diǎn)( in stan t s o r po in t s) 和時(shí)間段(periods o r in tervals). 有些學(xué)者認(rèn)為時(shí)間基元可以同時(shí)包含二者. 此外， 也有學(xué)者并不基于純粹的時(shí)間基元建立時(shí)間本體. 例如Moen 等人便從語(yǔ)言學(xué)角度出發(fā)， 研究了基于原因、結(jié)果等概念上的時(shí)間本體[ 3 ].

時(shí)間本體的屬性主要涉及次序、結(jié)構(gòu)和界限性等問(wèn)題. 時(shí)間的次序性問(wèn)題主要為: 時(shí)間流是線形、分支還是循環(huán)的? 時(shí)間的結(jié)構(gòu)是密集的、離散的還是連續(xù)的? 時(shí)間是有限的還是無(wú)限的? 線性時(shí)間是最普遍的模型， 而分支模型考慮了將來(lái)可能發(fā)生的多種可能性， 循環(huán)時(shí)間可以看作是線性時(shí)間的特殊形式. 密集型時(shí)間與有理數(shù)集(Q ) 同構(gòu)， 離散時(shí)間與整數(shù)集(Z) 同構(gòu)， 而連續(xù)時(shí)間則與實(shí)數(shù)集(R ) 同構(gòu). 時(shí)間的無(wú)限延展可以發(fā)生在連續(xù)的線性時(shí)間和循環(huán)時(shí)間中， 卻不能發(fā)展在離散的線性或分支時(shí)間里; 在時(shí)間系統(tǒng)里引入度量關(guān)系就可以轉(zhuǎn)化為一個(gè)日歷系統(tǒng).

決定時(shí)間關(guān)系類型以及時(shí)間表現(xiàn)形式的時(shí)間約束有基于定性時(shí)間關(guān)系的和基于定量信息的， 也有將二者融合進(jìn)行約束的. 定性關(guān)系主要有A llen的時(shí)間區(qū)間代數(shù)[ 4 ]、M atu szee 等人的基于時(shí)間段端點(diǎn)的局部信息方法[ 5 ]、F rek sa 基于鄰近概念的半?yún)^(qū)間方法[ 6 ]等. 定量關(guān)系中最簡(jiǎn)單的例子是根據(jù)日期或其他準(zhǔn)確的數(shù)值形式獲得時(shí)間信息. Kau tz和L adk in[ 7 ]等人提出了把時(shí)間的定性和定量關(guān)系相結(jié)合的方法來(lái)處理不同精度時(shí)間知識(shí)的可得性.

時(shí)間關(guān)系的表示模型很多， 根據(jù)它們所采用的時(shí)間本體的基元不同可以大致分為兩類， 即以時(shí)間點(diǎn)為時(shí)間基元的表示模型和以時(shí)間段為時(shí)間基元的表示模型. 在人工智能早期的研究中， 多數(shù)的工作是以時(shí)間點(diǎn)為時(shí)間基元的， 例如狀態(tài)演算(situat ional calcu lu s) [ 8 ]、B ruce 的Ch rono s 系統(tǒng)[ 9 ]以及時(shí)間專家系統(tǒng)( t im e specialist) [ 10 ]等. 但是在后來(lái)的研究中， 以A llen 為首的許多學(xué)者認(rèn)為時(shí)間段比時(shí)間點(diǎn)更能體現(xiàn)人們常識(shí)中的時(shí)間概念.A llen 提出， 由于時(shí)間段是表示屬性(p ropert ies) 和事件(even t s) 的最好概念， 因而它應(yīng)該是唯一的時(shí)間基元. 此后， 許多學(xué)者都以此為依據(jù)建立一些模型. 也有學(xué)者提出過(guò)包含兩種基元的時(shí)間模型， 例如V ila[ 11 ]等人.

1. 2 空間本體

對(duì)于空間本體的基元， 主要有基于點(diǎn)和基于區(qū)域兩種選擇[ 12 ]. 最初的空間數(shù)學(xué)理論中， 把點(diǎn)作為基本空間實(shí)體， 并用點(diǎn)把區(qū)域定義為點(diǎn)的集合. 在Q SR (定性空間表示) 中， 更趨向于把區(qū)域作為基本空間實(shí)體. 盡管本體的出現(xiàn)意味著為多數(shù)空間和幾何概念建立新的理論， 但是多數(shù)學(xué)者仍認(rèn)為區(qū)域是本體基元.

除了基元問(wèn)題外， 空間本體還要考慮空間的性質(zhì)， 即它是同維的還是混合維的、離散的還是連續(xù)的、有限的還是無(wú)限的.碩士論文 這些問(wèn)題引發(fā)了允許什么樣的基元“計(jì)算”的問(wèn)題. 即相當(dāng)于邏輯理論中什么樣的簡(jiǎn)單非邏輯符號(hào)在沒(méi)有定義而只是被某個(gè)公理既約束條件下可以被承認(rèn). 另一個(gè)本體問(wèn)題就是多維空間的建模問(wèn)題， 一個(gè)方法是通過(guò)分別考慮每個(gè)維來(lái)進(jìn)行空間建模， 但這種方法仍非常不完備.

由于空間關(guān)系可以分為3 類， 即拓?fù)潢P(guān)系、方位關(guān)系和度量關(guān)系. 因而， 其表示模型可以分為拓?fù)淠Ｐ汀⒎较蚰Ｐ秃投攘磕Ｐ? 空間拓?fù)淠Ｐ陀悬c(diǎn)集拓?fù)浜蛥^(qū)域拓?fù)鋬深悾?影響較大的是RCC 模型[ 13 ] ， 它是以區(qū)域作為空間基元的. 方向模型研究中， 使用了點(diǎn)和區(qū)域兩種基元， 例如F rank 的“錐形法”和“投影法”[ 14 ]以及F rek sa 的“雙十字模型”[ 15 ]等都是針對(duì)點(diǎn)對(duì)象的; 而Goyal 和Egenhofer 的MBR 法則[ 16 ]依據(jù)于區(qū)域. 度量關(guān)系模型中多以點(diǎn)為空間基元， 定量度量關(guān)系通常使用歐氏距離來(lái)進(jìn)行量算， 偶爾也采用曼哈頓距離等; 而定性度量關(guān)系則常用遠(yuǎn)、近、中等等來(lái)表示距離. 在定位時(shí)， 度量關(guān)系往往需要和方向關(guān)系進(jìn)行結(jié)合.

2 時(shí)空本體的研究進(jìn)展

現(xiàn)實(shí)世界中時(shí)間和空間是緊密聯(lián)系、不可分割的. 因而， 人們?nèi)找嬲J(rèn)識(shí)到真實(shí)世界的時(shí)空模型的重要性和必要性. 目前， 有兩種建立時(shí)空模型的思路， 其一是利用已有的時(shí)間模型和空間模型; 其二是試圖重新建立統(tǒng)一的時(shí)空模型. 前者主要是在已有的時(shí)態(tài)模型的基礎(chǔ)上添加對(duì)空間的支持能力; 或在已有的空間模型的基礎(chǔ)上添加對(duì)時(shí)態(tài)的支持; 或者是將時(shí)態(tài)模型和空間模型作正交組合. 后者則將時(shí)空看作原子實(shí)體， 以此為基礎(chǔ)建立新的時(shí)空統(tǒng)一模型. 兩種思路各有千秋， 從實(shí)現(xiàn)難度看， 前者與現(xiàn)有研究基礎(chǔ)結(jié)合比較緊密， 更易于實(shí)現(xiàn); 而從理論角度看， 后者則更為完美. 總的說(shuō)來(lái)， 目前從本體角度對(duì)時(shí)空關(guān)系進(jìn)行研究仍處于探索階段， 尚無(wú)十分成熟的理論和技術(shù)方法.

2. 1 主要研究趨向

目前孤立研究時(shí)間關(guān)系或空間關(guān)系的學(xué)者較多， 但是將二者結(jié)合起來(lái)， 并明確提出從本體角度研究時(shí)空關(guān)系的學(xué)者仍比較少， 主要有A UF rank， B it tner T ， P ierre Grenon 等. F rank 最早開始在對(duì)時(shí)空數(shù)據(jù)庫(kù)的基礎(chǔ)本體的研究中提出了一個(gè)5 層的本體， 每層都應(yīng)用不同的規(guī)則. 他把自然事實(shí)看作一個(gè)四維場(chǎng)模型， 構(gòu)造公式a= f (x ， y ， z ， t) 來(lái)表示一個(gè)只有唯一值的函數(shù)， 該公式表明只有唯一的時(shí)空世界[ 17 ]. 此外他還從語(yǔ)言學(xué)和認(rèn)知角度研究了時(shí)空G IS 中的本體的一致性[ 18 ].

但也有學(xué)者認(rèn)為時(shí)空本體并非是唯一的， 單一四維模型不能有效的表達(dá)現(xiàn)實(shí)世界的時(shí)空關(guān)系.B it tner[ 19 ]首先提出了建立兩種時(shí)空本體， 即SNA Pon to logy (快照本體) 和SPAN on to logy (時(shí)段本體) ， 前者認(rèn)為永久的實(shí)體處于特定的時(shí)刻之中， 后者認(rèn)為實(shí)體持續(xù)存在于完整的時(shí)間之中. 并且他提出了粒度的概念來(lái)分解空間和時(shí)間， 分別建立對(duì)應(yīng)的本體論. Grenon[ 20 ]定義的時(shí)空本體在時(shí)空表示方面也區(qū)分了兩種對(duì)象: 持續(xù)對(duì)象(Endu ran t) ， 可以在給定時(shí)刻存在的物質(zhì)、性質(zhì)、關(guān)系、功能等; 連續(xù)對(duì)象(Perdu ran t) ， 對(duì)應(yīng)某個(gè)過(guò)程， 并不在某個(gè)給定時(shí)刻存在， 而是作為整體存在于一段時(shí)間之內(nèi).這兩種對(duì)象分別對(duì)應(yīng)E2本體和P2本體. 持續(xù)對(duì)象可以作為連續(xù)對(duì)象的組成部分， 參與連續(xù)對(duì)象對(duì)應(yīng)的過(guò)程. 他還給出了時(shí)空本體的20 條公理. 在隨后的工作中， Grenon 和Sm ith[ 21 ] 針對(duì)地理現(xiàn)實(shí)的動(dòng)態(tài)性， 進(jìn)一步提出一個(gè)好的本體應(yīng)該既能表示同時(shí)發(fā)生的現(xiàn)實(shí)又能表示歷史事實(shí)， 針對(duì)這兩個(gè)不同的任務(wù)他們提出了用當(dāng)代哲學(xué)本體中的三維和四維相結(jié)合的辦法來(lái)解決， 他們建立了一個(gè)包括兩個(gè)成分的形式本體SNA P 和SPAN ， 一個(gè)是針對(duì)地理對(duì)象， 一個(gè)針對(duì)地理過(guò)程. SNA P 處理三維實(shí)世界， 包括它們所處的空間區(qū)域以及所有的性質(zhì)、功率、功能、角色以及其他從一個(gè)時(shí)刻到下一個(gè)時(shí)刻保持一致的實(shí)體. SPAN 則適于處理包括持續(xù)實(shí)體在內(nèi)的過(guò)程以及這些過(guò)程發(fā)生的時(shí)空體( spat io tempo ralvo lum es). 國(guó)內(nèi)也有學(xué)者[ 22 ]將其分為TSOO (時(shí)空對(duì)象本體) 和TSPO (時(shí)空過(guò)程本體) ， 其觀點(diǎn)與Grenon 觀點(diǎn)實(shí)質(zhì)相同.

雖然目前對(duì)于時(shí)空本體的形式化尚未取得一致性意見， 但是有一些學(xué)者提出了自己對(duì)建立時(shí)空本體的規(guī)范性要求的看法. Galton[ 23 ] 在在回顧了地理學(xué)以及地理信息科學(xué)范圍內(nèi)的多種現(xiàn)象種類后， 確定了3 個(gè)可以全面、適當(dāng)處理這些現(xiàn)象的時(shí)空地理本體所必要條件， 一個(gè)這樣的本體必須:①提供合適的表現(xiàn)和操作形式以適當(dāng)處理基于場(chǎng)和基于對(duì)象的世界視點(diǎn)間的豐富的相互連接的網(wǎng)絡(luò); ②把基于場(chǎng)和基于對(duì)象的模型， 以及用來(lái)處理這些模型的表現(xiàn)形式擴(kuò)展到時(shí)間領(lǐng)域; ③提供一種方法來(lái)發(fā)展時(shí)空范圍以及范圍內(nèi)存在的現(xiàn)象的不同模型， 尤其是對(duì)于那些諸如暴風(fēng)雪、洪水、野火等似乎既表現(xiàn)為對(duì)象性又表現(xiàn)為過(guò)程性的雙重性的現(xiàn)象.

2. 2 時(shí)空本體庫(kù)

由于時(shí)間與空間都屬于常識(shí)范疇， 是重要的常識(shí)概念， 因此， 任何重要的上層本體都必須考慮時(shí)間和空間的問(wèn)題. 目前已有的時(shí)空本體庫(kù)里一般是將時(shí)間本體與空間本體分開建立. 比較大型的本體庫(kù)有斯坦福大學(xué)的P ro tégé本體庫(kù)[ 24 ]、CYC 上層本體庫(kù)[ 25 ] ， IEEE 的標(biāo)準(zhǔn)上層本體工作組開發(fā)的SUMO 本體[ 26 ]等. 其中P ro tégé本體庫(kù)中涉及到時(shí)間和空間本體的有NA SA 開發(fā)的SW EET( Sem an t ic W eb fo r Earth and Environm en tal Term ino logy ) 本體系統(tǒng); O GC (Open G IS Con so rt ium ) 的地理標(biāo)記語(yǔ)言O(shè) GC 本體系統(tǒng); ISO的OWL 本體中包括地理信息空間框架( ISO 19107: 2003)、地理信息時(shí)間框架( ISO 19108:2002)、地理信息空間坐標(biāo)參考( ISO 19111: 2003)、地理信息空間地理標(biāo)記參考( ISO 19112: 2003) 等.比較常用的是以語(yǔ)言命名的DAML 時(shí)間本體和空間本體. 也有學(xué)者嘗試著對(duì)建立統(tǒng)一的時(shí)空本體提出了自己的構(gòu)想， 如胡鶴在其博士論文中利用OWL DL 對(duì)DAML 時(shí)間本體和空間本體進(jìn)行結(jié)合建立了統(tǒng)一的時(shí)空本體框架[ 27 ]. 此外， 還有一些小的時(shí)間本體、空間本體以及時(shí)空本體的存在.

2. 3 研究熱點(diǎn)

2. 3. 1時(shí)空本體建模的形式化語(yǔ)言與推理

F rank 認(rèn)為本體需要形式化語(yǔ)言來(lái)描述， 并且這種語(yǔ)言應(yīng)該具有客觀的形式、明確的聲明性、類型化、自動(dòng)的一致性檢驗(yàn)機(jī)制以及可執(zhí)行性[ 17 ]. 研究時(shí)空本體的傳統(tǒng)方法主要是邏輯的方法. 且使用較多的是以一階謂詞邏輯為基礎(chǔ)， 引入其他非經(jīng)典邏輯的方法. 例如，Wo lter 等人[ 28 ] (2000) 采用語(yǔ)義的方法， 將時(shí)態(tài)模型T 和空間模型S 結(jié)合成一個(gè)多維時(shí)空結(jié)構(gòu). 他們把時(shí)空解釋成時(shí)間和空間結(jié)構(gòu)的迪卡爾乘積， 并基于BRCC - 8 進(jìn)行時(shí)空表示， 構(gòu)造ST 0、ST 1、ST 2 這3 個(gè)時(shí)空邏輯. 對(duì)ST i 應(yīng)用模態(tài)算子、得到STB i， 在STB i 上添加時(shí)間區(qū)域項(xiàng)得到STB i+ . Wo lter[ 29 ]等人(2002) 構(gòu)造了一階時(shí)空邏輯(FO ST ) ， 并指出在基于無(wú)限時(shí)間流的拓?fù)鋾r(shí)態(tài)模型中， 由于時(shí)態(tài)操作符和作用于區(qū)域變量上的量詞導(dǎo)致FO ST 的可滿足問(wèn)題是不可判定的， 他們將BRCC- 8 嵌入到雙模態(tài)邏輯S4u 中(可判定的) ， 然后再把S4u 嵌入到一階邏輯單變量子集中(N P- 完全的) ， 構(gòu)造出命題時(shí)空語(yǔ)言(PST ) ， 有關(guān)任意拓?fù)淠Ｐ椭械腜ST 公式可滿足性問(wèn)題的計(jì)算性質(zhì)還有待研究. 通過(guò)在BRCC- 8 中加入?yún)^(qū)間時(shí)態(tài)邏輯(ALL - 13) 得到ARCC- 8 邏輯. ARCC- 8公式在時(shí)態(tài)拓?fù)淠Ｐ椭惺荖 P 完全的. Bennet t 等人[ 30 ] (2002) 將命題時(shí)態(tài)邏輯PTL 和空間模態(tài)邏輯S4u 結(jié)合起來(lái)， 形成了“二維”時(shí)空邏輯PSTL.

PSTL 是否可判定， 仍然是未解決的問(wèn)題， 但通過(guò)嵌入PSTL 到RCC8 空間邏輯， 能得到一些可判定的子系統(tǒng). M u ller[ 31 ] (2002) 把時(shí)間和空間看成同質(zhì)(homogeneity) 的， 以時(shí)空區(qū)域(時(shí)空歷史) 為基本實(shí)體， 在擴(kuò)展A sher 的空間邏輯公理集基礎(chǔ)上，定義了時(shí)序關(guān)系和時(shí)空約束， 建立了一階時(shí)空邏輯模型， 并基于該邏輯提出了有關(guān)運(yùn)動(dòng)的推理理論.隨著更易被人和機(jī)器理解的描述邏輯(DL ) 的出現(xiàn)與發(fā)展， Haarslev 在ALC (D) 的基礎(chǔ)上對(duì)描述邏輯進(jìn)行了擴(kuò)展. 他研究了ALCRP (D ) 理論作為地理信息系統(tǒng)領(lǐng)域的知識(shí)表示和查詢操作的基礎(chǔ)， 通過(guò)具體領(lǐng)域和一個(gè)角色形成謂詞算子的結(jié)合， 把時(shí)間推理加入了空間和術(shù)語(yǔ)推理中， 克服了過(guò)去ALC(D) 只能進(jìn)行概念推理或只能進(jìn)行空間定性推理的局限性. 并且Haarslev 還證明了ALCRP (D ) 在具體的時(shí)空領(lǐng)域應(yīng)用中具有明顯的優(yōu)勢(shì)[ 32 ]. 該方法后來(lái)被Sw iss 國(guó)家基金委O FES 支助的部分歐洲Know ledgeW eb 和D IP 項(xiàng)目所采用.

2. 3. 2時(shí)空本體的粒度問(wèn)題　粒度是構(gòu)成完整的空間和時(shí)間數(shù)據(jù)所必需的， 粒度問(wèn)題是影響時(shí)空不確定性的關(guān)鍵因素. 大量的應(yīng)用要求事實(shí)以及其時(shí)空背景一起存儲(chǔ)， 這就需要根據(jù)合適的粒度來(lái)表示. 并且， G IS 中時(shí)空數(shù)據(jù)可以用不同的粒度來(lái)記錄和查詢. 因此需要在不同粒度之間進(jìn)行轉(zhuǎn)化與合并. 目前已經(jīng)有許多學(xué)者分別研究了時(shí)間粒度和空間粒度的問(wèn)題. Bet t in i[ 33 ] 等人提出了形式化表示的時(shí)間粒度——日歷代數(shù)(Calendar A lgeb ra) ， 并把它應(yīng)用到時(shí)間數(shù)據(jù)庫(kù)、時(shí)間CSP、時(shí)間數(shù)據(jù)挖掘等領(lǐng)域. 他將時(shí)間劃分為日歷法中的年、月、日、小時(shí)、分鐘等不同粒度. Wo rboys[ 34 ]等則研究了空間的粒度問(wèn)題. B it tner (2000) 采用了一個(gè)基于粗糙集理論的時(shí)間或空間粒度理論， 提出用大致位置的方法來(lái)表示近似空間區(qū)域[ 35 ] 或時(shí)間段[ 36 ]. Stell[ 37 ](2003) 對(duì)時(shí)空粒度的定性外延進(jìn)行了研究. 但是這些工作都沒(méi)有形式化理論來(lái)解決時(shí)空信息的多時(shí)空粒度問(wèn)題. B it tner 的理論只適合解決單一的時(shí)間或空間問(wèn)題， 而Stell 只進(jìn)行了描述， 沒(méi)有給出明確定義和操作. Sm ith 和B rogaard[ 38 ] 于2002 年在對(duì)L ew is 提出的個(gè)體與個(gè)體和的部分- 整體關(guān)系的分類進(jìn)行總結(jié)的基礎(chǔ)上提出了粒度劃分(granu lar part it ion). 該方法以集理論和部分- 整體理論為其理論基礎(chǔ)， 可作為形式化本體的工具和人類認(rèn)知表現(xiàn)結(jié)構(gòu). 隨后Sm ith 和B it tner 又提出了粒度劃分的形式化理論[ 39 ] ， 并針對(duì)時(shí)空本體SNA P和SPAN 提出了粒度時(shí)空本體SNA P 和SPAN [ 40 ].國(guó)內(nèi)也有部分學(xué)者提出了自己的觀點(diǎn)， 王生生等人[ 41 ]提出了一個(gè)對(duì)于時(shí)空數(shù)據(jù)模型通用的支持多粒度和不確定性時(shí)空粒度的理論. 他主要是使用了時(shí)間粒度和空間粒度的乘積空間來(lái)表示時(shí)空粒度.也有人[ 22 ]提出了用于G IS 整合的時(shí)空語(yǔ)義粒度，即時(shí)空對(duì)象粒度本體與時(shí)空過(guò)程粒度本體， 二者都可以根據(jù)粗糙程度進(jìn)一步細(xì)分為良性粒度和粗糙粒度.

2. 3. 3時(shí)空本體的應(yīng)用　由于時(shí)空問(wèn)題普遍存在于各領(lǐng)域中， 因而時(shí)空本體的研究對(duì)于解決不同時(shí)空表示系統(tǒng)之間的交互、集成、共享、重用等有著重要的意義. 醫(yī)學(xué)論文 目前， 時(shí)空本體已經(jīng)引起了生物信息化、G IS、常識(shí)庫(kù)建造以及語(yǔ)義W eb 領(lǐng)域?qū)W者的廣泛關(guān)注， 并且在一些應(yīng)用領(lǐng)域已有一些實(shí)證研究. 但是，目前對(duì)于地理時(shí)空本體的應(yīng)用研究仍然處于探索階段， 主要用于時(shí)空推理方面， 例如， Kaupp inen 和Hyv nen 等[ 42 ]建立20 世紀(jì)到2004 年的芬蘭的時(shí)間區(qū)域本體， 他們使用了本體的時(shí)間序列模型來(lái)進(jìn)行推理以解決與歷史相關(guān)的數(shù)據(jù)庫(kù)中的信息查詢問(wèn)題， 該方法成功的表示了芬蘭歷史地理區(qū)域隨時(shí)間演變的過(guò)程.

3 結(jié)論與展望

總的來(lái)說(shuō)， 目前對(duì)于時(shí)空地理本體的研究， 仍然處于起步階段， 因而很多研究領(lǐng)域都存在亟待解決的問(wèn)題.

(1) 地理時(shí)空本體基元的選擇. 不同基元的選擇受人們對(duì)時(shí)空現(xiàn)象認(rèn)知的影響， 反過(guò)來(lái)， 基元的選擇對(duì)于時(shí)空本體的形式化表示至關(guān)重要， 以不同基元為基礎(chǔ)的時(shí)空本體會(huì)影響人們對(duì)世界的進(jìn)一步認(rèn)知以及知識(shí)的交流. 目前對(duì)于時(shí)空本體基元的選擇仍未有統(tǒng)一看法.

(2) 地理時(shí)空本體的形式化表示以及時(shí)空本體的建立. 目前對(duì)時(shí)空本體采用的形式化工具多是基于一階謂詞邏輯的基礎(chǔ)上的， 而使用描述邏輯定義時(shí)空本體的工作仍較少. 因此應(yīng)該進(jìn)一步研究時(shí)空本體的形式化方法， 建立良性的形式化時(shí)空本體， 使得所建立的時(shí)空本體更適合于人們對(duì)時(shí)空常識(shí)的理解. 此外， 如何在建立的時(shí)空本體之間進(jìn)行轉(zhuǎn)化， 尤其是如何在以不同基元為基礎(chǔ)的時(shí)空本體之間進(jìn)行轉(zhuǎn)化與無(wú)縫結(jié)合也是個(gè)值得探索的問(wèn)題.

(3) 地理時(shí)空本體粒度的研究. 粒度的變化影響人們對(duì)地理時(shí)空的認(rèn)識(shí)， 不同粒度下， 人們認(rèn)知的時(shí)空范圍大小與層次有所不同. 如何選擇適合人們不同視點(diǎn)需求并且易于在G IS 中表達(dá)的粒度是值得進(jìn)一步研究的課題.

(4) 地理時(shí)空本體與實(shí)際應(yīng)用. 時(shí)空本體是可應(yīng)用于各學(xué)科領(lǐng)域的頂級(jí)本體， 因此， 可以表達(dá)地理學(xué)領(lǐng)域與時(shí)空相關(guān)的一切地理現(xiàn)象. 但是， 目前對(duì)于地理時(shí)空本體的實(shí)際應(yīng)用研究尚不多， 工作總結(jié) 仍然處于探索階段. 因而， 應(yīng)該積極探索地理時(shí)空本體的廣泛應(yīng)用領(lǐng)域， 并建立與具體應(yīng)用領(lǐng)域相關(guān)的推理規(guī)則， 推理模型等， 以解決領(lǐng)域中的實(shí)際問(wèn)題. 參考文獻(xiàn)

[1 ] Bo rst W N. Construction of Engineering Onto logies [D ].Ph thesis， U niversity of Twenty， 1997.

[2 ]Pani A K， Bhattacharjee G P. Tempo ral rep resentation and reasoning in artificial intelligence: A review [ J ].M athematical and ComputerModelling， 2001， 34 (1?2 ) : 55-80.

[ 3 ]M arcMoen， M ark Steedman. Tempo ralOnto logy in N atural L anguage [C ]??P roceedings of the 25th annual meeting on A ssociation fo r Computational L inguistics. Stanfo rd，

Califo rnia. 1987: 127

[4 ]A llen J F. M aintaining know ledge about tempo ral intervals [J ]. Communications of the ACM ， 1983， 26 (11) : 832-834.

[ 5 ] M atuszec D， Fmm T， F rltzson T， Overton C. Endpo int relations on tempo ral intervals [R ]. Technical Repo rt PRC- 2BS- 8810， PaohResearchCenter， Um sys Co rp， 1988.

[ 6 ] F rek sa C. Tempo ral reasoning based on sem i2intervals，A rtzficzal Intelligence[J ]. 1992， 54: 199-227，

[7 ] Kautz H A ， L adk in P B. Integrating metric and qualitative tempo ral reasoning [ C ]??P roceedings of AAA I291.A naheim， CA 1991: 241-246.

[ 8 ]M cCarthy J M ， Hayes P. Some ph ilo soph ical p roblem s from standpo int of A I， M ach ine Intelligence [ J ]. 1969， 4: 463-502.

[ 9 ]Bruce B. A model fo r tempo ral references and its app lication m a question answering p rogram [J ]. A rtificial Intelligence，1972， 4: l-25.

[10 ] Kahn K M ， Go rry G. M echanizing tempo ral know ledge [J ]. A rtificial Intelligence， 1977， 9: 872108.

[ 11 ] V ila L. A n analysis of the main app roaches to tempo ral reasoning in A I[R ]. Repo rt de Recerca IIIA ， 1993.

[ 12 ] Cohn A G， Hazarika S M. Q ualitative spatial rep resentation and reasoning: A n overview [ J ].Fundamental Info rmatics， 2001， 46 (1?2) : 1-29.

[ 13 ]RandellD， Cui Z， Cohn A. A spatial logic based on regions and connection [ C ]??N ebel B， R ich C， Swartout W.P roceedings of the Know ledge Rep resentation and Reasoning. San M ateo: Mo rgan Kaufmann， 1992: 165-176.

[ 14 ] F rank A U. Q ualitative spatial reasoning about cardinal directions [C ]??M ark D， W h ite D. P roceedings of the 7th . A ustrian Conference on A rtificial Intelligence. Baltimo re: Mo rgan Kaufmann， 1991: 157-167.

[ 15 ] Ch ristian F rek sa. U sing o rientation info rmation for qualitative spatial reasoning [C ]??F rank AU ， Campari I，F(xiàn)o rmentiniU. P roceedings of the Int’l Conference on GIS. Berlin: Sp ringer2V erlag， 1992: 162-178.

[ 16 ] Goyal R， Egenhofer M J. Cardinal D irections between Extended Spatial Objects [ EB?OL ]. 2001. h ttp: ?? spatial maine. edu?～max?RJ36. h tm l.

[ 17 ]F rank A U. T iers of onto logy and consistency constraints in geograph ic info rmation system s [ J ]. International Journal of Geograph ical Info rmation Science， 2001， 15 (7) :667-678.

[ 18 ]F rank A U. A L inguistically Justified P ropo sal fo r a Spatio-Tempo ral Onto logy [ EB?OL ]. the P re-COS IT Wo rk shop on Fundamental Issues in Spatial and Geograph ical Onto logy. comp. leeds. ac. Uk?brandon? co sit03onto logy?po sition- papers?F rank. doc

[ 19 ] Bittner T. Spatio-Tempo ral Onto logies. Repo rt in Wo rk shop on Geo2onto logy [ EB?OL ]. Ilk ley U K， 2002.h ttp: ?? comp. leeds. ac. uk?B randon?geo2onto logy.

[ 20 ] Grenon P. The Fo rmal Onto logy of Spatio2Tempo ral Reality and its Fo rmalization， AAA I Technical Repo rt Series [ C ]??2003 AAA I Sp ring Sympo sium on the Foundations and App lications of Spatio-Tempo ral Reasoning. Stanfo rd U niversity in Palo A lto， Califo rnia.

[ 21 ]Grenon P， Sm ith B. SNA P and SPAN: Towards Dynam ic Spatial Onto logy[J ]. Fo rthcom ing in Spatial Cognition and Computation， 2004， 4: 1.

[ 22 ] W ei Xu， Yong Q in， Hou2kuan Huang. Sp tio-Tempo ral Onto logy O riented to Geograph ic Info rmation System [C ]??P roceedings of the Th ird International Conference on

M ach ine L earning and Cybernetics. Shanghai， 26～29 A ugust 2004.

[ 23 ] A ntony Galton. Desiderata fo r a Spatio2tempo ral Geo-onto logy [C ]??KuhnW ， Wo rboysM F， T impf S. Spatial Info rmation Theo ry: Foundations of Geograph ic Info rmation Science ( P roceedings of International Conference COS IT 2003， Kartause Ittingen， Sw itzerland，

Sep tember 2003 ). Sp ringer L ecture No tes in Computer Science， 2003: 1-12.

[ 24 ] P ro tégé[EB?OL ]. h ttp: ??p ro tege. stanfo rd. edu?p lugins? ow l? ow l2library? index. h tm l

[ 25 ]The CYC P ro ject [EB?O L ]. h ttp: ?? cyc. com?

[ 26 ]IEEE Standard Upper Onto logyWo rk ing Group [EB?O L ]. h ttp: ?? suo. ieee. o rg?

[ 27 ]　胡　鶴. 本體方法及其時(shí)空推理應(yīng)用研究[D ]. 長(zhǎng)春: 吉林大學(xué)， 2004.

[ 28 ] Wo lter F， Zakharyaschev F. Spatio-Tempo ral rep resentation and reasoning based on RCC28[C ]??Cohn AG， Giunch iglia F， Selman B. P roceddings of the 7th Conference on P rincip les of Know ledge Rep resentation and Reasoning. Breckenridge: Mo rgan Kaufmann， 2000: 3-14.

[ 29 ] Wo lter F， Zakharyaschev M. Q ualitative spatio-tempo ral rep resentation and reasoning: A computational perspective [ C ]??L akemeyer G， N ebel B. Exp lo ring A rtificial Intelligence in theN ew M illenium. San F rancisco: Mo rgan Kaufmann， 2002: 175-216.

[ 30 ] M uller. Topo logical spatio-tempo ral reasoning and rep resentation [ J ]. Computational Intelligence， 2002， 18(3) : 420-450.

[ 31 ] Bennett B， Cohn G， Wo lter F， et al. M ulti-D imensional modal logic as a framewo rk fo r spatio-tempo ral reasoning [J ]. App lied Intelligence， 2002， 3 (4) : 239-251.

[32 ]Haarslev V ， L utz C， M ller R. A Descrip tion Logic w ith Concrete Domains and a Ro lefo rm ing P redicate Operato r [J ]. Journal of Logic and Computation， 1999， 9 (3) : 351-384.

[ 33 ] Bettini C， De Sibi R. Symbo lic Rep resentation of U ser-Defined T ime Granularities[J ]. A nnals ofM athematics andA rtificial Intelligence， 2001， 30: 1-4.

[ 34 ]Wo rboysM F. Computation w ith imp recise geo spatial data [ J ]. Computer， Environment and U rban System s， 1998，22 (2) : 85-106.

[ 35 ] Bittner T， Stell J. Rough sets in App roximate spatial reasoning [ C ]??P roceedings of RSCTC’2000. Berlin-Heidelberg Sp ringer2V erlag， 2000: 145-156.

[ 36 ]Bittner T. App roximate qualitative tempo ral reasoning[J ].AAA I， 2000: 200-215.

[ 37 ] John G Stell. Q ualitative extents fo r spatio-tempo ral granularity[J ]. Spatial Cognition and Computation， 2003，3 (2?3) : 119-136.

[ 38 ]Sm ith B， Brogaard B. Q uantum mereo topo logy[J ]. A nnals ofM athematics and A rtificial intelligence， 2002， 36 (1?2) :153-175.

[ 39 ] Bittner T， Sm ith B. A taxonomy of granular partitions [ C ]?? In Montello， D R. Spatial Info rmation Theo ry: Foundations of Geograph ic Info rmation Science， vo lume2205 of L ecture No tes in Computer Science. Berlin: Sp ringer-V erlag， 2001.

[ 40 ]Bittner T， Sm ith B. Granular Spatio2Tempo ral Onto logies [ C ]??2003 AAA I Sympo sium: Foundations and App lications of Spatio2Tempo ral Reasoning ( FA STR ). AAA I P ress， 2003: 12-17.

[ 41 ] Sheng-sheng W ang， Da-you L iu， Zhe W ang. Spatio-Tempo ral Reasoning Based Spatio-Tempo ral Info rmation M anagementM iddleware[C ]??T he Sixth A sia PacificW eb Conference (A PW eb). 2004: 436-441.