• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61
  • 25
  • 5
  • 3
  • 2
  • Tagged with
  • 99
  • 46
  • 16
  • 16
  • 13
  • 12
  • 10
  • 10
  • 10
  • 10
  • 9
  • 8
  • 8
  • 7
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Application de la méthode d'émission acoustique pour la surveillance du comportement au cisaillement des joints actifs

Moradian, Zabihallah January 2011 (has links)
A key requirement in evaluation of sliding stability of concrete dams is monitoring shear behavior of 1) concrete joints in dam body, 2) concrete-rock interfaces and 3) rock discontinuities in dam foundation. The methodology consisted of creating a database of observed shear behaviors of the mentioned joints using acoustic emission (AE) technique. Joint samples were fabricated by tension splitting of the cores and pouring concrete on rock joint replica for simulating concrete-rock interfaces. Variations of key parameters including joint geometry, normal stress, displacement rate and bonding percentage were incorporated in the analysis. An analysis was also carried out on natural joints from Daniel Johnson (Manic 5) Dam, Quebec, founded on gneiss to granitic rock. Parametric-based and signal-based analysis methods were used to evaluate the potential of AE for monitoring shear behavior of various kinds of joint with different characteristics. Using AE parameters such as amplitude, count, energy, duration and rise time, this study was done as a feasibility study for AE monitoring of sliding surfaces within dam, dam-rock interface or inside rock foundation. It was found that AE has a good capability for showing the initial shear movement of the non-bonded joints. For bonded joints this technique can show that AE activities are occurring before breaking of adhesive bond. This is important because recording AE signals after an initial breakage of the joint would be too late to install stabilization work to be done beforehand. Of course in the eventuality that a rupture includes a sequence of events even recording AE signals of the first break is still useful. It is recommended to use this method combined with other instrumentation methods (e.g. load measuring instruments) to detect the initial shear movement of the bonded joints. Following experimental work and analysis of crack propagation and asperity degradation along shearing process, four different periods were observed in shear stress-displacement behavior of joints. These periods are: 1) Pre-peak linear period in which AE activities are initiated and show the beginning of shear displacement, 2) Pre-peak non-linear period in which AE signals are generated from crack initiation and degradation of the secondary asperities, 3) Post-peak period where first order asperities are sheared off and joints pass their maximum shear strength and 4) Residual period in which AE activities decrease and reach their minimum values. The applicability. of AE localization technique was evaluated using image analysis and scanned surfaces of the joints by laser. The results indicated that this method can locate regions with rupture governing characteristics. This provides the possibility to reinforce support systems and be aware about possible structure failures before any unexpected mechanical disturbance.
32

Détachements et failles normales a faible pendage : cinématique et localisation de la déformation, approche de terrain et modélisation numérique. Exemple des Cyclades.

