Breathers and thermal relaxation as a temporal process: A possible way to detect breathers in experimental situations

Breather stability and longevity in thermally relaxing nonlinear arrays is investigated under the scrutiny of the analysis and tools employed for time series and state reconstruction of a dynamical system. We briefly review the methods used in the analysis and characterize a breather in terms of the results obtained with such methods. Our present work focuses on spontaneously appearing breathers in thermal Fermi-Pasta-Ulam arrays but we believe that the conclusions are general enough to describe many other related situations; the particular case described in detail is presented as another example of systems where three incommensurable frequencies dominate their chaotic dynamics (reminiscent of the Ruelle-Takens scenario for the appearance of chaotic behavior in nonlinear systems). This characterization may also be of great help for the discovery of breathers in experimental situations where the temporal evolution of a local variable (like the site energy) is the only available/measured data. © 2005 American Institute of Physics.

FPGA, physics-based modeling of IGBT and pin diode for hardware co-simulation of complex power electronic converters and systems

This paper presents the steps and the challenges for implementing analytical, physics-based models for the insulated gate bipolar transistor (IGBT) and the PIN diode in hardware and more specifically in field programmable gate arrays (FPGAs). The models can be utilised in hardware co-simulation of complex power electronic converters and entire power systems in order to reduce the simulation time without compromising the accuracy of results. Such a co-simulation allows reliable prediction of the system's performance as well as accurate investigation of the power devices' behaviour during operation. Ultimately, this will allow application-specific optimisation of the devices' structure, circuit topologies as well as enhancement of the control and/or protection schemes.

Using Special-Purpose Computing to Examine Chaotic Behavior in Nonlinear Mappings

Studying chaotic behavior in nonlinear systems requires numerous computations in order to simulate the behavior of such systems. The Standard Map Machine was designed and implemented as a special computer for performing these intensive computations with high-speed and high-precision. Its impressive performance is due to its simple architecture specialized to the numerical computations required of nonlinear systems. This report discusses the design and implementation of the Standard Map Machine and its use in the study of nonlinear mappings; in particular, the study of the standard map.

Design and implementation of robust systems for secure malware detection

Malicious software (malware) have significantly increased in terms of number and effectiveness during the past years. Until 2006, such software were mostly used to disrupt network infrastructures or to show coders’ skills. Nowadays, malware constitute a very important source of economical profit, and are very difficult to detect. Thousands of novel variants are released every day, and modern obfuscation techniques are used to ensure that signature-based anti-malware systems are not able to detect such threats. This tendency has also appeared on mobile devices, with Android being the most targeted platform. To counteract this phenomenon, a lot of approaches have been developed by the scientific community that attempt to increase the resilience of anti-malware systems. Most of these approaches rely on machine learning, and have become very popular also in commercial applications. However, attackers are now knowledgeable about these systems, and have started preparing their countermeasures. This has lead to an arms race between attackers and developers. Novel systems are progressively built to tackle the attacks that get more and more sophisticated. For this reason, a necessity grows for the developers to anticipate the attackers’ moves. This means that defense systems should be built proactively, i.e., by introducing some security design principles in their development. The main goal of this work is showing that such proactive approach can be employed on a number of case studies. To do so, I adopted a global methodology that can be divided in two steps. First, understanding what are the vulnerabilities of current state-of-the-art systems (this anticipates the attacker’s moves). Then, developing novel systems that are robust to these attacks, or suggesting research guidelines with which current systems can be improved. This work presents two main case studies, concerning the detection of PDF and Android malware. The idea is showing that a proactive approach can be applied both on the X86 and mobile world. The contributions provided on this two case studies are multifolded. With respect to PDF files, I first develop novel attacks that can empirically and optimally evade current state-of-the-art detectors. Then, I propose possible solutions with which it is possible to increase the robustness of such detectors against known and novel attacks. With respect to the Android case study, I first show how current signature-based tools and academically developed systems are weak against empirical obfuscation attacks, which can be easily employed without particular knowledge of the targeted systems. Then, I examine a possible strategy to build a machine learning detector that is robust against both empirical obfuscation and optimal attacks. Finally, I will show how proactive approaches can be also employed to develop systems that are not aimed at detecting malware, such as mobile fingerprinting systems. In particular, I propose a methodology to build a powerful mobile fingerprinting system, and examine possible attacks with which users might be able to evade it, thus preserving their privacy. To provide the aforementioned contributions, I co-developed (with the cooperation of the researchers at PRALab and Ruhr-Universität Bochum) various systems: a library to perform optimal attacks against machine learning systems (AdversariaLib), a framework for automatically obfuscating Android applications, a system to the robust detection of Javascript malware inside PDF files (LuxOR), a robust machine learning system to the detection of Android malware, and a system to fingerprint mobile devices. I also contributed to develop Android PRAGuard, a dataset containing a lot of empirical obfuscation attacks against the Android platform. Finally, I entirely developed Slayer NEO, an evolution of a previous system to the detection of PDF malware. The results attained by using the aforementioned tools show that it is possible to proactively build systems that predict possible evasion attacks. This suggests that a proactive approach is crucial to build systems that provide concrete security against general and evasion attacks.

