本課題的研究來源于國家自然科學(xué)基金資助項目“經(jīng)驗知識推理理論研究”（No．6027308）及北京市自然科學(xué)基金資助項目“不精確推理理論研究”（No．4032009）。 在廣義相關(guān)性和廣義自相關(guān)性的基礎(chǔ)上，泛邏輯給出了邏輯學(xué)的一種統(tǒng)一理論框架，為研究復(fù)雜系統(tǒng)中的柔性邏輯推理奠定了理論基礎(chǔ)。在軟件工程中，面向?qū)ο蠹夹g(shù)發(fā)揮了重要作用，它大大簡化了復(fù)雜問題的描述和編程。 本文在泛邏輯的基礎(chǔ)上，利用面向?qū)ο蟮乃枷牒头椒�，探討了邏輯系統(tǒng)的組成結(jié)構(gòu)、運算模型、推理規(guī)則、應(yīng)用形式，提出了“面向?qū)ο蟮膹V義空間邏輯運算模型（Object-oriented Generalied Spatial Logic Operation Model，OGSLOM）”，并對其各個部分進行了系統(tǒng)地研究，主要的創(chuàng)新點有： 1．理論概念 在邏輯推理系統(tǒng)中引入了“面向?qū)ο蟆�、“廣義空間”等概念，分析了命題對象、連接詞對象、量詞對象、規(guī)則對象，給出了相關(guān)屬性，討論了研究面向?qū)ο蟮膹V義空間邏輯的必要性。 2．運算模型 在分析空間位置相關(guān)性的基礎(chǔ)上，提出了“面向?qū)ο蟮膹V義空間邏輯運算模型OGSLOM... 

【文章來源】：西北工業(yè)大學(xué)陜西省 211工程院校 985工程院校

【文章頁數(shù)】：167 頁

【學(xué)位級別】：博士

【部分圖文】：

泛邏輯的包容性與開放性(二)

尹\\、乍////\一戀./圖6.13廣義零級與運算神經(jīng)元模型b聲只驪b不匡驪b聲仄驪b斗驪b車刻之l日月r片下口 1211碑趁刃呱討11_21甘別泌階口升12!團11切例注」.21丫以1.一感娜不b一遂娜不b一曦緲二b一賡爵弓b-嚎篆粼…ba洲 baxba況b。、baxbb...蘸寥鉀甲甲 1b...瞬瓤尸 1b...田毓戶〕b...目蔽丁一飛bl..l.llllll....ly.困’..’..}’..}’.. axboxbaxbaxbaxbh二 1.0h二 0.5圖6h二。Dh二心5.腳.曰側(cè)l暴多蘿片一萬lh二一10(a+b)口14)’一義零級與神經(jīng)元變化圖106

圖6.15廣義零級或運算神經(jīng)元模型2.或運算邏輯神經(jīng)元變化圖廣義零級或神經(jīng)元的變化如圖6.16所示。從三維圖上可以看出，S(x，y，h，a，b)有四條不變的或特征線:s(x，a，h

【參考文獻】：
期刊論文
[1]復(fù)雜控制系統(tǒng)隨機參量的廣義自相關(guān)性研究[J]. 毛明毅,陳志成,何華燦.  控制與決策. 2005(08)
[2]面向?qū)ο蟮谋P形鏈輪銑刀CAD系統(tǒng)的開發(fā)[J]. 唐田秋,陳利平,高旭.  機械工程與自動化. 2005(04)
[3]基于問題的面向?qū)ο笾R表示方法的研究[J]. 湯賽麗,鄭逢斌.  現(xiàn)代計算機(專業(yè)版). 2005(08)
[4]面向方面的程序設(shè)計:概念、實現(xiàn)與未來[J]. 徐寶文,周超洪,周天琳,史亮.  計算機與數(shù)字工程. 2005(08)
[5]基于公理系統(tǒng)的面向?qū)ο笞詣訙y試研究[J]. 胡煜,李遠杰,曾明,朱利.  微電子學(xué)與計算機. 2005(07)
[6]面向?qū)ο蟪绦蛟O(shè)計思想在大型基坑設(shè)計分析軟件開發(fā)中的應(yīng)用[J]. 李維濤,應(yīng)惠清,袁波.  巖土工程技術(shù). 2005(04)
[7]區(qū)間值邏輯柔性化的研究[J]. 薛占熬,何華燦.  計算機科學(xué). 2005(07)
[8]任意區(qū)間上的廣義N范數(shù)與生成元[J]. 陳志成,何華燦,毛明毅.  西北工業(yè)大學(xué)學(xué)報. 2005(03)
[9]泛邏輯的基本形式系統(tǒng)中的廣義重言式理論[J]. 馬盈倉,何華燦.  計算機科學(xué). 2005(06)
[10]面向?qū)ο蟮南到y(tǒng)分析設(shè)計方法[J]. 邵蔚天,章雪梅,楊永亮.  無線電通信技術(shù). 2005(03)

博士論文
[1]廣義智能系統(tǒng)柔性超拓撲空間模型研究與應(yīng)用[D]. 魯斌.西北工業(yè)大學(xué) 2003
[2]需求工程中的不確定性研究[D]. 王擁軍.西北工業(yè)大學(xué) 2002



本文編號：3514147