A framework for simulating real-time multi-agent systems

In this paper, we describe an implementation of use in demonstrating the effectiveness of architectures for real-time multi-agent systems. The implementation provides a simulation of a simplified RoboCup Search and Rescue environment, with unexpected events, and includes a simulator for both a real-time operating system and a CPU. We present experimental evidence to demonstrate the benefit of the implementation in the context of a particular hybrid architecture for multi-agent systems that allows certain agents to remain fully autonomous, while others are fully controlled by a coordinating agent. In addition, we discuss the value of the implementation for testing any models for the construction of real-time multi-agent systems and include a comparison to related work.

The case against a positivist philosophy of requirements engineering

Requirements engineering is a field with a heavy practical emphasis and for the most part is quite rightly unconcerned with philosophical reflection. However, there have been exceptions. Philosophical arguments are important because they can be used to powerful effect, facilitating explicit debate on views that may previously have been implicit, and shaping the direction of thought and research within the field. Several cases from both requirements engineering and software engineering have given prominence to the philosophy of positivism. This paper will outline arguments against such a view.

Minimal ordering constraints for some families of variable symmetries

Variable symmetries in a constraint satisfaction problem can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can require a huge number of constraints. This adds an unacceptable overhead to the solving process. Methods exist by which this large set of ordering constraints can be reduced to a much smaller set automatically, but their application is also prohibitively costly. In contrast, this paper takes a bottom-up approach. It examines some commonly-occurring families of groups and derives a minimal set of ordering constraints sufficient to break the symmetry each group describes. These minimal sets are then used as building blocks to generate minimal sets of ordering constraints for groups constructed via direct and imprimitive wreath products. Experimental results confirm the value of minimal sets of ordering constraints, which can now be generated much more cheaply than with previous methods.     

Face detection and recognition of natural human emotion using Markov random fields

This paper presents an integrated system for emotion detection. In this research effort, we have taken into account the fact that emotions are most widely represented with eye and mouth expressions. The proposed system uses color images and it is consisted of three modules. The first module implements skin detection, using Markov random fields models for image segmentation and skin detection. A set of several colored images with human faces have been considered as the training set. A second module is responsible for eye and mouth detection and extraction. The specific module uses the HLV color space of the specified eye and mouth region. The third module detects the emotions pictured in the eyes and mouth, using edge detection and measuring the gradient of eyes’ and mouth’s region figure. The paper provides results from the system application, along with proposals for further research.     

Determination of N-nitrosodimethylamine at part-per-trillion levels in drinking waters and contaminated groundwaters

The carcinogen N-nitrosodimethylamine (NDMA) may be quantitated routinely at ultratrace (ng/L) levels in drinking water or contaminated groundwater. The aqueous sample is passed through a preconditioned Empore C18 filter disk to remove neutral nonpolar species and then extracted continuously overnight with highest purity dichloromethane. The latter is then concentrated to 1 mL, and a large aliquot (up to 200 microL) is loaded onto a dual-stage carbon sorbent trap, after which the solvent is removed with ultrapure helium. The concentrated residues are then injected onto a gas chromatographic column using a short-path thermal desorber. NDMA is selectively detected using a chemiluminescent nitrogen detector (CLND) operated in its nitrosamine-selective mode. The reporting limit for this procedure, evaluated using two independent statistically unbiased protocols, is 2 ng of NDMA/L. A related procedure, employing an automatic sampler instead of the short-path thermal desorber, provides convenient analysis of heavily contaminated samples and exhibits a reporting limit (same protocols cited previously) of 110 ng of NDMA/L. When the two methods are used together in a "two-tiered" protocol, NDMA concentrations spanning 4 orders of magnitude (ng/L to microgram/L levels) may be measured routinely. The low-level procedure employing only the short-path thermal desorber was applied successfully to three sources of drinking water, where NDMA concentrations ranged between 2 and 10 ng of NDMA/L. The two-tiered protocol was applied to a series of contaminated groundwaters whose NMDA concentrations ranged between approximately 10-7000 ng of NDMA/L. The results agreed with those obtained from an independent collaborating laboratory, which used a different analytical procedure.     

Social impacts of road traffic: perceptions and priorities of local residents

The assessment of the social impacts of road traffic is usually based on objective indicators or on expert judgement, without input from the affected communities. This paper considers the perceptions and priorities of local residents about traffic impacts and possible mitigation measures, using as a case study a rural area that will be affected by traffic associated with the construction of a nuclear power station. The study consisted of a qualitative phase followed by a stated preference survey. Econometric models were used to measure the relative priority of different impacts and mitigation measures. The most impactful aspects were noise, vibration and increased car or bus travel times. The most preferred measures were night-time restrictions to HGVs, parking restrictions and safety measures for pedestrians and cyclists. There were significant differences in preferences according to residence location, gender, employment status and household composition. The results provide information about aspects that tend to be aggregated in existing assessment frameworks, separating the reduction in the utility of some activities (like walking and driving) and the suppression of those activities.     

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite‐based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. Copyright © 2014 John Wiley & Sons, Ltd.     

Predicting cation ordering in MgAl2O4 using genetic algorithms and density functional theory

Genetic algorithms (GAs) together with classical pair potentials and density functional theory (DFT) are used to investigate cation order in MgAl₂O₄ (Spinel). To efficiently locate the global minimum/minima on the system potential energy surface, corresponding to the ordered and fully equilibrated low-temperature phase, local structural optimizations are essential. Such energy minimizations are expensive at the DFT level, but a comparison of the distribution of the energy minima from DFT and popular classical pair potentials allows one to rapidly tune the GA parameters. We show that GAs are able to find, not only the global minimum on the potential energy, but also other low-energy cation configurations representing possible frozen-in disordered or metastable phases after quenching. The nature of these low-energy configurations can help to interpret the extent of kinetic trapping which hampers the comparison between different experimental studies.