Thesis (M.S. in Information Technology Management)--Naval Postgraduate School, March 2004. / Thesis advisor(s): Cynthia Irvine, Tim Levin. Includes bibliographical references (p. 65-66). Also available online.

Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2006. / Title from PDF title page (viewed on Aug. 29, 2006). Includes bibliographical references.

Ce travail montre comment un formalisme logique, la logique de configuration, est intégré au sein d'un outil de gestion de configuration de réseaux, ValidMaker. Le principal objectif de ce travail est de démontrer que la logique de configuration est particulièrement bien adaptée à la vérification automatique de configuration de réseaux. À cette fin, nous développons un exemple réel de configuration de réseaux et nous trouvons des règles qui doivent être vérifiées pour qu'une telle configuration soit fonctionnelle. Ensuite, nous expliquons comment nous avons implanté la logique de configuration dans ValidMaker et nous illustrons le fonctionnement de notre algorithme de vérification.

The increased complexity, heterogeneity and the dynamism of networked systems and applications make current configuration and management tools to be ineffective. A new paradigm to dynamically configure and manage large-scale complex and heterogeneous networked systems is critically needed. In this dissertation, we present a self configuration paradigm based on the principles of autonomic computing that can handle efficiently complexity, dynamism and uncertainty in configuring networked systems and their applications. Our approach is based on making any resource/application to operate as an Autonomic Component (that means, it can be self-configured, self-healed, self-optimized and self-protected) by using two software modules: Component Management Interface (CMI) to specify the configuration and operational policies associated with each component and Component Runtime Manager (CRM) that manages the component configurations and operations using the policies defined in CMI. We use several configuration metrics (adaptability, complexity, latency, scalability, overhead, and effectiveness) to evaluate the effectiveness of our self-configuration approach when compared to other configuration techniques. We have used our approach to dynamically configure four systems: Automatic IT system management, Dynamic security configuration of networked systems, Self-management of data backup and disaster recovery system and Automatic security patches download and installation on a large scale test bed. Our experimental results showed that by applying our self-configuration approach, the initial configuration time, the initial configuration complexity and the dynamic configuration complexity can be reduced significantly. For example, the configuration time for security patches download and installation on nine machines is reduced to 4399 seconds from 27193 seconds. Furthermore our system provides most adaptability (e.g., 100% for Snort rule set configuration) comparing to hard coded approach (e.g., 22% for Snort rule set configuration) and can improve the performance of managed system greatly. For example, in data backup and recovery system, our approach can reduce the total cost by 54.1% when network bandwidth decreases. In addition, our framework is scalable and imposes very small overhead (less than 1%) on the managed system.

No description available.

No description available.

No description available.

Dans cette thèse nous étudions d’un point de vue topologique deux espaces dont l’utilité et l’importance dépassent le cadre de la topologie algébrique.  Le premier espace est constitué de toutes les fonctions holomorphes de la sphère de Riemann dans une variété de Grassmann complexe. Cet espace se scinde en composantes connexes et nous identifions entièrement le type d’homotopie de la composante des applications de degré un. Nous en déduisons des calculs homologiques explicites. Dans le cas des applications pointées, nous explicitons une action de l’opérade des deux petits disques sur l’espace des fonctions rationnelles, simplifiant ainsi quelques travaux de Mann et Milgram. Nous étudions également les espaces de fonctions continues et dans le cas de la Grassmannienne des deux plans complexes dans C4, nous obtenons une décomposition homotopique de son espace de lacet. Finalement le second espace que nous étudions est l'espace des lacets libres sur les configurations de points distincts dans Rn. Dans le cas de 3 points, nous obtenons de façon simple et élégante un résultat de scindement homologique dû à Fadell et Husseini. / In this thesis we study a topological point of view two spaces whose usefulness and importance beyond the scope of algebraic topology. The first space consists of all holomorphic maps of the Riemann sphere in a complex Grassmannian manifold. This space is divided into connected components and we identify the entire homotopy type of the component of degree one. We deduce explicit homological calculations. In the case of based map, we explain an action of the operad of two little disks on the space of rational functions, simplifying some work of Mann and Milgram. We also study the spaces of continuous maps and in the case of the Grassmannian of two planes complex C4, we obtain a homotopy decomposition of the space of loops. Finally the second space that we study is the free loop space of configurations of distinct points in Rn. In the case of three points, we obtain a simple and elegant result of homological splitting belonging to Fadell and Husseini.

