本文關(guān)鍵詞：模糊偏序集上的連續(xù)性與交連續(xù)性

  更多相關(guān)文章： 模糊關(guān)系 模糊偏序集 連續(xù)性 交連續(xù)

【摘要】：Domian理論是計(jì)算機(jī)函數(shù)式程序語(yǔ)言的數(shù)學(xué)基礎(chǔ),在理論計(jì)算科學(xué)中發(fā)揮著重要的作用,而對(duì)它的量化研究是其得到更廣泛應(yīng)用的基礎(chǔ).目前,模糊Domian的理論是量化Domian理論的基本框架之一,該理論為量化Domian的理論研究提供了一種新方法.因此,本文的主要工作是基于模糊偏序關(guān)系,構(gòu)建模糊偏序集上的連續(xù)性與交連續(xù)性,并對(duì)它們的性質(zhì)進(jìn)行了深入的研究.下面將介紹一下本文的結(jié)構(gòu)與主要內(nèi)容.第一章,預(yù)備知識(shí).對(duì)全文涉及到的偏序集、模糊偏序集等基本概念進(jìn)行了簡(jiǎn)要概述.第二章,模糊偏序集上的連續(xù)性.首先把模糊定向完備集上的廣義Scott拓?fù)渫茝V到模糊偏序集上.其次,建立了模糊偏序集上的L?逼近關(guān)系,并利用L?逼近關(guān)系構(gòu)建了模糊偏序集上的連續(xù)性.最后研究了模糊domain的范疇對(duì)偶性.第三章,模糊偏序集上的交連續(xù).首先給出了廣義Scott閉集的等價(jià)刻畫(huà),然后借鑒經(jīng)典的Domain理論中交連續(xù)的構(gòu)造方法,構(gòu)建了模糊偏序集上的交連續(xù)性,并得到了一些重要結(jié)論.例如,模糊偏序集上的交連續(xù)性關(guān)于廣義Scott拓?fù)渚哂型負(fù)洳蛔冃耘c遺傳性.第四章,一類模糊關(guān)系的推廣.構(gòu)造出了一種新的模糊關(guān)系,并在此模糊關(guān)系下定義了模糊格、模糊子格的概念,給出了刻畫(huà)模糊格的等價(jià)條件.然后在此基礎(chǔ)上提出了模糊半理想、模糊半濾子等一系列概念及性質(zhì),以及給出一些相關(guān)命題.
【關(guān)鍵詞】：模糊關(guān)系 模糊偏序集 連續(xù)性 交連續(xù)
【學(xué)位授予單位】：東華理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：O159;O153.1
【目錄】：

• 摘要4-5
• ABSTRACT5-7
• 引言7-10
• 第1章 預(yù)備知識(shí)10-16
• 1.1 格理論10-11
• 1.2 模糊偏序集11-16
• 第2章 模糊偏序集的連續(xù)性16-38
• 2.1 模糊偏序集上的廣義SCOTT拓?fù)?/span>16-17
• 2.2 模糊偏序集上的連續(xù)性17-23
• 2.3 模糊DOMAIN的范疇對(duì)偶性23-38
• 第3章 模糊偏續(xù)集上的交連續(xù)38-46
• 3.1 模糊偏序集上的交連續(xù)38-42
• 3.2 交連續(xù)模糊偏序集的拓?fù)湫再|(zhì)42-46
• 第4章 一類模糊關(guān)系的推廣46-52
• 4.1 模糊格46-49
• 4.2 α-半理想與α-半濾子49-52
• 總結(jié)52-54
• 參考文獻(xiàn)54-58
• 致謝58-60
• 附錄60

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 張昆龍,孫一康,蔣慎言;偏序集上的蘊(yùn)涵[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

2 徐飛;廣義Z-擬連續(xù)偏序集的若干性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

3 李伯權(quán);;廣義Z-連續(xù)偏序集的幾個(gè)拓?fù)渥⒂?英文)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期

4 張春波;徐曉泉;;Z-半連續(xù)偏序集的性質(zhì)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期

5 張春波;徐曉泉;;Z-連續(xù)偏序集的映射性質(zhì)[J];江西科學(xué);2008年03期

6 龔雅玲;;試論幾類弱連續(xù)偏序集的關(guān)系[J];南昌教育學(xué)院學(xué)報(bào);2010年05期

7 龔雅玲;涂繼，

本文編號(hào)：1071097