作　　者： ; ; ;

机构地区： 广东工业大学计算机学院

出　　处： 《计算机工程与应用》 2006年第1期61-63,共3页

摘　　要： 基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。 Fuzzy-timing stochastic and real-tlme temporal logic（FSQTL）,which is a more expressive temporal logic （SQTL）,is extended fuzzy-timing to the stochastic and real-time temporal logic to express the fuzzy time.FSQTL can model the deterministic time,probability time,stochastic time and fuzzy time,and analyze the performance by possibility in real-time systems.

关 键 词： 时序逻辑 模糊时间 实时系统 可能性

领　　域： [自动化与计算机技术] [自动化与计算机技术]