模糊偏序集上的連續(xù)性與交連續(xù)性.pdf

1、Domian理論是計算機函數(shù)式程序語言的數(shù)學(xué)基礎(chǔ)，在理論計算科學(xué)中發(fā)揮著重要的作用，而對它的量化研究是其得到更廣泛應(yīng)用的基礎(chǔ)．目前，模糊Domian的理論是量化Domian理論的基本框架之一，該理論為量化Domian的理論研究提供了一種新方法．因此，本文的主要工作是基于模糊偏序關(guān)系，構(gòu)建模糊偏序集上的連續(xù)性與交連續(xù)性，并對它們的性質(zhì)進行了深入的研究．
　　下面將介紹一下本文的結(jié)構(gòu)與主要內(nèi)容.
　　第一章，預(yù)備知識.對全文涉及

2、到的偏序集、模糊偏序集等基本概念進行了簡要概述.
　　第二章，模糊偏序集上的連續(xù)性.首先把模糊定向完備集上的廣義Scott拓?fù)渫茝V到模糊偏序集上.其次，建立了模糊偏序集上的L-逼近關(guān)系，并利用L-逼近關(guān)系構(gòu)建了模糊偏序集上的連續(xù)性.最后研究了模糊domain的范疇對偶性.
　　第三章，模糊偏序集上的交連續(xù).首先給出了廣義Scott閉集的等價刻畫，然后借鑒經(jīng)典的Domain理論中交連續(xù)的構(gòu)造方法，構(gòu)建了模糊偏序集上的交連續(xù)性，