En relation avec le désordre de leur structure, les composés relaxeurs révèlent une dualité entre les échelles locale et globale. L'ordre polaire qui se développe localement ne se manifeste pas à l'échelle globale, la structure globale demeurant cubique. Bien que pertinente au vu de ses capacités à saisir la dualité d'échelle, une incorporation directe de la symétrie locale à l'appareil d'étude des relaxeurs reste absente. C'est autour de cette lacune que s'articule la thèse, en ce qu'elle constitue une implémentation explicite de la symétrie locale dans l'Hamiltonien effectif. Elle porte sur l'analyse du rôle de la symétrie locale à sous-tendre l'ordre locale dont les propriétés macroscopiques émergent. Une question sous-jacente s'adjoint à ces considérations et concerne la possible formulation du problème d'un point de vue topologique / Concomitantly with lattice disorder, there is a discrepancy between local and global scales in relaxor ferroelectrics, in that structural distortions occurring at the local scale are not reflected in the average global structure which remains cubic. There is an absence of direct implementation of the local symmetry in the modeling of relaxors, despite its considerable, but often unacknowledged, ability to encode local features. Central to the thesis is an explicit account for local gauge symmetry within the first-principles-derived effective Hamiltonian approach. The thesis thus aims to consider how an extended symmetry allowing independent transformations at different points in space can effectively bridge local features and macroscopical properties. An underlying question the thesis also seeks to answer is whether the disorder-induced non-trivial interplay between local and global scales can be described from a topological point of view

Concomitantly with lattice disorder, there is a discrepancy between local and global scales in relaxor ferroelectrics, in that structural distortions occurring at the local scale are not reflected in the average global structure which remains cubic. There is an absence of direct implementation of the local symmetry in the modeling of relaxors, despite its considerable, but often unacknowledged, ability to encode local features. Central to the thesis is an explicit account for local gauge symmetry within the first-principles-derived effective Hamiltonian approach. The thesis thus aims to consider how an extended symmetry allowing independent transformations at different points in space can effectively bridge local features and macroscopical properties. An underlying question the thesis also seeks to answer is whether the disorder-induced non-trivial interplay between local and global scales can be described from a topological point of view

La symétrie est par définition un concept multidisciplinaire. Il apparaît dans de nombreux domaines. En général, elle revient à une transformation qui laisse invariant un objet. Le problème de satisfaisabilité (SAT) occupe un rôle central en théorie de la complexité. Il est le problème de décision de référence de la classe NP-complet (Cook, 71). Il consiste à déterminer si une formule CNF admet ou non une valuation qui la rend vraie. Dans la première contribution de ce mémoire, nous avons introduit une nouvelle méthode complète qui élimine toutes les symétries locales pour la résolution du problème SAT en exploitant son groupe des symétries. Les résultats obtenus montrent que l'exploitation des symétries locales est meilleure que l'exploitation des symétries globales sur certaines instances SAT et que les deux types de symétries sont complémentaires, leur combinaison donne une meilleure exploitation.En deuxième contribution, nous proposons une approche d'apprentissage de clauses pour les solveurs SAT modernes en utilisant les symétries. Cette méthode n'élimine pas les modèles symétriques comme font les méthodes statiques d'élimination des symétries. Elle évite d'explorer des sous-espaces correspondant aux no-goods symétriques de l'interprétation partielle courante. Les résultats obtenus montrent que l'utilisation de ces symétries et ce nouveau schéma d'apprentissage est profitable pour les solveurs CDCL.En Intelligence Artificielle, on inclut souvent la non-monotonie et l'incertitude dans le raisonnement sur les connaissances avec exceptions. Pour cela, en troisième et dernière contribution, nous avons étendu la notion de symétrie à des logiques non classiques (non-monotones) telles que les logiques préférentielles, les X-logiques et les logiques des défauts.Nous avons montré comment raisonner par symétrie dans ces logiques et nous avons mis en évidence l'existence de certaines symétries dans ces logiques qui n'existent pas dans les logiques classiques. / Symmetry is by definition a multidisciplinary concept. It appears in many fields. In general, it is a transformation which leaves an object invariant. The problem of satisfiability (SAT) is one of the central problems in the complexity theory. It is the first decision Np-complete problem (Cook, 71). It deals with determining if a CNF formula admits a valuation which makes it true. First we introduce a new method which eliminates all the local symmetries during the resolution of a SAT problem by exploiting its group of symmetries. Our experimental results show that for some SAT instances, exploiting local symmetries is better than exploiting just global symmetries and both types of symmetries are complementary. As a second contribution, we propose a new approach of Conflict-Driven Clause Learning based on symmetry. This method does not eliminate the symmetrical models as the static symmetry elimination methods do. It avoids exploring sub-spaces corresponding to symmetrical No-goods of the current partial interpretation. Our experimental results show that using symmetries in clause learning is advantageous for CDCL solvers.In artificial intelligence, we usually include non-monotony and uncertainty in the reasoning on knowledge with exceptions. Finally, we extended the concept of symmetry to non-classical logics that are preferential logics, X-logics and default logics. We showed how to reason by symmetry in these logics and we prove the existence of some symmetries in these non-classical logics which do not exist in classical logics.

This diploma thesis deals with the different possible calculations of crack path. Specifically, it focuses on criteria based on maximum tangential stress, minimal strain energy density, crack tip displacement, and local symmetry. These criteria are used for calculations in ANSYS software to estimate possible crack paths on four simple structures. The thesis also contains the codes created in ANSYS. Using these, the crack trajectory of a given structure can be calculated by any of the four criteria described.