Promocijas darbā risināta praktiska programmatūras dzīves cikla uzlabošanas problēma, tiecoties samazināt programmatūras uzturēšanas fāzē nepieciešamo cilvēka darba un zināšanu ieguldījumu. Darbā piedāvāta jauna programmatūras būves tehnoloģija, kas sniedz iespēju programmatūru izstrādāt tā, lai tā varētu patstāvīgi pārbaudīt savu „dzīvotspēju” dotajā izpildes vidē.

La presente tesi tratta del fenomeno dello sviluppo della visione del mondo, da un punto di vista sociologico, seguendo la teoria e il metodo di critica letteraria del saggista marxista Lucien Goldmann, che si focalizza sul ruolo di contesti socioeconomici e temporali. Il materiale primario di analisi è costituito dei due romanzi Lessico famigliare di Natalia Ginzburg e Les armoires vides (“Gli armadi vuoti”) di Annie Ernaux.

Cette thèse de cosmologie est consacrée à l'étude de l'empreinte de l'énergie noire sur la formation des structures de l'Univers. Je défini et introduit les régions cosmiques compensées comme l'environnement à grande échelle autour des extrema locaux dans le champ de densité. Dans le cas d'un minimum central, cette région peut être identifiée aux vides cosmiques usuels. A l'aide de simulations numériques, je montre que ces régions présentent des propriétés de formes particulières et qu'elles dépendent de la cosmologie. Je montre que la forme moyenne de ces profils de densité ainsi que leur propriétés statistiques peuvent être calculée analytiquement dans l'Univers primordial. En utilisant une dynamique appropriée, je montre qu'il est possible de suivre précisément l'évolution non linéaire de ces structures. Il devient alors possible de reconstruire les profils de matières observés aujourd'hui à partir les profils théoriques primordiaux évolués selon une dynamique appropriée. J’exhibe une propriété fondamentale de ces régions qui maintient constant une taille particulière, le rayon de compensation. Autour de ce point, l'évolution non linéaire du champ de matière peut être suivie analytiquement. En étudiant l'effondrement gravitationnel dans des théories étendues de gravité, je montre qu'il est possible de contraindre efficacement la nature de la gravité et de la cosmologie à partir de l'étude de certaines propriétés spécifiques à ces régions. Ce travail permet à la fois de donner une origine aux profils de matière sur les très grandes échelles cosmiques mais aussi de définir de nouvelles sondes cosmologiques pour tester la nature de notre Univers. / This thesis is devoted to the study of the imprints of dark energy on the formation of the large scale structures in the Universe. I define the spherically compensated cosmic regions as the large-scale environment around local extrema in the density field. For central minimum, this region can be identified with standard cosmic voids. Using numerical simulations, I show that these regions, once properly identified, can be used efficiently to distinguish competitive cosmological models. I show that the average shape of these density profiles and their statistical properties can be analytically computed in the primordial Universe. Using an appropriate dynamical formalism, I show that it is possible to follow the nonlinear evolution of these structures until today. This allows to reconstruct the shape of such large scale regions from first principles. I exhibit a fundamental property of these regions which maintains constant a particular size : the compensation radius. Around this radius, the nonlinear evolution of the matter field can be analytically derived. By studying the gravitational collapse in gravity models beyond General Relativity, I show that it is possible to constrain efficiently both cosmology and the nature of gravity. Beside giving a physically motivated model for both shape and statistical properties of such large scale matter profile, this work also define new cosmological probes that could be used to test the nature of our Universe.

.

