基于形式概念分析理论的概念建模方法研究

发布时间：2022-09-29 20:04

　　概念建模（ConceptualModeling）是需求工程领域开发的重要环节,也是软件工程最重要的前置工作。随着信息系统规模和结构日益庞大复杂,针对概念建模过程中的系列形式化问题,要求开发人员在充分理解功能需求和应用场景的基础上,能够正确的描述相关领域内的知识和规则建立概念模型。然而,信息系统概念建模并不是一项简单的工作:概念状态在语义层面、抽象层次、形式化过程之间不断地演化,使得最终的概念建模结果与最初的知识理解之间存在一定的差异。与此同时,信息重用和互操作需求的不断增加使得信息系统的规模、功能和逻辑复杂度不断提升,更是增加了开发人员的领域知识分析工作量和概念建模难度。因此,当前迫切需要高效自动化概念建模方法的支持,来帮助开发人员、领域专家乃至最终用户清晰的表达信息系统的抽象概念和领域知识。概念建模的作用是在信息系统实施前对现实世界进行抽象,是现实世界与信息系统开发之间相联系的桥梁。由于概念建模本身所具有的现实意义,国内外研究者开展了深入的研究与探索,提出了多种理论分析与概念建模方法。然而,现有方法在实践中还存在一定的不足,突出表现为:（1）缺乏在复杂环境下对大规模数据和不确定性问题... 

【文章页数】：190 页

【学位级别】：博士

【文章目录】：
摘要
ABSTRACT
符号说明
第1章 绪论
    1.1 研究背景及意义
    1.2 研究现状及分析
        1.2.1 国内外研究现状
        1.2.2 存在问题
    1.3 论文工作
        1.3.1 研究内容
        1.3.2 主要贡献
    1.4 组织结构
    1.5 本章小结
第2章 概念建模与形式概念分析
    2.1 概念建模
        2.1.1 基本概念
        2.1.2 概念建模方法
        2.1.3 建模方法的选择
    2.2 形式概念分析
        2.2.1 基本概念
        2.2.2 概念格的构造
        2.2.3 形式背景上的属性依赖关系
    2.3 本章小结
第3章 基于FCA的关系粒化与代数结构
    3.1 相关工作
    3.2 属性值域的粒化
    3.3 代数结构
    3.4 约简、核和依赖
    3.5 本章小结
第4章 概念格与包含度的融合理论及其应用
    4.1 相关工作
        4.1.1 概念格和序关系
        4.1.2 包含度和序关系
        4.1.3 知识获取模型
    4.2 基本概念
    4.3 融合理论
    4.4 序关系
    4.5 融合理论的应用
        4.5.1 单值形式背景
        4.5.2 代数结构
        4.5.3 约简
        4.5.4 依赖
    4.6 本章小结
第5章 基于约束格维护概念模型一致性的方法
    5.1 引言
    5.2 基本概念
        5.2.1 属性蕴涵
        5.2.2 属性依赖
        5.2.3 投影
    5.3 生成约束格
        5.3.1 约束格
        5.3.2 依赖关系
        5.3.3 依赖关系集合
    5.4 本章小结
第6章 FCA在概念建模实践中的应用
    6.1 引言
    6.2 概念建模实践框架
    6.3 形式背景的构造
        6.3.1 隐含信息
        6.3.2 规则定义
        6.3.3 规则运用
    6.4 形式背景重组
        6.4.1 基本运算
        6.4.2 复合运算
    6.5 概念生成
    6.6 本章小结
第7章 总结与展望
    7.1 论文总结
    7.2 未来工作
参考文献
致谢
攻读学位期间参与科研项目及发表学术论文情况
外文论文
学位论文评阅及答辩情况表


【参考文献】：
期刊论文
[1]基于粗糙集知识发现的开放领域中文问答检索[J]. 韩朝,苗夺谦,任福继,张红云.  计算机研究与发展. 2018(05)
[2]基于形式概念分析的空间信息表征模型研究[J]. 于少波,吴玲达,张喜涛.  通信学报. 2017(S2)
[3]粒计算中基于属性分类的形式概念属性约简[J]. 徐怡,王泉,霍思林.  控制与决策. 2018(12)
[4]直觉包含度[J]. 朱翔,廖祖华.  模糊系统与数学. 2017(03)
[5]一种新的军事概念建模方法[J]. 鞠儒生,许霄,王松,杨妹.  系统工程与电子技术. 2017(08)
[6]基于形式概念分析的采煤工作面本体构建研究[J]. 刘婷,潘理虎,张素兰,陈立潮,张英俊.  工矿自动化. 2017(01)
[7]形式概念分析在软件维护中的应用综述[J]. 孙小兵,李云,李必信,文万志.  电子学报. 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]面向异构数据分析的形式概念分析扩展模型[J]. 智慧来.  电子学报. 2013(12)
[10]一种支持能力需求概念一致性和合理性分析的方法[J]. 王智学,董庆超,朱卫星,李雯,何红悦,王庆龙.  计算机学报. 2013(01)

博士论文
[1]基于形式概念分析理论的知识获取模型研究[D]. 康向平.山西大学 2012
[2]基于本体和规则的受控自然语言系统模型研究[D]. 李虎.华中科技大学 2010
[3]任务空间概念建模技术及其VV＆A研究[D]. 何晓晔.国防科学技术大学 2005



本文编号：3683223