Le travail présenté dans ce manuscrit porte, dans sa première partie, sur la conception et le développement d'un nouvel imageur numérique d'IRM à bas champ permettant l'amélioration du rapport signal sur bruit (RSB). Cet imageur est architecturé autour d'un procéssus de signal (DSP) offrant plus de flexibilité dans le traitement du signal et la reconstruction de l'image. L'originalité de l'instrumentation développée réside principalement dans la spécification et l'intégration d'un récepteur et d'un synthétiseur de fréquences entièrement numériques. Le choix de cette solution numérique est argumenté par le besoin d'élaborer un imageur peu onéreux et de faible encombrement pouvant être facilement intégré dans tout environnement aussi bien médical qu'industriel. L'évaluation des caractéristiques du système atteste qu'une amélioration d'environ 20 dB du RSB par rapport aux systèmes analogiques conventionnels est obtenues. Le potentiel de l'imageur numérique est démontré à travers les premières images obtenues par la séquence d'écho de gradient. La deuxième partie de ce travail traite la problématique de l'identification non linéaire des systèmes RMN à l'aide des techniques du filtrage adaptatif. L'objectif étant de permettre la prise en compte de la non linéarité de tels systèmes dans le traitement et l'analyse, jusqu'à présent linéaires, du signal RMN. Deux modèles décrivant cette non linéarité sont ainsi exposés et comparés. Il est démontré que le modèle du filtre non linéaire à réponse impulsionnelle infinie (RII) permet des performances similaires au filtre de Volterra avec un nombre moins élevé de coefficients.

L'interaction dynamique entre le sol et les structures (IDSS) a fait l'objet de nombreuses études sous l'hypothèse de l'élasticité linéaire, bien que les effets de l'IDSS puissent être différents entre un système élastique et un système inélastique. De fait, les méthodologies usuelles développées à partir des études élastiques peuvent ne pas être adaptées aux bâtiments conçus pour dissiper de l'énergie par de l'endommagement lors de séismes sévères. De plus, il est bien connu que la limite d'élasticité du sol est normalement atteinte même pour de séismes relativement faibles. En conséquence, si les effets inélastiques de l'IDSS sont négligés, les études d'endommagement sismique des bâtiments peuvent être très inexactes. L'objectif de ce travail est de développer une stratégie générale pour l'étude du problème de l'IDSS non-linéaire dans le contexte de l'analyse de la vulnérabilité sismique des bâtiments. Ainsi, des modèles d'éléments finis réalistes sont développées et appliquées à des problèmes d'IDSS non-linéaires. Les modèles couvrent une large gamme des conditions pour le sol et des typologies de bâtiments soumis à plusieurs bases de données sismiques. Une stratégie de modélisation a été développée et validée afin de réduire significativement le coût numérique. Pour cela, un modèle 2D équivalent a été développé, implanté dans GEFDyn et utilisé pour effectuer une importante étude paramétrique. De nombreux indicateurs de comportement non-linéaire de la structure et du sol ont été proposés pour synthétiser leur fonctionnement lors du chargement sismique. De surcroît, une stratégie d'évaluation de la vulnérabilité sismique basée sur l'information apportée par une base des données sismiques a été développée. De façon, générale, les résultats ont mis en évidence une réduction de la demande sismique lorsque les effets inélastiques de l'IDSS sont pris en compte. Cette réduction est liée fondamentalement à deux phénomènes : l'amortissement par radiation et l'amortissement hystérétique du sol. Ces deux effets ont lieu simultanément pendant le mouvement sismique. Il est alors très difficile d'isoler l'influence de ces deux phénomènes. En effet, le mouvement effectif transmis à la structure n'est pas le même que celui en champs libre du aux effets d'interaction, ainsi qu'à la modification locale du comportement du sol fortement lié aux poids du bâtiment. Une série de mesures de sévérité sismique et des mécanismes de dissipation d'énergie au niveau du sol et du bâtiment a été introduite dans le but d'analyser ces effets. Cependant, ces résultats sont en général très irréguliers et leur généralisation a été très difficile. Néanmoins, ces résultats mettent en évidence l'importance de la prise en compte des effets du comportement inélastique du sol. La plupart des cas étudiés ont montré un effet favorable de l'IDSS non-linéaire. Mais, en général, l'IDSS peut augmenter ou diminuer la demande sismique en fonction de la typologie de la structure, des caractéristiques du mouvement sismique et des propriétés du sol. Tout de même, il y a une justification économique pour étudier les effets du comportement non-linéaire du sol sur la réponse sismique.

