目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步...目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.展开更多
A method of optimizing the fault management system in power plants based on DD-RCM （resultchain based modeling for digital developing） and TPN （temporal Petri net） is proposed. First, the model of the fault manage...A method of optimizing the fault management system in power plants based on DD-RCM （resultchain 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.展开更多
Adaptive Type-2 fuzzy control possesses control performance better than the traditional adaptive fuzzy control.However,heavy computation burden obviously blocks the utilization of adaptive Type-2 fuzzy control in indu...Adaptive Type-2 fuzzy control possesses control performance better than the traditional adaptive fuzzy control.However,heavy computation burden obviously blocks the utilization of adaptive Type-2 fuzzy control in industrial application.By adopting novel piecewise fuzzy sets and center-average type-reduction,a simplified adaptive interval Type-2 fuzzy controller involving less computation is developed for practical industrial application.In the proposed controller,the inputs are divided into several subintervals and then two piecewise fuzzy sets are used for each subinterval.With the manner of piecewise fuzzy sets and a novel fuzzy rules inference engine,only part of fuzzy rules are simultaneously activated in one control loop,which exponentially decreases the computation and makes the controller appropriate in industrial application.The simulation and experimental study,involving the popular magnetic levitation platform,shows the predicted system with theoretical stability and good tracking performance.The analysis indicates that there is far less computation of the proposed controller than the traditional adaptive interval Type-2 fuzzy controller,especially when the number of fuzzy rules and fuzzy sets is large,and the controller still maintains good control performance as the traditional one.展开更多
文摘目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.
文摘A method of optimizing the fault management system in power plants based on DD-RCM （resultchain 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.
基金Project(51005253) supported by the National Natural Science Foundation of ChinaProject(2012ZX02702006-003) supported by the National Science and Technology Major Program of ChinaProject(JMTZ201101) supported by the Key Laboratory for Precision & Non-traditional Machining of Ministry of Education,Dalian University of Technology,China
文摘Adaptive Type-2 fuzzy control possesses control performance better than the traditional adaptive fuzzy control.However,heavy computation burden obviously blocks the utilization of adaptive Type-2 fuzzy control in industrial application.By adopting novel piecewise fuzzy sets and center-average type-reduction,a simplified adaptive interval Type-2 fuzzy controller involving less computation is developed for practical industrial application.In the proposed controller,the inputs are divided into several subintervals and then two piecewise fuzzy sets are used for each subinterval.With the manner of piecewise fuzzy sets and a novel fuzzy rules inference engine,only part of fuzzy rules are simultaneously activated in one control loop,which exponentially decreases the computation and makes the controller appropriate in industrial application.The simulation and experimental study,involving the popular magnetic levitation platform,shows the predicted system with theoretical stability and good tracking performance.The analysis indicates that there is far less computation of the proposed controller than the traditional adaptive interval Type-2 fuzzy controller,especially when the number of fuzzy rules and fuzzy sets is large,and the controller still maintains good control performance as the traditional one.
