直觉模糊模型检测在工程决策上的应用  

An Application of Intuitionistic Fuzzy Model Checking in Engineering Decision

作　　者：鱼先锋 李永明 YU Xian-feng;LI Yong-ming(School of Computer Science,Qinghai University,Xining 810008,China;Institute of Mathematics and Computer Application,Shangluo University,Shangluo 726000,China)

机构地区：[1]青海师范大学计算机科学学院,青海西宁810008 [2]商洛学院数学与计算机应用学院,陕西商洛726000

出　　处：《模糊系统与数学》2020年第2期142-150,共9页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(61228305);商洛市科技计划项目(sk2018-03-01);商洛学院科技创新团队建设项目(18SCX002)。

摘　　要：将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。The intuitionistic fuzzy Kripke structure(IFKS) is extended to the weighted intuitionistic fuzzy Kripke structure(WIFKS), and then the intuitionistic fuzzy computational tree logic(IFCTL) is induced to the weighted intuitionistic fuzzy computational tree logic(WIFCTL). Based on these theories the intuitionistic fuzzy expected measure and multiple attribute decision making problems are researched. The weights of WIFKS is naturally used to depicted the costs and benefits of engineering problems.And the intuitionistic fuzzy measure is used to quantify the uncertainty of a project progress. The WIFCTL is used to describe the uncertain engineering attribute constraints. A multi-attribute engineering optimization algorithm based on intuitionistic fuzzy model checking is given and its complexity is discussed.

关 键 词：加权直觉模糊Kripke结构 工程决策 加权直觉模糊计算树逻辑 模型检测 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]