| 直觉模糊模型检测在工程决策上的应用 |
| |
| 引用本文： | 鱼先锋,李永明.直觉模糊模型检测在工程决策上的应用[J].模糊系统与数学,2020,34(2):142-150. |
| |
| 作者姓名： | 鱼先锋 李永明 |
| |
| 作者单位： | 青海师范大学计算机科学学院,青海西宁810008;商洛学院数学与计算机应用学院,陕西商洛 726000 |
| |
| 基金项目： | 国家自然科学基金;商洛市科技计划;商洛学院科技创新团队建设项目 |
| |
| 摘 要： | 将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。
|
| 关 键 词： | 加权直觉模糊Kripke结构 工程决策 加权直觉模糊计算树逻辑 模型检测 |
An Application of Intuitionistic Fuzzy Model Checking in Engineering Decision |
| |
| YU Xian-feng,LI Yong-ming.An Application of Intuitionistic Fuzzy Model Checking in Engineering Decision[J].Fuzzy Systems and Mathematics,2020,34(2):142-150. |
| |
| Authors: | YU Xian-feng LI Yong-ming |
| |
| Institution: | (School of Computer Science,Qinghai University,Xining 810008,China;Institute of Mathematics and Computer Application,Shangluo University,Shangluo 726000,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | WIFKS Engineering Decision WIFPCTL Model Checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
