發(fā)布時(shí)間：2023-05-27 02:07

　　動(dòng)態(tài)模糊邏輯(DFL)的研究已有十年的時(shí)間了,目前已取得了一系列研究成果,為了進(jìn)一步拓展這些研究成果的應(yīng)用,本文借鑒Dijkstra的監(jiān)督命令程序結(jié)構(gòu),通過結(jié)構(gòu)化操作語義描述方法從軟件理論方面進(jìn)行研究,提出了動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言(DFL Programming Language)的操作語義模型,以期形成解決動(dòng)態(tài)模糊性問題的程序設(shè)計(jì)方法。主要內(nèi)容包括:變形傳統(tǒng)的λ演算,以更好地描述具有動(dòng)態(tài)模糊性的問題;通過BNF描述了DFL程序設(shè)計(jì)語言的抽象語法;通過一個(gè)三元組<DFSC,DFO,DFSS>給出了DFL程序設(shè)計(jì)語言的操作語義模型;給出了DFL程序設(shè)計(jì)語言的基本框架結(jié)構(gòu);給出了該操作語義模型的一些應(yīng)用實(shí)例;通過Hoare邏輯和基本指稱語義對(duì)本文所定義的操作語義模型的正確性和可靠性進(jìn)行了證明。 由此可見,本文從全新的角度定義了一種可以處理動(dòng)態(tài)模糊問題的程序設(shè)計(jì)語言。在描述、解決具有動(dòng)態(tài)模糊性的問題時(shí),本文所給出的DFL程序設(shè)計(jì)語言的操作語義模型與常見的高級(jí)程序設(shè)計(jì)語言相比表現(xiàn)出了很好的優(yōu)越性。 本文的特色體現(xiàn)在: (1)提出了可以描述動(dòng)態(tài)模糊性問題的λ演算的變形方法; (2)...

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

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

【文章目錄】：
中文摘要
Abstract
第一章 引論
    1.1 動(dòng)態(tài)模糊邏輯(DFL)的研究綜述
    1.2 問題的提出
    1.3 本文的內(nèi)容安排
第二章 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的基礎(chǔ)理論
    2.1 動(dòng)態(tài)模糊邏輯（DFL）簡介
        2.1.1 DFL 的命題演算
        2.1.2 DFL 的謂詞演算
        2.1.3 動(dòng)態(tài)模糊數(shù)據(jù)理論
    2.2 操作語義
        2.2.1 操作語義的研究歷史
        2.2.2 結(jié)構(gòu)化操作語義
    2.3 DFL 的λ演算描述
        2.3.1 傳統(tǒng)的λ演算
            2.3.1.1 λ項(xiàng)
            2.3.1.2 置換（Substitution）
            2.3.1.3 α-變換(α-conversion)
            2.3.1.4 β-歸約(β-conversion)
            2.3.1.5 丘奇-羅賽定理(Church-Rosser)
        2.3.2 變形傳統(tǒng)的λ演算
            2.3.2.1 變形的λ演算的項(xiàng)
            2.3.2.2 變形的λ演算的置換
            2.3.2.3 變形的λ演算的α-變換
            2.3.2.4 變形的λ演算的β-歸約
            2.3.2.5 變形的λ演算的丘奇－羅賽定理
        2.3.3 動(dòng)態(tài)模糊命題的λ演算描述
        2.3.4 動(dòng)態(tài)模糊謂詞的λ演算描述
    2.4 本章小結(jié)
第三章 動(dòng)態(tài)模糊邏輯輯程序設(shè)計(jì)語言的語法
    3.1 監(jiān)督命令程序結(jié)構(gòu)
    3.2 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的抽象語法
    3.3 本章小結(jié)
第四章 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的操作語義模型
    4.1 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的操作語義模型結(jié)構(gòu)
        4.1.1 動(dòng)態(tài)模糊語法范疇(DFSC)
        4.1.2 動(dòng)態(tài)模糊算子(DFO)
        4.1.3 動(dòng)態(tài)模糊語義(DFSS)
            4.1.3.1 表達(dá)式
            4.1.3.2 布爾表達(dá)式
            4.1.3.3 語句
            4.1.3.4 監(jiān)督命令
    4.2 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的數(shù)據(jù)類型的操作語義
        4.2.1 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的基本數(shù)據(jù)類型的表示
        4.2.2 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的基本數(shù)據(jù)類型的操作語義
            4.2.2.1 動(dòng)態(tài)模糊整型數(shù)據(jù)（DFInt）
            4.2.2.2 動(dòng)態(tài)模糊實(shí)型數(shù)據(jù)（DFReal）
            4.2.2.3 動(dòng)態(tài)模糊布爾型數(shù)據(jù)（DFBool）
            4.2.2.4 動(dòng)態(tài)模糊字符型數(shù)據(jù)（DFChr）
        4.2.3 其它數(shù)據(jù)類型
    4.3 本章小結(jié)
第五章 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的框架
    5.1 處理對(duì)象的動(dòng)態(tài)模糊化
        5.1.1 動(dòng)態(tài)模糊整數(shù)
        5.1.2 動(dòng)態(tài)模糊布爾值
        5.1.3 動(dòng)態(tài)模糊字符
    5.2 類型的動(dòng)態(tài)模糊化
    5.3 語句的動(dòng)態(tài)模糊化
    5.4 本章小結(jié)
第六章 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的應(yīng)用
    6.1 應(yīng)用實(shí)例
    6.2 程序的執(zhí)行過程
    6.3 本章小結(jié)
第七章 驗(yàn)證
    7.1 正確性驗(yàn)證
    7.2 可靠性驗(yàn)證
        7.2.1 動(dòng)態(tài)模糊邏輯程序設(shè)計(jì)語言的指稱語義
        7.2.2 推理規(guī)則的可靠性證明
    7.3 本章小結(jié)
第八章 結(jié)論與展望
參考文獻(xiàn)
致謝
附錄
中英文名詞對(duì)照
中文詳細(xì)摘要



本文編號(hào)：3823686