Abstract
In this paper the requirements of Neurophysiology and Neurotraumatology monitoring are analyzed. As a result a set of designated systems were developed by the authors a short description of which is given in the paper. Finally the future perspectives and problems to be faced are briefly described.

Abstract

Abstract
The provision of real time services through a Packet Switched Network, requires the adoption of end-to-end synchronization methods. Several of these methods, are compared and a specific hardware solution is discussed. Results obtained through a specially designed Simulation Programme are included, for several network time delay jitter distributions and synchronization methods. These results are used to evaluate systems and design parameters.

Abstract

Abstract
Accidents at Flixborough, Seveso, Bhopal, Three Mile Island, Windscale and Chernobyl have led to increasing concern over the safety and reliability of control systems. Human factors specialists have responded to this concern and have proposed a number of techniques which support the operator of such applications. Unfortunately, this work has not been accompanied by the provision of adequate tools which might enable a designer to carry it beyond the "laboratory bench" and on to the "shop floor". The following paper exploits formal, mathematically based specification techniques to provide such a tool. Previous weaknesses of abstract specifications are identified and resolved. In particular, they have failed to capture the temporal properties which human factors specialists identify as crucial to the success or failure of interactive control systems. They also provide the non-formalist with an extremely poor impression of what it would be to like to interact with potential implementations. Temporal logic avoids these deficiencies. It can make explicit the sequential information which may be implicit within a design. Executable subsets of this formalization support prototyping and this provides a means of assessing the qualitative "look and feel" of potential implementations. A variety of presentation strategies, including structural decomposition and dialogue cycles, have been specified and incorporated directly into prototypes using temporal logic. Prelog, a tool for the Presentation and REndering of LOGic specifications, has been developed and its implementation is described. © 1992.

Abstract
A new type of bus for load flow analysis is proposed in this paper; this type of bus, named PX, is particularly suited for modelling elements like static compensators or asynchronous generators. The inclusion of this PX bus in the Fast Decoupled Load Flow method is presented and discussed. Numerical results are reported when applying this approach to solve load flow problems in two standard systems.