Recursive self-organizing map as a contractive iterative function system

Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the representational capabilities and internal representations of the models are not well understood. We rigorously analyze a generalization of the Self-Organizing Map (SOM) for processing sequential data, Recursive SOM (RecSOM [1]), as a non-autonomous dynamical system consisting off a set of fixed input maps. We show that contractive fixed input maps are likely to produce Markovian organizations of receptive fields o the RecSOM map. We derive bounds on parameter $\beta$ (weighting the importance of importing past information when processing sequences) under which contractiveness of the fixed input maps is guaranteed.

Resource-definition policies for autonomic computing

The paper introduces a framework for the formal specification of autonomic computing policies, and uses it to define a new type of autonomic computing policy termed a resource-definition policy. We describe the semantics of resource-definition policies, explain how they can be used as a basis for the development of autonomic system of systems, and present a sample data-centre application built using the new policy type.

Implementation of a generic autonomic framework

Based on insights from the implementation of commercial products for data-centre resource management, we identified key challenges in the development of cost-effective autonomic solutions, and best practices for overcoming these challenges. In a related paper, we proposed a generic autonomic framework that complies with these best practices, and suggested ways in which existing technologies could be used to realise this framework. In this paper, we describe the actual implementation of our autonomic framework as a service-oriented architecture, and we show how the universal policy engine at its core can be configured to manage the allocation of server capacity to services of different priorities. This case study demonstrates the effectiveness of our generic approach to autonomic solution development in an area of great interest for commercial data centres, research laboratories and application service providers.

A pragmatic Bayesian approach to wind field retrieval

The ERS-1 Satellite was launched in July 1991 by the European Space Agency into a polar orbit at about 800 km, carrying a C-band scatterometer. A scatterometer measures the amount of backscatter microwave radiation reflected by small ripples on the ocean surface induced by sea-surface winds, and so provides instantaneous snap-shots of wind flow over large areas of the ocean surface, known as wind fields. Inherent in the physics of the observation process is an ambiguity in wind direction; the scatterometer cannot distinguish if the wind is blowing toward or away from the sensor device. This ambiguity implies that there is a one-to-many mapping between scatterometer data and wind direction. Current operational methods for wind field retrieval are based on the retrieval of wind vectors from satellite scatterometer data, followed by a disambiguation and filtering process that is reliant on numerical weather prediction models. The wind vectors are retrieved by the local inversion of a forward model, mapping scatterometer observations to wind vectors, and minimising a cost function in scatterometer measurement space. This thesis applies a pragmatic Bayesian solution to the problem. The likelihood is a combination of conditional probability distributions for the local wind vectors given the scatterometer data. The prior distribution is a vector Gaussian process that provides the geophysical consistency for the wind field. The wind vectors are retrieved directly from the scatterometer data by using mixture density networks, a principled method to model multi-modal conditional probability density functions. The complexity of the mapping and the structure of the conditional probability density function are investigated. A hybrid mixture density network, that incorporates the knowledge that the conditional probability distribution of the observation process is predominantly bi-modal, is developed. The optimal model, which generalises across a swathe of scatterometer readings, is better on key performance measures than the current operational model. Wind field retrieval is approached from three perspectives. The first is a non-autonomous method that confirms the validity of the model by retrieving the correct wind field 99% of the time from a test set of 575 wind fields. The second technique takes the maximum a posteriori probability wind field retrieved from the posterior distribution as the prediction. For the third technique, Markov Chain Monte Carlo (MCMC) techniques were employed to estimate the mass associated with significant modes of the posterior distribution, and make predictions based on the mode with the greatest mass associated with it. General methods for sampling from multi-modal distributions were benchmarked against a specific MCMC transition kernel designed for this problem. It was shown that the general methods were unsuitable for this application due to computational expense. On a test set of 100 wind fields the MAP estimate correctly retrieved 72 wind fields, whilst the sampling method correctly retrieved 73 wind fields.

Temporal finite elements in the dynamic analysis of structures

