Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

Disorder driven transitions in non-equilibrium quantum systems

This thesis presents studies of the role of disorder in non-equilibrium quantum systems. The quantum states relevant to dynamics in these systems are very different from the ground state of the Hamiltonian. Two distinct systems are studied, (i) periodically driven Hamiltonians in two dimensions, and (ii) electrons in a one-dimensional lattice with power-law decaying hopping amplitudes. In the first system, the novel phases that are induced from the interplay of periodic driving, topology and disorder are studied. In the second system, the Anderson transition in all the eigenstates of the Hamiltonian are studied, as a function of the power-law exponent of the hopping amplitude.

In periodically driven systems the study focuses on the effect of disorder in the nature of the topology of the steady states. First, we investigate the robustness to disorder of Floquet topological insulators (FTIs) occurring in semiconductor quantum wells. Such FTIs are generated by resonantly driving a transition between the valence and conduction band. We show that when disorder is added, the topological nature of such FTIs persists as long as there is a gap at the resonant quasienergy. For strong enough disorder, this gap closes and all the states become localized as the system undergoes a transition to a trivial insulator.

Interestingly, the effects of disorder are not necessarily adverse, disorder can also induce a transition from a trivial to a topological system, thereby establishing a Floquet Topological Anderson Insulator (FTAI). Such a state would be a dynamical realization of the topological Anderson insulator. We identify the conditions on the driving field necessary for observing such a transition. We realize such a disorder induced topological Floquet spectrum in the driven honeycomb lattice and quantum well models.

Finally, we show that two-dimensional periodically driven quantum systems with spatial disorder admit a unique topological phase, which we call the anomalous Floquet-Anderson insulator (AFAI). The AFAI is characterized by a quasienergy spectrum featuring chiral edge modes coexisting with a fully localized bulk. Such a spectrum is impossible for a time-independent, local Hamiltonian. These unique characteristics of the AFAI give rise to a new topologically protected nonequilibrium transport phenomenon: quantized, yet nonadiabatic, charge pumping. We identify the topological invariants that distinguish the AFAI from a trivial, fully localized phase, and show that the two phases are separated by a phase transition.

The thesis also present the study of disordered systems using Wegner's Flow equations. The Flow Equation Method was proposed as a technique for studying excited states in an interacting system in one dimension. We apply this method to a one-dimensional tight binding problem with power-law decaying hoppings. This model presents a transition as a function of the exponent of the decay. It is shown that the the entire phase diagram, i.e. the delocalized, critical and localized phases in these systems can be studied using this technique. Based on this technique, we develop a strong-bond renormalization group that procedure where we solve the Flow Equations iteratively. This renormalization group approach provides a new framework to study the transition in this system.

Nonequilibrium charge transport in an interacting open system: Two-particle resonance and current asymmetry

We use the Lippman-Schwinger scattering theory to study nonequilibrium electron transport through an interacting open quantum dot. The two-particle current is evaluated exactly while we use perturbation theory to calculate the current when the leads are Fermi liquids at different chemical potentials. We find an interesting two-particle resonance induced by the interaction and obtain criteria to observe it when a small bias is applied across the dot. Finally, for a system without spatial inversion symmetry, we find that the two-particle current is quite different depending on whether the electrons are incident from the left or the right lead.

Unconventional metallicity and giant thermopower in a strongly interacting two-dimensional electron system

We present thermal and electrical transport measurements of low-density (10(14) m(-2)), mesoscopic two-dimensional electron systems (2DESs) in GaAs/AlGaAs heterostructures at sub-Kelvin temperatures. We find that even in the supposedly strongly localized regime, where the electrical resistivity of the system is two orders of magnitude greater than the quantum of resistance h/e(2), the thermopower decreases linearly with temperature indicating metallicity. Remarkably, the magnitude of the thermopower exceeds the predicted value in noninteracting metallic 2DESs at similar carrier densities by over two orders of magnitude. Our results indicate a new quantum state and possibly a novel class of itinerant quasiparticles in dilute 2DESs at low temperatures where the Coulomb interaction plays a pivotal role.

