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.     

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.     

Preface

Preface

Preface     

Attribute selection with fuzzy decision reducts

Rough set theory provides a methodology for data analysis based on the approximation of concepts in information systems. It revolves around the notion of discernibility: the ability to distinguish between objects, based on their attribute values. It allows to infer data dependencies that are useful in the fields of feature selection and decision model construction. In many cases, however, it is more natural, and more effective, to consider a gradual notion of discernibility. Therefore, within the context of fuzzy rough set theory, we present a generalization of the classical rough set framework for data-based attribute selection and reduction using fuzzy tolerance relations. The paper unifies existing work in this direction, and introduces the concept of fuzzy decision reducts, dependent on an increasing attribute subset measure. Experimental results demonstrate the potential of fuzzy decision reducts to discover shorter attribute subsets, leading to decision models with a better coverage and with comparable, or even higher accuracy.