Cette thèse propose une étude originale de la propagation d'ondes acoustiques dans un guide d'ondes. La méthode consiste à factoriser l'équation des ondes grâce à la technique du plongement invariant: on introduit dans le domaine une frontière mobile, correspondant à une section du guide, et on résout le problème pour la partie du guide comprise entre cette section et une de ses faces. Cela permet d'obtenir un système couplé d'équations différentielles et de faire apparaître un opérateur de type Dirichlet-to-Neumann, solution d'une équation de Riccati. On étudie alors celui-ci à l'aide d'une formule de représentation: l'opérateur est semblable à un semi-groupe linéaire par une transformation homographique.

Les logiques modales sont des logiques permettant la représentation et l'inférence de connaissances. La logique hybride est une extension de la logique modale de base contenant des nominaux, permettant de faire référence à un unique individu ou monde du modèle. Dans cette thèse nous présentons plusieurs algorithmes de tableaux pour logiques hybrides expressives. Nous présentons aussi une implémentation de ces calculs, et nous décrivons les tests de correction et de performance que nous avons effectués, ainsi que les outils les permettant. De plus, nous étudions en détail une famille particulière de logiques liée aux logiques hybrides : les logiques avec opérateurs de comptage. Nous étudions la complexité et la décidabilité de certains de ces langages.

Le milieu marin recèle de nombreuses sources acoustiques Ultra Basse Fréquence (UBF : 0-100Hz), qu'elles soient naturelles ou d'origine humaine. Les ondes UBF sont d'excellents porteurs d'information, aussi bien pour caractériser l'environnement que pour localiser des sources acoustiques. Cependant, la propagation des ondes UBF en milieu marin est dispersive, et cette dispersion est ambivalente. Elle déforme un signal large bande au cours de sa propagation, rendant son étude plus compliquée. En revanche, son analyse permet de remonter aux informations sur le canal de propagation et sur la localisation de la source. Cette étude propose des outils d'analyse de la dispersion UBF dans le cas défavorable d'une réception monocapteur en milieu petit fond. En caractérisant le signal reçu dans le domaine temps-fréquence grâce à des outils de warping, il est possible d'effectuer l'inversion géoacoustique sur un unique récepteur et la localisation de source sur un réseau parcimonieux d'hydrophones. Les méthodes proposées ne sont pas applicables aux environnements de type grand fond. Pour y remédier, une étude de la dispersion basée sur l'invariant océanique est alors proposée. Elle permet de réaliser la localisation de source en utilisant une antenne horizontale de récepteurs. Toutes les méthodes développées lors de cette étude ont été validées sur des simulations et des données expérimentales marines. Un effort particulier a été fourni pour proposer des méthodes applicables en contexte opérationnel, et plusieurs expériences en cuve ultrasonore ont été réalisées.

Le travail présenté dans ce mémoire est une contribution au domaine de l'analyse et de l'identification du comportement dynamique des structures non linéaires. Le premier objectif est la mise au point et la comparaison de quatre techniques de calcul des Modes Normaux Non linéaires (MNNs) : l'approche de Shaw et Pierre, l'approche de Bellizzi et Bouc, l'équilibrage harmonique et la méthode de tir. La combinaison des trois dernières méthodes avec la méthode de continuation permet de détecter les points de bifurcation et de trouver les nouvelles branches de solutions. Le deuxième objectif est l'identification des paramètres caractérisant le comportement dynamique des systèmes linéaires et non linéaires à partir des réponses libres ou des réponses au bruit ambiant. Les outils présentés sur le traitement du signal réel modulé en amplitude et en fréquence par la transformation en ondelettes continue permettent d'atteindre cet objectif. Le dernier objectif est l'extension de la méthode de sous-structuration linéaire de Craig-Bampton au cas non linéaire. Lorsque l'hypothèse de couplage faible entre les sous-structures est faite, le modèle réduit de la structure globale est obtenu par assemblage de modèles réduits de sous-structures avec interfaces de couplage fixe. Ces modèles réduits sont calculés en utilisant l'approche des MNNs de Shaw et Pierre. La robustesse et l'efficacité des méthodes présentées sont étudiées au travers d'exemples numériques ainsi que de tests réels.