Lecomte, Emmanuel 15 November 2010 (has links) (PDF)
De nombreuses failles à faible pendage (pendage inférieur à 30°) ont été décrites en domaine continental extensif depuis leur mise en évidence dans la province des Basin and Range (USA). Bien que les observations de terrain suggèrent, dans plusieurs régions, que le jeu d'une faille se produit à faible pendage dans la croûte cassante (Apennins, Italie ; Basin and Range, USA; Alpes orientales), l'activité sismique liée à ces failles est presque inexistante et est en accord avec les angles de blocage des failles prédits par la mécanique andersonienne associée à la loi de Byerlee. L'étude des Metamorphic Core Complex et de l'exhumation de détachements dans les Cyclades permet d'obtenir un modèle figé de la croûte continentale en extension. Le Metamorphic Core Complex qui affleure sur l'île de Mykonos se caractérise par une intrusion granitique (laccolite) dans le dôme migmatitique, recoupé à son sommet par un système de détachements composé de deux branches. La branche inférieure ductile du détachement met en contact la Nappe Supérieure Cycladique, constituée de métabasites, et le laccolite. La branche supérieure cataclastique du détachement juxtapose une unité sédimentaire molassique sur la Nappe Supérieure Cycladique ou directement sur le laccolite. Le détachement cataclastique conditionne la sédimentation syn-tectonique dans les bassins. Associée au réseau de veines contemporain du jeu du détachement, la déformation dans l'unité sédimentaire montre que le détachement cataclastique de Mykonos a été actif à faible pendage et à faible profondeur, au moins au cours des derniers incréments de déformation. La synthèse des données collectées sur les îles d'Andros, de Tinos et de Mykonos montre que les détachements nord-cyladiques peuvent être considérés à différents stades d'évolution comme une seule et unique structure d'échelle crustale (le Système de Détachement Nord-Cycladique) pouvant accommoder l'extension régionale et l'exhumation des roches de l'unité inférieure. L'étude de l'Anisotropie de la Susceptibilité Magnétique (ASM) dans le laccolite, couplée aux observations de terrain, a permis de mettre en évidence une rotation de l'unité inférieure du détachement de Mykonos autour d'un axe vertical, compatible avec les données paléomagnétiques disponibles dans la littérature. Afin de réconcilier observations de terrain et mécanique des roches, nous proposons un nouveau modèle de réactivation de failles en considérant la faille comme une fine couche déformable plastiquement, contrairement au modèle classique suggérant une dislocation avec des propriétés frictionnelles. Notre modèle permet alors d'inclure les variations volumiques de la zone de faille au cours du cisaillement, et notamment, de prendre en compte des coefficients de dilatation faibles voir négatifs (faille compactante), souvent observés en laboratoire ou sur le terrain. Notre modèle permet, en particulier, de déterminer les quantités de déformation plastique que peuvent accommoder ces failles au cours du cisaillement avant leur blocage. Les angles de blocage obtenus dans notre modèle varient peu par rapport au modèle classique de réactivation de faille, qui apparaît comme un cas particulier de notre modèle. La réactivation d'une faille à faible pendage en extension est alors possible complètement ou partiellement et peut être associée à la formation de veines et de failles normales dans l'encaissant. La réactivation est alors favorisée lorsqu'il s'agit d'une faille compactante et se produit en régime durcissant, suggérant ainsi un comportement asismique de la faille.
33

Jeux combinatoires dans les graphes / Combinatorial games on graphs

Renault, Gabriel 29 November 2013 (has links)
Dans cette thèse, nous étudions les jeux combinatoires sousdifférentes contraintes. Un jeu combinatoire est un jeu à deux joueurs, sanshasard, avec information complète et fini acyclique. D’abord, nous regardonsles jeux impartiaux en version normale, en particulier les jeux VertexNimet Timber. Puis nous considérons les jeux partisans en version normale, oùnous prouvons des résultats sur les jeux Timbush, Toppling Dominoeset Col. Ensuite, nous examinons ces jeux en version misère, et étudionsles jeux misères modulo l’univers des jeux dicots et modulo l’univers desjeux dead-endings. Enfin, nous parlons du jeu de domination qui, s’il n’estpas combinatoire, peut être étudié en utilisant des outils de théorie des jeuxcombinatoires. / In this thesis, we study combinatorial games under differentconventions. A combinatorial game is a finite acyclic two-player game withcomplete information and no chance. First, we look at impartial gamesin normal play and in particular at the games VertexNim and Timber.Then, we consider partizan games in normal play, with results on the gamesTimbush, Toppling Dominoes and Col. Next, we look at all these gamesin misère play, and study misère games modulo the dicot universe and modulothe dead-ending universe. Finally, we talk about the domination game which,despite not being a combinatorial game, may be studied with combinatorialgames theory tools.
34

Signature électronique basée sur les réseaux euclidiens et échantillonnage selon une loi normale discrète / Lattice-based digital signature and discrete gaussian sampling

