• 中文核心期刊要目总览
  • 中国科技核心期刊
  • 中国科学引文数据库(CSCD)
  • 中国科技论文与引文数据库(CSTPCD)
  • 中国学术期刊文摘数据库(CSAD)
  • 中国学术期刊(网络版)(CNKI)
  • 中文科技期刊数据库
  • 万方数据知识服务平台
  • 中国超星期刊域出版平台
  • 国家科技学术期刊开放平台
  • 荷兰文摘与引文数据库(SCOPUS)
  • 日本科学技术振兴机构数据库(JST)

线性时间属性中近似安全性和活性的刻画

The characterization of approximate safety and liveness properties in linear-time properties

  • 摘要: 针对线性时间属性中最重要的基础属性安全性和活性, 将它们扩展到模糊背景下, 有助于定量刻画系统与其属性之间的满足程度。结合度量理论中线性距离的概念, 刻画系统与属性之间关系, 进而量化一个系统多大程度满足一个属性。首先回顾线性距离的定义以及一些性质。其次, 基于模糊迁移系统, 研究线性时间属性中安全性和活性的定量扩展形式, 并尽可能多地保留传统线性时间属性相关的优良性质, 通过给定距离阈值α, 定义α-安全性和α-活性, 从而将经典的线性时间属性扩展到模糊背景下。通过对所提出的α-安全性和α-活性理论进行扩充, 对现有模糊背景下的线性时态逻辑进行适当地补充, 从而刻画所定义的α-安全性和α-活性。最后通过一个具体的实例来阐述所得出的结论。

     

    Abstract: For the safety and liveness properties of the most important basic properties in linear-time properties, they are extended to the fuzzy background, which is helpful to quantitatively describe the level of satisfaction between the system and its properties. Combining with the concept of linear distance in metric theory, this paper quantifies how extent a system satisfies its property by describing the relationship between the system and its property with distance. First, the definitions and some properties of linear distance are reviewed. Next, based on the fuzzy transition system, the safety and liveness properties in linear time property are quantitatively expanded, and the good properties of traditional linear time properties are retained as much as possible. In addition, the definitions of α-safety properties and α-liveness properties are defined by introducing the distance threshold α, thus extending the classical linear temporal properties to the fuzzy setting. Then, the proposed theory of α-safety properties and α-liveness properties are extended, and the existing linear temporal logic under fuzzy background is appropriately supplemented in order to characterized α-safety properties and α-liveness properties. Finally, a concrete example is given to illustrate the conclusions of this paper.

     

/

返回文章
返回