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