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.

Emergency department crowding: prioritising quantified crowding measures using a Delphi study.

AimsEmergency department (ED) crowding has been associated with a number of negative health outcomes, including unnecessary deaths, increased waiting times and a decrease in care quality. Despite the seriousness of this issue, there is little agreement on appropriate crowding measures to assess crowding effects on ED operations. The objective of this study was to prioritise a list of quantified crowding measures that would assess the current state of a department.MethodsA three round Delphi study was conducted via email and an Internet based survey tool. The panel consisted of 40 professionals who had exposure to and expertise in crowding. Participants submitted quantified crowding measures which, through three rounds, were evaluated and ranked to assess participant agreement for inclusion.ResultsThe panel identified 27 measures of which eight (29.6%) reached consensus at the end of the study. These measures comprised: (1) ability of ambulances to offload; (2) patients who leave without being seen or treated; (3) time until triage; (4) ED occupancy rate; (5) patients' total length of stay in the ED; (6) time to see a physician; (7) ED boarding time; and (8) number of patients boarding in the ED.ConclusionsThis study resulted in the identification of eight quantified crowding measures, which present a comprehensive view of how crowding is affecting ED operations, and highlighted areas of concern. These quantified measures have the potential to make a considerable contribution to decision making by ED management and to provide a basis for learning across different departments.

NEMS based logic and memory circuits

Carbon nanotube (CNT) based nano electromechanical system (NEMS) were developed to apply to the logic and the memory circuit. The electrical 'on-off' behavior induced by the mechanical movements of CNTs can promise low power consumption in circuit with very low level leakage current. Additionally, the unique vertical structure of nanotubes allows high integration density for devices. © 2012 IEEE.

Efficient decoy-state quantum key distribution with quantified security

We analyse the finite-size security of the efficient Bennett-Brassard 1984 protocol implemented with decoy states and apply the results to a gigahertz-clocked quantum key distribution system. Despite the enhanced security level, the obtained secure key rates are the highest reported so far at all fibre distances.