This thesis demonstrates that the use of finite elements need not be confined to space alone, but that they may also be used in the time domain, It is shown that finite element methods may be used successfully to obtain the response of systems to applied forces, including, for example, the accelerations in a tall structure subjected to an earthquake shock. It is further demonstrated that at least one of these methods may be considered to be a practical alternative to more usual methods of solution. A detailed investigation of the accuracy and stability of finite element solutions is included, and methods of applications to both single- and multi-degree of freedom systems are described. Solutions using two different temporal finite elements are compared with those obtained by conventional methods, and a comparison of computation times for the different methods is given. The application of finite element methods to distributed systems is described, using both separate discretizations in space and time, and a combined space-time discretization. The inclusion of both viscous and hysteretic damping is shown to add little to the difficulty of the solution. Temporal finite elements are also seen to be of considerable interest when applied to non-linear systems, both when the system parameters are time-dependent and also when they are functions of displacement. Solutions are given for many different examples, and the computer programs used for the finite element methods are included in an Appendix.

Summary of the 7th international workshop on Models@run.time

The Models@run.time (MRT) workshop series offers a discussion forum for the rising need to leverage modeling techniques for the software of the future. The main goals are to explore the benefits of models@run.time and to foster collaboration and cross-fertilization between different research communities like for example like model-driven engineering (e.g. MODELS), self-adaptive/autonomous systems communities (e.g., SEAMS and ICAC), the control theory community and the artificial intelligence community. © 2012 Authors.

Trends, challenges and opportunities for performance engineering with modern business software

The author looks at trends in software and systems, and the current and likely implications of these trends on the discipline of performance engineering. In particular, he examines software complexity growth and its consequences for performance engineering for enhanced understanding, more efficient analysis and effective performance improvement. The pressures for adaptive and autonomous systems introduce further opportunities for performance innovation. The promise of aspect oriented software development technologies for assisting with some of these challenges is introduced.

Oscillation Theorems for Second Order Sublinear Ordinary Differential Equations

Oscillation criteria are given for the second order sublinear non-autonomous differential equation. (r(t) (x)x′(t))′ + q(t)g(x(t)) = (t). These criteria extends and improves earlier oscillation criteria of Kamenev, Kura, Philos and Wong. Oscillation criteria are also given for second order sublinear damped non-autonomous differential equations.

Transgenic Expression of Endothelin Receptor-B Rescues the Aganglionosis Phenotype of Piebald Lethal Mice

Neural crest cells (NCC) are a unique population of cells in vertebrates that arise between the presumptive epidermis and the dorsal most region of the neural tube. During neurulation, NCC migrate to many regions of the body to give rise to a wide variety of cell types. NCC that originate from the neural tube at the levels of somite 1-7 colonize the gut and give rise to the enteric ganglia. The endothelin signaling pathway has been shown to be crucial for proper development of some neural crest derivatives. Mice and humans with mutations in the Endothelin receptor b (Ednrb) gene exhibit similar phenotypes characterized by hypopigmentation, hearing loss, and megacolon. Thesephenotypes are due to lack of melanocytes in the skin, inner ear and enteric ganglia in the distal portion of the colon, respectively. It is well established that Ednrb is required early during the embryonic development for normal innervation of the gut. However, it is not clear if Ednrb acts on enteric neuron precursor cells or in pre-committed NC precursors. Additionally, it is controversial whether the action of Ednrb is cell autonomous or non- autonomous. We generated transgenic mice that express Ednrb under the control of the Nestin second intron enhancer (Nes) which drives expression to pre-migrating NCC. These mice were crosses to the spontaneous mouse mutant piebald lethal, which carriers a null mutation in Ednrb and exhibits enteric aganglionosis. The Nes-Ednrb was capable of rescuing the aganglianosis phenotype of piebald lethal mutants demonstrating that expression of Ednrb in pre-committed precursors is sufficient for normal enteric ganglia development. This study provides insight in early embryonic development of NCC and could eventually have potential use in cellular therapies for Hirschsprung's disease.

Estudo sobre a detecção de invariância de escala discreta em sistemas com criticalidade auto-organizada

