为了处理系统验证中大量存在的不确定性，国内学者将可能性理论引入到模型检测中，提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景，但有许多问题需要解决。其中的一个问题是，如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法，在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory，Opposite and Medium negation，GFScom)，给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。
Event Modelling Method in Generalized Possibilistic Kriple Structure Based on GFScom
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.
国家科技期刊平台
NSTL
万方数据
