期刊文献+

随机时序逻辑的模糊时间扩展方法

Fuzzy-timing Extension for Stochastic and Real-time Temporal Logic
下载PDF
导出
摘要 基于随机时序逻辑(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
  • 相关文献

参考文献5

  • 1A Lakas,G S Blair,A Chetwynd.Specification and Verification of Real-Time Properties Using LOTOS and SQTL[C].In:Proceedings of the 8th International Workshop on Software Specification and Design, 1996 : 75-84.
  • 2Murata M.Temporal Uncertainty and Fuzzy Timing High-Level Petri Nets[C].In:Invited paper at the 17th International Conference on Application and Theory of Petri Nets,LNCS, 1091:11-28.
  • 3Yi Zhou,Tadao Murata.Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-timing Petri Nets[J].Transactions of the SDPS,2001;5(4) :23-37.
  • 4Zhou Y,Murata T.Petri Net Model with Fuzzy-Timing and Fuzzy-Metric Temporal Logic[J].International Journal of Intelligent Systems, 14(8) :719-746.
  • 5Zhou Y.Modeling and Analysis of Networked Real-Time Systems via Fuzzy-Timing Petri Nets[D].Ph D Thesis in Electrical Engineering and Computer Science in the Graduate College of the University of Illinois at Chicago , 2000.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部