基于GFScom的广义可能性Kriple结构中事件建模方法
Event Modelling Method in Generalized Possibilistic Kriple Structure Based on GFScom
张胜礼 1陈静 2吴娇3
作者信息
- 1. 兴义民族师范学院 信息技术学院,贵州 兴义 562400
- 2. 兴义民族师范学院 经济贸易学院,贵州 兴义 562400
- 3. 兴义民族师范学院 信息技术学院,贵州 兴义 562400;贵州师范大学 教育学院,贵州 贵阳 550025
- 折叠
摘要
为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构.广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决.其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型.为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法.应用实例表明所提方法是有效、可行的.
Abstract
In order to deal with the abundance of uncertainties present in the system validation,domestic scholars introduces the possibility theory to the model checking and proposes the Generalized Possibilistic Kriple Structure(GPKS).The GPKS has a good application prospect,but there are many issues that need to be solved.One of the problems is how to efficiently and easily build mathematics model of the GPKS.In order to provide a convenient modeling method for fuzzy events in the GPKS,three Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation(GFScom)are introduced in the process of modeling,and the modeling method of fuzzy events in the GPKS is given.Application examples show that the proposed method is effective and feasible.
关键词
模糊事件/广义可能性Kriple结构/广义模糊集GFScomKey words
fuzzy event/Generalized Possibilistic Kriple Structure/generalized fuzzy sets GFScom引用本文复制引用
基金项目
贵州省科技计划(黔科合基础[2019]1458号)
出版年
2024
国家科技期刊平台
NSTL
万方数据