Recent studies have shown evidence of log-periodic behavior in non-hierarchical systems. An interesting fact is the emergence of such properties on rupture and breakdown of complex materials and financial failures. These may be examples of systems with self-organized criticality (SOC). In this work we study the detection of discrete scale invariance or log-periodicity. Theoretically showing the effectiveness of methods based on the Fourier Transform of the log-periodicity detection not only with prior knowledge of the critical point before this point as well. Specifically, we studied the Brazilian financial market with the objective of detecting discrete scale invariance in Bovespa (Bolsa de Valores de S˜ao Paulo) index. Some historical series were selected periods in 1999, 2001 and 2008. We report evidence for the detection of possible log-periodicity before breakage, shown its applicability to the study of systems with discrete scale invariance likely in the case of financial crashes, it shows an additional evidence of the possibility of forecasting breakage

BDI reasoning with normative considerations

F. Meneguzzi thanks Fundaç ao de Amparo à Pesquisa do Estado do Rio Grande do Sul (FAPERGS, Brazil) for the financial support through the ACI program (Grant ref. 3541-2551/12-0) and the ARD program (Grant ref. 12/0808-5), as well as Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) through the Universal Call (Grant ref. 482156/2013-9) and PQ fellowship (Grant ref. 306864/2013-4). N. Oren and W.W. Vasconcelos acknowledge the support of the Engineering and Physical Sciences Research Council (EPSRC, UK) within the research project “Scrutable Autonomous Systems” (SAsSY11, Grant ref. EP/J012084/1).

Investigating the Tradespace between Increased Automation and Optimal Manning on Aircraft Carrier Decks

With increasing prevalence and capabilities of autonomous systems as part of complex heterogeneous manned-unmanned environments (HMUEs), an important consideration is the impact of the introduction of automation on the optimal assignment of human personnel. The US Navy has implemented optimal staffing techniques before in the 1990's and 2000's with a "minimal staffing" approach. The results were poor, leading to the degradation of Naval preparedness. Clearly, another approach to determining optimal staffing is necessary. To this end, the goal of this research is to develop human performance models for use in determining optimal manning of HMUEs. The human performance models are developed using an agent-based simulation of the aircraft carrier flight deck, a representative safety-critical HMUE. The Personnel Multi-Agent Safety and Control Simulation (PMASCS) simulates and analyzes the effects of introducing generalized maintenance crew skill sets and accelerated failure repair times on the overall performance and safety of the carrier flight deck. A behavioral model of four operator types (ordnance officers, chocks and chains, fueling officers, plane captains, and maintenance operators) is presented here along with an aircraft failure model. The main focus of this work is on the maintenance operators and aircraft failure modeling, since they have a direct impact on total launch time, a primary metric for carrier deck performance. With PMASCS I explore the effects of two variables on total launch time of 22 aircraft: 1) skill level of maintenance operators and 2) aircraft failure repair times while on the catapult (referred to as Phase 4 repair times). It is found that neither introducing a generic skill set to maintenance crews nor introducing a technology to accelerate Phase 4 aircraft repair times improves the average total launch time of 22 aircraft. An optimal manning level of 3 maintenance crews is found under all conditions, the point at which any additional maintenance crews does not reduce the total launch time. An additional discussion is included about how these results change if the operations are relieved of the bottleneck of installing the holdback bar at launch time.

Ordering induced by chemical, thermal and mechanical constraints at solid interfaces

We know that classical thermodynamics even out of equilibrium always leads to stable situation which means degradation and consequently d sorder. Many experimental evidences in different fields show that gradation and order (symmetry breaking) during time and space evolution may appear when maintaining the system far from equilibrium. Order through fluctuations, stochastic processes which occur around critical points and dissipative structures are the fundamental background of the Prigogine-Glansdorff and Nicolis theory. The thermodynamics of macroscopic fluctuations to stochastic approach as well as the kinetic deterministic laws allow a better understanding of the peculiar fascinating behavior of organized matter. The reason for the occurence of this situation is directly related to intrinsic non linearities of the different mechanisms responsible for the evolution of the system. Moreover, when dealing with interfaces separating two immiscible phases (liquid - gas, liquid -liquid, liquid - solid, solid - solid), the situation is rather more complicated. Indeed coupling terms playing the major role in the conditions of instability arise from the peculiar singular static and dynamic properties of the surface and of its vicinity. In other words, the non linearities are not only intrinsic to classical steps involving feedbacks, but they may be imbedded with the non-autonomous character of the surface properties. In order to illustrate our goal we discuss three examples of ordering in far from equilibrium conditions: i) formation of chemical structures during the oxidation of metals and alloys; ii) formation of mechanical structures during the oxidation of metals iii) formation of patterns at a solid-liquid moving interface due to supercooling condition in a melt of alloy. © 1984, Walter de Gruyter. All rights reserved.

