基于扩展模糊描述逻辑的软件数值模型

摘要：

表示复杂的数值关系是软件建模的难点:直接表示复杂的数值关系会导致极高的软件模型推理复杂性.提出采用模糊函数近似表示复杂数值关系,然后将扩展模糊描述逻辑作为软件模型形式化基础的软件模型建模框架,该框架包含3个核心问题:软件数值域模糊化、软件数值知识库构造和软件数值模型推理.在软件数值域模糊化方面提出模糊化方法和保证充分性的近似原则；在软件数值知识库构造方面讨论在模糊概念的基础上生成截集概念、构造声明和术语公理的步骤和过程；在软件数值模型推理方面研究算法设计优化和分割等算法实现机制.

关键词：软件、模型、语义、描述逻辑

所属期刊栏目：39

分类号：TP31(计算技术、计算机技术)

资助基金：某国防预研基金

在线出版日期：2013-01-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：118-120,157