Une ontologie (ou base de connaissances) est une représentation formelle de connaissances sous la forme d'entités et de faits sur ces entités. Ces dernières années de nombreuses ontologies ont été développées dans des contextes académiques et industriels. Elles sont généralement définies à l’aide du langage forme lRDF et interrogées avec le langage de requêtes SPARQL. Une connaissance partielle du contenu et de la structure d’une ontologie peut amener les utilisateurs à exécuter des requêtes qui retournent un résultat vide de réponses, considéré comme insatisfaisant. Parmi les techniques d’interrogation coopératives développées pour résoudre ce problème se trouve la technique de relaxation de requêtes. Elle consiste à affaiblir les conditions exprimées dans les requêtes pour retourner des résultats alternatifs à l'utilisateur. En étudiant les travaux existants sur la relaxation de requêtes SPARQL nous avons constaté qu’ils présentent plusieurs limitations :(1) ils ne permettent pas de définir précisément la relaxation à effectuer tout en offrant la possibilité de contrôler le processus de relaxation (2) ils n’identifient pas les causes réelles d'échec de la requête formulée par l'utilisateur et (3) ils n’intègrent pas d’outils interactifs pour mieux exploiter les techniques de relaxation proposées. Pour répondre à ces limitations, ce travail de thèse propose un framework pour la relaxation de requêtes SPARQL. Ce framework inclut un ensemble d'opérateurs de relaxation des requêtes SPARQL permettant de relaxer incrémentalement des parties précises de la requête utilisateur tout en contrôlant la pertinence des réponses alternatives retournées par rapport aux besoins exprimés par l’utilisateur dans sa requête. Notre framework propose également plusieurs algorithmes qui identifient les causes d’échec de la requête utilisateur et les requêtes qui réussissent (c'est-à-dire, qui ont des résultats) ayant un nombre maximal de conditions de la requête initialement exprimée. Ces informations permettent à l’utilisateur de mieux comprendre pourquoi sa requête échoue et d’exécuter des requêtes qui retournent des résultats alternatifs.Enfin, notre framework propose des stratégies de relaxation qui élargissent les conditions de la requête utilisateur en s’appuyant sur les causes d’échec de celle-ci. Ces stratégies permettent de réduire le temps d’exécution du processus de relaxation par rapport à l’approche classique, qui consiste à exécuter les requêtes relaxées, en fonction de leur similarité avec la requête utilisateur, jusqu’à l’obtention d’un nombre satisfaisant de résultats alternatifs. Les contributions proposées dans ce framework ont été implémentées et validées par des scénarios et expérimentations basés sur le banc d'essai LUBM. Ils montrent l’intérêt de nos contributions par rapport à l'état de l'art. / Ontology (or Knowledge base) is a formal representation of knowledge as entities and facts related to these entities. In the past years, several ontologies have been developed in academic and industrial contexts.They are generally defined with RDF language and querying with SPARQL language. A partial knowledge of instances and schema of ontology may lead user to execute queries that result in empty answers, considered as unsatisfactory. Among cooperative querying techniques which have been developed to solve the problem of empty answers, query relaxation technique is the well-known and used. It aims at weakening the conditions expressed in the original query to return alternative answers to the user. Existing work on relaxation of SPARQL queries we suffer from many drawbacks : (1) they do not allow defining in precise way the relaxation to perform with the ability to control the relaxation process (2) they do not identify the causes of failure of the request expressed by the user and (3) they do not include interactive tools to better exploit the relaxation techniques proposed. To address these limitations, this thesis proposes an advanced framework forquery relaxation SPARQL. First, this framework includes a set of relaxation operators dedicated to SPARQLqueries, to incrementally relax specific parts of the user request while controlling the relevance of the alternative responses returned w.r.t. to the user needs expressed in his request. Our framework also provides both several algorithms that identify the causes of failure of the user query and queries that are successful with a maximum number of conditions initially expressed in the failing request. This information allows the user to better understand why his request fails and execute queries that return non-empty alternative results. Finally,our framework offers intelligent relaxation strategies that rely on the causes of query failure. Such strategies reduce the execution time of the relaxation process compared to the traditional approach, which executes relaxed requests, based on their similarity to the user request, until a number of satisfactory alternative results is obtained. All contributions proposed in this framework were implemented and validated by experiments and scenarios based on the tests bench LUBM. They show the interest of our contributions w.r.t. the state of theart.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Ce travail a pour objectif principal d'étudier l'influence des paramètres des procédés de compaction à froid et de frittage sur la microstructure et les propriétés mécaniques des pièces en polytetrafluoréthylène (PTFE) ainsi fabriquées. Comme d'autres polymères à haute masse moléculaire, bien que faisant partie des polymères thermoplastiques, le PTFE présente une viscosité à l'état fondu trop élevée pour permettre sa mise en oeuvre par moulage par injection, ce qui conduit au procédé de fabrication par compaction à froid et frittage. La phase de frittage correspond à un traitement thermique au delà de la température de fusion qui induit des déformations finies, en général anisotropes et fonction de l'histoire du chargement mécanique subi par le matériau au cours de l'étape préalable de compaction à froid. Afin de développer des modèles de comportement thermomécaniques utilisables lors de la simulation numérique de l'ensemble du procédé de fabrication, différents essais ont été réalisés pour étudier les différents mécanismes responsables des évolutions microstructurales et des déformations lors de la compaction et du frittage. L'étude expérimentale du procédé de compaction a été menée grâce à des essais de compaction uniaxiale (oedométriques), des essais de compaction hydrostatique réalisés dans une presse hydraulique isostatique et des essais triaxiaux réalisés grâce à un dispositif original installé dans une machine d'essais électrohydraulique à six vérins. Ces essais ont permis d'identifier un modèle de comportement élasto-plastique de type "Drucker-Prager/cap" disponible dans la bibliothèque de lois de comportement du programme de calcul par éléments finis industriel ABAQUS™, ce qui a permis de simuler numériquement quelques cas simples. L'étude expérimentale du procédé de frittage a été menée grâce à la réalisation d'essais de thermogravimétrie (ATG), calorimétrie différentielle à balayage (DSC) et d'essais de dilatométrie réalisés sur des éprouvettes isotropes ou anisotropes avec différentes valeurs de la porosité. Ces essais ont permis de décomposer la déformation de frittage en une déformation thermique réversible, une déformation liée au changement de phase cristalline en phase amorphe -ou vice versa-, une déformation liée à la refermeture des pores et enfin une déformation dite de recouvrance. Cette étude a été réalisée sur deux poudres, de PTFE pur ou de PTFE chargé par environ 5wt% d'Ekonol™ et 5wt% de fibres de carbone, respectivement commercialisées sous le nom de Teflon™ 6407 et de Teflon™ 6507.

