计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 118-121.doi: 10.11896/j.issn.1002-137X.2014.08.026

• 2013年全国理论计算机科学学术年会 • 上一篇    下一篇

基于可能性测度的工程管理决策的研究

李召妮,马占有,李永明   

  1. 陕西师范大学计算机学院 西安710076;陕西师范大学计算机学院 西安710076;陕西师范大学计算机学院 西安710076
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(11271237)资助

Research on Management Decision of Project Based on Possibility Measure

LI Zhao-ni,MA Zhan-you and LI Yong-ming   

  • Online:2018-11-14 Published:2018-11-14

摘要: 考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。

关键词: 可能性测度,带有成本的Kripke结构,多属性决策,期望测度

Abstract: This paper aimed to consider an extension of possibilistic Kripke structure,called possibilistic Kripke cost structure (PoKCS).We focused on expected measures and multi-attribute decision making problem on PoKCS.A possibilistic Kripke cost structure is a possibilistic Kripke structure in which transitions (or states) are augmented with costs,natural numbers that can be interpreted as costs,or dually as bonuses.We only considered equipping transitions with costs.Finally,we described a case study about the management decision of project to illustrate application of the methods discussed in the paper.

Key words: Possibility measure,Possibilistic Kripke cost structure,Multi-attribute decision making,Expected measure

[1] 李永明.模糊系统分析[M].北京:科学出版社,2005
[2] 薛艳,雷红轩,李永明.基于可能性测度的计算树逻辑[J].计算机工程与科学,2011,3(9):70-75
[3] 李丽君,雷红轩,李永明.基于可能测度的LTL模型检测[J].计算机学报,2012(3):33-39
[4] 希利尔,等.数据,模型与决策[M].北京:中国财政经济出版社,2012
[5] 宋伟.工程管理案例[M].北京:机械工业出版社,2012
[6] Li Li-jun,Li Yong-ming.Model-checking of linear-time properties in possibilistic Kripke structure.Quanitative Logic and soft computing[C]∥World Scientific Publishing Co.Pte.Ltd.2012:287-294
[7] Xue Yan,Lei Hong-xuan,Li Yong-ming.Possibilistic Kripkestructure decision processes.Quanitative Logic and soft computing[C]∥World Scientific Publishing Co.Pte.Ltd.2012:295-302
[8] 徐泽水.基于期望值的模糊多属性决策法及其应用[J].系统工程与实践,2004(1):109-113
[9] Baier C,Katoen J-P.Principles of Model Checking[M].Cambridge:The MIT Press,2007:816-832

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!