A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty

Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty. © 2009 Springer Berlin Heidelberg.

Thermalized polarization dynamics of a discrete optical-waveguide system with four-wave mixing

Statistical mechanics of two coupled vector fields is studied in the tight-binding model that describes propagation of polarized light in discrete waveguides in the presence of the four-wave mixing. The energy and power conservation laws enable the formulation of the equilibrium properties of the polarization state in terms of the Gibbs measure with positive temperature. The transition line T=∞ is established beyond which the discrete vector solitons are created. Also in the limit of the large nonlinearity an analytical expression for the distribution of Stokes parameters is obtained, which is found to be dependent only on the statistical properties of the initial polarization state and not on the strength of nonlinearity. The evolution of the system to the final equilibrium state is shown to pass through the intermediate stage when the energy exchange between the waveguides is still negligible. The distribution of the Stokes parameters in this regime has a complex multimodal structure strongly dependent on the nonlinear coupling coefficients and the initial conditions.

A type system with usage aspects

Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).

Clinical decision support system for point of care use: ontology driven design and software implementation

OBJECTIVES: The objective of this research was to design a clinical decision support system (CDSS) that supports heterogeneous clinical decision problems and runs on multiple computing platforms. Meeting this objective required a novel design to create an extendable and easy to maintain clinical CDSS for point of care support. The proposed solution was evaluated in a proof of concept implementation. METHODS: Based on our earlier research with the design of a mobile CDSS for emergency triage we used ontology-driven design to represent essential components of a CDSS. Models of clinical decision problems were derived from the ontology and they were processed into executable applications during runtime. This allowed scaling applications' functionality to the capabilities of computing platforms. A prototype of the system was implemented using the extended client-server architecture and Web services to distribute the functions of the system and to make it operational in limited connectivity conditions. RESULTS: The proposed design provided a common framework that facilitated development of diversified clinical applications running seamlessly on a variety of computing platforms. It was prototyped for two clinical decision problems and settings (triage of acute pain in the emergency department and postoperative management of radical prostatectomy on the hospital ward) and implemented on two computing platforms-desktop and handheld computers. CONCLUSIONS: The requirement of the CDSS heterogeneity was satisfied with ontology-driven design. Processing of application models described with the help of ontological models allowed having a complex system running on multiple computing platforms with different capabilities. Finally, separation of models and runtime components contributed to improved extensibility and maintainability of the system.

Efficiency and the trading system:The case of SETSmm

This paper studies the impact that a change from a dealer system to a market-maker supported auction system has on market quality. We study the impact that the introduction of SETSmm at the London Stock Exchange had on firm value, price efficiency and liquidity. We discover a small SETSmm return premium associated with the announcement that securities are to migrate to the new trading system. Moreover, securities that migrate to SETSmm are characterized by improvements to liquidity and pricing efficiency. We find that these changes are related to the return premium.

Decision support and the criminal justice system:an assessment of the potential for utilising technological decision support in undertaking the prosecutorial decision

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Two-dimensional viscoelastic discrete triangular system with negative-stiffness components

Potential applications of high-damping and high-stiffness composites have motivated extensive research on the effects of negative-stiffness inclusions on the overall properties of composites. Recent theoretical advances have been based on the Hashin-Shtrikman composite models, one-dimensional discrete viscoelastic systems and a two-dimensional nested triangular viscoelastic network. In this paper, we further analyze the two-dimensional triangular structure containing pre-selected negative-stiffness components to study its underlying deformation mechanisms and stability. Major new findings are structure-deformation evolution with respect to the magnitude of negative stiffness under shear loading and the phenomena related to dissipation-induced destabilization and inertia-induced stabilization, according to Lyapunov stability analysis. The evolution shows strong correlations between stiffness anomalies and deformation modes. Our stability results reveal that stable damping peaks, i.e. stably extreme effective damping properties, are achievable under hydrostatic loading when the inertia is greater than a critical value. Moreover, destabilization induced by elemental damping is observed with the critical inertia. Regardless of elemental damping, when the inertia is less than the critical value, a weaker system instability is identified.

Broadly tunable quantum-dot based ultra-short pulse laser system with different diffraction grating orders

