| 离散事件系统的同步诊断算法 |
| |
| 引用本文： | 王晓宇,欧阳丹彤,赵相福,常晓环.离散事件系统的同步诊断算法[J].计算机科学,2010,37(2):180-182. |
| |
| 作者姓名： | 王晓宇 欧阳丹彤 赵相福 常晓环 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
2. 吉林大学软件学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| |
| 基金项目： | 国家自然科学基金重大项目基金(60496320,60496321);;国家自然科学基金(60773097,60873148);;新世纪优秀人才支持计划项目基金;;吉林省科技发展计划项目基金(20060532,20080107);;欧盟项目基金TH/AsiaLink/010(111084);;吉林省科技发展计划项目(No.20060532)资助 |
| |
| 摘 要： | 针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。
|
| 关 键 词： | 离散事件系统 动态诊断 Petri网 同步 |
| 收稿时间： | 2009/3/31 0:00:00 |
| 修稿时间： | 6/4/2009 12:00:00 AM |
Algorithm of Dynamic Event System's Synchronization Diagnosis |
| |
| WANG Xiao-yu,OUYANG Dan-tong,ZHAO Xiang-fu,CHANG Xiao-huan.Algorithm of Dynamic Event System's Synchronization Diagnosis[J].Computer Science,2010,37(2):180-182. |
| |
| Authors: | WANG Xiao-yu OUYANG Dan-tong ZHAO Xiang-fu CHANG Xiao-huan |
| |
| Affiliation: | 1/a>;3;1/a>;3;1/a>;3;2/a>;3;College of Computer Science and Technology/a>;Jilin University/a>;Changchun 130012/a>;China;College of Software/a>;jilin University/a>;China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education/a>;China |
| |
| Abstract: | Traditional system modeling requires the assumption that the model must be a complete one,according to this disadvantage,this paper proposed a method by synchronization components' model.The method synchronizes incomplete models to a larger one,to solve incomplete diagnosis caused by incomplete models.Optimizing dynamic diagnosis for discrete event systems,and with the idea of distributed system and the nature of Petri Nets,components can make diagnosis in an independent and parallel way,thus improve the ra... |
| |
| Keywords: | Discrete event system Dynamic diagnosis Petri net Synchronization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