Les électrolytes solides sont du plus grand intérêt scientifique tant du point de vue fondamental que pour les nombreuses applications technologiques potentielles, notamment les batteries rechargeables, les cellules énergétiques ou les capteurs. Les matériaux considérés aujourd’hui comme les plus prometteurs sont obtenus par dissolution d’un sel alcalin dans un milieu contenant des fonction poly(éthylène oxide) (PEO). Récemment, il a été montré que certains facteurs géométriques de ces (macro)molécules, comme la proximité d’éléments polaires ou non-polaires, le contrôle de la longueur de la chaine PEO ou l’organisation partielle des segments PEO, pouvaient aider à augmenter la conductivité ionique. Suivant ces hypothèses, ce travail consiste à étudier l’influence de l’organisation moléculaire au sein d’un électrolyte sur le transport des espèces chargées, notamment les ions lithium. Des composés présentant une phase cristal-liquide nématique et possédant des chaines PEO ont été dopés avec des sels de lithium. Par ailleurs, la présence d’une fonction azobenzène sur le cœur rigide de la molécule permet de contrôler la géométrie des molécules par photo-isomérisation sous irradiation UV. L’ordre de la phase nématique constituée de molécules de type bâtonnets peut donc être modifié par l’introduction de molécules en forme de chevrons. La conductivité ionique de ces composés a ensuite été évaluée par spectroscopie diélectrique dans les configurations planaire et homéotrope. Il a été mis en évidence que l’anisotropie influence le déplacement des charges et que les porteurs de charges se déplacent de façon favorisée en configuration planaire. L’influence de l’irradiation UV, et donc l’impact de l’ordre moléculaire a ensuite été exploré. Les irradiations entrainent une baisse de la conductivité ce qui met à nouveau l’importance de l’anisotropie sur la conductivité. Une étude courant/tension a été également menée afin d’étudier la dynamique de ces systèmes soumis à l’illumination. Enfin un gel électrolyte anisotrope a été élaboré. Les premiers résultats obtenus sur les propriétés électriques de ce gel semblent prometteur montrant une conductivité améliorée. / Solid organic electrolytes are of major scientific interest from fundamental standpoint and they have numerous potential technological applications, such as high-capacity rechargeable batteries, fuel cells or sensors. One way to obtain these materials is to dissolve alkali salts into media based on poly(ethylene oxide) (PEO) derivatives. Recently, it has been demonstrated that some geometric factors of these (macro)molecules, such as proximity of polar and non-polar elements, PEO chain length or partial ordering of the PEO segments, can improve the ionic conductivity. Based on these observations, photosensitive mesogenic compounds bearing PEO chains were doped with lithium salts. The physical characteristics of these hybrid materials have been investigated by optical microscopy, X-Ray diffraction and broadband dielectric spectroscopy. In particular, the ionic conductivity has been studied for two different anchoring conditions, i.e., planar and homeotropic. It is shown that the anisotropy of the liquid crystalline phase influences the ionic conductivity of the sample and thus the charge motion. Planar anchoring conditions provided the highest ionic conductivity. Then, the impact of UV irradiation on the molecular order has been investigated. Upon UV light, a Trans-Cis isomerisation mechanism of the azobenzene moieties present in the chore of the molecules takes places inducing the transformation of stick-like shape molecules (nematic phase) to chevron-like shape molecules (isotropic state). This phenomenon strongly affects the ionic conductivity evidencing the major role of the anisotropy on the conduction process. In order to investigate the dynamic properties of these systems under illumination a current/voltage study has also been carried out showing the potential use of these photosensitive mesogenic electrolytes as sensors. Finally, the LC phase has been stabilized by using a polymerization mechanism of photosensitive mesogenic monomers. It is interesting to point out that the fabricated gel exhibits enhanced electrical properties compared to that of the non-stabilized LC phase.

Graduation date: 1995