Granularity and disaggregation in compositional modelling with applications to ecological systems

J. Keppens and Q. Shen. Granularity and disaggregation in compositional modelling with applications to ecological systems. Applied Intelligence, 25(3):269-292, 2006.

Dynamical Instabilities and Deterministic Chaos in Ballistic Electron Motion in Semiconductor Superlattices

We consider the motion of ballistic electrons within a superlattice miniband under the influence of an alternating electric field. We show that the interaction of electrons with the self-consistent electromagnetic field generated by the electron current may lead to the transition from regular to chaotic dynamics. We estimate the conditions for the experimental observation of this deterministic chaos and discuss the similarities of the superlattice system with the other condensed matter and quantum optical systems.

The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems

As the commoditization of sensing, actuation and communication hardware increases, so does the potential for dynamically tasked sense and respond networked systems (i.e., Sensor Networks or SNs) to replace existing disjoint and inflexible special-purpose deployments (closed-circuit security video, anti-theft sensors, etc.). While various solutions have emerged to many individual SN-centric challenges (e.g., power management, communication protocols, role assignment), perhaps the largest remaining obstacle to widespread SN deployment is that those who wish to deploy, utilize, and maintain a programmable Sensor Network lack the programming and systems expertise to do so. The contributions of this thesis centers on the design, development and deployment of the SN Workbench (snBench). snBench embodies an accessible, modular programming platform coupled with a flexible and extensible run-time system that, together, support the entire life-cycle of distributed sensory services. As it is impossible to find a one-size-fits-all programming interface, this work advocates the use of tiered layers of abstraction that enable a variety of high-level, domain specific languages to be compiled to a common (thin-waist) tasking language; this common tasking language is statically verified and can be subsequently re-translated, if needed, for execution on a wide variety of hardware platforms. snBench provides: (1) a common sensory tasking language (Instruction Set Architecture) powerful enough to express complex SN services, yet simple enough to be executed by highly constrained resources with soft, real-time constraints, (2) a prototype high-level language (and corresponding compiler) to illustrate the utility of the common tasking language and the tiered programming approach in this domain, (3) an execution environment and a run-time support infrastructure that abstract a collection of heterogeneous resources into a single virtual Sensor Network, tasked via this common tasking language, and (4) novel formal methods (i.e., static analysis techniques) that verify safety properties and infer implicit resource constraints to facilitate resource allocation for new services. This thesis presents these components in detail, as well as two specific case-studies: the use of snBench to integrate physical and wireless network security, and the use of snBench as the foundation for semester-long student projects in a graduate-level Software Engineering course.

Flexible and robust run-time configuration for self-managing systems

This paper describes a methodology for deploying flexible dynamic configuration into embedded systems whilst preserving the reliability advantages of static systems. The methodology is based on the concept of decision points (DP) which are strategically placed to achieve fine-grained distribution of self-management logic to meet application-specific requirements. DP logic can be changed easily, and independently of the host component, enabling self-management behavior to be deferred beyond the point of system deployment. A transparent Dynamic Wrapper mechanism (DW) automatically detects and handles problems arising from the evaluation of self-management logic within each DP and ensures that the dynamic aspects of the system collapse down to statically defined default behavior to ensure safety and correctness despite failures. Dynamic context management contributes to flexibility, and removes the need for design-time binding of context providers and consumers, thus facilitating run-time composition and incremental component upgrade.

Free-ocean CO2 enrichment (FOCE) systems: present status and future developments

Free-ocean CO2 enrichment (FOCE) systems are designed to assess the impact of ocean acidification on biological communities in situ for extended periods of time (weeks to months). They overcome some of the drawbacks of laboratory experiments and field observations by enabling (1) precise control of CO2 enrichment by monitoring pH as an offset of ambient pH, (2) consideration of indirect effects such as those mediated through interspecific relationships and food webs, and (3) relatively long experiments with intact communities. Bringing perturbation experiments from the laboratory to the field is, however, extremely challenging. The main goal of this paper is to provide guidelines on the general design, engineering, and sensor options required to conduct FOCE experiments. Another goal is to introduce xFOCE, a community-led initiative to promote awareness, provide resources for in situ perturbation experiments, and build a user community. Present and existing FOCE systems are briefly described and examples of data collected presented. Future developments are also addressed as it is anticipated that the next generation of FOCE systems will include, in addition to pH, options for oxygen and/or temperature control. FOCE systems should become an important experimental approach for projecting the future response of marine ecosystems to environmental change.

