An extended framework for evidential reasoning systems

Based on the Dempster-Shafer (D-S) theory of evidence and G. Yen's (1989), extension of the theory, the authors propose approaches to representing heuristic knowledge by evidential mapping and pooling the mass distribution in a complex frame by partitioning that frame using Shafter's partition technique. The authors have generalized Yen's model from Bayesian probability theory to the D-S theory of evidence. Based on such a generalized model, an extended framework for evidential reasoning systems is briefly specified in which a semi-graph method is used to describe the heuristic knowledge. The advantage of such a method is that it can avoid the complexity of graphs without losing the explicitness of graphs. The extended framework can be widely used to build expert systems

Entanglement control in hybrid optomechanical systems

We demonstrate the control of entanglement in a hybrid optomechanical system comprising an optical cavity with a mechanical end-mirror and an intracavity Bose-Einstein condensate. Pulsed laser light (tuned within realistic experimental conditions) is shown to induce an almost sixfold increase of the atom-mirror entanglement and to be responsible for interesting dynamics between such mesoscopic systems. In order to assess the advantages offered by the proposed control technique, we compare the time-dependent dynamics of the system under constant pumping with the evolution due to the modulated laser light.

Evaluation of a substructured soft Real-time Hybrid Test for performing Seismic analysis of complex structural systems

The hybrid test method is a relatively recently developed dynamic testing technique that uses numerical modelling combined with simultaneous physical testing. The concept of substructuring allows the critical or highly nonlinear part of the structure that is difficult to numerically model with accuracy to be physically tested whilst the remainder of the structure, that has a more predictable response, is numerically modelled. In this paper, a substructured soft-real time hybrid test is evaluated as an accurate means of performing seismic tests of complex structures. The structure analysed is a three-storey, two-by-one bay concentrically braced frame (CBF) steel structure subjected to seismic excitation. A ground storey braced frame substructure whose response is critical to the overall response of the structure is tested, whilst the remainder of the structure is numerically modelled. OpenSees is used for numerical modelling and OpenFresco is used for the communication between the test equipment and numerical model. A novel approach using OpenFresco to define the complex numerical substructure of an X-braced frame within a hybrid test is also presented. The results of the hybrid tests are compared to purely numerical models using OpenSees and a simulated test using a combination of OpenSees and OpenFresco. The comparative results indicate that the test method provides an accurate and cost effective procedure for performing
full scale seismic tests of complex structural systems.

Understanding how HR systems work: the role of HR philosophy and HR processes

Despite the proliferation of studies of HR systems, there are still substantial gaps in our understanding
of how such systems actually work. This article, by focusing on the neglected areas of HR philosophy
and HR processes in the composition of HR systems, and by using a qualitative, employee-centred
approach in the collection and analysis of data, provides new insights into the working of HR systems.
Using data from interviews with 56 knowledge workers employed in the information and
communications technology sector in Ireland and the UK, we explore employee-level reactions to two
different types of HR systems. We highlight the various ways in which HR processes interact with HR
practices and the different outcomes that may result, and we identify the key role of HR philosophy in
HR system operation.

Intrusion Detection System for Network Security in Synchrophasor Systems

Synchrophasor systems will play a crucial role in next generation Smart Grid monitoring, protection and control. However these systems also introduce a multitude of potential vulnerabilities from malicious and inadvertent attacks, which may render erroneous operation or severe damage. This paper proposes a Synchrophasor Specific Intrusion Detection System (SSIDS) for malicious cyber attack and unintended misuse. The SSIDS comprises a heterogeneous whitelist and behavior-based approach to detect known attack types and unknown and so-called ‘zero-day’ vulnerabilities and attacks. The paper describes reconnaissance, Man-in-the-Middle (MITM) and Denial-of-Service (DoS) attack types executed against a practical synchrophasor system which are used to validate the real-time effectiveness of the proposed SSIDS cyber detection method.

Enhancing non-classicality in mechanical systems

