可拓檢測中可測物元與不可測物元的關(guān)系模型研究.pdf

1、檢測技術(shù)目前是多種學(xué)科的關(guān)鍵技術(shù)之一,在生產(chǎn)發(fā)展和科技進(jìn)步等方面起著至關(guān)重要的作用。盡管在檢測技術(shù)方面已有大量的研究成果,如多傳感器融合技術(shù)和檢測數(shù)據(jù)修正處理等方法,使得檢測技術(shù)得到不斷改善,同時一定程度上提高了檢測精度。但信息的檢測是以信息可測為基礎(chǔ)的,而目前信息可測直接取決于傳感器和環(huán)境兩個條件。由于沒有相應(yīng)的傳感器或者在某種環(huán)境下無法使用相應(yīng)的傳感器,使得信息變得無法檢測——這就是一個矛盾。
　　 可拓學(xué)是一門專門研究矛盾

2、問題的學(xué)科,以事物的可擴(kuò)展性為核心,基元理論給出了事物的形式化描述,建立了解決矛盾問題的數(shù)學(xué)工具-可拓集合,為了把人們解決矛盾問題的過程定量化,并最后用計算機(jī)處理矛盾問題奠定了基礎(chǔ)?？赏貦z測基于可拓學(xué)理論,利用可拓學(xué)的矛盾轉(zhuǎn)化方法和人工智能相關(guān)理論方法解決目前存在的各種信息不能檢測或難于檢測的問題。目前已有許多學(xué)者研究可拓檢測,取得了長足發(fā)展,并將隨著可拓學(xué)和檢測技術(shù)的發(fā)展而更加完善。
　　 本文的主要結(jié)論和所做的主要研究概述如

3、下:
　　 (1)對數(shù)學(xué)模型和可拓學(xué)理論等做了深入研究,根據(jù)對可測物元與不可測物元之間關(guān)系的研究,分析了現(xiàn)有數(shù)學(xué)模型描述二者關(guān)系存在的不足；在對可拓學(xué)理論和圖論分析研究的基礎(chǔ)上,給出了關(guān)系的形式化描述方法,提出了基于可拓學(xué)基元及復(fù)合元的關(guān)系模型。
　　 (2)對非單調(diào)推理包括缺省理論、限制理論等做了深入研究,在正確性維持系統(tǒng)中引入精確推理、模糊推理、不確定性推理,并將它們應(yīng)用到可拓檢測中可測物元與不可測物元之間推理的過程