可拓檢測中可測物元與不可測物元的關系模型研究.pdf

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

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

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