Evidence of novel quasiparticles in a strongly interacting two-dimensional electron system: giant thermopower and metallic behaviour

We report thermopower (S) and electrical resistivity (rho (2DES) ) measurements in low-density (10(14) m(-2)), mesoscopic two-dimensional electron systems (2DESs) in GaAs/AlGaAs heterostructures at sub-Kelvin temperatures. We observe at temperatures a parts per thousand(2)0.7 K a linearly growing S as a function of temperature indicating metal-like behaviour. Interestingly this metallicity is not Drude-like, showing several unusual characteristics: (i) the magnitude of S exceeds the Mott prediction valid for non-interacting metallic 2DESs at similar carrier densities by over two orders of magnitude; and (ii) rho (2DES) in this regime is two orders of magnitude greater than the quantum of resistance h/e (2) and shows very little temperature-dependence. We provide evidence suggesting that these observations arise due to the formation of novel quasiparticles in the 2DES that are not electron-like. Finally, rho (2DES) and S show an intriguing decoupling in their density-dependence, the latter showing striking oscillations and even sign changes that are completely absent in the resistivity.

Fragility of the spin-glass-like collective state to a magnetic field in an interacting Fe-C nanoparticle system

The effect of applied magnetic fields on the collective nonequilibrium dynamics of a strongly interacting Fe-C nanoparticle system has been investigated. It is experimentally shown that the magnetic aging diminishes to finally disappear for fields of moderate strength. The field needed to remove the observable aging behavior increases with decreasing temperature. The same qualitative behavior is observed in an amorphous metallic spin glass (Fe0.15Ni0.85)(75)P16B6Al3.

Identifying multiple interacting bad data in power system state estimation

This paper presents an intelligent search strategy for the conforming bad data errors identification in the generalized power system state estimation, by using the tabu search meta heuristic. The main objective is to detect critical errors involving both analog and topology errors. These errors are represented by conforming errors, whose nature affects measurements that actually do not present bad data and also the conventional bad data identification strategies based on the normalized residual methods. ©2005 IEEE.

Monitoring protein-protein interactions between the mammalian integral membrane transporters and PDZ-interacting partners using a modified split-ubiquitin membrane yeast two-hybrid system

PDZ-binding motifs are found in the C-terminal tails of numerous integral membrane proteins where they mediate specific protein-protein interactions by binding to PDZ-containing proteins. Conventional yeast two-hybrid screens have been used to probe protein-protein interactions of these soluble C termini. However, to date no in vivo technology has been available to study interactions between the full-length integral membrane proteins and their cognate PDZ-interacting partners. We previously developed a split-ubiquitin membrane yeast two-hybrid (MYTH) system to test interactions between such integral membrane proteins by using a transcriptional output based on cleavage of a transcription factor from the C terminus of membrane-inserted baits. Here we modified MYTH to permit detection of C-terminal PDZ domain interactions by redirecting the transcription factor moiety from the C to the N terminus of a given integral membrane protein thus liberating their native C termini. We successfully applied this "MYTH 2.0" system to five different mammalian full-length renal transporters and identified novel PDZ domain-containing partners of the phosphate (NaPi-IIa) and sulfate (NaS1) transporters that would have otherwise not been detectable. Furthermore this assay was applied to locate the PDZ-binding domain on the NaS1 protein. We showed that the PDZ-binding domain for PDZK1 on NaS1 is upstream of its C terminus, whereas the two interacting proteins, NHERF-1 and NHERF-2, bind at a location closer to the N terminus of NaS1. Moreover NHERF-1 and NHERF-2 increased functional sulfate uptake in Xenopus oocytes when co-expressed with NaS1. Finally we used MYTH 2.0 to demonstrate that the NaPi-IIa transporter homodimerizes via protein-protein interactions within the lipid bilayer. In summary, our study establishes the MYTH 2.0 system as a novel tool for interactive proteomics studies of membrane protein complexes.

A network of interacting transcriptional regulators involved in Drosophila neural fate specification revealed by the yeast two-hybrid system

