The Agent-Rule-Class Framework for Multi-Agent Systems

Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from the principles and tools designed for agent systems. The Agent-Rule-Class (ARC) framework is proposed as an approach that builds agents upon traditional OO system components and makes use of business rules to dictate agent behaviour with the aid of OO components. By modelling agent knowledge in business rules, the proposed paradigm provides a straightforward means to develop agent-oriented systems based on the existing object-oriented systems and offers features that are otherwise difficult to achieve in the original OO systems. The main outcome of using ARC is the achievement of adaptivity. The framework is supported by a tool that ensures agents implement up-to-date requirements from business people, reflecting desired current behaviour, without the need for frequent system rebuilds. ARC is illustrated with a rail track example.

An efficient unbounded lock-free queue for multi-core systems

The use of efficient synchronization mechanisms is crucial for implementing fine grained parallel programs on modern shared cache multi-core architectures. In this paper we study this problem by considering Single-Producer/Single- Consumer (SPSC) coordination using unbounded queues. A novel unbounded SPSC algorithm capable of reducing the row synchronization latency and speeding up Producer-Consumer coordination is presented. The algorithm has been extensively tested on a shared-cache multi-core platform and a sketch proof of correctness is presented. The queues proposed have been used as basic building blocks to implement the FastFlow parallel framework, which has been demonstrated to offer very good performance for fine-grain parallel applications. © 2012 Springer-Verlag.

Modified Thomson spectrometer design for high energy, multi-species ion sources

A modification to the standard Thomson parabola spectrometer is discussed, which is designed to measure high energy (tens of MeV/nucleon), broad bandwidth spectra of multi-species ions accelerated by intense laser plasma interactions. It is proposed to implement a pair of extended, trapezoidal shaped electric plates, which will not only resolve ion traces at high energies, but will also retain the lower energy part of the spectrum. While a longer (along the axis of the undeflected ion beam direction) electric plate design provides effective charge state separation at the high energy end of the spectrum, the proposed new trapezoidal shape will enable the low energy ions to reach the detector, which would have been clipped or blocked by simply extending the rectangular plates to enhance the electrostatic deflection.

Characterisation of deuterium spectra from laser driven multi-species sources by employing differentially filtered image plate detectors in Thomson spectrometers

A novel method for characterising the full spectrum of deuteron ions emitted by laser driven multi-species ion sources is discussed. The procedure is based on using differential filtering over the detector of a Thompson parabola ion spectrometer, which enables discrimination of deuterium ions from heavier ion species with the same charge-to-mass ratio (such as C^{6 +}, O^{8 +}, etc.). Commonly used Fuji Image plates were used as detectors in the spectrometer, whose absolute response to deuterium ions over a wide range of energies was calibrated by using slotted CR-39 nuclear track detectors. A typical deuterium ion spectrum diagnosed in a recent experimental campaign is presented, which was produced from a thin deuterated plastic foil target irradiated by a high power laser.

Electron-scale dissipative electrostatic solitons in multi-species plasmas

The linear and nonlinear properties of small-amplitude electron-acoustic solitary waves are investigated via the fluid dynamical approach. A three-component plasma is considered, composed of hot electrons, cold electrons, and ions (considered stationary at the scale of interest). A dissipative (wave damping) effect is assumed due to electron-neutral collisions. The background (hot) electrons are characterized by an energetic (excessively superthermal) population and are thus modeled via a κ-type nonthermal distribution. The linear characteristics of electron-acoustic excitations are discussed, for different values of the plasma parameters (superthermality index κ and cold versus hot electron population concentration β). Large wavelengths (beyond a threshold value) are shown to be overdamped. The reductive perturbation technique is used to derive a dissipative Korteweg de-Vries (KdV) equation for small-amplitude electrostatic potential disturbances. These are expressed by exact solutions in the form of dissipative solitary waves, whose dynamics is investigated analytically and numerically. Our results should be useful in elucidating the behavior of space and experimental plasmas characterized by a coexistence of electron populations at different temperatures, where electron-neutral collisions are of relevance.

