摘要
基于随机时序逻辑(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.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第1期61-63,共3页
Computer Engineering and Applications
基金
国家自然科学基金资助项目(编号:60474072
60174050)
广东省自然科学基金资助项目(编号:04009465
010059)
广东省高校自然科学研究资助项目(编号:Z03024)
关键词
时序逻辑
模糊时间
实时系统
可能性
temporal logic, fuzzy timing, real-time systems, possibility