[pt] Sistemas multi-agentes abertos são freqüentemente caracterizados como sistemas distribuídos onde agentes, que podem não ser conhecidos a priori, podem entrar ou sair do sistema a qualquer momento. Uma abordagem de governança estabelece regras de interação que precisam ser seguidas pelos agentes de um determinado sistema. O uso destas regras permite uma maior previsibilidade e controle sobre o comportamento observável do sistema. Nesta tese, apresenta-se uma abordagem de governança de sistemas multi-agentes abertos como adequada para lidar não apenas com o monitoramento e controle do comportamento dos agentes, mas também com aspectos de fidedignidade. Um software é dito fidedigno quando se pode confiar no mesmo através de verificações formais ou informais assumindo riscos de danos compatíveis com o serviço prestado pelo software. A incorporação de aspectos de fidedignidade em uma abordagem de governança tem como principal benefício a geração de uma tecnologia integrada que possui as vantagens de uma abordagem de governança e ao mesmo tempo lida com especificações de instrumentos de fidedignidade tais como prevenção e tolerância a faltas. A abordagem proposta é ilustrada através de um estudo de caso no contexto de controle de tráfego aéreo. / [en] Open multi-agent systems are frequently characterized by having little or no control over the behavior of the agents. The internal implementation and architecture of agents usually are inaccessible, and different teams may have developed them but with no coordination between them. Furthermore, agents may enter or leave the system at their will. A governance approach defines the interaction rules that must be obeyed by the agents. These rules allow for a greater control and predictability of the observable system behavior. In this thesis, we propose a governance approach to deal not only with the monitoring and control of agents` behavior but also to deal with dependability concerns. The original definition of dependability is the ability to deliver service that can justifiably be trusted. A governance approach that also deals with dependability has as main benefit the reuse of the monitoring and enforcement present in the governance infrastructure for dependability. We present a case study in the context of an air traffic control system to illustrate our approach.

Wir betrachten offene Systeme; Systeme mit Schnittstelle und Verhalten in Form eines Protokolls. Offener Systeme interagieren durch den Austausch von Nachrichten. Die Interaktion ist korrekt, wenn die interagierende offenen Systeme terminieren können. Die korrekte Interaktion unabhängig entwickelter, offener Systeme ist nicht immer möglich. Obwohl ein offenes Systeme Funktionalität bereitstellt, die ein zweites offenes System benötigt, können Inkompatibilitäten in den Schnittstellen oder im Verhalten dazu führen, dass Nachrichten nicht korrekt ausgetauscht werden. Hier kommt die Idee eines Adapters zum Tragen, der solche Unterschiede ausgleicht. Wir führen eine Technik ein, die Inkompatibilitäten der Schnittstelle und des Verhaltens getrennt voneinander betrachtet. Mit Hilfe von Transformationsregeln geben wir an, wie Nachrichten zweier offener Systeme im Zusammenhang stehen. Wir modellieren so korrekten Datenfluss zwischen den Schnittstellen der offenen Systeme. Mit Hilfe existierender Techniken zur Controllersynthese erzeugen wir korrekten Kontrollfluss, sodass die Transformationsregeln so angewendet werden, dass Inkompatibilitäten im Verhalten überwunden werden. Wir erzeugen korrekten Kontrollfluss. Die Einheit aus Transformationsregeln und Controller bezeichnen wir als Adapter. Aufbauend auf dieser Technik betrachten wir in dieser Arbeit folgende Fragestellungen: - Welche Eigenschaften besitzt die vorgestellte Technik? Wann existiert ein Adapter? Wie lässt sich die Technik allgemein auf offene, kommunizierende Systeme anwenden? - Wie verteilen wir einen generierten Adapter auf verschiedene Komponenten? - Welche Informationen können wir bereitstellen, falls wir keinen Adapter finden? - Wie leiten wir ein formales Modell eines Adapters ab, wenn wir nur aufgezeichnetes Verhalten der offenen Systeme, aber keine formalen Modelle gegeben haben? / We consider open systems being described by an interface and behavior in form of an protocol. Interaction between open systems means exchange of messages. For the interaction to be correct, the interacting open systems must be able to terminate. The interaction of independently developed open systems is not guaranteed to be correct. Although one open system provides functionality a second open system requires, incompatiblities of the interfaces or the behavior may prevent the correct exchange of messages. The idea is to introduce an adapter to overcome the incompatiblities. We present a technique that considers incompatiblities of the interfaces and the behavior separately. With transformation rules we specify how messages of two open systems relate to each other. Using these rules we model the data flow between open systems and overcome incompatiblities of the interfaces. By using existing techniques for controller synthesis we overcome incompatiblities of the behavior. Thus we create correct control flow. We call the composition of transformation rules and controller an adapter. Based on the technique presented in this thesis, we want to answer the following reseach questions: - What are the properties of the proposed technique? When does an adapter exist? How can we apply the technique on open, communicating systems in general? - How do we distribute a generated adapter to different components? - Which information can we provide, if adapter synthesis fails? - How can we discover a formal model of an adapter, when we only have recorded behavior of open systems, but no formal models?

ABSTRACT CULTURAL LEADERSHIP AND PEACE: AN EDUCATIONAL RESPONSE TO RELIGIOUS VIOLENCE by B. David Rowe This study is a philosophical inquiry into violence as the consequence of dysfunctional meaning-making processes. It establishes a theory of leadership development which requires, catalyzes, and sustains a reinvigorated relationship between education and religion in order to create more pacific ways of making meaning on interpersonal, organizational, institutional, societal, and global levels. The inquiry articulates an understanding of leadership as drawing on educative and religious processes for the deployment of power in order to make meaning with or on behalf of groups of people at various levels of social complexity. The analysis demonstrates that leadership is informed by and can inform institutional patterns of behavior and signification. Examination of leadership style on a developmental continuum of more and less violent modes of deploying power simultaneously offers insight into the origin of violent social relationships and into a process for creating more pacific ways of making meaning. Therefore, providing a path of personal cognitive and moral development along this continuum for organizational, institutional, societal, and global leaders offers one approach to influencing the development of social institutions which, in turn, influence the development of other leaders, along a mutually formative path toward interpersonal and global peace. The examination of leadership as energy deployment for the purpose of making meaning offers an opportunity to consider religion as an institution which encodes meaning making processes for society and individuals alike and to consider education as an institution which encodes behavior and norms attendant to the explication of reality. Rehabilitating religion and education in order to play these respective social roles more effectively requires more sophisticated leaders who deploy energy in less violent ways. Conversely, leadership development is constrained and empowered by these institutions which are in need of such growth themselves. This philosophical inquiry, therefore, synthesizes a new theory capable of framing new questions for leadership development and institutional growth with personal, organizational, societal, and global implications. The theory creates the category of Cultural Leadership which becomes a model for making meaning in less violent ways while providing a pathway for personal and social growth toward sustainable peace.

Made available in DSpace on 2016-06-02T20:15:18Z (GMT). No. of bitstreams: 1 1995.pdf: 1566210 bytes, checksum: 7c5a0c3ef27c706d0ac9145573694cdf (MD5) Previous issue date: 2008-05-17 / Financiadora de Estudos e Projetos / In this work we first present a protocol to build effective interactions between two cavity modes, considering a two-level atom under the action of classical fields. Bilinear Hamiltonians associated with parametric up- and down-conversion processes are derived, apart from nonlinear interactions associated with the degenerate parametric down-conversion process, resulting in the squeezing operation of a cavity mode. We also demonstrate how to construct nonlinear Hamiltonians related with a Kerr-type process for one or two cavity modes. In particular, we show how to implement, in the bimodal cavity, the Hamiltonian describing a two-specieis Bose-Einstein condensate in the two-mode approximation. Next, considering a two-level ion trapped in a cavity, under the action of classical amplification field, we show how to build an artificial reservoir for the electronic states of the ion. This reservoir is suited to protect nonstationary superpositions of the electronic levels, enabling us to measure the geometric phase acquired by these states under nonadiabatic evolutions of the system. Finally, we show how to construct squeezed reservoirs, either for a cavity mode or two-level atoms, by previously engineering an effective interaction between the atom(s) and the cavity mode which comprehends the simultaneous implementation of the Jaynes-Cummings and anti-Jaynes-Cummings Hamiltonians. / Nesta tese, apresentamos primeiramente um protocolo para a construção de interações efetivas entre dois modos de uma cavidade, através de um átomo de dois níveis sob a ação de campos clássicos. hamiltonianos bilineares associados à processos de conversões paramétricas ascendente e descendente de frequências foram obtidos, bem como hamiltonianos não-lineares associados à compressão paramétrica de um modo da cavidade. Mostramos também como construir hamiltonianos associados a processos não-lineares do tipo Kerr para um ou dois modos da cavidade. Em especial, mostramos como implementar, na cavidade bi-modal, o hamiltoniano que descreve um condensado de Bose-Einstein de duas espécies atômicas na aproximação de dois modos. Em seguida, considerando um íon de dois níveis aprisionado no interior de uma cavidade e submetido à ação de campos clássicos, mostramos como construir um reservatório artificial para os estados eletrônicos do íon. Este reservatório permite a proteção de superposições não estacionárias dos níveis eletrônicos, possibilitando a medida de fases geométricas por elas adquiridas mediante evoluções não adiabáticas do sistema. Por fim, mostramos como construir reservatórios comprimidos tanto para um modo da cavidade como para átomos de dois níveis, mediante a construção prévia de uma interação efetiva entre átomo(s) e modo que compreende a realização simultânea dos hamiltonianos de Jaynes-Cummings e anti-Jaynes-Cummings. Para tanto, recorremos a átomo(s) de três níveis sob a ação de campos clássicos.

Our modern information society provides us with a tremendous amount of information. Several issues have surfaced due to the complexity inherent in the handling of the information systems. One of the most important issues is that of providing an architecture and methodology that provide for the development and maintenance of complex, distributed information systems. As the information flow and quantity hinders us from having qualitative information when needed, the architecture must address the reach, richness and value of the information. Network-centric warfare is a problem domain that has been initiated to meet the power of information. To be able to support such continouos sustainability, a robust network infrastructure is critical. A systemic perspective on network-centric environments as well as a technical perspective on network-centric environment shows that, although promising, contemporary implementations having a service-oriented architecture lack support for physical scalability and a cognitive decoupling that would provide for multiple users acting on the same environment. Consequently, a service-oriented layered architecture for communicating entities is presented where these issues are addressed. For verification, a demonstrator is developed upon a service-oriented layered architecture for communicating based on a network-centric warfare scenario.

De nombreux phénomènes de physique quantique ne peuvent être compris que par l'analyse des systèmes ouverts. Un appareil de mesure, par exemple, est un système macroscopique en contact avec un système quantique. Ainsi, tout modèle d'expérience doit prendre en compte les dynamiques propres aux systèmes ouverts. Ces dynamiques peuvent être complexes : l'interaction du système avec son environnement peut modifier ses propriétés, l'interaction peu créer des effets de mémoire dans l'évolution du système, . . . Ces dynamiques sont particulièrement importantes dans l'étude des expériences d'optique quantique. Nous sommes aujourd'hui capables de manipuler individuellement des particules. Pour cela la compréhension et le contrôle de l'influence de l'environnement est crucial. Dans cette thèse nous étudions d'un point de vue théorique quelques procédures communément utilisées en optique quantique. Avant la présentation de nos résultats, nous introduisons et motivons l'utilisation de la description markovienne des systèmes quantiques ouverts. Nous présentons a la fois les équations maîtresses et le calcul stochastique quantique. Nous introduisons ensuite la notion de trajectoire quantique pour la description des mesures indirectes continues. C'est dans ce contexte que l'on présente les résultats obtenus au cours de cette thèse. Dans un premier temps, nous étudions la convergence des mesures non destructives. Nous montrons qu'elles reproduisent la réduction du paquet d'onde du système mesuré. Nous montrons que cette convergence est exponentielle avec un taux fixe. Nous bornons le temps moyen de convergence. Dans ce cadre, en utilisant les techniques de changement de mesure par martingale, nous obtenons la limite continue des trajectoires quantiques discrètes. Dans un second temps, nous étudions l'influence de l'enregistrement des résultats de mesure sur la préparation d'état par ingénierie de réservoir. Nous montrons que l'enregistrement des résultats de mesure n'a pas d'influence sur la convergence proprement dite. Cependant, nous trouvons que l'enregistrement des résultats de mesure modifie le comportement du système avant la convergence. Nous retrouvons une convergence exponentielle avec un taux équivalent au taux sans enregistrement. Mais nous trouvons aussi un nouveau taux de convergence correspondant a une stabilité asymptotique. Ce dernier taux est interprété comme une mesure non destructive ajoutée. Ainsi l'état du système ne converge qu'après un temps aléatoire. A partir de ce temps la convergence peut être bien plus rapide. Nous obtenons aussi une borne sur le temps moyen de convergence. / Many quantum physics phenomena can only be understood in the context of open system analysis. For example a measurement apparatus is a macroscopic system in contact with a quantum system. Therefore any experiment model needs to take into account open system behaviors. These behaviors can be complex: the interaction of the system with its environment might modify its properties, the interaction may induce memory effects in the system evolution, ... These dynamics are particularly important when studying quantum optic experiments. We are now able to manipulate individual particles. Understanding and controlling the environment influence is therefore crucial. In this thesis we investigate at a theoretical level some commonly used quantum optic procedures. Before the presentation of our results, we introduce and motivate the Markovian approach to open quantum systems. We present both the usual master equation and quantum stochastic calculus. We then introduce the notion of quantum trajectory for the description of continuous indirect measurements. It is in this context that we present the results obtained during this thesis. First, we study the convergence of non demolition measurements. We show that they reproduce the system wave function collapse. We show that this convergence is exponential with a fixed rate. We bound the mean convergence time. In this context, we obtain the continuous time limit of discrete quantum trajectories using martingale change of measure techniques. Second, we investigate the influence of measurement outcome recording on state preparation using reservoir engineering techniques. We show that measurement outcome recording does not influence the convergence itself. Nevertheless, we find that measurement outcome recording modifies the system behavior before the convergence. We recover an exponential convergence with a rate equivalent to the rate without measurement outcome recording. But we also find a new convergence rate corresponding to an asymptotic stability. This last rate is interpreted as an added non demolition measurement. Hence, the system state converges only after a random time. At this time the convergence can be much faster. We also find a bound on the mean convergence time.

El texto completo de este trabajo no está disponible en el Repositorio Académico UPC por restricciones de la casa editorial donde ha sido publicado. / Production systems need to be monitored because failure to do so can cause a delay in production due to a lack of remote monitoring. There are solutions that provide this information, but they are limited, because they are owned and very expensive solutions. This paper proposes the development of a mobile application for the monitoring of S7-1200 programmable controller variables through Firebase. The goal is to use open-source-type tools to develop a real-time variable monitoring application of a programmable controller capable of hosting a Web server, and the sent data to the Firebase cloud, in order to avoid modifying the driver software and the data stored in memory. The implemented system of sending, handling and presenting variables is developed with tools of open source type, since they have as an advantage to have greater freedom in programming, unlike proprietary solutions or services. The tests were performed on the Siemens S7-1200 controller with a plastic injection molding machine. / Revisión por pares

This thesis explores systems that exhibit strong coupling between an optical cavity field and a many-particle system. To treat the drive and dissipative nature of the cavity on the same footing as the dynamics of the many-particle system, we use a non-equilibrium field theoretic approach. The first system considered is an ultracold bosonic gas trapped inside a cavity. The dispersive coupling between the cavity field and the atoms' motion leads to the formation of a polariton. We show how a modulation of the pump laser on the energy scale of the transverse cavity mode splitting can be used to create effective interactions between different cavity modes. This effective interaction results in the polariton acquiring a multimode nature, exemplified by avoided crossings in the cavity spectrum. As the laser power is increased, the polariton softens and at a critical power becomes unstable. This instability signals the transition into a superradiant state. If the multimode polariton contains a cavity mode with an effective negative detuning, then the transition does not happen through a mode softening but at a finite frequency. To investigate this, classical non-linear equations are constructed from the action and from these we derive the critical couplings and frequencies. It is shown how the superradiant transition happening at a finite frequency is a consequence of a competition between the negatively and the positively detuned cavity modes making up the polariton. The finite-frequency transition is found to be equivalent to a Hopf bifurcation and leads to the emergence of limit cycles. Our analysis shows that the system can exhibit both bistabilities and evolution constricted to a two-torus. We end the investigation by showing how interactions among the atoms combined with the emerging limit cycle open new phonon scattering channels. The second system considered in the thesis is inspired by the recent experiments on gated Transition-metal dichalcogenides (TMD) monolayers inside cavities. An exciton within the TMD can couple strongly to the cavity and, due to the electronic gating, also interact strongly with the conduction electrons. To treat the strong interactions of the excitons with both cavity and electrons, we solve the coupled equations for the correlation functions non-perturbatively within a ladder approximation. The strong interactions give rise to new quasiparticles known as polaron-polaritons. By driving the system through the cavity, we show how the competition between electron-induced momentum relaxation and cavity loss leads to the accumulation of polaritons at a small but finite momentum, which is accompanied by significant decrease of the polariton linewidth Due to the hybrid nature of the polaron-polariton, we show that this behavior can by qualitatively modified by changing the cavity detuning.

No description available.

No description available.