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.

Distributed Adaptive Learning Framework for Wide Area Monitoring of Power Systems Integrated with Distributed Generations

This paper presents a preliminary study of developing a novel distributed adaptive real-time learning framework for wide area monitoring of power systems integrated with distributed generations using synchrophasor technology. The framework comprises distributed agents (synchrophasors) for autonomous local condition monitoring and fault detection, and a central unit for generating global view for situation awareness and decision making. Key technologies that can be integrated into this hierarchical distributed learning scheme are discussed to enable real-time information extraction and knowledge discovery for decision making, without explicitly accumulating and storing all raw data by the central unit. Based on this, the configuration of a wide area monitoring system of power systems using synchrophasor technology, and the functionalities for locally installed open-phasor-measurement-units (OpenPMUs) and a central unit are presented. Initial results on anti-islanding protection using the proposed approach are given to illustrate the effectiveness.

An experimental study of UWB device-free person detection and ranging

Passive person detection and localization is an emerging area in UWB localization systems, whereby people are not required to carry any UWB ranging device. Based on experimental data, we propose a novel method to detect static persons in the absence of template waveforms, and to compute distances to these persons. Our method makes very little assumptions on the environment and can achieve ranging performances on the order of 50 cm, using off-the-shelf UWB devices. © 2013 IEEE.

Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Principal Component Analysis of Wide Area Phasor Measurements for Islanding Detection – A Geometric View

This paper presents a new technique for the detectionof islanding conditions in electrical power systems. This problem isespecially prevalent in systems with significant penetrations of distributedrenewable generation. The proposed technique is based onthe application of principal component analysis (PCA) to data setsof wide-area frequency measurements, recorded by phasor measurementunits. The PCA approach was able to detect islandingaccurately and quickly when compared with conventional RoCoFtechniques, as well as with the frequency difference and change-ofangledifference methods recently proposed in the literature. Thereliability and accuracy of the proposed PCA approach is demonstratedby using a number of test cases, which consider islandingand nonislanding events. The test cases are based on real data,recorded from several phasor measurement units located in theU.K. power system.

Targeted Impersonation As A Tool For The Detection Of Biometric System Vulnerabilities

This paper argues that biometric verification evaluations can obscure vulnerabilities that increase the chances that an attacker could be falsely accepted. This can occur because existing evaluations implicitly assume that an imposter claiming a false identity would claim a random identity rather than consciously selecting a target to impersonate. This paper shows how an attacker can select a target with a similar biometric signature in order to increase their chances of false acceptance. It demonstrates this effect using a publicly available iris recognition algorithm. The evaluation shows that the system can be vulnerable to attackers targeting subjects who are enrolled with a smaller section of iris due to occlusion. The evaluation shows how the traditional DET curve analysis conceals this vulnerability. As a result, traditional analysis underestimates the importance of an existing score normalisation method for addressing occlusion. The paper concludes by evaluating how the targeted false acceptance rate increases with the number of available targets. Consistent with a previous investigation of targeted face verification performance, the experiment shows that the false acceptance rate can be modelled using the traditional FAR measure with an additional term that is proportional to the logarithm of the number of available targets.

Defocused transmission spectroscopy: a potential detection of sodium in the atmosphere of WASP-12b

We report on a pilot study of a novel observing technique, defocussed transmission spectroscopy, and its application to the study of exoplanet atmospheres using ground-based platforms. Similar to defocussed photometry, defocussed transmission spectroscopy has an added advantage over normal spectroscopy in that it reduces systematic errors due to flat-fielding, PSF variations, slit-jaw imperfections and other effects associated with ground-based observations. For one of the planetary systems studied, WASP-12b, we report a tentative detection of additional Na absorption of 0.12+/-0.03[+0.03]% during transit using a 2A wavelength mask. After consideration of a systematic that occurs mid-transit, it is likely that the true depth is actually closer to 0.15%. This is a similar level of absorption reported in the atmosphere of HD209458b (0.135+/-0.017%, Snellen et al. 2008). Finally, we outline methods that will improve the technique during future observations, based on our findings from this pilot study.

Multi-detection method for five common microalgal toxins based on the use of microspheres coupled to a flow-cytometry system

