%0 Journal Article %A 梁常建 %A 李永明 %T 具有模糊时态的广义可能性线性时序逻辑的模型检测 %D 2017 %R 10.3969/j.issn.0372-2112.2017.12.020 %J 电子学报 %P 2971-2977 %V 45 %N 12 %X 本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度. %U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2017.12.020