Dynamic, in situ optical, magnetic and magneto-optical monitoring of the growth of Co/Au and Pd/Co/Au multilayer systems

The growth of magnetron sputtered Co/Au and Pd/Co/Au superlattices on Au and Pd buffer layers, deposited onto glass substrates, has been monitored optically and magneto-optically in real time, using rotating analyser ellipsometry and Kerr polarimetry, at a wavelength of 633 nm. The magneto-optical traces, combined with ex situ and in situ hysteresis loops, provide a detailed and informative fingerprint of the optical and magnetic properties of the films as they evolve during growth. For Co/Au, oscillations in the polar magneto-optical effect developed during the deposition of An overlayers on Co and these may be attributed to quantum well states. However, the hysteresis measurements show that the magnetic field required to maintain saturation magnetization throughout the experiment was larger than available in situ, introducing a degree of confusion concerning the interpretation of the data. This problem was overcome by the incorporation of Pd layers into the Co/Au structure, thereby eliminating variation in magnetic orientation during growth of the Au layers as a contributory factor to the observations.

Perceived and reported access to the general practitioner: an international comparison of universal access and mixed private/public systems.

Timely and convenient access to primary healthcare is essential for the health of the population as delays can incur additional health and financial costs. Access to health care is under increasing scrutiny as part of the drive to contain escalating costs, while attempting to maintain equity in service provision. The objective was to compare primary care services in Republic of Ireland and Northern Ireland, and to report on perceived and reported access to GP services in universal access and mixed private/public systems. A questionnaire study was performed in Northern Ireland (NI) and the Republic of Ireland (ROI). Patients of 20 practices in the ROI and NI were contacted (n = 22,796). Main outcome measures were overall satisfaction and the access to GP services. Individual responses and scale scores were derived using the General Practice Assessment Questionnaire (G-PAQ). The response rate was 52% (n = 11,870). Overall satisfaction with GP practices was higher in ROI than in NI (84.2% and 80.9% respectively). Access scores were higher in ROI than in NI (69.2% and 57.0% respectively) Less than 1 in 10 patients in ROI waited two or more working days to see a doctor of choice (8.1%) compared to almost half (45.0%) in NI. In NI overall satisfaction decreased as practice size increased; 82.8%, 80.4%, and 75.8%. In both systems, in large practices, accessibility is reduced when compared to smaller practices. The faster access to GP services in ROI may be due to the deterrent effect of the consultation charge freeing up services although, as it is the poorest and sickest who are deterred by the charge this improved accessibility may come at a significant cost in terms of equity. The underlying concern for policy makers centres around provision of equitable services.

Neuroactive substances and associated major muscle systems in Bucephaloides gracilescens (Trematoda : Digenea) metacercaria and adult

Cholinergic, serotoninergic and neuropeptidergic components of the nervous system were examined and compared in the progenetic metacercaria and adult gasterostome trematode, Bucephaloides gracilescens in order to provide baseline information on neuronal control of the musculature involved in egg-assembly. Enzyme cytochemistry and indirect immunocytochemical techniques interfaced with confocal scanning laser microscopy demonstrated all three classes of neuroactive substance throughout the central and peripheral nervous systems. A comparable orthogonal arrangement of the central nervous system (CNS) and peripheral array of nerve plexuses was observed in both metacercaria and adult. Staining patterns for cholinergic and peptidergic substances showed significant overlap, while the serotoninergic system was confined to a separate set of neurons. Immunostaining for FMRFamide-related peptides (FaRPs) was strong in the CNS and peripheral innervation to the attachment apparatus of metacercaria and adult but was only found in the innervation of the ootype in ovigerous adults, implicating FaRPs in neuronal control of the muscle of the female reproductive tract during egg-assembly.

Channel characterization for single- and multiple-antenna wearable systems used for indoor body-to-body communications

In this paper, an analysis of radio channel characteristics for single- and multiple-antenna bodyworn systems for use in body-to-body communications is presented. The work was based on an extensive measurement campaign conducted at 2.45 GHz representative of an indoor sweep and search scenario for fire and rescue personnel. Using maximum-likelihood estimation in conjunction with the Akaike information criterion (AIC), five candidate probability distributions were investigated and from these the kappa - mu distribution was found to best describe small-scale fading observed in the body-to-body channels. Additional channel parameters such as autocorrelation and the cross-correlation coefficient between fading signal envelopes were also analyzed. Low cross correlation and small differences in mean signal levels between potential dual-branch diversity receivers suggested that the prospect of successfully implementing diversity in this type application is extremely good. Moreover, using selection combination, maximal ratio, and equal gain combining, up to 8.69-dB diversity gain can be made available when four spatially separated antennas are used at the receiver. Additional improvements in the combined envelopes through lower level crossing rates and fade durations at low signal levels were also observed.