扩展时段时序逻辑的模型、一致性和推理

• 作者: 曲扬 李雅娟 林闯
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 扩展时段时序逻辑 时间Petri网 一致性检验 模型 推理
• 年，卷（期）: 2002,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1338-1347
• 页数: 10页
• 分类号: TP391
• 字数: 6990字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.12.008

摘要

给出了扩展时段时序逻辑的时间Petri网(TPN)模型构造方法,在构造模型的同时可对时序关系进行一致性检验.在模型的基础上提出了一种时序关系推理算法,这种推理算法基于TPN模型的性质及基本不等式规则,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系.这种推理算法的优势在于利用了TNP模型的分析技术,减小了推理的时间复杂度,比单纯利用不等式规则的推理更直观,也更简单,是一种有效的方法.最后,对扩展时段时序逻辑的TPN模型进行了扩充,增强了其模型和分析的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	李雅娟	清华大学计算机科学与技术系	7	178	6.0	7.0
3	曲扬	清华大学计算机科学与技术系	7	284	7.0	7.0