【摘 要】
：
可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模
【机 构】
：
北京航空航天大学软件工程研究所,北京航空航天大学软件开发环境国家重点实验室
【基金项目】
：
国家重点基础研究发展计划(973)(2007CB310803);国家重大研究计划“可信软件基础研究”(90818017)
论文部分内容阅读
可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.
其他文献
以智慧课堂移动终端互连的特殊要求作为突破口,研究现有移动互连技术并指出其存在的不足,由此引出构建满足智慧课堂需求的终端无线互连技术特点,提出智慧课堂内移动终端互连
基于最大可满足性问题的专业实验方案以组合拍卖为应用背景,采用命题逻辑建模、分支限界算法,针对问题设计优化的存储结构。专业实验方案展现了一个完整的工业问题的解决过程
旅游目的地形象是指人们对旅游目的地的感知、印象、观点的综合,是对该地社会、政治、经济、生活、文化、旅游业发展等各方面的认识、观念的综合。本文对都昌县旅游形象策划
<正>刘永胜,1963年出生,河北唐山人,1985年河北科技大学本科毕业,获得工学学士学位,1990年西安理工大学研究生毕业,获得工学硕士学位,2003年天津大学研究生毕业,获得管理学博
目的利用地理信息系统(GIS)技术,建立医院病源专题图,研究医院病源地理分布及其演变规律。方法收集北京市某三甲医院2003—2005年医院信息系统中住院病人首页,建立病源相关属
随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实
<正>产品背景客户体验是一个听上去比较模糊或者是难以量化的概念,而且不同行业和企业对其理解也不甚相同,客户体验可以是公司为客户提供的产品及服务是如何管理自己的业务以
由于传统纳米银合成工艺无法进一步提升纳米银的性能,从而在一定程度上阻碍了纳米银在工业领域中的进一步应用。为了探索提升纳米银性能的方法,对利用甲烷氧化菌素并通过介导
目的介绍国外大型医用设备管理的经验,为完善大型医用设备管理办法提供借鉴。方法通过浏览各国卫生部或相关部门的官方网站,并通过Google Scholar搜索引擎检索国外大型医用设