一种目标可满足性定性、定量表示与推理方法

• 作者: 刘禹 张莉 王守信 王帅 申菊芳
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 面向目标需求工程 可满足性表示 目标可满足性推理 云模型 有序加权聚合算子
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 593-608
• 分类号: TP311
• 字数: 14366字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03736

摘要

可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张莉	北京航空航天大学软件工程研究所	98	956	16.0	28.0
2	王帅	北京航空航天大学软件工程研究所	42	209	9.0	13.0
3	王守信	北京航空航天大学软件工程研究所	6	263	5.0	6.0
4	刘禹	北京航空航天大学软件开发环境国家重点实验室	8	315	3.0	8.0
5	申菊芳	北京航空航天大学软件工程研究所	1	20	1.0	1.0