Ricosset, Thomas 12 November 2018 (has links)
La cryptographie à base de réseaux euclidiens a généré un vif intérêt durant les deux dernièresdécennies grâce à des propriétés intéressantes, incluant une conjecture de résistance àl’ordinateur quantique, de fortes garanties de sécurité provenant d’hypothèses de difficulté sur lepire cas et la construction de schémas de chiffrement pleinement homomorphes. Cela dit, bienqu’elle soit cruciale à bon nombre de schémas à base de réseaux euclidiens, la génération debruit gaussien reste peu étudiée et continue de limiter l’efficacité de cette cryptographie nouvelle.Cette thèse s’attelle dans un premier temps à améliorer l’efficacité des générateurs de bruitgaussien pour les signatures hache-puis-signe à base de réseaux euclidiens. Nous proposons unnouvel algorithme non-centré, avec un compromis temps-mémoire flexible, aussi rapide que savariante centrée pour des tables pré-calculées de tailles acceptables en pratique. Nousemployons également la divergence de Rényi afin de réduire la précision nécessaire à la doubleprécision standard. Notre second propos tient à construire Falcon, un nouveau schéma designature hache-puis-signe, basé sur la méthode théorique de Gentry, Peikert et Vaikuntanathanpour les signatures à base de réseaux euclidiens. Nous instancions cette méthode sur les réseauxNTRU avec un nouvel algorithme de génération de trappes. / Lattice-based cryptography has generated considerable interest in the last two decades due toattractive features, including conjectured security against quantum attacks, strong securityguarantees from worst-case hardness assumptions and constructions of fully homomorphicencryption schemes. On the other hand, even though it is a crucial part of many lattice-basedschemes, Gaussian sampling is still lagging and continues to limit the effectiveness of this newcryptography. The first goal of this thesis is to improve the efficiency of Gaussian sampling forlattice-based hash-and-sign signature schemes. We propose a non-centered algorithm, with aflexible time-memory tradeoff, as fast as its centered variant for practicable size of precomputedtables. We also use the Rényi divergence to bound the precision requirement to the standarddouble precision. Our second objective is to construct Falcon, a new hash-and-sign signaturescheme, based on the theoretical framework of Gentry, Peikert and Vaikuntanathan for latticebasedsignatures. We instantiate that framework over NTRU lattices with a new trapdoor sampler.
35

Propriétés de transfert dans le béton par imagerie neutronique / Transfer properties in concrete by neutron imaging

Yehya, Mohamad 06 December 2018 (has links)
Pour les structures de génie civil avec un rôle d’étanchéité, lors d’un accident grave, la perméabilité du béton est une question clé. Les mesures de perméabilités actuelles ne permettent d'avoir que des grandeurs moyennes (structurelles) qui ne conviennent pas pour des éprouvettes hétérogènes (fissures et/ou armatures). La compréhension des détails de l'écoulement des fluides est cruciale en raison des implications sur les voies préférentielles (interface acier/béton, fissures, etc.). Le but de cette thèse est de proposer une nouvelle méthodologie et de tester un nouveau dispositif expérimental par imagerie neutronique à la ligne de faisceaux D50 à l’Institut Laue Langevin à Grenoble. Le test consiste à injecter de l’eau normale (H2O), sous haute pression, dans un échantillon de béton coulé et saturé en eau lourde (D2O), afin de suivre la progression d’un front d’eau dans le temps par différence d’atténuation entre ces deux eaux. Une campagne expérimentale a été lancée sur des éprouvettes de béton sous différentes configurations (béton sain, béton fissuré et béton avec une armature) et des mesures de perméabilité locale dans les singularités (zone fissurée, interface armature-béton, etc.) ont été faites. Les essais ont montré que les mesures classiques de perméabilité sont sous-estimées et les écoulements dans le béton sont contrôlés par les défauts. / For civil engineering structures, especially containment buildings during a severe accident, the permeability of concrete is a key issue. Current permeability measurements allow only average (structural) magnitudes, which are not suitable for heterogeneous samples (cracks and/or reinforcements). Understanding the details of fluid flow is crucial because of the implications of preferred pathways (steel/concrete interface, cracks, etc.). The aim of this thesis is to propose a new methodology, and to test a new experimental setup, using neutron imaging at the D50 beam line at the Institute Laue Langevin in Grenoble to measure flow directly. The test consists of injecting normal water (H2O) under high pressure, into a concrete sample casted and saturated with heavy water (D2O), in order to follow the evolution of a waterfront over time by difference of attenuation between these two waters. An experimental campaign was launched on concrete specimens in different configurations (proper concrete, cracked concrete and concrete with reinforcement) and measurements of local permeability in singularities (cracked zone, reinforcement-concrete interface, etc.) were done. Tests have shown that classical permeability measurements are underestimated and flows in concrete are controlled by defects.
36