We study the effects of post-selection measurements on both the non-classicality of the state of a mechanical oscillator and the entanglement between two mechanical systems that are part of a distributed optomechanical network. We address the cases of both Gaussian and non-Gaussian measurements, identifying in which cases simple photon counting and Geiger-like measurements are effective in distilling a strongly non-classical mechanical state and enhancing the purely mechanical entanglement between two elements of the network.

Entanglement Replication in Driven Dissipative Many-Body systems

We study the dissipative dynamics of two independent arrays of many-body systems, locally driven by a common entangled field. We showthat in the steady state the entanglement of the driving field is reproduced in an arbitrarily large series of inter-array entangled pairs over all distances. Local nonclassical driving thus realizes a scale-free entanglement replication and long-distance entanglement distribution mechanism that has immediate bearing on the implementation of quantum communication networks. 

Driven optomechanical systems for mechanical entanglement distribution

We consider the distribution of entanglement from a multimode optical driving source to a network of remote and independent optomechanical systems. By focusing on the tripartite case, we analyse the effects that the features of the optical input states have on the degree and sharing structure of the distributed, fully mechanical, entanglement. This study, which is conducted looking at the mechanical steady state, highlights the structure of the entanglement distributed among the nodes and determines the relative efficiency between bipartite and tripartite entanglement transfer. We discuss a few open points, some of which are directed towards the bypassing of such limitations.

Mapping worlds? Excavating cartographic encounters in Plantation Ireland through GIS

This paper uses the analytical potential of Geographical Information Systems (GIS) to explore processes of map production and circulation in early-seventeenth century Ireland. The paper focuses on a group of historic maps, attributed to Josias Bodley, which were commissioned in 1609 by the English Crown to assist in the Plantation of Ulster. Through GIS and digitizing map-features, and in particular by quantifying map-distortion, it is possible to examine how these maps were made, and by whom. Statistical analyses of spatial data derived from the GIS are shown to provide a methodological basis for ‘excavating’ historical geographies of Plantation map-making. These techniques, when combined with contemporary written sources, reveal further insight on the ‘cartographic encounters’ taking place between surveyors and map-makers working in Ireland in the early 1600s, opening up the ‘mapping worlds’ which linked Ireland and Britain through the networks and embodied practices of Bodley and his map-makers.

Managing adaptivity in parallel systems

The management of non-functional features (performance, security, power management, etc.) is traditionally a difficult, error prone task for programmers of parallel applications. To take care of these non-functional features, autonomic managers running policies represented as rules using sensors and actuators to monitor and transform a running parallel application may be used. We discuss an approach aimed at providing formal tool support to the integration of independently developed autonomic managers taking care of different non-functional concerns within the same parallel application. Our approach builds on the Behavioural Skeleton experience (autonomic management of non-functional features in structured parallel applications) and on previous results on conflict detection and resolution in rule-based systems. © 2013 Springer-Verlag Berlin Heidelberg.

The ParaPhrase Project:Parallel patterns for adaptive heterogeneous multicore systems

This paper describes the ParaPhrase project, a new 3-year targeted research project funded under EU Framework 7 Objective 3.4 (Computer Systems), starting in October 2011. ParaPhrase aims to follow a new approach to introducing parallelism using advanced refactoring techniques coupled with high-level parallel design patterns. The refactoring approach will use these design patterns to restructure programs defined as networks of software components into other forms that are more suited to parallel execution. The programmer will be aided by high-level cost information that will be integrated into the refactoring tools. The implementation of these patterns will then use a well-understood algorithmic skeleton approach to achieve good parallelism. A key ParaPhrase design goal is that parallel components are intended to match heterogeneous architectures, defined in terms of CPU/GPU combinations, for example. In order to achieve this, the ParaPhrase approach will map components at link time to the available hardware, and will then re-map them during program execution, taking account of multiple applications, changes in hardware resource availability, the desire to reduce communication costs etc. In this way, we aim to develop a new approach to programming that will be able to produce software that can adapt to dynamic changes in the system environment. Moreover, by using a strong component basis for parallelism, we can achieve potentially significant gains in terms of reducing sharing at a high level of abstraction, and so in reducing or even eliminating the costs that are usually associated with cache management, locking, and synchronisation. © 2013 Springer-Verlag Berlin Heidelberg.