High resolution Thomson Parabola Spectrometer for full spectral capture of multi-species ion beams

We report on the experimental characterisation of laser-driven ion beams using a Thomson Parabola Spectrometer (TPS) equipped with trapezoidally shaped electric plates, proposed by Gwynne et al. [Rev. Sci. Instrum. 85, 033304 (2014)]. While a pair of extended (30 cm long) electric plates was able to produce a significant increase in the separation between neighbouring ion species at high energies, deploying a trapezoidal design circumvented the spectral clipping at the low energy end of the ion spectra. The shape of the electric plate was chosen carefully considering, for the given spectrometer configuration, the range of detectable ion energies and species. Analytical tracing of the ion parabolas matches closely with the experimental data, which suggests a minimal effect of fringe fields on the escaping ions close to the wedged edge of the electrode. The analytical formulae were derived considering the relativistic correction required for the high energy ions to be characterised using such spectrometer.

Recent developments in the Thomson Parabola Spectrometer diagnostic for laser-driven multi-species ion sources

Ongoing developments in laser-driven ion acceleration warrant appropriate modifications to the standard Thomson Parabola Spectrometer (TPS) arrangement in order to match the diagnostic requirements associated to the particular and distinctive properties of laser-accelerated beams. Here we present an overview of recent developments by our group of the TPS diagnostic aimed to enhance the capability of diagnosing multi-species high-energy ion beams. In order to facilitate discrimination between ions with same Z / A , a recursive differential filtering technique was implemented at the TPS detector in order to allow only one of the overlapping ion species to reach the detector, across the entire energy range detectable by the TPS. In order to mitigate the issue of overlapping ion traces towards the higher energy part of the spectrum, an extended, trapezoidal electric plates design was envisaged, followed by its experimental demonstration. The design allows achieving high energy-resolution at high energies without sacrificing the lower energy part of the spectrum. Finally, a novel multi-pinhole TPS design is discussed, that would allow angularly resolved, complete spectral characterization of the high-energy, multi-species ion beams.

A New Technique for Studying Vapour–liquid Equilibria of Multi-Component Systems

A Fourier transform infrared gas-phase method is described herein and capable of deriving the vapour pressure of each pure component of a poorly volatile mixture and determining the relative vapour phase composition for each system. The performance of the present method has been validated using two standards (naphthalene and ferrocene), and a Raoult’s plot surface of a ternary system is reported as proof-of-principle. This technique is ideal for studying solutions comprising two, three, or more organic compounds dissolved in ionic liquids as they have no measurable vapour pressures.

Feasibility of online collaborative voltage stability control of power systems

This paper presents the results of feasibility study of a novel concept of power system on-line collaborative voltage stability control. The proposal of the on-line collaboration between power system controllers is to enhance their overall performance and efficiency to cope with the increasing operational uncertainty of modern power systems. In the paper, the framework of proposed on-line collaborative voltage stability control is firstly presented, which is based on the deployment of multi-agent systems and real-time communication for on-line collaborative control. Then two of the most important issues in implementing the proposed on-line collaborative voltage stability control are addressed: (1) Error-tolerant communication protocol for fast information exchange among multiple intelligent agents; (2) Deployment of multi-agent systems by using graph theory to implement power system post-emergency control. In the paper, the proposed on-line collaborative voltage stability control is tested in the example 10-machine 39-node New England power system. Results of feasibility study from simulation are given considering the low-probability power system cascading faults.

Communicating open systems

Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple interacting software agents. In this paper, we argue that open multi-agent systems can be effectively designed and implemented as electronic institutions, for which we provide a comprehensive computational model. More specifically, the paper provides an operational semantics for electronic institutions, specifying the essential data structures, the state representation and the key operations necessary to implement them. We specify the agent workflow structure that is the core component of such electronic institutions and particular instantiations of knowledge representation languages that support the institutional model. In so doing, we provide the first formal account of the electronic institution concept in a rigorous and unambiguous way.