Projeto de controladores para a maximização de sistemas de captação de energia considerando excitação não ideal

Pós-graduação em Engenharia Mecânica - FEIS

On the quantumness of correlations in nuclear magnetic resonance

Nuclear magnetic resonance (NMR) was successfully employed to test several protocols and ideas in quantum information science. In most of these implementations, the existence of entanglement was ruled out. This fact introduced concerns and questions about the quantum nature of such bench tests. In this paper, we address some issues related to the non-classical aspects of NMR systems. We discuss some experiments where the quantum aspects of this system are supported by quantum correlations of separable states. Such quantumness, beyond the entanglement-separability paradigm, is revealed via a departure between the quantum and the classical versions of information theory. In this scenario, the concept of quantum discord seems to play an important role. We also present an experimental implementation of an analogue of the single-photon Mach-Zehnder interferometer employing two nuclear spins to encode the interferometric paths. This experiment illustrates how non-classical correlations of separable states may be used to simulate quantum dynamics. The results obtained are completely equivalent to the optical scenario, where entanglement (between two field modes) may be present.

Continuity of Dynamical Structures for Nonautonomous Evolution Equations Under Singular Perturbations

In this paper we study the continuity of invariant sets for nonautonomous infinite-dimensional dynamical systems under singular perturbations. We extend the existing results on lower-semicontinuity of attractors of autonomous and nonautonomous dynamical systems. This is accomplished through a detailed analysis of the structure of the invariant sets and its behavior under perturbation. We prove that a bounded hyperbolic global solutions persists under singular perturbations and that their nonlinear unstable manifold behave continuously. To accomplish this, we need to establish results on roughness of exponential dichotomies under these singular perturbations. Our results imply that, if the limiting pullback attractor of a nonautonomous dynamical system is the closure of a countable union of unstable manifolds of global bounded hyperbolic solutions, then it behaves continuously (upper and lower) under singular perturbations.

Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments

Actual trends in software development are pushing the need to face a multiplicity of diverse activities and interaction styles characterizing complex and distributed application domains, in such a way that the resulting dynamics exhibits some grade of order, i.e. in terms of evolution of the system and desired equilibrium. Autonomous agents and Multiagent Systems are argued in literature as one of the most immediate approaches for describing such a kind of challenges. Actually, agent research seems to converge towards the definition of renewed abstraction tools aimed at better capturing the new demands of open systems. Besides agents, which are assumed as autonomous entities purposing a series of design objectives, Multiagent Systems account new notions as first-class entities, aimed, above all, at modeling institutional/organizational entities, placed for normative regulation, interaction and teamwork management, as well as environmental entities, placed as resources to further support and regulate agent work. The starting point of this thesis is recognizing that both organizations and environments can be rooted in a unifying perspective. Whereas recent research in agent systems seems to account a set of diverse approaches to specifically face with at least one aspect within the above mentioned, this work aims at proposing a unifying approach where both agents and their organizations can be straightforwardly situated in properly designed working environments. In this line, this work pursues reconciliation of environments with sociality, social interaction with environment based interaction, environmental resources with organizational functionalities with the aim to smoothly integrate the various aspects of complex and situated organizations in a coherent programming approach. Rooted in Agents and Artifacts (A&A) meta-model, which has been recently introduced both in the context of agent oriented software engineering and programming, the thesis promotes the notion of Embodied Organizations, characterized by computational infrastructures attaining a seamless integration between agents, organizations and environmental entities.

Pseudodifferentialoperatoren mit nichtregulären banachraumwertigen Symbolen

