期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 被引量:13
1
作者 林闯 刘婷 曲扬 《计算机学报》 EI CSCD 北大核心 2001年第12期1299-1309,共11页
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有... 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。 展开更多
关键词 点-时段时序逻辑 扩展时段时序逻辑 时间Peter网 线性推理 人工智能
下载PDF
扩展时段时序逻辑的模型、一致性和推理 被引量:7
2
作者 林闯 曲扬 李雅娟 《计算机学报》 EI CSCD 北大核心 2002年第12期1338-1347,共10页
给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序... 给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 .这种推理算法的优势在于利用了 TNP模型的分析技术 ,减小了推理的时间复杂度 ,比单纯利用不等式规则的推理更直观 ,也更简单 ,是一种有效的方法 .最后 ,对扩展时段时序逻辑的 TPN模型进行了扩充 ,增强了其模型和分析的能力 . 展开更多
关键词 扩展时段 时序逻辑 模型 一致性 推理 PETRI网
下载PDF
扩展时段时序逻辑的推理机制 被引量:4
3
作者 刘婷 林闯 刘卫东 《计算机学报》 EI CSCD 北大核心 2002年第6期637-644,共8页
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能... 该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。 展开更多
关键词 扩展时段时序逻辑 时序关系 推理机制 时间PETRI网
下载PDF
扩展线性时段不变式的模型检验研究进展
4
作者 张苗苗 安杰 +1 位作者 沈炜 祖佺 《广州大学学报(自然科学版)》 CAS 2019年第2期10-16,共7页
扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的... 扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果. 展开更多
关键词 时段演算 扩展线性时段不变式 模型检验 实时系统
下载PDF
基于实时自动机的连续时段演算的验证 被引量:2
5
作者 安杰 张苗苗 《软件学报》 EI CSCD 北大核心 2019年第7期1953-1965,共13页
时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑。扩展线性时段不变式是时段演算的重要子集。针对实时自动机,提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法。该方法将扩展线性时段不变式的有界... 时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑。扩展线性时段不变式是时段演算的重要子集。针对实时自动机,提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法。该方法将扩展线性时段不变式的有界模型检验问题转化为量词线性算术公式的正确性问题,从而可以采用量词消去技术进行求解。首先,运用符号化的思想,在实时自动机上利用深度优先搜索找到所有满足观测时长约束的符号化路径片段;然后,将每条符号化路径片段转化为一个量词线性算术公式;最后,利用量词消去工具求解。与已有工作相比,基于实时自动机设计了验证算法。另外,降低了验证复杂度,并且加速了验证过程的实际速度。 展开更多
关键词 时段演算 扩展线性时段不变式 量词线性算术 量词消去
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部