具有模糊时态的广义可能性线性时序逻辑的模型检测

梁常建; 李永明

doi:10.3969/j.issn.0372-2112.2017.12.020

您当前的位置：

首页 >

文章列表页 >

具有模糊时态的广义可能性线性时序逻辑的模型检测

学术论文 | 更新时间：2025-07-16

- 具有模糊时态的广义可能性线性时序逻辑的模型检测
- Model Checking of Fuzzy Linear Temporal Logic Based on Generalized Possibility Measures
- 电子学报 2017年45卷第12期页码：2971-2977
- 作者机构：
  
  1. 陕西师范大学数学与信息科学学院,陕西,西安,710119
  2. 商丘师范学院数学与统计学院,河南,商丘,476000
  3. 陕西师范大学数学与信息科学学院,陕西,西安,710119
  4. 商丘师范学院数学与统计学院,河南,商丘,476000
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.11271237，No.11671244，No.11401363，No.11501345）;高等学校博士学科点专项科研基金项目 (No.20130202110001）
- DOI：10.3969/j.issn.0372-2112.2017.12.020
  中图分类号： TP301.2
- 网络出版：2017-12-25，
  
  纸质出版：2017
- 稿件说明：
移动端阅览
梁常建, 李永明. 具有模糊时态的广义可能性线性时序逻辑的模型检测[J]. 电子学报, 2017,45(12):2971-2977.

LIANG Chang-jian, LI Yong-ming. Model Checking of Fuzzy Linear Temporal Logic Based on Generalized Possibility Measures[J]. Acta Electronica Sinica, 2017, 45(12): 2971-2977.
梁常建, 李永明. 具有模糊时态的广义可能性线性时序逻辑的模型检测[J]. 电子学报, 2017,45(12):2971-2977. DOI： 10.3969/j.issn.0372-2112.2017.12.020.

LIANG Chang-jian, LI Yong-ming. Model Checking of Fuzzy Linear Temporal Logic Based on Generalized Possibility Measures[J]. Acta Electronica Sinica, 2017, 45(12): 2971-2977. DOI： 10.3969/j.issn.0372-2112.2017.12.020.

摘要

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL（Generalized Possibilistic Fuzzy Linear Tempora Logic）的语构以及基于路径和基于语言的两种语义解释，证明了GPoFLTL在模糊时态方面对GPoLTL（Generalized Possibilistic Linear Tempora Logic）进行了扩张，并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力；其次在广义可能性测度下通过模糊矩阵运算讨论了不久，几乎总是等几类模糊时态性质的模型检测问题；最后研究了模糊时态性质的必要性阈值模型检测问题，给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.

Abstract

In this paper

firstly

the syntax and semantics of GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)are given

especially

both the path and language semantics of GPoFLTL are discussed.It is shown that GPoFLTL is the extension to GPoLTL(Generalized Possibilistic Linear Tempora Logic) with respect to fuzzy time

and that GPoFLTL has the stronger expression power than GPoLTL illustrated by some examples.Secondly

GPoFLTL model checking based on the generalized possibility measures is discussed using fuzzy matrix operator

which includes some fuzzy time temporal

Soon

Nearly always

etc.Finally

the necessity threshold model checking problem of fuzzy linear time properties with fuzzy time temporal is studied; furthermore

the algorithm of the necessity threshold model checking of GPoFLTL based on automata method is given

and the time complexity of this method is proved.

关键词

Keywords

references

浏览量

190

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

低轨巨星座多品类业务流低复杂度分段路由方法

基于动态图的PPI网络构建和复合物挖掘算法研究

面向SoC系统芯片中跨时钟域设计的模型检验方法

多播路由算法MPH的时间复杂度研究

稀疏表示下的非监督显著对象提取