| 基于模糊时间知识推理的实时系统冲突研究 |
| |
| 引用本文： | 田钊,余维,叶阳东.基于模糊时间知识推理的实时系统冲突研究[J].计算机工程,2011,37(14):183-185. |
| |
| 作者姓名： | 田钊 余维 叶阳东 |
| |
| 作者单位： | 1. 郑州大学信息工程学院,郑州,450052;北京交通大学轨道交通控制与安全国家重点实验室,北京,100044
2. 郑州大学信息工程学院,郑州,450052 |
| |
| 基金项目： | 国家重点实验室开放课题基金资助项目，湖南省高等学校科学研究基金资助项目 |
| |
| 摘 要： | 定义一类模糊时间Petri网用于模拟受时间约束的实时系统行为，通过对模糊时间区间的知识推理，研究实时系统中带时间因素的冲突问题和时间-空间的冲撞问题，将时间约束和冲撞发生的概率用于冲突消解。实例分析表明，相对于已有冲突分析和消解方法，该方法同时考虑了带有不确定性时间的系统冲突和冲撞行为，可以更好地模拟和分析现实中的实时系统。
|
| 关 键 词： | 模糊时间Petri网 冲突检测 冲突消解 实时系统 |
| 收稿时间： | 2011-02-23 |
Research of Real-time System Conflict Based on Fuzzy Time Knowledge Reasoning |
| |
| TIAN Zhao,SHE Wei,YE Yang-dong.Research of Real-time System Conflict Based on Fuzzy Time Knowledge Reasoning[J].Computer Engineering,2011,37(14):183-185. |
| |
| Authors: | TIAN Zhao SHE Wei YE Yang-dong |
| |
| Affiliation: | 1(1.School of Information Engineering,Zhengzhou University,Zhengzhou 450052,China;2.State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Abstract: | This paper defines a kind of Fuzzy Time Petri Nets（FTPN） to simulate the behavior of real-time system limited by time. It studies the conflict with time attribute and space-time collision in real-time system and utilizes time constraints property and the collision probability to resolve the conflict through knowledge reasoning of fuzzy time interval. Compared with existing methods of conflict analysis and resolution, it takes into account the uncertainty of the time with the system of conflict and contact behavior, to better simulate and analyze real-time system in reality. |
| |
| Keywords: | Fuzzy Time Petri Nets（FTPN） conflict detection conflict resolution real-time system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
