概念建模（ConceptualModeling）是需求工程領(lǐng)域開發(fā)的重要環(huán)節(jié),也是軟件工程最重要的前置工作。隨著信息系統(tǒng)規(guī)模和結(jié)構(gòu)日益龐大復(fù)雜,針對概念建模過程中的系列形式化問題,要求開發(fā)人員在充分理解功能需求和應(yīng)用場景的基礎(chǔ)上,能夠正確的描述相關(guān)領(lǐng)域內(nèi)的知識和規(guī)則建立概念模型。然而,信息系統(tǒng)概念建模并不是一項簡單的工作:概念狀態(tài)在語義層面、抽象層次、形式化過程之間不斷地演化,使得最終的概念建模結(jié)果與最初的知識理解之間存在一定的差異。與此同時,信息重用和互操作需求的不斷增加使得信息系統(tǒng)的規(guī)模、功能和邏輯復(fù)雜度不斷提升,更是增加了開發(fā)人員的領(lǐng)域知識分析工作量和概念建模難度。因此,當(dāng)前迫切需要高效自動化概念建模方法的支持,來幫助開發(fā)人員、領(lǐng)域?qū)＜夷酥磷罱K用戶清晰的表達信息系統(tǒng)的抽象概念和領(lǐng)域知識。概念建模的作用是在信息系統(tǒng)實施前對現(xiàn)實世界進行抽象,是現(xiàn)實世界與信息系統(tǒng)開發(fā)之間相聯(lián)系的橋梁。由于概念建模本身所具有的現(xiàn)實意義,國內(nèi)外研究者開展了深入的研究與探索,提出了多種理論分析與概念建模方法。然而,現(xiàn)有方法在實踐中還存在一定的不足,突出表現(xiàn)為:（1）缺乏在復(fù)雜環(huán)境下對大規(guī)模數(shù)據(jù)和不確定性問題... 

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

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

【文章目錄】：
摘要
ABSTRACT
符號說明
第1章 緒論
    1.1 研究背景及意義
    1.2 研究現(xiàn)狀及分析
        1.2.1 國內(nèi)外研究現(xiàn)狀
        1.2.2 存在問題
    1.3 論文工作
        1.3.1 研究內(nèi)容
        1.3.2 主要貢獻
    1.4 組織結(jié)構(gòu)
    1.5 本章小結(jié)
第2章 概念建模與形式概念分析
    2.1 概念建模
        2.1.1 基本概念
        2.1.2 概念建模方法
        2.1.3 建模方法的選擇
    2.2 形式概念分析
        2.2.1 基本概念
        2.2.2 概念格的構(gòu)造
        2.2.3 形式背景上的屬性依賴關(guān)系
    2.3 本章小結(jié)
第3章 基于FCA的關(guān)系粒化與代數(shù)結(jié)構(gòu)
    3.1 相關(guān)工作
    3.2 屬性值域的�；�
    3.3 代數(shù)結(jié)構(gòu)
    3.4 約簡、核和依賴
    3.5 本章小結(jié)
第4章 概念格與包含度的融合理論及其應(yīng)用
    4.1 相關(guān)工作
        4.1.1 概念格和序關(guān)系
        4.1.2 包含度和序關(guān)系
        4.1.3 知識獲取模型
    4.2 基本概念
    4.3 融合理論
    4.4 序關(guān)系
    4.5 融合理論的應(yīng)用
        4.5.1 單值形式背景
        4.5.2 代數(shù)結(jié)構(gòu)
        4.5.3 約簡
        4.5.4 依賴
    4.6 本章小結(jié)
第5章 基于約束格維護概念模型一致性的方法
    5.1 引言
    5.2 基本概念
        5.2.1 屬性蘊涵
        5.2.2 屬性依賴
        5.2.3 投影
    5.3 生成約束格
        5.3.1 約束格
        5.3.2 依賴關(guān)系
        5.3.3 依賴關(guān)系集合
    5.4 本章小結(jié)
第6章 FCA在概念建模實踐中的應(yīng)用
    6.1 引言
    6.2 概念建模實踐框架
    6.3 形式背景的構(gòu)造
        6.3.1 隱含信息
        6.3.2 規(guī)則定義
        6.3.3 規(guī)則運用
    6.4 形式背景重組
        6.4.1 基本運算
        6.4.2 復(fù)合運算
    6.5 概念生成
    6.6 本章小結(jié)
第7章 總結(jié)與展望
    7.1 論文總結(jié)
    7.2 未來工作
參考文獻
致謝
攻讀學(xué)位期間參與科研項目及發(fā)表學(xué)術(shù)論文情況
外文論文
學(xué)位論文評閱及答辯情況表


【參考文獻】：
期刊論文
[1]基于粗糙集知識發(fā)現(xiàn)的開放領(lǐng)域中文問答檢索[J]. 韓朝,苗奪謙,任福繼,張紅云.  計算機研究與發(fā)展. 2018(05)
[2]基于形式概念分析的空間信息表征模型研究[J]. 于少波,吳玲達,張喜濤.  通信學(xué)報. 2017(S2)
[3]粒計算中基于屬性分類的形式概念屬性約簡[J]. 徐怡,王泉,霍思林.  控制與決策. 2018(12)
[4]直覺包含度[J]. 朱翔,廖祖華.  模糊系統(tǒng)與數(shù)學(xué). 2017(03)
[5]一種新的軍事概念建模方法[J]. 鞠儒生,許霄,王松,楊妹.  系統(tǒng)工程與電子技術(shù). 2017(08)
[6]基于形式概念分析的采煤工作面本體構(gòu)建研究[J]. 劉婷,潘理虎,張素蘭,陳立潮,張英俊.  工礦自動化. 2017(01)
[7]形式概念分析在軟件維護中的應(yīng)用綜述[J]. 孫小兵,李云,李必信,文萬志.  電子學(xué)報. 2015(07)
[8]SE-FCA: A Model of Software Evolution with Formal Concept Analysis[J]. SUN Xiaobing,LI Bixin,LI Bin,CHEN Ying.  Chinese Journal of Electronics. 2015(01)
[9]面向異構(gòu)數(shù)據(jù)分析的形式概念分析擴展模型[J]. 智慧來.  電子學(xué)報. 2013(12)
[10]一種支持能力需求概念一致性和合理性分析的方法[J]. 王智學(xué),董慶超,朱衛(wèi)星,李雯,何紅悅,王慶龍.  計算機學(xué)報. 2013(01)

博士論文
[1]基于形式概念分析理論的知識獲取模型研究[D]. 康向平.山西大學(xué) 2012
[2]基于本體和規(guī)則的受控自然語言系統(tǒng)模型研究[D]. 李虎.華中科技大學(xué) 2010
[3]任務(wù)空間概念建模技術(shù)及其VV＆A研究[D]. 何曉曄.國防科學(xué)技術(shù)大學(xué) 2005



本文編號：3683223