Implication de la macroautophagie des lymphocytes dans la réponse humorale normale et pathologique / Implication of lymphocytes macroautophagy in humoral immune response

Arnold, Johan 01 June 2015 (has links)
L’autophagie est un processus catabolique lié aux lysosomes. L’autophagie joue un rôle dans la biologie des lymphocytes et dans la réponse immunitaire en générale. Nous avons montré une dérégulation de l’autophagie dans les lymphocytes provenant de souris développant un lupus et de patients atteints d’un lupus érythémateux disséminé. Nous avons ensuite cherché à définir le rôle potentiel de l’autophagie des lymphocytes dans l’activation et le maintien des réponses humorales normales et pathologiques. Ainsi, nous avons généré des souris déficientes en autophagie spécifiquement dans les lymphocytes B. Ces modèles de souris nous ont permis de montrer que l’autophagie ne jouait pas de rôle majeur dans la mise en place de la réponse immunitaire humorale à court terme. Cependant, l’étude du même modèle murin sur fond génétique prédisposant à une auto-immunité systémique a démontré un rôle de l’autophagie dans la production d’auto-anticorps anti-nucléaires et dans le maintien d’un fort nombre de plasmocytes. L’autophagie est donc importante pour l’initiation de l’activation des lymphocytes B et leur survie en contexte d’auto-immunité à long terme. Ce modèle nous a également permis de montrer que l’absence d’autophagie lors de la stimulation du BCR compromet sa polarisation, conjointe à celle des molécules complexe majeur d’histocompatibilité de classe II et des lysosomes. Ce phénomène est important dans la mise en place de la synapse immunologique, structure qui permet la dégradation et l’internalisation d’antigène particulaires. Nous avons pu mettre en évidence que l’inhibition de l’autophagie impacte effectivement la présentation d’antigènes particulaires internalisés via le BCR aux lymphocytes T. Ainsi, la modulation de l’autophagie dans les lymphocytes pourrait permettre à plusieurs niveaux de limiter l’activation et la survie des lymphocytes autoréactifs dans le contexte de maladies auto-immunes. / Macroautophagy, called autophagy, is a catabolic lysosomal process. Macroautophagy was recently shown to regulate the immune response especially by regulating lymphocyte biology. We demonstrated that autophagy is deregulated in T cells from lupus mouse models and patients suffering from systemic lupus erythematosus. We suggest that autophagy could regulate the survival of autoreactive lymphocytes during lupus. We then wanted to better understand the role of autophagy in normal and pathologic humoral responses. We have generated mouse models conditionally deficient for ATG5 in B cells. In accordance with previous studies, we show that autophagy is dispensable for B cell survival and activation under short-term B cell receptor (BCR) activation. We then investigated long-term immunity on a spontaneous model of autoimmunity. In autoimmune-prone mice deficient for autophagy in B cells, we demonstrate that autophagy is important to maintain high levels of anti-nuclear auto-antibodies, and high number of long-lived plasma cells in the bone marrow. With these same mouse models, we show that autophagy contributes to the polarization of internalized BCR after stimulation, together with the recruitment of lysosomes and MHCMII molecules-containing compartments. The polarization of B cells is particularly important for the acquisition of particulate antigens for B cells. We postulate that ATG5 and possibly the autophagic machinery could facilitate the formation of the immune synapse. We indeed demonstrate that presentation of immobilized antigens to T cells is compromised in the absence of ATG5 in B cells. Thus, modulating autophagy in lymphocytes, could limit at several levels the activation and/or survival of autoreactive lymphocytes during autoimmunity.
37