A la frontière des systèmes non linéaires continus et discrets, la classe des systèmes non linéaires à commande échantillonnée est une classe de systèmes à part entière qui a stimulé et stimule toujours de nombreuses recherches. Le sujet est d'autant plus important qu'il a été trop souvent sous estimé au profit de la recherche sur les commandes continues alors que paradoxalement les commandes sont principalement implémentées numériquement sur les applications industrielles actuelles. S'appuyant sur les dernières recherches du domaine, cette thèse se veut à la fois une contribution à l'étude et à la synthèse de lois de commande échantillonnées pour certaines classes de systèmes non linéaires.

Nous menons, dans le cadre de la grammaire générative chomskienne, une analyse formelle des énoncés ramifiés du langage naturel ( « La plupart des linguistes et la plupart des philosophes s'apprécient »). Ces énoncés présentent des quantificateurs non linéairement dépendants, qui doivent être traités « en parallèle », alors que leur ordre d'apparition en surface est nécessairement linéaire. Ce phénomène est connu en logique sous le nom de ramification (‘branching quantification') ; en grammaire générative il se traduit par des exigences contradictoires au niveau de la relation de c-commande : symétrie par l'absence de c-commande entre constituants quantifiés au niveau de la forme logique (‘LF') et antisymétrie par la relation de c commande asymétrique au niveau de la forme de surface (en acceptant l'axiome de correspondance linéaire ‘LCA' de Kayne). Pour sortir de cette impasse nous introduisons un nouveau type d'objets que nous avons nommés objets doubles. Les objets doubles créent localement des îlots non linéaires qui permettent d'obtenir la linéarité recherchée en surface sans induire de dépendance au niveau de la forme logique. Leur introduction est justifiée par ailleurs par le traitement qu'ils permettent de la coordination, un phénomène étroitement lié à la ramification. Grâce aux objets doubles tous les types de ramification, avec ou sans coordination, reçoivent une représentation adéquate, menant à une interprétation correcte. Nous résultats trouvent également une application en logique modale épistémique, et pour la représentation de l'interrogation multiple. / We carry out, within the framework of Chomskian generative grammar, a formal analysis of branching sentences in natural language (“Most linguists and most philosophers appreciate each other”). These sentences present quantifiers that are not linearly dependent, which must be treated "in parallel", whereas their surface order is necessarily linear. This phenomenon is known in logic as branching quantification. In generative grammar, branching quantification leads to contradictory requirements on the c-command relation: on the one hand, because of the absence of c-command between quantified constituents, one should have symmetry at LF; on the other hand, accepting Kayne's Linear Correspondence Axiom LCA, one should have antisymmetry of c-command at PF. To leave this dead end we introduce a new type of objects which we named twin objects (‘objets doubles' in French). Twin objects locally create nonlinear islands which make it possible to obtain the expected linearity at the surface without inducing dependence at the level of Logical Form. Their introduction is moreover justified by the treatment of coordination they allow, a phenomenon closely related to branching. Thanks to twin objects all types of branching, with or without coordination, receive an adequate representation, leading to a correct interpretation. Our results also find applications in epistemic modal logic and in the representation of multiple wh-questions.

Cette thèse explore certaines possibilités qu’offre l’optique intégrée en silicium pour des applications en ingénierie quantique. Un premier chapitre établi la théorie de la propagation non linéaire scalaire du champ électrique dans des guides d’onde en silicium. La génération de paires dans de tels guides est également présentée. Le second chapitre reprend un travail expérimental de caractérisation des propriétés non linéaires des guides utilisés. Le résultat original principal de ce travail est un montage de caractérisation non linéaire par la méthode D-scan en régime picoseconde. Le coeur du travail est présentée dans le troisième chapitre, il s'agit de la mise en évidence, la caractérisation et de l'étude approfondie de la génération de paires de photons au sein de guides d’ondes. Le dernier chapitre est consacré à l’intégration proprement dite de la source de paires de photons au sein d’un circuit quantique afin de réaliser la majeure partie d’un expérience clé d’optique quantique sur une puce en silicium. Nous présentons deux sources de paires de photons prêtes pour l'intégration avec un circuit optique (paires en cavité et filtration spectrale). Nous présentons ensuite la préparation d'expériences intégrées préliminaires. En particulier, nous montrons l'enchevêtrement en chemin produit dans une structure intégrée. Nous réalisons également l'expérience de Hong-Ou-Mandel.

Cette thèse est une étude de la géométrie de l'interaction dans le facteur hyperfini (GdI5), introduite par Jean-Yves Girard, et de ses liens avec les constructions plus anciennes. Nous commençons par montrer comment obtenir des adjonctions purement géométriques comme une identité entre des ensembles de cycles apparaissant entre des graphes. Il est alors possible, en choisis- sant une fonction qui mesure les cycles, d'obtenir une adjonction numérique. Nous montrons ensuite comment construire, sur la base d'une adjonction numérique, une géométrie de l'interaction pour la logique linéaire multiplicative additive où les preuves sont interprétées par des graphes. Nous expliquons également comment cette construction permet de définir une sémantique dénotationnelle de MALL, et une notion de vérité. Nous étudions finalement une généralisation de ce cadre utilisant des outils de théorie de la mesure afin d'interpréter les exponentielles et le second ordre. Les constructions sur les graphes étant paramétrées par une fonction de mesure des cycles, nous entreprenons ensuite l'étude de deux cas particuliers. Le premier s'avère être une version combinatoire de la GdI5, et nous obtenons donc une interprétation géométrique de l'orthogonalité basée sur le déterminant de Fuglede-Kadison. Le second cas particulier est une version combinatoire des constructions plus anciennes de la géométrie de l'interaction, où l'orthogonalité est basée sur la nilpotence. Ceci permet donc de comprendre le lien entre les différentes versions de la géométrie de l'interaction, et d'en déduire que les deux adjonctions -- qui semblent à première vue si différentes -- sont des conséquences d'une même identité géométrique. Nous étudions ensuite la notion de vérité subjective. Nous commençons par considérer une version légè- rement modifiée de la GdI5 avec une notion de vérité dépendant du choix d'une sous-algèbre maximale commutative (masa). Nous montrons qu'il existe une correspondance entre la classification des masas introduite par Dixmier (regulière, semi-régulière, singulière) et les fragments de la logique linéaire que l'on peut interpréter dans cette géométrie de l'interaction. Nous étudions alors la vérité subjective de la GdI5, qui dépends du choix d'une représentation du facteur hyperfini de type II1, à la lumière de ce résultat. Finalement, nous détaillerons une proposition de Girard pour étudier les classes de complexité et dé- taillons la caractérisation obtenue par ce dernier de la classe de complexité co-NL, en montrant comment coder un problème complet pour cette classe à l'aide d'opérateurs.

Cette thèse porte sur l'étude de l'amortissement des structures assemblées, et plus précisément de la contribution des assemblages sous sollicitations vibratoires. Le mémoire est composé de cinq chapitres traitant la problématique tant du point de vue analytique qu'expérimental. Un banc d'étude académique est proposé afin d'étudier des assemblages sous sollicitation normale constante (statique) et sous sollicitations tangentielles liées aux vibrations de la structure (dynamique). Le facteur de perte caractérisant l'amortissement de la structure est obtenu, dans un premier temps par une étude locale quasi-statique. Puis une fonction de dissipation est définie, permettant d'affiner la modélisation de l'amortissement par une étude dynamique globale. Au regard des résultats obtenus par la modélisation, une analyse expérimentale est menée. Cela afin d'isoler la contribution, à l'amortissement de la structure, des glissements partiels dans les assemblages. Pour cela, deux structures géométriquement identiques, l'une monolithique et l'autre assemblée sont étudiées. Les effets des interfaces sont analysés puis comparés aux résultats analytiques. Afin de simuler plus précisément ces effets, une modélisation prenant en compte les défauts de forme des surfaces en contact est menée

Cette étude porte sur l'analyse des instabilités des systèmes non linéaires. Nous considérons plus particulièrement les vibrations dues à la friction et nous présentons des modèles analytiques pour l'analyse des modes de vibration de "judder" (mode de vibration présent dans les systèmes de freinage automobile) et pour l'analyse des modes de vibration du "whirl" (mode de vibration des systèmes d'atterrissage d'avion).<br />Le but de cette recherche est de développer une procédure d'analyse non-linéaire des systèmes vibrants. Nous nous intéressons plus particulièrement aux systèmes non linéaires présentant des non-linéarités polynomiales. Une attention tout particulière est apportée à la détermination des mécanismes engendrant les instabilitées dues au frottement (stick,-slip, sprag slip, couplage de modes...) et à la réalisation de modéles phénoménologiques permettant de reproduire les principaux modes de vibration des systèmes associés.<br />La démarche d'analyse non linéaire s'appuie sur deux points particuliers. Le problème staticodynamique où l'analyse dynamique correspond à une linéarisation autour d'une position statique obtenue par la résolution d'un problème non linéaire. Les conditions de stabilité du système sont alors étudiées à partir de la résolution du problème aux valeurs propres. Le second point concerne le problème dynamique non linéaire : nous cherchons à mettre en place des méthodes non-linéaires (méthode de la variété centrale, les approximants multivariables, la méthode de la balance harmonique AFT(alternate frequency/time domain), etc...) pour prédire les niveaux vibratoires, ou cycles limites. Les cycles limites provenant des méthodes non-lineaires sont alors comparés avec ceux obtenus par une intégration temporelle classique afin de valider cette procédure globale qui consiste à utiliser successivement, dans un certain ordre, des méthodes non-linéaires qui réduisent et simplifient le systéme de départ.

Ce travail a pour but la réalisation d'un outil permettant d'estimer la germination et la distribution en taille de cristaux d'un procédé de cristallisation. Pour ce faire un modèle de cristallisation a été développé et nous a permis de réaliser un observateur de dimension finie afin d'estimer la germination. Par la suite, un observateur de dimension infinie a été mis au point dans le but d'estimer la distribution de taille des cristaux à partir de la germination et de la mesure d'une taille de la distribution. Les deux observateurs ont été validés expérimentalement sur un procédé "batch" de cristallisation de l'oxalate d'ammonium.

Les travaux présentés dans cette thèse portent sur la conception d'une méthodologie d'ordonnancement/optimisation pour les systèmes de production à grande variété de produits et faible densité de flux appelés systèmes HVLV (High-Variety, LowVolume). Les caractéristiques de ces systèmes nous permettent d'appréhender la représentation des flux y circulant par un modèle discret. Le comportement discontinu des systèmes HVLV peut être caractérisé par la connaissance des dates de début et de fin des activités de production. L'algèbre (max, +) est utilisée pour représenter ce type de systèmes où les relations entre les dates de début des activités nécessitent l'utilisation des opérateurs maximum et addition. Afin d'utiliser l'algèbre (max, +) pour l'ordonnancement des systèmes HVLV, il est indispensable de résoudre un problème de conflit et d'optimisation sous contraintes dans cette algèbre. D'abord, nous avons développé dans ces travaux de recherche un modèle d'ordonnancement (max, +) pour les systèmes HVLV dans lequel des variables de décision ont été introduites afin de résoudre le problème de conflit entre les opérations exécutées sur les machines. Ensuite, nous avons amélioré le modèle proposé pour tenir compte de la maintenance préventive. Deux types de maintenance ont été considérés : Maintenance Périodique Répétitive (MPR) et Maintenance Flexible Périodique (MFP). Dans les deux cas, un problème d'ordonnancement non-linéaire sous contraintes a été résolu afin de minimiser certains critères de performance. Enfin, la méthodologie proposée a été validée par simulation, sur des systèmes HVLV complexes de type job-shop.