Domain結(jié)構(gòu)的表示是Domain理論的一個(gè)熱點(diǎn)研究方向,其目的是用相對(duì)具體或簡單的數(shù)學(xué)結(jié)構(gòu)來表示相對(duì)抽象的domain結(jié)構(gòu).常用于表示domain結(jié)構(gòu)的工具有閉包空間和Scott提出的信息系統(tǒng).最近的研究結(jié)果表明,形式概念分析為domain結(jié)構(gòu)的表示提供了一種新工具.本文利用形式概念分析這一工具,通過結(jié)合閉包空間和Scott-型信息系統(tǒng),提出一種新的信息系統(tǒng)結(jié)構(gòu),從而為連續(xù)domain的表示提供一種新的表示方法.首先,我們研究關(guān)系相容形式背景誘導(dǎo)的Scott-型信息系統(tǒng)的性質(zhì),并提出基于閉包空間的連續(xù)信息系統(tǒng)結(jié)構(gòu),進(jìn)而研究兩種結(jié)構(gòu)的內(nèi)在聯(lián)系.然后,我們研究基于閉包空間的連續(xù)信息系統(tǒng)與連續(xù)domain之間的關(guān)系.最后,我們?cè)诜懂爩用娼⒒陂]包空間的連續(xù)信息系統(tǒng)與連續(xù)domain之間的范疇等價(jià).本文結(jié)構(gòu)如下:第一章,陳述相關(guān)的研究背景,并給出本文所需要的一些基本概念及其相關(guān)性質(zhì).第二章,通過對(duì)關(guān)系相容形式背景誘導(dǎo)的信息系統(tǒng)的研究,引入基于閉包空間的連續(xù)信息系統(tǒng),并研究兩種結(jié)構(gòu)的內(nèi)在聯(lián)系.第三章,引入基于閉包空間的連續(xù)信息系統(tǒng)之間的F-態(tài)射,研究F-態(tài)射和關(guān)系相容形式背景之間的F-逼近... 

【文章來源】：湖南師范大學(xué)湖南省 211工程院校

【文章頁數(shù)】：44 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
中文摘要
英文摘要
1. 緒論
    1.1 引言
    1.2 閉包空間的基本概念與性質(zhì)
    1.3 連續(xù)domain的基本概念與性質(zhì)
    1.4 形式概念分析的基本概念與性質(zhì)
2. CB-信息系統(tǒng)和R-背景之間的相互誘導(dǎo)
    2.1 R-背景和R-概念
    2.2 R-背景誘導(dǎo)的Scott-型信息系統(tǒng)
    2.3 CB-信息系統(tǒng)
    2.4 CB-信息系統(tǒng)誘導(dǎo)的R-背景
3. F-態(tài)射和F-逼近映射
    3.1 CB-信息系統(tǒng)間的F-態(tài)射
    3.2 F-逼近映射與F-態(tài)射的一一對(duì)應(yīng)
4. CB-信息系統(tǒng)的等價(jià)刻畫
    4.1 CB-信息系統(tǒng)與連續(xù)domains間的等價(jià)
    4.2 CB-信息系統(tǒng)與R-背景間的等價(jià)
參考文獻(xiàn)
致謝



本文編號(hào)：3088286