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

• 作者: 刘瑞成 张宇亮 张立臣
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时序逻辑 模糊时间 实时系统 可能性
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 学术探讨
• 页码范围: 61-63
• 页数: 3页
• 分类号: TP301.2
• 字数: 2690字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.01.019

摘要

基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑--模糊随机时序逻辑(FSQTL).FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	张宇亮	广东工业大学计算机学院	5	20	2.0	4.0
3	刘瑞成	广东工业大学计算机学院	7	74	4.0	7.0