Freshwater and brackish microalgal toxins, such as microcystins, cylindrospermopsins, paralytic toxins, anatoxins or other neurotoxins are produced during the overgrowth of certain phytoplankton and benthic cyanobacteria, which includes either prokaryotic or eukaryotic microalgae. Although, further studies are necessary to define the biological role of these toxins, at least some of them are known to be poisonous to humans and wildlife due to their occurrence in these aquatic systems. The World Health Organization (WHO) has established as provisional recommended limit 1 μg of microcystin-LR per liter of drinking water. In this work we present a microsphere-based multi-detection method for five classes of freshwater and brackish toxins: microcystin-LR (MC-LR), cylindrospermopsin (CYN), anatoxin-a (ANA-a), saxitoxin (STX) and domoic acid (DA). Five inhibition assays were developed using different binding proteins and microsphere classes coupled to a flow-cytometry Luminex system. Then, assays were combined in one method for the simultaneous detection of the toxins. The IC₅₀'s using this method were 1.9 ± 0.1 μg L⁻¹ MC-LR, 1.3 ± 0.1 μg L⁻¹ CYN, 61 ± 4 μg L⁻¹ ANA-a, 5.4 ± 0.4 μg L⁻¹ STX and 4.9 ± 0.9 μg L⁻¹ DA. Lyophilized cyanobacterial culture samples were extracted using a simple procedure and analyzed by the Luminex method and by UPLC–IT-TOF-MS. Similar quantification was obtained by both methods for all toxins except for ANA-a, whereby the estimated content was lower when using UPLC–IT-TOF-MS. Therefore, this newly developed multiplexed detection method provides a rapid, simple, semi-quantitative screening tool for the simultaneous detection of five environmentally important freshwater and brackish toxins, in buffer and cyanobacterial extracts.

Network Based Malware Detection in Virtualised Environment

While virtualisation can provide many benefits to a networks infrastructure, securing the virtualised environment is a big challenge. The security of a fully virtualised solution is dependent on the security of each of its underlying components, such as the hypervisor, guest operating systems and storage.

This paper presents a single security service running on the hypervisor that could potentially work to provide security service to all virtual machines running on the system. This paper presents a hypervisor hosted framework which performs specialised security tasks for all underlying virtual machines to protect against any malicious attacks by passively analysing the network traffic of VMs. This framework has been implemented using Xen Server and has been evaluated by detecting a Zeus Server setup and infected clients, distributed over a number of virtual machines. This framework is capable of detecting and identifying all infected VMs with no false positive or false negative detection.

State detection of bond wires in IGBT modules using eddy current pulsed thermography

Insulated gate bipolar transistor (IGBT) modules are important safety critical components in electrical power systems. Bond wire lift-off, a plastic deformation between wire bond and adjacent layers of a device caused by repeated power/thermal cycles, is the most common failure mechanism in IGBT modules. For the early detection and characterization of such failures, it is important to constantly detect or monitor the health state of IGBT modules, and the state of bond wires in particular. This paper introduces eddy current pulsed thermography (ECPT), a nondestructive evaluation technique, for the state detection and characterization of bond wire lift-off in IGBT modules. After the introduction of the experimental ECPT system, numerical simulation work is reported. The presented simulations are based on the 3-D electromagnetic-thermal coupling finite-element method and analyze transient temperature distribution within the bond wires. This paper illustrates the thermal patterns of bond wires using inductive heating with different wire statuses (lifted-off or well bonded) under two excitation conditions: nonuniform and uniform magnetic field excitations. Experimental results show that uniform excitation of healthy bonding wires, using a Helmholtz coil, provides the same eddy currents on each, while different eddy currents are seen on faulty wires. Both experimental and numerical results show that ECPT can be used for the detection and characterization of bond wires in power semiconductors through the analysis of the transient heating patterns of the wires. The main impact of this paper is that it is the first time electromagnetic induction thermography, so-called ECPT, has been employed on power/electronic devices. Because of its capability of contactless inspection of multiple wires in a single pass, and as such it opens a wide field of investigation in power/electronic devices for failure detection, performance characterization, and health monitoring. 

Building pH Sensors into Paper-based Small-molecular Logic Sys-tems for Very Simple Detection of Edges of Objects

