| 基于DD-RCM和时序Petri网的电厂故障管理系统优化 |
| |
| 引用本文： | 陈丽娟,杨欣,夏安邦. 基于DD-RCM和时序Petri网的电厂故障管理系统优化[J]. 东南大学学报, 2006, 22(4): 519-522 |
| |
| 作者姓名： | 陈丽娟 杨欣 夏安邦 |
| |
| 作者单位： | 东南大学电气工程学院 南京210096(陈丽娟，夏安邦)，东南大学自动化学院 南京210096(杨欣) |
| |
| 摘 要： | 基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.
|
| 关 键 词： | DD-RCM 时序Petri网 关联矩阵 简化规则 |
| 收稿时间： | 2006-03-09 |
Optimization of fault management system in power plants based on DD-RCM and TPN |
| |
| Chen Lijuan,Yang Xin,Xia Anbang. Optimization of fault management system in power plants based on DD-RCM and TPN[J]. Journal of Southeast University(English Edition), 2006, 22(4): 519-522 |
| |
| Authors: | Chen Lijuan Yang Xin Xia Anbang |
| |
| Affiliation: | 1 School of Electrical Engineering, Southeast University, Nanjing 210096, China;2 School of Automation, Southeast University, Nanjing 210096, China |
| |
| Abstract: | A method of optimizing the fault management system in power plants based on DD-RCM (result-chain based modeling for digital developing) and TPN (temporal Petri net) is proposed.First,the model of the fault management system was set using DD-RCM.Then,it was transformed to the temporal Petri net model by corresponding rules.Secondly,relationships among all the activities,such as choice,conflict,synchronization and concurrency,were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix.Thirdly, the Petri net model was reduced by combining reduction rules and conflict,synchronization relationships to optimize the fault management system in power plants.Finally,the functionality of the reduced net was proved by the temporal logic of the temporal Petri net. |
| |
| Keywords: | result-chain based modeling for digital developing (DD-RCM) temporal Petri net incidence matrix reduction rules |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
