论文摘要
不同的领域专家掌握了企业运作不同方面的信息和需求,为了使企业模型能够真实全面地反应企业运作的现状和领域专家对企业运作模式的需求,需要众多领域专家通过协同进行企业建模。在铁道部-清华大学科技研究基金项目(项目号:t200412)、国家863高技术研究发展计划资助项目(项目号:2008AA04Z102)等课题的支持下,本文对需求定义阶段企业协同建模中语义驱动的冲突管理方法及相关理论进行了深入系统的研究。本文所提出的方法能够实现基于不同建模方法的模型之间的相互转换,规范模型元素的描述,支持模型之间元素的匹配,自动检测不同领域专家所建立模型之间的冲突,并通过整合不完整的模型得到相对完整的模型。为赋予模型知识形式化语义,本文提出了结合描述逻辑和逻辑程序的表达能力和推理能力的可判定知识表达形式,Horn-Extended DL,给出了Tableau算法以支持Horn-Extended DL的自动推理,并证明了Tableau算法的可终止性、可靠性和完备性。本文提出了基于Horn-Extended DL的模型转换方法。借助Horn-Extended DL的表达能力和推理能力,能够对模型的语法正确性进行验证,由领域专家直接输入的显性知识不仅能被提取出来作为建立新模型的基础,还能通过推理得到隐性知识,增加模型知识的价值和使用的效率。领域专家由于不同的语言习惯会使用不同的术语对模型元素进行描述。为了解决模型元素描述的冲突,本文提出通过语义特征分解和受限词汇实现模型元素描述的标准化和语义的明确化,并给出了受限词汇和概念的相似度计算和搜索机制,以支持模型元素描述的重用和模型之间元素的匹配。为了保证企业模型的正确性和完整性,本文提出了对企业模型的两种操作:比较和整合。通过比较不同领域专家建立的模型,可以自动检测模型之间的冲突,为领域专家通过协商改进模型提供支持。通过整合改进后的模型可以得到相对完整的模型。
论文目录
相关论文文献
- [1].计算机知识在数学建模中的应用探讨[J]. 科技风 2020(28)
- [2].航拍方式对实景建模影响的研究[J]. 智能建筑与智慧城市 2020(10)
- [3].《芯片及系统的电源完整性建模与设计》[J]. 电源技术 2020(10)
- [4].数学建模在概率论与数理统计教学中的应用[J]. 高等数学研究 2019(01)
- [5].《人物卡通设定》建模[J]. 中国民族博览 2019(03)
- [6].《人物卡通设定》[J]. 大众文艺 2019(06)
- [7].《大海》[J]. 大众文艺 2019(06)
- [8].浅谈中学生数学建模核心素养的培养[J]. 中外企业家 2019(13)
- [9].数学建模的思想及其应用[J]. 农家参谋 2019(15)
- [10].浅谈数学建模的社会意义[J]. 中国高新区 2018(06)
- [11].数学建模过程中计算机的应用探究[J]. 山东工业技术 2018(12)
- [12].素质教育下的数学建模在生活中的应用及展望[J]. 广东蚕业 2018(06)
- [13].浅谈数学建模[J]. 科技风 2017(01)
- [14].基于虚拟样机技术的机械产品设计及建模方法分析[J]. 现代制造技术与装备 2016(11)
- [15].肖像建模[J]. 艺术评论 2017(01)
- [16].数学建模的培训与发展[J]. 电子制作 2015(10)
- [17].如何促进教师与学生在建模水平上的共同进步[J]. 电子制作 2015(12)
- [18].“缩水”的数学建模课[J]. 中学数学 2020(09)
- [19].科学探究中数字化技术支持的思维建模[J]. 教育信息技术 2020(09)
- [20].亲历建模过程,探索建模路径——以《鸽巢问题》的教学为例[J]. 福建教育 2019(01)
- [21].刍议数学建模在高中数学学习中的作用[J]. 高考 2019(02)
- [22].浅谈高中数学建模的必要性[J]. 中学生数理化(学习研究) 2019(01)
- [23].浅谈高中数学建模的生活化[J]. 中学生数理化(教与学) 2019(02)
- [24].浅谈小学数学建模中的几个问题[J]. 山东教育 2019(07)
- [25].高中数学建模中优化问题的建模分析[J]. 高考 2019(27)
- [26].小学数学教学中的数学建模[J]. 数学大世界(上旬) 2019(07)
- [27].试论“数学建模”素养形成和发展的基本途径[J]. 福建中学数学 2018(08)
- [28].关于高中数学建模的探索[J]. 当代教研论丛 2018(08)
- [29].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2018(22)
- [30].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2019(06)