Etude de la co-forgeabilité d'u multi-matériau : application à un coupe d'acier / Study of the co-forgeability of a multi-material : application to a couple of steels

Enaim, Mohammed 17 January 2019 (has links)
Le forgeage multi-matériaux est un procédé permettant la mise en forme et l’assemblage simultanés de matériaux différents. Ce procédé permet d’obtenir des pièces multi-matériaux avec le « bon matériau placé au bon endroit ». L’objectif des travaux de thèse est de définir les conditions nécessaires à l’établissement de la liaison métallurgique par forgeage à l’interface d’un couple d’aciers. Dans un premier temps, l’état de l’art a servi à l’identification les phénomènes physiques accompagnant le forgeage multi-matériaux et les paramètres clés pilotant l’établissement de la liaison métallurgique. Le principe de base de l’établissement d’une liaison passe par la fragmentation des oxydes en surface des matériaux et par l’application d’une pression de contact favorisant le contact entre les matériaux nus et la diffusion. Les deux paramètres clés identifiés sont donc la pression normale de contact et l’expansion de surface. Le protocole de caractérisation du co-forgeage mis en place comporte trois essais « simples » permettant de solliciter les interfaces avec des pressions et des expansions différentes. Ces dernières, estimées par simulation numérique de l’essai, sont mises en relation avec la qualité des liaisons obtenues évaluée, quant à elle, au travers d’observations métallographiques. Les premières simulations permettent de dimensionner les campagnes expérimentales. Celles-ci sont ensuite conduites sur les moyens de mise en forme de la plateforme VULCAIN. Les efforts de mise en forme et la géométrie globale des pièces et la répartition de matière servent de base à l’identification des paramètres de la simulation. La simulation ainsi obtenue et les observations métallographiques aux interfaces sont ensuite mises en lien. Cette démarche a permis de confirmer l’importance du rôle joué par la pression de contact et l’expansion de surface sur l’établissement d’une liaison au cours de la mise en forme du multi-matériaux. La répartition et la forme des particules d’oxydes semblent liées au chemin thermomécanique subi par l’interface. / The multi-material forging is a forming process allowing, simultaneously, the welding and shaping of multi-material parts with the right material at the right place. The purpose of the presented work is to identify the necessary conditions to obtain a metallurgical bond during forming between two different grades of steel. First, the state of the art allowed the identification of the physical phenomena occurring during multi-material forging and the determination of the key parameters of the bonding which are the contact pressure and the surface expansion at the both sides of the interface. The mechanisms to establish metallurgical bond by forging are based on the breaking and the dispersion of the oxide layer at the interface then the extrusion of the soft material through the voids generated between the oxide fragments. Second, the characterization methodology of this work is presented. It consists of three “simple” forming tests leading to different interface conditions (contact pressure and surface expansion). The first simulations allow the design of the experimental plan for each test. The comparison between simulations and experiments allows the identification of physical parameters of the simulation. Then, the contact pressure and the surface expansion of the identified simulations are used to analyze the metallographic structure and the bonding at the interface.The developed work confirms the major effect of the contact pressure and the surface expansion on the establishment of a metallurgical bond during multi-material forming. The size and the shape of the oxide particles seem to depend on the thermomechanical path at the interface.
38

Contribution à l'étude de la réduction formelle des systèmes différentiels méromorphes linéaires

