为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结...为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。展开更多
对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negatio...对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,FScom)。针对FScom及其改进模糊集(Improved Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,IFScom)在刻画模糊性知识及其三种不同否定关系上的一些不足,提出了广义模糊集GFScom。在此基础上,给出了基于GFScom的模糊控制规则的设记方法,并给出一个具体实例。通过该实例可以看出,所提出的设计方法是有效且合理的。展开更多
文摘为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。
文摘对模糊知识及其否定知识的认识,潘正华指出存在着三种不同的否定关系:矛盾否定关系、对立否定关系和中介否定关系,并为此建立了一种带有矛盾否定、对立否定和中介否定的模糊集(Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,FScom)。针对FScom及其改进模糊集(Improved Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation,IFScom)在刻画模糊性知识及其三种不同否定关系上的一些不足,提出了广义模糊集GFScom。在此基础上,给出了基于GFScom的模糊控制规则的设记方法,并给出一个具体实例。通过该实例可以看出,所提出的设计方法是有效且合理的。