A broadly tunable quantum-dot based ultra-short pulse master oscillator power amplifier with different diffraction grating orders as an external-cavity resonance feedback is studied. A broader tuning range, narrower optical spectra as well as higher peak power spectal density (maximun of 1.37 W/nm) from the second-order diffraction beam are achieved compared to those from the first-order diffraction beam in spite of slightly broader pulse duration from the secondorder diffraction. © The Institution of Engineering and Technology 2013.

Investigating the human mirror neuron system by means of cortical synchronization during the imitation of biological movements

The human mirror neuron system (MNS) has recently been a major topic of research in cognitive neuroscience. As a very basic reflection of the MNS, human observers are faster at imitating a biological as compared with a non-biological movement. However, it is unclear which cortical areas and their interactions (synchronization) are responsible for this behavioural advantage. We investigated the time course of long-range synchronization within cortical networks during an imitation task in 10 healthy participants by means of whole-head magnetoencephalography (MEG). Extending previous work, we conclude that left ventrolateral premotor, bilateral temporal and parietal areas mediate the observed behavioural advantage of biological movements in close interaction with the basal ganglia and other motor areas (cerebellum, sensorimotor cortex). Besides left ventrolateral premotor cortex, we identified the right temporal pole and the posterior parietal cortex as important junctions for the integration of information from different sources in imitation tasks that are controlled for movement (biological vs. non-biological) and that involve a certain amount of spatial orienting of attention. Finally, we also found the basal ganglia to participate at an early stage in the processing of biological movement, possibly by selecting suitable motor programs that match the stimulus.

Technological innovation in electronic inventory solutions:an analysis of patent data

The purpose of this paper is to investigate the technological development of electronic inventory solutions from perspective of patent analysis. We first applied the international patent classification to classify the top categories of data processing technologies and their corresponding top patenting countries. Then we identified the core technologies by the calculation of patent citation strength and standard deviation criterion for each patent. To eliminate those core innovations having no reference relationships with the other core patents, relevance strengths between core technologies were evaluated also. Our findings provide market intelligence not only for the research and development community, but for the decision making of advanced inventory solutions.

A desalination system with efficiency approaching the theoretical limits

The objective of this project is to design a new desalination system with energy efficiency approaching the theoretical thermodynamic limit—even at high recovery ratio. The system uses reverse osmosis (RO) and a batch principle of operation to overcome the problem of concentration factor which prevents continuous-flow RO systems from ever reaching this limit and thus achieving the minimum possible specific energy consumption, SEC. Batch operation comprises a cycle in three phases: pressurisation, purge, and refill. Energy recovery is inherent to the design. Unlike in closed-circuit desalination (CCD), no feedwater is added to the pressure circuit during the pressurisation phase. The batch configuration is compared to standard configurations such as continuous single-stage RO (with energy recovery) and CCD. Theoretical analysis has shown that the new system is able to use 33% less energy than CCD at a recovery ratio of 80%. A prototype has been constructed using readily available parts and tested with feedwater salinities and recovery ratios ranging from 2,000 to 5,000 ppm and 17.2–70.6%, respectively. Results compare very well against the standard configurations. For example, with feedwater containing 5,000 ppm NaCl and recovery ratio of 69%, a hydraulic SEC of 0.31 kWh/m3 was obtained—better than the minimum theoretically possible with a single-stage continuous flow system with energy recovery device.

Large volume metrology process model:measurability analysis with integration of metrology classification model and feature-based selection model

Aircraft manufacturing industries are looking for solutions in order to increase their productivity. One of the solutions is to apply the metrology systems during the production and assembly processes. Metrology Process Model (MPM) (Maropoulos et al, 2007) has been introduced which emphasises metrology applications with assembly planning, manufacturing processes and product designing. Measurability analysis is part of the MPM and the aim of this analysis is to check the feasibility for measuring the designed large scale components. Measurability Analysis has been integrated in order to provide an efficient matching system. Metrology database is structured by developing the Metrology Classification Model. Furthermore, the feature-based selection model is also explained. By combining two classification models, a novel approach and selection processes for integrated measurability analysis system (MAS) are introduced and such integrated MAS could provide much more meaningful matching results for the operators. © Springer-Verlag Berlin Heidelberg 2010.