Ce travail de thèse, essentiellement théorique et basé sur une approche modale, porte sur les propriétés optiques de surfaces métalliques comportant un certain nombre de gravures de profil rectangulaire dont les dimensions sont inférieures à la longueur d'onde de la lumière incidente.<br />Ces surfaces présentent des anomalies de réflexion liées à des exaltations locales du champ électromagnétique, dues notamment à des résonances de type Fabry-Pérot à l'intérieur des sillons. L'analyse du problème d'un couple de cavités sub-longueur d'onde, couplées en champ proche, montre comment on peut générer des "points chauds" et contrôler la localisation de la lumière à l'échelle sub-longueur d'onde. Les applications sont de première importance: commutation optique, adressage quantitatif de la lumière, diffusion Raman exaltée en<br />surface (SERS)... On s'intéresse également aux effets de localisations liés au désordre structurel: la rupture de symétrie d'un arrangement périodique génère différents jeux d'allumage des cavités, très sensibles à la fréquence d'excitation. Certaines prédictions théoriques sont étayées expérimentalement.<br />Enfin, le cas des réseaux lamellaires très fortement sub-longueur d'onde est examiné, en lien avec l'Absorption Optique Anormale et l'effet SERS observés sur certains films métalliques rugueux. Les exaltations géantes du champ électrique, calculées dans les nano-cavités par la méthode modale exacte, dans le domaine visible, s'expliquent par l'excitation de plasmons-polaritons de surface dont les vecteurs d'onde sont très supérieurs à ceux de la lumière.

In der vorliegenden Arbeit wird eine Prozedur zur Ordnungsreduktion von Finite Elemente Modellen mikromechanischer Struktur mit elektrostatischem Wirkprinzip entwickelt und analysiert. Hintergrund der Ordnungsreduktion ist eine Koordinatentransformation von lokalen Finite Elemente Koordinaten in globale Koordinaten. Die globalen Koordinaten des reduzierten Modells werden durch einige wenige Formfunktionen beschrieben. Damit wird das Makromodell nicht mehr durch lokale Knotenverschiebungen beschrieben, sondern durch globale Formfunktionen, welche die gesamte Deformation der Struktur beeinflussen. Es wird gezeigt, dass Eigenvektoren der linearisierten mechanischen Struktur einfache und effiziente Formfunktionen darstellen. Weiterhin kann diese Methode für bestimmte Nichtlinearitäten und für verschiedene in Mikrosystemen auftretende Lasten angewendet werden. Das Ergebnis sind Makromodelle, die über Klemmen in Systemsimulatoren eingebunden werden können, die Genauigkeiten einer Finite Elemente Analyse erreichen und für Systemsimulationen typische Laufzeitverhalten besitzen.

Reproduction de : Thèse de doctorat : Génie civil : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3849. Résumé en français. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 151-159.

Cette thèse porte sur la prévision du comportement dynamique en flexion des rotors feuilletés à cage d'écureuil appelés MGV. La difficulté de la modélisation réside dans la complexité de l'assemblage de la masse magnétique, composée d'un empilement de tôles maintenues par des tirants excentrés précontraints, et d'une cage d'écureuil composée d'une distribution périphérique de barres de court circuit connectées à deux anneaux de court-circuit situés aux extrémités du feuilletage. Un modèle éléments finis de poutres de Timoshenko prenant en compte le caractère monolithique des MGV est développé. Le comportement dynamique latéral des rotors feuilletés est principalement régi par la rigidité de flexion de l'empilement dont les propriétés constitutives sont méconnues ce qui rend délicat la modélisation. Une approche d'identification numérique-expérimentale fournit une loi des propriétés constitutives de l'empilement en fonction des dimensions et précontraintes d'assemblage du feuilletage. Pour cela, les quantités modales calculées et mesurées sont incluses dans une fonctionnelle basée sur un quotient de Rayleigh hybride et combinée à des méthodes de réduction ou d'expansion. Les fonctionnelles proposées ont été testées dans diverses applications Industrielles. La modélisation des efforts centrifuges, de la raideur géométrique et du contact tirants-feuilletage a montré que l'effet de la rotation a une influence non linéaire qui tend à augmenter les forces longitudinales agissant sur le feuilletage et les tirants sans toutefois dépasser la limite élastique des tirants. La conséquence de ce phénomène est l'augmentation de la rigidité de flexion du feuilletage lors de la rotation.

