歸結(jié)反演中的可視化技術(shù)研究.pdf

1、本文工作內(nèi)容為歸結(jié)反演中的可視化技術(shù)研究。論文工作是在綜合研究各種可視化方法和歸結(jié)原理的基礎(chǔ)上，實(shí)現(xiàn)了歸結(jié)反演可視化系統(tǒng)。 本文在分析了現(xiàn)有的幾種可視化技術(shù)后，提出了可視化歸結(jié)反演過程的概念，確定了歸結(jié)反演過程中的可視化對(duì)象和可視化方法，即用樹結(jié)構(gòu)可視化邏輯公式，用層次圖可視化歸結(jié)反演過程，并在計(jì)算機(jī)上實(shí)現(xiàn)了可視化的歸結(jié)反演系統(tǒng)VR。 在VR中，完成了邏輯公式在計(jì)算機(jī)內(nèi)的表示，實(shí)現(xiàn)了歸結(jié)反演中的算法，并利用可視化技術(shù)實(shí)現(xiàn)

2、了五種策略的歸結(jié)反演過程的可視化，同時(shí)對(duì)歸結(jié)反演的兩個(gè)中間階段進(jìn)行了可視化。實(shí)驗(yàn)表明，本系統(tǒng)對(duì)歸結(jié)反演過程可以進(jìn)行有效的可視化表示，其有助于理解歸結(jié)反演過程，并且為研究歸結(jié)反演過程提供了有效的輔助工具。 對(duì)于可視化結(jié)果的分析，本文提出了一種可視化歸結(jié)過程復(fù)雜度的度量方法，建立了一種歸結(jié)反演可視化復(fù)雜度的度量模型，在VR中予以實(shí)現(xiàn)。 當(dāng)可視化技術(shù)應(yīng)用于某一領(lǐng)域中時(shí)，用戶可以非常直觀的了解相應(yīng)的過程。然而針對(duì)不同的算法，不同