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

• 作者: 李莉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件 模型 语义 描述逻辑
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 118-120,157
• 页数: 4页
• 分类号: TP31
• 字数: 5619字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李莉		4	11	2.0	3.0