申菊芳
- 作品数:2 被引量:14H指数:1
- 供职机构:北京航空航天大学计算机学院软件工程研究所更多>>
- 发文基金:国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于不确定主观权重的Web服务选择
- Web服务技术的发展和流行使得互联网上Web服务逐渐增多,并出现一些功能相同或类似的服务,要选择合适的服务,需考虑服务的QoS属性及用户对属性的偏好.用户通常习惯用定性概念表示对属性的偏好,但是定性概念对应的定量值是不确...
- 樊志强申菊芳王守信张莉
- 关键词:WEB服务云模型用户偏好
- 文献传递
- 一种目标可满足性定性、定量表示与推理方法被引量:14
- 2011年
- 可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.
- 王守信张莉王帅申菊芳刘禹
- 关键词:云模型