Genetically-engineered bacteria and reactive DNA networks detect edges of objects, as done in our retinas and as also found within computer vision. We now demonstrate that simple molecular logic systems (a combination of a pH sensor, a photo acid generator and a pH buffer spread on paper) without any organization can achieve this relatively complex computational goal with good-fidelity. This causes a jump in the complexity achievable by molecular logic-based computation and extends its applicability. The molecular species involved in light dose-driven 'off-on-off' fluorescence is diverted in the ‘on’ state by proton diffusion from irradiated to unirradiated regions where it escapes a strong quencher, thus visualizing the edge of a mask.

Stateful Intrusion Detection for IEC 60870-5-104 SCADA Security

Cyber threats in Supervisory Control and Data Acquisition (SCADA) systems have the potential to render physical damage and jeopardize power system operation, safety and stability. SCADA systems were originally designed with little consideration of escalating cyber threats and hence the problem of how to develop robust intrusion detection technologies to tailor the requirements of SCADA is an emerging topic and a big challenge. This paper proposes a stateful Intrusion Detection System (IDS) using a Deep Packet Inspection (DPI) method to improve the cyber-security of SCADA systems using the IEC 60870-5-104 protocol which is tailored for basic telecontrol communications. The proposed stateful protocol analysis approach is presented that is designed specifically for the IEC 60870-5-104 protocol. Finally, the novel intrusion detection approach are implemented and validated.

Development of Novel Activity-Based Probes for the Detection of Serine Proteases

Cystic Fibrosis (CF) is a genetic disease featuring a chronic cycle of inflammation and infection in the airways of sufferers. Mutations lead to altered ion transport, which in turn causes dehydrated airways and reduced mucociliary clearance which predisposes the patient to infection, resulting in a severe immune response and tissue destruction (1). Airway dehydration is primarily caused by the hyperabsorption of sodium by the epithelial sodium channel (ENaC) (2). ENaC is activated by the action of a number of predominantly trypsin-like Channel Activating Proteases (CAPs) including prostasin, matriptase and furin (3). Additional proteases known to activate ENaC include human airway trypsin (3), plasmin, neutrophil elastase and chymotrypsin (4).

Activity profiling is a valuable technique which involves the use of small inhibitory molecules called Activity-Based Probes (ABPs) which can be used to covalently label the active site of proteases and provide a range of information regarding its structure, catalytic mechanism, location and function within biological systems. The development of novel ABPs for CAPs, would enhance understanding of the role of these proteases in CF airways disease and in particular their role in ENaC activation and airway dehydration. This project investigates the application of a range of novel broad-spectrum ABPs targeting the various subclasses of serine proteases, to include those proteases involved in ENaC activation. Additionally, the application of more selective ABPs in detecting specific serine proteases is investigated.

Compounds were synthesised by Solid-Phase Peptide Synthesis (SPPS) using a standard Fmoc/tBu strategy. Kinetic evaluation of synthesised ABPs against various serine proteases was determined by fluorogenic steady-state enzyme assays. Furthermore, application of ABPs and confirmation of irreversible nature of the compounds was carried out through SDS-PAGE and electroblotting techniques.

Synthesised compounds showed potent irreversible inhibition of serine proteases within their respective targeting class (NAP855 vs Trypsin k3/Ki = 2.60 x 106 M-1 min-1, NFP849 vs Chymotrypsin k3/Ki = 1.28 x 106 M-1 min-1 and NVP800 vs Neutrophil Elastase k3/Ki = 6.41 x 104 M-1 min-1). Furthermore ABPs showed little to no cross-reactivity between classes and so display selectivity between classes. The irreversible nature of compounds was further demonstrated through labelling of proteases, followed by separation and detection via SDS-PAGE and electroblotting techniques. Targeted labelling of active proteases only, was demonstrated by failure of ABPs to detect previously inactivated proteases. Extension of the substrate recognition site within probes resulted in an increased potency and selectivity in the detection of the target proteases. Successful detection of neutrophil elastase from CF sputum samples by NVP800, demonstrated the application of compounds within biological samples and their potential use in identifying further proteases involved in ENaC activation and airway dehydration in CF patients.