L'objet de ce travail de recherche consiste à développer une méthode d'analyse et d'interprétation permettant de prévoir, sans simulation, l'effet de couplage de zones et de composants passifs sur le comportement d'un bâtiment. Cette méthode d'analyse du couplage des zones repose sur la synthèse modale. La technique de raccordement des modèles est basée sur le recouvrement d'une partie commune aux zones couplées. Cette analyse, à partir de cas simples de bâtiments, a permis d'identifier trois types de couplage dynamique: rapide, lent et glissant. L'analyse du couplage a également rendu possible la formulation de règles concernant la réduction de modèles locaux. L'association de la synthèse modale et de la réduction des modèles de zones a conduit à une bonne reconstitution du comportement d'un bâtiment multizone. La validation de cette approche a été conclue par la simulation du comportement thermique de bâtiments basée sur des modèles synthétisés réduits.

L'objectif de cette thèse est d'analyser et de caractériser le lien entre les mouvements du sol et la réponse des bâtiments. En particulier, on s'intéresse à réduire les incertitudes qui entrent en jeu dans les méthodes de vulnérabilité, afin d'estimer plus précisément la vulnérabilité des structures au risque sismique. Pour ce faire, cette thèse est basée sur l'utilisation de données enregistrées au sein de bâtiments. Les enregistrements de vibrations ambiantes et de séismes de faibles amplitudes au sein de bâtiments permettent de caractériser le comportement élastique de ces structures. Des modèles peuvent ensuite être définis afin d'étudier les différentes composantes de la variabilité présente au sein des courbes de fragilité. On s'intéresse dans un premier temps au premier niveau de dommage, au-delà duquel les caractéristiques élastiques des bâtiments sont modifiées et les modèles définis ne sont plus valables. Des enregistrements de séismes ayant eu lieu depuis le début des années 1970 dans des bâtiments californiens sont ensuite utilisés. A partir de ces données, on a pu mettre en évidence des relations entre le déplacement au sein des structures et des paramètres décrivant la nocivité des signaux sismiques. Suivant l'indicateur utilisé pour représenter la nocivité des séismes, la réponse des bâtiments peut être estimée plus ou moins précisément. Notamment, les indicateurs faisant intervenir les paramètres dynamiques des bâtiments sont davantage liés avec la réponse des structures, représentée par son déplacement inter-étage moyen. La variabilité de la réponse des bâtiments peut être améliorée en regroupant les bâtiments par typologies (définies suivant leur matériau principal de construction et leur hauteur). En apportant davantage d'informations sur les structures, on peut ainsi diminuer la composante épistémique de la variabilité. De plus, en combinant des indicateurs de nocivité, on peut améliorer la précision pour la prédiction de la réponse de la structure. Une forme fonctionnelle est ainsi proposée afin d'estimer le déplacement inter-étage moyen au sein des structures, pour plusieurs typologies de bâtiments, à partir de quatre indicateurs de nocivité. Cette forme fonctionnelle est utilisée pour établir des courbes de fragilité et peut également être utilisée afin de donner une première estimation des dommages à la suite d'un séisme, en comparant les valeurs de déformations inter-étages avec des valeurs de référence (FEMA, 2003). Enfin, une méthode hybride est proposée pour la construction de courbes de fragilité, faisant intervenir un modèle de comportement non linéaire. Les paramètres de ce modèle sont définis de telle sorte que la réponse du modèle s'ajuste aux enregistrements de séismes effectués dans les bâtiments. Ce modèle est ensuite utilisé pour évaluer les composantes d'incertitudes et pour construire des courbes de fragilité pour tous les niveaux de dommages.