Nonautonomous elementary net systems and their application to programmable logic control

In this paper, a novel approach to Petri net modeling of programmable logic controller (PLC) programs is presented. The modeling approach is a simple extension of elementary net systems, and a graphical design tool that supports the use of this modeling approach is provided. A key characteristic of the model is that the binary sensory inputs and binary actuation outputs of the PLC are explicitly represented. This leads to the following two improvements: outputs are unambiguous, and interaction patterns are more clearly represented in the graphical form. The use of this modeling approach produces programs that are simple, lightweight, and portable. The approach is demonstrated by applying it to the development of a control module for a MonTech Positioning Station. © 2008 IEEE.

Accelerator-induced transients in Accelerator Driven Subcritical Reactors

Achieving higher particles energies and beam powers have long been the main focus of research in accelerator technology. Since Accelerator Driven Subcritical Reactors (ADSRs) have become the subject of increasing interest, accelerator reliability and modes of operation have become important matters that require further research and development in order to accommodate the engineering and economic needs of ADSRs. This paper focuses on neutronic and thermo-mechanical analyses of accelerator-induced transients in an ADSR. Such transients fall into three main categories: beam interruptions (trips), pulsed-beam operation, and beam overpower. The concept of a multiple-target ADSR is shown to increase system reliability and to mitigate the negative effects of beam interruptions, such as thermal cyclic fatigue in the fuel cladding and the huge financial cost of total power loss. This work also demonstrates the effectiveness of the temperature-to-reactivity feedback mechanisms in ADSRs. A comparison of shutdown mechanisms using control rods and beam cut-off highlights the intrinsic safety features of ADSRs. It is evident that the presence of control rods is crucial in an industrial-scale ADSR. This paper also proposes a method to monitor core reactivity online using the repetitive pattern of beam current fluctuations in a pulsed-beam operation mode. Results were produced using PTS-ADS, a computer code developed specifically to study the dynamic neutronic and thermal responses to beam transients in subcritical reactor systems. © 2012 Elsevier B.V.