计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 118-121.doi: 10.11896/j.issn.1002-137X.2014.08.026
• 2013年全国理论计算机科学学术年会 • 上一篇 下一篇
李召妮,马占有,李永明
LI Zhao-ni,MA Zhan-you and LI Yong-ming
摘要: 考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。
[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! |
|