Untersucht werden in der vorliegenden Arbeit Versionen des Satzes von Michlin f¨r Pseudodiffe- u rentialoperatoren mit nicht-regul¨ren banachraumwertigen Symbolen und deren Anwendungen a auf die Erzeugung analytischer Halbgruppen von solchen Operatoren auf vektorwertigen Sobo- levr¨umen Wp (Rn

Simulations of amphiphilic peptides at the air-water interface

Amphiphile Peptide, Pro-Glu-(Phe-Glu)n-Pro, Pro-Asp-(Phe-Asp)n-Pro, und Phe-Glu-(Phe-Glu)n-Phe, können so aus n alternierenden Sequenzen von hydrophoben und hydrophilen Aminosäuren konstruiert werden, dass sie sich in Monolagen an der Luft-Wasser Grenzfläche anordnen. In biologischen Systemen können Strukturen an der organisch-wässrigen Grenzfläche als Matrix für die Kristallisation von Hydroxyapatit dienen, ein Vorgang der für die Behandlung von Osteoporose verwendet werden kann. In der vorliegenden Arbeit wurden Computersimulationenrneingesetzt, um die Strukturen und die zugrunde liegenden Wechselwirkungen welche die Aggregation der Peptide auf mikroskopischer Ebene steuern, zu untersuchen. Atomistische Molekulardynamik-Simulationen von einzelnen Peptidsträngen zeigen, dass sie sich leicht an der Luft-Wasser Grenzfläche anordnen und die Fähigkeit haben, sich in β-Schleifen zu falten, selbst für relativ kurze Peptidlängen (n = 2). Seltene Ereignisse wie diese (i.e. Konformationsänderungen) erfordern den Einsatz fortgeschrittener Sampling-Techniken. Hier wurde “Replica Exchange” Molekulardynamik verwendet um den Einfluss der Peptidsequenzen zu untersuchen. Die Simulationsergebnisse zeigten, dass Peptide mit kürzeren azidischen Seitenketten (Asp vs. Glu) gestrecktere Konformationen aufwiesen als die mit längeren Seitenketten, die in der Lage waren die Prolin-Termini zu erreichen. Darüber hinaus zeigte sich, dass die Prolin-Termini (Pro vs. Phe) notwendig sind, um eine 2D-Ordnung innerhalb derrnAggregate zu erhalten. Das Peptid Pro-Asp-(Phe-Asp)n-Pro, das beide dieser Eigenschaften enthält, zeigt das geordnetste Verhalten, eine geringe Verdrehung der Hauptkette, und ist in der Lage die gebildeten Aggregate durch Wasserstoffbrücken zwischen den sauren Seitenketten zu stabilisieren. Somit ist dieses Peptid am besten zur Aggregation geeignet. Dies wurde auch durch die Beurteilung der Stabilität von experimentnah-aufgesetzten Peptidaggregaten, sowie der Neigung einzelner Peptide zur Selbstorganisation von anfänglich ungeordneten Konfigurationen unterstützt. Da atomistische Simulationen nur auf kleine Systemgrößen und relativ kurze Zeitskalen begrenzt sind, wird ein vergröbertes Modell entwickelt damit die Selbstorganisation auf einem größeren Maßstab studiert werden kann. Da die Selbstorganisation an der Grenzfläche vonrnInteresse ist, wurden existierenden Vergröberungsmethoden erweitert, um nicht-gebundene Potentiale für inhomogene Systeme zu bestimmen. Die entwickelte Methode ist analog zur iterativen Boltzmann Inversion, bildet aber das Update für das Interaktionspotential basierend auf der radialen Verteilungsfunktion in einer Slab-Geometrie und den Breiten des Slabs und der Grenzfläche. Somit kann ein Kompromiss zwischen der lokalen Flüssigketsstruktur und den thermodynamischen Eigenschaften der Grenzfläche erreicht werden. Die neue Methode wurde für einen Wasser- und einen Methanol-Slab im Vakuum demonstriert, sowie für ein einzelnes Benzolmolekül an der Vakuum-Wasser Grenzfläche, eine Anwendung die von besonderer Bedeutung in der Biologie ist, in der oft das thermodynamische/Grenzflächenpolymerisations-Verhalten zusätzlich der strukturellen Eigenschaften des Systems erhalten werden müssen. Daraufrnbasierend wurde ein vergröbertes Modell über einen Fragment-Ansatz parametrisiert und die Affinität des Peptids zur Vakuum-Wasser Grenzfläche getestet. Obwohl die einzelnen Fragmente sowohl die Struktur als auch die Wahrscheinlichkeitsverteilungen an der Grenzfläche reproduzierten, diffundierte das Peptid als Ganzes von der Grenzfläche weg. Jedoch führte eine Reparametrisierung der nicht-gebundenen Wechselwirkungen für eines der Fragmente der Hauptkette in einem Trimer dazu, dass das Peptid an der Grenzfläche blieb. Dies deutet darauf hin, dass die Kettenkonnektivität eine wichtige Rolle im Verhalten des Petpids an der Grenzfläche spielt.

Climate change and infectious diseases of wildlife: Altered interactions between pathogens, vectors and hosts

Infectious diseases result from the interactions of host, pathogens, and, in the case of vector-borne diseases, also vectors. The interactions involve physiological and ecological mechanisms and they have evolved under a given set of environmental conditions. Environmental change, therefore, will alter host-pathogen-vector interactions and, consequently, the distribution, intensity, and dynamics of infectious diseases. Here, we review how climate change may impact infectious diseases of aquatic and terrestrial wildlife. Climate change can have direct impacts on distribution, life cycle, and physiological status of hosts, pathogens and vectors. While a change in either host, pathogen or vector does not necessarily translate into an alteration of the disease, it is the impact of climate change on the interactions between the disease components which is particularly critical for altered disease risks. Finally, climate factors can modulate disease through modifying the ecological networks host-pathogen-vector systems are belonging to, and climate change can combine with other environmental stressors to induce cumulative effects on infectious diseases. Overall, the influence of climate change on infectious diseases involves different mechanisms, it can be modulated by phenotypic acclimation and/or genotypic adaptation, it depends on the ecological context of the host-pathogen-vector interactions, and it can be modulated by impacts of other stressors. As a consequence of this complexity, non-linear responses of disease systems under climate change are to be expected. To improve predictions on climate change impacts on infectious disease, we suggest that more emphasis should be given to the integration of biomedical and ecological research for studying both the physiological and ecological mechanisms which mediate climate change impacts on disease, and to the development of harmonized methods and approaches to obtain more comparable results, as this would support the discrimination of case-specific versus general mechanisms

Analysis of the E1-ubiquitin activating enzyme, Uba1, in cell death and tissue growth in Drosophila

Ubiquitination is an essential process involved in basic biological processes such as the cell cycle and cell death. Ubiquitination is initiated by ubiquitin-activating enzymes (E1), which activate and transfer ubiquitin to ubiquitin-conjugating enzymes (E2). Subsequently, ubiquitin is transferred to target proteins via ubiquitin ligases (E3). Defects in ubiquitin conjugation have been implicated in several forms of malignancy, the pathogenesis of several genetic diseases, immune surveillance/viral pathogenesis, and the pathology of muscle wasting. However, the consequences of partial or complete loss of ubiquitin conjugation in multi-cellular organisms are not well understood. Here, we report the characterization of nba1, the sole E1 in Drosophila. We have determined that weak and strong nba1 alleluias behave genetically different and sometimes in opposing phenotypes. For example, weak uba1 alleluias protect cells from cell death whereas cells containing strong loss-of-function alleluias are highly apoptotic. These opposing phenotypes are due to differing sensitivities of cell death pathway components to ubiquitination level alterations. In addition, strong uba1 alleluias induce cell cycle arrest due to defects in the protein degradation of Cyclins. Surprisingly, clones of strong uba1 mutant alleluias stimulate neighboring wild-type tissue to undergo cell division in a non-autonomous manner resulting in severe overgrowth phenotypes in the mosaic fly. I have determined that the observed overgrowth phenotypes were due to a failure to downregulate the Notch signaling pathway in nba1 mutant cells. Aberrant Notch signaling results in the secretion of a local cytokine and activation of JAK/STAT pathway in neighboring cells. In addition, we elucidated a model describing the regulation of the caspase Dronc in surviving cells. Binding of Dronc by its inhibitor Diap1 is necessary but not sufficient to inhibit Dronc function. Ubiquitin conjugation and Uba1 function is necessary for the negative regulation of Dronc. ^

ADHERENS JUNCTIONS AND THE ACTOMYOSIN NETWORK REGULATE ORGAN GROWTH BY MODULATING HIPPO PATHWAY ACTIVITY IN DROSOPHILA

Adherens junctions (AJs) and basolateral modules are important for the establishment and maintenance of apico-basal polarity. Loss of AJs and basolateral module members lead to tumor formation, as well as poor prognosis for metastasis. Recently, in mammalian studies it has been shown that loss of either AJ or basolateral module members deregulate Yorkie activity, the downstream transcriptional effector of the Hippo pathway. Importantly, it is unclear if AJ and basolateral components act through the same or parallel mechanisms to regulate Yorkie activity. Here, we dissect how loss of AJ and basolateral components affects Hippo signaling in Drosophila. Surprisingly, while scrib knock-down tissue displays increased reporter activity autonomously, α-cat knock-down tissue shows a cell autonomous decrease and a cell non-autonomous increase of Hippo reporter activity. We provided several lines of evidence to show the differential regulation in polarity protein localizations and oncogenic cooperative overgrowth by AJs and basolateral complexes. Finally, we show that Hippo pathway activity is induced in α-cat and scrib double knocked-down tissue. Taken together, our results provide evidence to show that basolateral modules and AJs act in parallel to modulate Hippo pathway activity. Non-muscle myosin II is an actomyosin component that interacts with the actin. Non-muscle myosin II also interacts with lgl, though the function of this interaction is not clear. Our lab demonstrated that modulating F-actin regulates Hippo pathway activity, and lgl also has been described as a Hippo pathway regulator. Therefore we suspect that myosin II is also involved in Hippo pathway regulation. We first characterized non-muscle Myosin II as a novel tumor suppressor gene by affecting Hippo pathway activity. Upstream regulators of Myosin II, members in the Rho signaling pathway, also displayed similar phenotypes as the Myosin II knock-down tissues. Apoptosis is also induced in myosin II knock-down tissues, however, blocking cell death does not affect myosin II knock-down induced Hippo activation. Our data suggested hyperactivating myosin II induced F-actin accumulation so therefore induces Hippo target activation. Unexpectedly, we also observed that reducing F-actin activity induced Hippo target activation in vivo. These controversial data indicated that actomyosin may regulate the Hippo pathway through multiple mechanisms.

Divided we stand: Parallel distributed stack memory management

We present an overview of the stack-based memory management techniques that we used in our non-deterministic and-parallel Prolog systems: &-Prolog and DASWAM. We believe that the problems associated with non-deterministic and-parallel systems are more general than those encountered in or-parallel and deterministic and-parallel systems, which can be seen as subsets of this more general case. We develop on the previously proposed "marker scheme", lifting some of the restrictions associated with the selection of goals while keeping (virtual) memory consumption down. We also review some of the other problems associated with the stack-based management scheme, such as handling of forward and backward execution, cut, and roll-backs.

Dynamics of thermal ignition of spray flames in mixing layers

Conditions are identified under which analyses of laminar mixing layers can shed light on aspects of turbulent spray combustion. With this in mind, laminar spray-combustion models are formulated for both non-premixed and partially premixed systems. The laminar mixing layer separating a hot-air stream from a monodisperse spray carried by either an inert gas or air is investigated numerically and analytically in an effort to increase understanding of the ignition process leading to stabilization of high-speed spray combustion. The problem is formulated in an Eulerian framework, with the conservation equations written in the boundary-layer approximation and with a one-step Arrhenius model adopted for the chemistry description. The numerical integrations unveil two different types of ignition behaviour depending on the fuel availability in the reaction kernel, which in turn depends on the rates of droplet vaporization and fuel-vapour diffusion. When sufficient fuel is available near the hot boundary, as occurs when the thermochemical properties of heptane are employed for the fuel in the integrations, combustion is established through a precipitous temperature increase at a well-defined thermal-runaway location, a phenomenon that is amenable to a theoretical analysis based on activation-energy asymptotics, presented here, following earlier ideas developed in describing unsteady gaseous ignition in mixing layers. By way of contrast, when the amount of fuel vapour reaching the hot boundary is small, as is observed in the computations employing the thermochemical properties of methanol, the incipient chemical reaction gives rise to a slowly developing lean deflagration that consumes the available fuel as it propagates across the mixing layer towards the spray. The flame structure that develops downstream from the ignition point depends on the fuel considered and also on the spray carrier gas, with fuel sprays carried by air displaying either a lean deflagration bounding a region of distributed reaction or a distinct double-flame structure with a rich premixed flame on the spray side and a diffusion flame on the air side. Results are calculated for the distributions of mixture fraction and scalar dissipation rate across the mixing layer that reveal complexities that serve to identify differences between spray-flamelet and gaseous-flamelet problems.

Direct Vlasov simulations of electron-attracting cylindrical Langmuir probes in flowing plasmas

Current collection by positively polarized cylindrical Langmuir probes immersed in flowing plasmas is analyzed using a non-stationary direct Vlasov-Poisson code. A detailed description of plasma density spatial structure as a function of the probe-to-plasma relative velocity U is presented. Within the considered parametric domain, the well-known electron density maximum close to the probe is weakly affected by U. However, in the probe wake side, the electron density minimum becomes deeper as U increases and a rarified plasma region appears. Sheath radius is larger at the wake than at the front side. Electron and ion distribution functions show specific features that are the signature of probe motion. In particular, the ion distribution function at the probe front side exhibits a filament with positive radial velocity. It corresponds to a population of rammed ions that were reflected by the electric field close to the positively biased probe. Numerical simulations reveal that two populations of trapped electrons exist: one orbiting around the probe and the other with trajectories confined at the probe front side. The latter helps to neutralize the reflected ions, thus explaining a paradox in past probe theory.

Characterization of the transposition pattern of the Ac element in Arabidopsis thaliana using endonuclease I-SceI

We have investigated physical distances and directions of transposition of the maize transposable element Ac in Arabidopsis thaliana. We prepared a transferred DNA (T-DNA) construct that carried a non-autonomous derivative of Ac with a site for cleavage by endonuclease I-SceI (designated dAc-I-RS element). Another cleavage site was also introduced into the T-DNA region outside dAc-I-RS. Three transgenic Arabidopsis plants were generated, each of which had a single copy of the T-DNA at a different chromosomal location. These transgenic plants were crossed with the Arabidopsis that carried the gene for Ac transposase and progeny in which dAc-I-RS had been transposed were isolated. After digestion of the genomic DNA of these progeny with endonuclease I-SceI, sizes of segment of DNA were determined by pulse-field gel electrophoresis. We also performed linkage analysis for the transposed elements and sites of mutations near the elements. Our results showed that 50% of all transposition events had occurred within 1,700 kb on the same chromosome, with 35% within 200 kb, and that the elements transposed in both directions on the chromosome with roughly equal probability. The data thus indicate that the Ac–Ds system is most useful for tagging of genes that are present within 200 kb of the chromosomal site of Ac in Arabidopsis. In addition, determination of the precise localization of the transposed dAc-I-RS element should definitely assist in map-based cloning of genes around insertion sites.

Argumentation strategies for plan resourcing

Postprint

Optimizing the data intensive mediator-based Web services composition

Effectively using heterogeneous, distributed information has attracted much research in recent years. Current web services technologies have been used successfully in some non data intensive distributed prototype systems. However, most of them can not work well in data intensive environment. This paper provides an infrastructure layer in data intensive environment for the effectively providing spatial information services by using the web services over the Internet. We extensively investigate and analyze the overhead of web services in data intensive environment, and propose some new optimization techniques which can greatly increase the system’s efficiency. Our experiments show that these techniques are suitable to data intensive environment. Finally, we present the requirement of these techniques for the information of web services over the Internet.