cudaMap: a GPU accelerated program for gene expression connectivity mapping

Background: Modern cancer research often involves large datasets and the use of sophisticated statistical techniques. Together these add a heavy computational load to the analysis, which is often coupled with issues surrounding data accessibility. Connectivity mapping is an advanced bioinformatic and computational technique dedicated to therapeutics discovery and drug re-purposing around differential gene expression analysis. On a normal desktop PC, it is common for the connectivity mapping task with a single gene signature to take >2h to complete using sscMap, a popular Java application that runs on standard CPUs (Central Processing Units). Here, we describe new software, cudaMap, which has been implemented using CUDA C/C++ to harness the computational power of NVIDIA GPUs (Graphics Processing Units) to greatly reduce processing times for connectivity mapping.

Results: cudaMap can identify candidate therapeutics from the same signature in just over thirty seconds when using an NVIDIA Tesla C2050 GPU. Results from the analysis of multiple gene signatures, which would previously have taken several days, can now be obtained in as little as 10 minutes, greatly facilitating candidate therapeutics discovery with high throughput. We are able to demonstrate dramatic speed differentials between GPU assisted performance and CPU executions as the computational load increases for high accuracy evaluation of statistical significance.

Conclusion: Emerging 'omics' technologies are constantly increasing the volume of data and information to be processed in all areas of biomedical research. Embracing the multicore functionality of GPUs represents a major avenue of local accelerated computing. cudaMap will make a strong contribution in the discovery of candidate therapeutics by enabling speedy execution of heavy duty connectivity mapping tasks, which are increasingly required in modern cancer research. cudaMap is open source and can be freely downloaded from http://purl.oclc.org/NET/cudaMap.

EL CVn-type binaries - Discovery of 17 helium white dwarf precursors in bright eclipsing binary star systems

The star 1SWASP J024743.37-251549.2 was recently discovered to be a binary star in which an A-type dwarf star eclipses the remnant of a disrupted red giant star (WASP 0247-25 B). The remnant is in a rarely observed state evolving to higher effective temperatures at nearly constant luminosity prior to becoming a very low mass white dwarf composed almost entirely of helium, i.e. it is a pre-helium white dwarf (pre-He-WD). We have used the photometric database from theWide Angle Search for Planets (WASP) to find 17 eclipsing binary stars with orbital periods P = 0.7-2.2 d with similar light curves to 1SWASP J024743.37-251549.2. The only star in this group previously identified as a variable star is the brightest one, EL CVn, which we adopt as the prototype for this class of eclipsing binary star. The characteristic light curves of EL CVn-type stars show a total eclipse by an A-type dwarf star of a smaller, hotter star and a secondary eclipse of comparable depth to the primary eclipse. We have used new spectroscopic observations for six of these systems to confirm that the companions to the A-type stars in these binaries have very low masses (≈0.2M⊙). This includes the companion to EL CVn which was not previously known to be a pre-He-WD. EL CVn-type binary star systems will enable us to study the formation of very low mass white dwarfs in great detail, particularly in those cases where the pre-He-WD star shows non-radial pulsations similar to those recently discovered in WASP0247-25 B. © 2013 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society.

Nonlocality of two- and three-mode continuous variable systems

We address the nonlocality of fully inseparable three-mode Gaussian states generated either by bilinear three-mode Hamiltonians or by a sequence of bilinear two-mode Hamiltonians. Two different tests revealing nonlocality are considered, in which the dichotomic Bell operator is represented by the displaced parity and by the pseudospin operator respectively. Three-mode states are also considered as a conditional source of two-mode non-Gaussian states, whose nonlocality properties are analysed. We found that the non-Gaussian character of the conditional states allows violation of Bell's inequalities (by parity and pseudospin tests) stronger than with a conventional twin-beam state. However, the non-Gaussian character is not sufficient to reveal nonlocality through a dichotomized quadrature measurement strategy.