Dissecting signaling pathways that control glia migration in the developing Drosophila retina

The function of a complex nervous system relies on an intricate interaction between neurons and glial cells. However, as glial cells are generally born distant from the place where they settle, molecular cues are important to direct their migration. Glial cell migration is important in both normal development and disease, thus current research in the laboratory has been focused on dissecting regulatory events underlying that crucial process. With this purpose, the Drosophila eye imaginal disc has been used as a model. In response to neuronal photoreceptor differentiation, glial cells migrate from the CNS into the eye disc where they act to correctly wrap axons. To ensure proper development, attractive and repulsive signals must coordinate glial cell migration. Importantly, one of these signals is Bnl, a Fibroblast Growth Factor (FGF) ligand expressed by retinal progenitor cells that was suggested to act as a non-autonomous negative regulator of excessive glial cell migration (overmigration) by binding and activating the Btl receptor expressed by glial cells. Through the experimental results described in chapter 3 we gained a detailed insight into the function of bnl in eye disc growth, photoreceptor development, and glia migration. Interestingly, we did not find a direct correlation between the defects on the ongoing photoreceptors and the glia overmigration phenotype; however, bnl knockdown caused apoptosis of eye progenitor cells what was strongly correlated with glia migration defects. Glia overmigration due to Bnl down-regulation in eye progenitor cells was rescued by inhibiting the pro-apoptotic genes or caspases activity, as well as, by depleting JNK or Dp53 function in retinal progenitor cells. Thus, we suggest a cross-talk between those developmental signals in the control of glia migration at a distance. Importantly, these results suggest that Bnl does not control glial migration in the eye disc exclusively through its ability to bind and activate its receptor Btl in glial cells. We also discuss possible biological roles for the glia overmigration in the bnl knockdown background. Previous results in the lab showed an interaction between dMyc, a master regulator of tissue growth, and Dpp, a Transforming Growth Factor-β important for retinal patterning and for accurate glia migration into the eye disc. Thus, we became interested in understanding putative relationships between Bnl and dMyc. In chapter 4, we show that they positively cooperate in order to ensure proper development of the eye disc. This work highlights the importance of the FGF signaling in eye disc development and reveals a signaling network where a range of extra- and intra-cellular signals cooperate to non-autonomously control glial cell migration. Therefore, such inter-relations could be important in other Drosophila cellular contexts, as well as in vertebrate tissue development.

Idiotypic Immune Networks in Mobile Robot Control

Jerne's idiotypic network theory postulates that the immune response involves inter-antibody stimulation and suppression as well as matching to antigens. The theory has proved the most popular Artificial Immune System (AIS) model for incorporation into behavior-based robotics but guidelines for implementing idiotypic selection are scarce. Furthermore, the direct effects of employing the technique have not been demonstrated in the form of a comparison with non-idiotypic systems. This paper aims to address these issues. A method for integrating an idiotypic AIS network with a Reinforcement Learning based control system (RL) is described and the mechanisms underlying antibody stimulation and suppression are explained in detail. Some hypotheses that account for the network advantage are put forward and tested using three systems with increasing idiotypic complexity. The basic RL, a simplified hybrid AIS-RL that implements idiotypic selection independently of derived concentration levels and a full hybrid AIS-RL scheme are examined. The test bed takes the form of a simulated Pioneer robot that is required to navigate through maze worlds detecting and tracking door markers.