Nous commençons par donner une revue des techniques géométriques (en particulier les G-structures et la Géometrie Complexe généralisée) qui sont couramment utilisées dans l'éude des compactifications supersymétriques N=1. Ensuite nous nous concentrons sur l'étude des compactifications de type IIB vers des vides Anti de Sitter avec supersymétrie N=1. Nous donnons les conditions générales que la supersymétrie impose, en particulier la variété interne doit avoir une structure SU(2). Nous faisons une recherche exhaustive de tels vides sur les quotients et les groupes de Lie. Avec quelques hypothèses sur les classes de torsion SU(2) et avec dilaton et facteur de warping constants, on trouve que de tels vides sont très rares : deux sur des quotients et cinq sur des groupes de Lie. Tous requierent des plans O5 et O7 qui s'intersectent. Cela veut également dire qu'il n'existe pas de vide AdS4 sans sources. Nous étudions ensuite la séparation d'échelles sur ces vides afin de donner quelques intuitions sur les théories effectives à quatre dimensions. Nous avons trouvé que seulement deux d'entre elles admettent séparation d'échelles.

Dans ce manuscrit nous décrivons des études originales sur les propriétés photophysiques des nanotubes de carbone monoparois réalisées à l'échelle de la molécule unique. Nous nous sommes concentrés sur deux problématiques : l'effet du remplissage des nanotubes par de l'eau sur leurs propriétés de photoluminescence (PL) et la création de complexes multi-excitoniques en régime de forte excitation laser. Dans ce but nous avons utilisé une combinaison de microscopie, de spectroscopie et de mesures de déclin de PL. Nos résultats montrent pour des nanotubes de différents diamètres un décalage vers le rouge des énergies d'émission pour les nanotubes remplis d'eau. De plus, des déclins de PL biexponentiels sont obtenus pour des nanotubes individuels (6,4) vides et remplis d'eau. Les temps de déclin caractéristiques de ces deux espèces de nanotubes sont distincts, avec une réduction de la composante courte pour les nanotubes remplis. Ces résultats sont expliqués par une augmentation de la constante diélectrique dans les nanotubes remplis d'eau. Notre résultat le plus conséquent a été l'observation de la génération de trions dans des nanotubes non dopés en utilisant des moyen tout optiques. L'émission du trion apparaît dans les spectres de PL comme une bande latérale décalée vers le rouge. Basé sur nos observations expérimentales, nous proposons le modèle de génération du trion suivant lequel dans un régime multiexcitonique les interactions d'annihilation exciton-exciton créent des porteurs de charge qui sont piégés dans les fluctuations de potentiel électrostatique induites par les inhomogénéités de l'environnement. L'absorption subséquente d'un photon amène à la formation d'un trion localisé sur les charges piégées.

