基于GFScom的广义可能性Kriple结构中事件建模方法OA
Event Modelling Method in Generalized Possibilistic Kriple Structure Based on GFScom
为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构.广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决.其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型.为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法.应用实例表明所提方法是有效、可行的.
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.
张胜礼;陈静;吴娇
兴义民族师范学院 信息技术学院,贵州 兴义 562400兴义民族师范学院 经济贸易学院,贵州 兴义 562400兴义民族师范学院 信息技术学院,贵州 兴义 562400||贵州师范大学 教育学院,贵州 贵阳 550025
计算机与自动化
模糊事件广义可能性Kriple结构广义模糊集GFScom
fuzzy eventGeneralized Possibilistic Kriple Structuregeneralized fuzzy sets GFScom
《现代信息科技》 2024 (012)
52-55 / 4
贵州省科学技术基金资助项目(黔科合基础[2019]1458号)
评论