Computer Science ›› 2014, Vol. 41 ›› Issue (8): 118-121.doi: 10.11896/j.issn.1002-137X.2014.08.026
Previous Articles Next Articles
LI Zhao-ni,MA Zhan-you and LI Yong-ming
[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! |
|