Pour connecter la théorie des cordes à la physique observable, il est essentiel de comprendre des vides supersymmétriques à flux non triviaux. Dans cette thèse, ils sont étudiés en deux cadres mathématiques : les SU(n)-structures et la géométrie complexe généralisée. Les variétés équipées de SU(n)-structures sont des généralisations de variétés de Calabi-Yau. La géométrie complexe généralisée est un cadre géométrique qui regroupe les géométries complexe et symplectique. On donne des classes de vide à flux de supergravité de type II et de théorie-M sur des variétés équipées de SU(4)-structures. Des vides explicites sont donnés sur l'espace de Stenzel, un Calabi-Yau non-compact. Ensuite, sur cette variété, des familles de SU(4)-structures sont construites. À l'aide de celles-ci, on trouve des vides à flux sur des variétés non-symplectiques. Il est démontré que les conditions permettant une supersymétrie à d = 2, N = (2,0) de type IIB peut être reformulées dans le langage de la géométrie complexe généralisée, partiellement interprétables en termes de conditions d'intégrabilité de structures presque complexes généralisées. Enfin, la théorie de type II euclidienne est examinée sur des variétés équipées de SU(5)-structures, donnant des équations généralisées qui sont nécessaires mais pas suffisantes pour satisfaire les équations de supersymétrie. Des classes de solutions explicites sont également donnés / Understanding supersymmetric flux vacua is essential in order to connect string theory to observable physics. In this thesis, flux vacua are studied by making use of two mathematical frameworks: SU(n)-structures and generalised complex geometry. Manifolds with $SU(n)$ structure are generalisations of Calabi-Yau manifolds. Generalised complex geometry is a geometrical framework that simultaneously generalises complex and symplectic geometry. Classes of flux vacua of type II supergravity and M-theory are given on manifolds with SU(4) structure. The N = (1,1) type IIA vacua uplift to N=1 M-theory vacua, with four-flux that need not be (2,2) and primitive. Explicit vacua are given on Stenzel space, a non-compact Calabi Yau. These are then generalised by constructing families of non-CY SU(4)-structures to find vacua on non-symplectic SU(4)-deformed Stenzel spaces. It is shown that the supersymmetry conditions for N = (2,0) type IIB can be rephrased in the language of generalised complex geometry, partially in terms of integrability conditions of generalised almost complex structures. This rephrasing for d=2 goes beyond the calibration equations, in contrast to d=4,6 where the calibration equations are equivalent to supersymmetry. Finally, Euclidean type II theory is examined on SU(5)-structure manifolds, where generalised equations are found which are necessary but not sufficient to satisfy the supersymmetry equations. Explicit classes of solutions are provided here as well. Contact with Lorentzian physics can be made by uplifting such solutions to d=1, N = 1 M-theory