基于模糊时间知识推理的实时系统冲突研究

摘要：

定义一类模糊时间Petri网用于模拟受时间约束的实时系统行为,通过对模糊时间区间的知识推理,研究实时系统中带时间因素的冲突间题和时间-空间的冲撞问题,将时间约束和冲撞发生的概率用于冲突消解.实例分析表明,相对于已有冲突分析和消解方法,该方法同时考虑了带有不确定性时间的系统冲突和冲撞行为,可以更好地模拟和分析现实中的实时系统.

关键词：模糊时间Petri网、冲突检测、冲突消解、实时系统

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点实验室开放课题基金资助项目RCS2009K003;湖南省高等学校科学研究基金资助项目09C1257

在线出版日期：2011-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：183-185,188