本文給出了動態(tài)模糊邏輯(DFL)程序設(shè)計語言的基本數(shù)據(jù)類型及其抽象語法結(jié)構(gòu)。在此基礎(chǔ)上,根據(jù)范疇論和指稱語義的原理,給出了動態(tài)模糊邏輯程序設(shè)計語言的范疇描述,定義了它的語義域、語義函數(shù),從而給出其指稱語義。最后給出了動態(tài)模糊邏輯程序設(shè)計語言的實(shí)例分析。 本文的特色主要體現(xiàn)在如下幾個方面: 1.給出了動態(tài)模糊邏輯程序設(shè)計語言的范疇描述; 2.給出了動態(tài)模糊邏輯程序設(shè)計語言的代數(shù)語義模型,包括DFL程序設(shè)計語言的極限代數(shù)語義、伴隨語義、模結(jié)構(gòu)代數(shù)語義及加法范疇語義; 3.提出了動態(tài)模糊邏輯程序設(shè)計語言的拓展語義,給出了動態(tài)模糊層范疇的定義、基本原理、性質(zhì)和操作等; 總之,本文的工作進(jìn)一步豐富和發(fā)展了動態(tài)模糊邏輯程序設(shè)計語言的研究內(nèi)容。相信不久的將來,動態(tài)模糊邏輯程序設(shè)計語言會給我們帶來無窮的益處。

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

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

【文章目錄】：
中文摘要
Abstract
第一章 引言
    1.1 DFL程序設(shè)計語言的研究進(jìn)展
        1.1.1 動態(tài)模糊邏輯的研究進(jìn)展
        1.1.2 動態(tài)模糊邏輯程序設(shè)計語言研究背景與現(xiàn)狀
    1.2 問題提出
    1.3 本文的內(nèi)容安排
第二章 動態(tài)模糊邏輯程序設(shè)計語言的范疇描述
    2.1 動態(tài)模糊邏輯程序設(shè)計語言理論基礎(chǔ)
        2.1.1 動態(tài)模糊邏輯程序設(shè)計語言的基本數(shù)據(jù)類型
        2.1.2 動態(tài)模糊邏輯程序設(shè)計語言的抽象語法
    2.2 動態(tài)模糊邏輯程序設(shè)計語言范疇模型
        2.2.1 動態(tài)模糊圖范疇
        2.2.2 動態(tài)模糊范疇
        2.2.3 動態(tài)模糊函子
        2.2.4 動態(tài)模糊自然變換
        2.2.5 動態(tài)模糊邏輯程序設(shè)計語言的范疇模型
    2.3 本章小結(jié)
第三章 DFL程序設(shè)計語言的代數(shù)語義模型
    3.1 抽象數(shù)據(jù)類型
    3.2 動態(tài)模糊邏輯的DF∑代數(shù)
    3.3 DFL程序設(shè)計語言的極限代數(shù)語義
        3.3.1 引言
        3.3.2 極限的定義
        3.3.3 極限和函子的關(guān)系
    3.4 DFL程序設(shè)計語言函子的伴隨語義
        3.4.1 伴隨函子的定義
        3.4.2 伴隨函子定理
    3.5 DFL程序設(shè)計語言的Monad結(jié)構(gòu)代數(shù)
    3.6 DFL程序設(shè)計語言的加法范疇語義
    3.7 DFL程序設(shè)計語言的指稱語義
        3.7.1 DFL語言的語義域
        3.7.2 DFL語言的語義函數(shù)
        3.7.3 DFL語言的指稱語義
    3.8 本章小結(jié)
第四章 DFL程序設(shè)計語言的代數(shù)拓展語義
    4.1 預(yù)備知識
    4.2 動態(tài)模糊層的定義
    4.3 DFL程序設(shè)計語言代數(shù)拓展語義的基本原理
    4.4 動態(tài)模糊層范疇的性質(zhì)
    4.5 動態(tài)模糊層范疇操作
    4.6 本章小結(jié)
第五章 實(shí)例分析
    5.1 問題描述
    5.2 程序?qū)崿F(xiàn)
    5.3 程序分析
    5.4 本章小結(jié)
第六章 結(jié)論與展望
    6.1 本文小結(jié)
    6.2 展望
參考文獻(xiàn)
攻讀學(xué)位期間公開發(fā)表的論文
中英文名詞對照
致謝
詳細(xì)摘要



本文編號：3846889