Neural fate specification in Drosophila is promoted by the products of the proneural genes, such as those of the achaete–scute complex, and antagonized by the products of the Enhancer of split [E(spl)] complex, hairy, and extramacrochaetae. As all these proteins bear a helix-loop-helix (HLH) dimerization domain, we investigated their potential pairwise interactions using the yeast two-hybrid system. The fidelity of the system was established by its ability to closely reproduce the already documented interactions among Da, Ac, Sc, and Extramacrochaetae. We show that the seven E(spl) basic HLH proteins can form homo- and heterodimers inter-se with distinct preferences. We further show that a subset of E(spl) proteins can heterodimerize with Da, another subset can heterodimerize with proneural proteins, and yet another with both, indicating specialization within the E(spl) family. Hairy displays no interactions with any of the HLH proteins tested. It does interact with the non-HLH protein Groucho, which itself interacts with all E(spl) basic HLH proteins, but with none of the proneural proteins or Da. We investigated the structural requirements for some of these interactions by site-specific and deletion mutagenesis.

Persistent navigation and mapping using a biologically inspired SLAM system

The challenge of persistent navigation and mapping is to develop an autonomous robot system that can simultaneously localize, map and navigate over the lifetime of the robot with little or no human intervention. Most solutions to the simultaneous localization and mapping (SLAM) problem aim to produce highly accurate maps of areas that are assumed to be static. In contrast, solutions for persistent navigation and mapping must produce reliable goal-directed navigation outcomes in an environment that is assumed to be in constant flux. We investigate the persistent navigation and mapping problem in the context of an autonomous robot that performs mock deliveries in a working office environment over a two-week period. The solution was based on the biologically inspired visual SLAM system, RatSLAM. RatSLAM performed SLAM continuously while interacting with global and local navigation systems, and a task selection module that selected between exploration, delivery, and recharging modes. The robot performed 1,143 delivery tasks to 11 different locations with only one delivery failure (from which it recovered), traveled a total distance of more than 40 km over 37 hours of active operation, and recharged autonomously a total of 23 times.

A new approach for power system black-start decision-making with vague set theory

Power system restoration after a large area outage involves many factors, and the procedure is usually very complicated. A decision-making support system could then be developed so as to find the optimal black-start strategy. In order to evaluate candidate black-start strategies, some indices, usually both qualitative and quantitative, are employed. However, it may not be possible to directly synthesize these indices, and different extents of interactions may exist among these indices. In the existing black-start decision-making methods, qualitative and quantitative indices cannot be well synthesized, and the interactions among different indices are not taken into account. The vague set, an extended version of the well-developed fuzzy set, could be employed to deal with decision-making problems with interacting attributes. Given this background, the vague set is first employed in this work to represent the indices for facilitating the comparisons among them. Then, a concept of the vague-valued fuzzy measure is presented, and on that basis a mathematical model for black-start decision-making developed. Compared with the existing methods, the proposed method could deal with the interactions among indices and more reasonably represent the fuzzy information. Finally, an actual power system is served for demonstrating the basic features of the developed model and method.

Understanding IT value : a multilevel, complex, and adaptive system perspective

One remaining difficulty in the Information Technology (IT) business value evaluation domain is the direct linkage between IT value and the underlying determinants of IT value or surrogates of IT value. This paper proposes a research that examines the interacting effects of the determinants of IT value, and their influences on IT value. The overarching research question is how those determinants interact with each other and affect the IT value at organizational value. To achieve this, this research embraces a multilevel, complex, and adaptive system view, where the IT value emerges from the interacting of underlying determinants. This research is theoretically grounded on three organizational theories – multilevel theory, complex adaptive systems theory, and adaptive structuration theory. By integrating those theoretical paradigms, this research proposes a conceptual model that focuses on the process where IT value is created from interactions of those determinants. To answer the research question, agent-based modeling technique is used in this research to build a computational representation based on the conceptual model. Computational experimentation will be conducted based on the computational representation. Validation procedures will be applied to consolidate the validity of this model. In the end, hypotheses will be tested using computational experimentation data.