Abbas, Hassane 01 September 1993 (has links) (PDF)
Cette thèse est consacrée au calcul des solutions formelles d'un système différentiel linéaire méromorphe dans un voisinage de l'origine de c de la forme y(z)=a(z)y(z). Il est bien connu qu'une matrice fondamentale de solutions s'écrit formellement sous forme h(z)=f(z)g(z), ou f(z) est une série formelle en racine de z et g(z) est une matrice de fonctions élémentaires qui constituent des exponentiels polynomiaux en racine de z#1, puissance complexe de z##1, et puissance entière positive de log z. H. L. Turrittin et w. Wasow ont propose une methode algorithmique pour calculer h(z). Cette methode coute chére en calcul. Devant ce fait, nous proposons une nouvelle approche algorithmique pour trouver h(z). Cette approche a l'avantage d'utiliser des transformations simples et moins couteuses en calcul. De plus, notre approche permet de calculer le plus grand degré des polynômes exponentiels qui se trouvent dans la matrice g(z). En pratique, les systèmes a deux dimensions sont importants. Dans ce cas, nous proposons une methode programmable, inspirée de l'approche générale précédente pour calculer les solutions au voisinage d'une singularité
39

Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique

Pernet, Clément 27 September 2006 (has links) (PDF)
L'algèbre linéaire est une brique de base essentielle du calcul scientifique. Initialement dominée par le calcul numérique, elle connaît depuis les dix dernières années des progrès considérables en calcul exact. Ces avancées algorithmiques rendant l'approche exacte envisageable, il est devenu nécessaire de considérer leur mise en pratique. Nous présentons la mise en oeuvre de routines de base en algèbre linéaire exacte dont l'efficacité sur les corps finis est comparable celles des BLAS numériques. Au délà des applications propres au calcul exact, nous montrons qu'elles offrent une alternative au calcul numérique multiprécision pour la résolution de certains problèmes numériques mal conditionnés.<br /><br />Le calcul du polynôme caractéristique est l'un des problèmes classiques en algèbre linéaire. Son calcul exact permet par exemple de déterminer la similitude entre deux matrices, par le calcul de la forme normale de Frobenius, ou la cospectralité de deux graphes. Si l'amélioration de sa complexité théorique reste un problème ouvert, tant pour les méthodes denses que boîte noire, nous abordons la question du point de vue de la praticabilité : des algorithmes adaptatifs pour les matrices denses ou boîte noire sont dérivés des meilleurs algorithmes existants pour assurer l'efficacité en pratique. Cela permet de traiter de façon exacte des problèmes de dimensions jusqu'alors inaccessibles.
40

Systèmes mécaniques réversibles en dynamique holonome et non-holonome des corps solides rigides

Gloukhikh, Ioulia 31 March 2003 (has links) (PDF)
Cette thèse a pour objet détudier des problèmes réversibles dans la dynamique holonome et non-holonome du corps solide. Dans la thèse sont analysés les rotations permanentes, les oscillations et les mouvements rotatifs dun ellipsoïde homogène pesant sur un plan absolument rugueux et dun satellite sur une orbite elliptique ; le problème de la stabilité de ces mouvements est également étudié.<br />Les recherches présentées dans cette thèse démontrent lefficacité des méthodes fondées sur les propriétés de réversibilité des systèmes mécaniques, propriété dont lusage est essentiel dans tous les résultats obtenus :<br />Létude de la stabilité des rotations autour de laxe vertical de lellipsoïde pesant homogène sur le plan horizontal.<br />Létude de la stabilité des mouvements de roulement sans glissement dun ellipsoïde creux pesant le long de la ligne droite sur le plan horizontal : conclusion sur linstabilité causée par la résonance paramétrique et conditions nécessaires de stabilité, obtenues par calcul numérique.<br />Lexpression détaillée du coefficient de résonance en cas de résonance paramétrique pour les systèmes réversibles du troisième ordre (et la réalisation du code de calcul correspondant).<br />La conservation des oscillations 2pik périodiques du satellite sur lorbite circulaire sous leffet des moments gravitationnel et aérodynamique dans le cas de lorbite faiblement elliptique.<br />Lexistence des rotations 2pi périodiques du satellite sur lorbite elliptique arbitraire sous leffet des moments gravitationnel et aérodynamique (détermination des vitesses initiales pour les rotations, étude de leur stabilité).<br />La détermination des rotations rapides dans le problème de V.V. Beletsky (le satellite étant soumis aux seules forces gravitationnelles sans prendre en considération la résistance de latmosphère) et létude de leur stabilité.

Page generated in 0.4213 seconds