Cette thèse s'articule principalement autour de la théorie des codes et des fonctions booléennes liés à la cryptographie. Deux axes sont suivis : la première partie est dédiée à la non-linéarité des fonctions booléennes, alors que la deuxième partie présente des applications en cryptographie d'objets provenant de ces théories. Motivé par la conjecture de Patterson et Wiedemann, nous proposons une généralisation de la construction par réunions d'orbites suivant l'action d'un groupe, où la minimisât!on de l'amplitude spectrale se ramène à deux sous-problèmes que nous étudions : l'estimation de sommes de Gauss et l'estimation de sommes d'exponentielles incomplètes. Plusieurs conditions et pistes de résolution de la conjecture sont alors détaillées. Ce travail nous permet de construire a sympto tique ment des fonctions de non-linéarité plus élevée que la moyenne et nous obtenons de plus, suivant ce principe, un exemple de recollement quadratique hautement non-linéaire proche de la borne de Patterson et Wiedemann en dimension 15. Dans la deuxième partie, nous portons tout d'abord notre attention sur des protocoles cryptographiques dits à faibles ressources. Des fonctions booléennes résistantes à la cryptanalyse différentielle sont utilisées afin de protéger le protocole HB+ d'une attaque par le milieu. À partir d'un deuxième protocole basé sur un principe de bruitage, nous effectuons un parallèle avec la théorie du canal à jarretière de Wyner, ce qui permet d'accroître la sécurité. D'autre part, dans le cadre de l'authentification de données variables dans le temps, une adaptation du cryptosystème de McEliece est détaillée afin de contrôler l'accès aux fonctions de vérification.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées / In this PhD thesis, several problems of stability analysis and control design of discrete-time switched nonlinear systems are addressed. As main contribution, a new class of Lyapunov functions which takes the nonlinearity into account has been proposed. We show that these functions are suitable to solve the classical stability analysis problem of linear systems connected to a cone bounded nonlinearity. Instead of the original Lyapunov Lur'e function, the assumptions about the nonlinearity variation are not required. Furthermore, the local stability analysis and control synthesis problems of Lur'e systems subject to control saturation are tackled by considering the level set of our function as an estimate of the basin of attraction. We expose that this estimate, which is given by non-convex and disconnected sets, is less conservative than ellipsoidal sets. We extend these results in order to deal with the problems of stability analysis and stabilization of discrete-time switched nonlinear systems. On one hand, we consider the case of arbitrary switching such that our sufficient conditions assure the properties of stability for all possible switching rules. In this framework, we highlight that our function is able to provide a suitable estimate of the basin of attraction. On the other hand, we tackle the problem of switching rule design aiming at the stabilization of discrete-time switched systems with nonlinear modes. We propose a switching strategy depending on the minimum of our switched Lyapunov Lur'e function. Hence, our framework leads to state space partitions, related to the mode activation, which are not restricted to conic sets, commonly exhibited by the switched quadratic functions approaches

L’imagerie ultrasonore harmonique, qui repose sur la non linéarité du milieu de propagation, est une technique d’imagerie clinique qui améliore la résolution des images. La mesure ultrasonore du paramètre local de non linéarité d'un milieu est une voie de recherche qui amènerait de nouvelles perspectives dans le domaine de la caractérisation des tissus. Cependant, l'accès à cette information se heurte à deux écueils : d'une part il n’existe pas actuellement de méthode de mesure de ce paramètre à partir du mode écho classique et d'autre part, les outils de simulation prenant en compte la non-linéarité du milieu sont peu développés. Une méthode de spectre angulaire a donc été proposée afin de calculer le champ de pression dans des milieux de non linéarité inhomogène. Ce champ de pression est ensuite utilisé pour engendrer des images échographiques contenant l’information harmonique. Cette méthode spectrale a été portée sur GPU afin d’accélérer le calcul et a été intégrée dans un logiciel libre : CREANUIS. Dans un deuxième temps, une extension d’une méthode comparative (ECM) a été proposée pour prendre en compte des milieux de non linéarité non homogène, fonctionnant en mode écho. Grâce aux outils de simulation développés, différentes configurations ont été utilisées pour la mise au point de l’ECM qui a ensuite été validée à partir d'objets tests et in vitro sur foies d’animaux. Même si la méthode de mesure présente une résolution relativement faible, les images obtenues démontrent le potentiel de l’imagerie du paramètre de non linéarité des tissus. / Harmonic imaging, based on the propagated medium nonlinearity, is a clinical imaging technique which increases the resolution of ultrasound images. The ultrasound measure of the local nonlinear parameter brings new perspectives in term tissues characterization. However, access to this information suffers from two strong points: from one hand, there is no current measurement method of this parameter in echo mode configuration and on the other hand, the simulation tools taking into account the nonlinearity are not many developed. An angular spectrum method has been proposed to compute the nonlinear pressure field with inhomogeneous nonlinear parameter. This pressure field is then used to generate ultrasound images containing the harmonic component. This spectral approach has been implemented on a GPU in order to accelerate the computation and package in a free software made available to the scientific community under the name CREANUIS. In a second time, a extension of a comparative method (ECM) has been proposed to take into account media with inhomogeneous nonlinearity, working an echo mode configuration. Thanks the developed simulation tools, different configurations have been used to parameterize and to evaluate the ECM which has then be validated on test objects and in vitro animal’s livers. Even if the measure presents a relatively weak resolution, the obtained images demonstrated a high potential in the nonlinear parameter imaging of tissues.

L'échographie est aujourd'hui une technique d'imagerie de diagnostic répandue. Si l'imagerie dite ‘classique' basée sur la réponse linéaire des tissus est couramment utilisée, l'imagerie harmonique, basée sur la réponse non linéaire des tissus, est maintenant aussi utilisée en routine clinique. L'estimation du paramètre de non linéarité d'un milieu par une technique ultrasonore amène de nouvelles perspectives en termes d'imagerie et de diagnostic. Cependant, la méthode de mesure du paramètre de non linéarité est limitée par deux facteurs, la présence du speckle et la concentration de l'énergie à une profondeur donnée (la zone focale). Cette thèse a pour objectifs de répondre aux deux limitations mentionnées précédemment en proposant de nouvelles méthodes de lissage de l'image pour réduire le speckle et d'améliorer l'estimation du paramètre de non linéarité en mode écho par de nouvelles méthodes d'émission. Dans un premier temps, il a été proposé d'utiliser une méthode de filtrage spatiale basée sur des filtres orthogonaux (filtres de Thomson) lors de la formation de voie en réception pour lisser le speckle. Ce filtrage spatiale intervient après la transmission d'ondes planes sous différents angles pour améliorer la résolution spatiale et le contraste tout en accélérant la cadence d'imagerie. Dans un deuxième temps, l'estimation du paramètre de non linéarité est faite avec une méthode comparative. Le champ de pression du second harmonique d'une zone de référence est comparé avec le champ de pression d'une zone dont le paramètre de non linéarité est inconnu. Cependant, dans le cas des images échographiques, le champ de pression du second harmonique n'est pas accessible. Nous faisons l'hypothèse que la pression acoustique locale est liée à l'intensité de l'image échographique si le speckle est réduit et lissé. La transmission d'ondes planes et l'application de filtres orthogonaux permet de mieux délimiter le paramètre de non linéarité par rapport à une transmission focalisée / Nowadays, ultrasound imaging is a common diagnostic tool thanks to its non-invasive behavior and relatively cheap equipment. Classic medical echographic imaging is based on the linear response of the biological tissue. However harmonic imaging, based on the harmonic frequencies generated by the nonlinear properties of the tissue, is more and more used for clinical application. The quantification of nonlinearity is based on the evaluation of the nonlinearity parameter which strongly influences the harmonics generation. The nonlinearity parameter estimation using an echographic approach would bring new modalities for imaging and diagnosis. However the echographic method for nonlinearity estimation is limited by two factors: the presence of speckles in the image and the focalization used during transmission, which concentrates the energy at one particular depth. The objectives of this thesis work are developing novel approaches to reduce the speckle noise using original smoothing techniques and improving the nonlinearity parameter estimation in echo mode using new transmission-reception strategies. Firstly, new speckle noise reduction approaches were investigated. The Thomson’s multitaper approach was proposed, consisting in using several different orthogonal apodizations during beamforming. This method was combined to a coherent plane-wave compounding transmission-reception strategy improving the spatial resolution and the contrast while improving the frame rate. In a second time, the nonlinearity parameter was estimated using a comparative method. The second-harmonic pressure field of a reference area was compared to the pressure field of an area where the nonlinearity parameter is unknown. However in echo-mode, the pressure field of the medium is unknown. It is assumed in this thesis work that the local pressure can be derived from envelope image local amplitude if the speckle noise is smoothed. The nonlinearity parameter estimation has been improved using plane-wave transmission and orthogonal apodizations compared to the use of a single focalization transmission / Oggigiorno, le tecniche di imaging ad ultrasuoni sono un comune strumento di diagnosi, grazie alla loro non invasività e alla relativa economicità dei sistemi. La risposta lineare dei tessuti biologici è la base per le tecniche di imaging ecografico tradizionali. La generazione di frequenze ad armoniche superiori da parte dei tessuti può essere sfruttata per sviluppare tecniche di imaging innovative (i.e., imaging armonico), che sono sempre più utilizzate per applicazioni cliniche. Tali tecniche sono basate sul metodo di valutazione del parametro di non linearità che influenza fortemente la generazione delle armoniche all’interno dei tessuti. I metodi per la stima dei suddetti parametri sfruttano solitamente un approccio ecografico tradizionale. Di conseguenza, gli effetti legati alla focalizzazione impiegata durante la trasmissione, che concentra l’energia ad una particolare profondità, e la presenza di speckle nell’immagine finale, rendono più incerta la stima del parametro di non linearità. In questa tesi sono proposti metodi innovativi finalizzati a due scopi: ridurre, nelle immagini, il rumore dovuto a speckle, tramite l’adozione di nuove tecniche di smoothing; migliorare la stima dei parametri di non linearità, tramite l’impiego di nuove strategie di beamforming in trasmissione e ricezione. Per ridurre il rumore dovuto a speckle, è stato proposto un approccio di filtraggio spaziale basato sull’impiego dei filtri di Thomson. Tale tecnica consiste nell’impiego di numerose apodizzazioni ortogonali fra di loro in fase di beamforming. Il metodo è stato in particolare combinato con la tecnica di imaging coherent plane-wave compounding, con lo scopo di migliorare la risoluzione spaziale e il contrasto e, al contempo, incrementare il frame rate. Il parametro di non linearità è stato misurato tramite un approccio comparativo. Il campo di pressione della seconda armonica in un’area di riferimento dell’immagine è stato confrontato con quello di un’area in cui il parametro di non linearità è ignoto. In questa tesi, grazie alla riduzione del rumore speckle, è stato possibile assumere che il campo di pressione

Ce manuscrit présente une étude de la pression de radiation acoustique induite par la propagation d'une onde ultrasonore. L'objectif de cette thèse est d'étudier expérimentalement et d'analyser les conditions d'existence d'une pression quasi-statique induite par la propagation non linéaire d'un train d'ondes émis dans un liquide (eau) non confiné. A l'aide d'un modèle en ondes planes, nous interprétons la composante quasi-statique du déplacement auto-démodulé comme la valeur moyenne temporelle du déplacement. Cette démarche montre qu'en champ proche, une composante quasi-statique s'ajoute à la pression auto-démodulée historiquement introduite et qu'elle s'identifie à la pression de radiation de Rayleigh, usuellement introduite dans le cas d'une onde harmonique émise dans un fluide confiné. Celle-ci existe et peut être interprétée comme un effet de « champ proche ». En champ lointain, la pression de radiation est celle de Langevin.<br />Dans un solide mou (tissus biologiques) la pression de radiation est utilisée pour engendrer localement une onde de cisaillement. Etant donné leur très faible vitesse (quelques m/s), la propagation de ces ondes donne lieu à des phénomènes non linéaires très importants. Ceux-ci sont observés et mesurés, à l'aide du dispositif d'imagerie ultra-rapide développé au laboratoire pour les applications médicales (élastographie)

.

Ce projet de recherche contribue à la caractérisation du mouvement sismique. Le travail s'appuie sur deux réseaux japonais, où les événements retenus ont une profondeur inférieure à 25 km et une magnitude comprise entre 4,0 et 7,3. L'analyse de K-net permet de calculer une relation prédictive d'accélération spectrale afin de tester les formes spectrales forfaitaires de l'Eurocode 8. Nous mettons en évidence le contenu haute fréquence des signaux japonais et le rôle des sols dans l'amplification spectrale à basse fréquence. De plus, nous développons une méthode empirique de génération stochastique d'accélérogrammes synthétiques non-stationnaires qui permet d'obtenir pour une magnitude, une distance et un type de sol, plusieurs enregistrements susceptibles d'être générés au site considéré. Par ailleurs, l'exploitation des enregistrements de profondeur de Kik-net permet d'explorer la question du domaine de validité des modèles prédictifs et de préciser le cas où on extrapole les prédictions. Enfin, nous étudions le comportement non-linéaire des sols.

Les MEMS et NEMS (Micro et Nano ElectroMechanical Systems) connaissent un développement important notamment dans le cadre de la Nanomécanique. Le bon fonctionnement de ces MEMS/NEMS est soumis au contrôle des interactions de surfaces séparées par des distances de l'ordre de 100 nm à 1 Μm. A cette échelle, les forces dominantes peuvent être de nature variée (Van der Waals, Casimir, électrostatique, magnétique,...). Ce travail de thèse est consacré à l'étude expérimentale par AFM des interactions électrostatiques et de Van der Waals/Casimir entre une microsphère et une surface d'or. Une attention particulière a été apportée à la préparation et à la caractérisation des sondes (microsphère collée sur un microlevier). Ensuite, à partir de l'analyse du bruit et de la sensibilité du système de mesure, nous avons pu montrer notre capacité à mesurer des forces faibles avec une résolution inférieure au piconewton. Par une détection statique, nous avons mesuré précisément des forces capacitives de l'ordre de quelques dizaines de piconewton et pour des distances comprises entre 100 et 500 nm. Nous avons mesuré et quantifié les effets de la déflexion du microlevier sur la détermination de la distance sphère-surface. Par des mesures dynamiques, nous avons étudié le couplage entre un oscillateur (sphère-microlevier) excité mécaniquement ou thermiquement et une surface sous l'effet de la force de Casimir. Enfin, les mesures en mode dynamique, nous ont permis d'aborder l'étude des mécanismes de dissipation associés aux interactions à longue distance. Nous avons ainsi observé la dissipation par couplage électromécanique.

La microscopie à force atomique (AFM) dynamique est née il y a maintenant presque quinze ans (Albrecht, 1991). Depuis la première image en résolution atomique (F. J. Giessibl, 1995), les avancées de cette technique de champ proche permettent aujourd'hui de manipuler des atomes à température ambiante (Oyabu, 2005) sur des surfaces conductrices ou isolantes. La compréhension du fonctionnement de cette machine complexe et l'optimisation des réglages des nombreux asservissements est un des objectifs de ce travail de thèse. A cette fin, un formalisme analytique provenant des méthodes de l'Automatique non linéaire (J. Ch. Gille, 1956) sera introduit pour traiter de façon naturelle les blocs de régulation de la machine mais aussi pour traiter l'interaction pointe-surface comme une fonction de transfert. Un outil numérique de simulation confirmera notre approche théorique. Dans un deuxième temps, le rôle capital de la sonde et sa caractérisation seront traités à travers une méthode expérimentale simple et originale. Cette méthode se base sur l'étude des changements des propriétés de résonance de la sonde oscillante sur des surfaces isolantes et conductrices. Les forces conservatives à longue portée du type électrostatique et van der Waals seront quantifiées. Les forces à courte portée essentiellement chimiques seront mises en évidence en mesurant la dissipation de la sonde oscillante en fonction de sa distance avec la surface. Nous finirons cette étude en montrant expérimentalement, sur un sytème MoS2/îlots d'or/molécules d'octanedithiol, la grande versatilité de ce microscope. En effet, cet appareil d'observation par sa complexité apparente laisse beaucoup de degrés de liberté à l'utilisateur pour aborder l'étude d'un tel système physicochimique. Des perspectives seront données pour améliorer la stabilité et le pouvoir de résolution des pointes qui permettraient de rendre pérenne cette technique de champ proche.

Ce mémoire présente un point de vue issu de la théorie des groupes discrets sur les groupes de Kac-Moody. Sur les corps finis, ces groupes sont de type fini ; ils opèrent sur de nouveaux immeubles jouissant bien souvent de remarquables propriétés de courbure négative. On justifie que les groupes de Kac-Moody de type fini peuvent être vus comme des généralisations de certains groupes $S$-arithmétiques en caractéristique positive. On explique comment ils fournissent de nouveaux immeubles, et pourquoi on peut s'attendre à ce que les groupes eux-mêmes soient nouveaux. Nous considérons aussi des groupes totalement discontinus généralisant certains groupes semi-simples sur des corps locaux, comme en attestent leurs propriétés combinatoires fines et leur simplicité topologique. L'étude de leurs frontières de Furstenberg est évoquée. Nous résumons la preuve de la complète non linéarité de certains groupes de Kac-Moody. C'est ici que nous utilisons les propriétés des groupes topologiques précédents, en les combinant à un théorème de super-rigidité du commensurateur. En fait, on peut construire des groupes dont toutes les images linéaires sont finies, quel que soit le corps de base à l'arrivée. Enfin, nous conjecturons divers résultats sur les groupes précédemment définis, par exemple, la non linéarité (et peut-être la simplicité) d'une vaste classe de groupes de Kac-Moody de présentation finie. Nous conjecturons également la simplicité abstraite des groupes de Kac-Moody géométriquement complétés, et proposons un lien entre ces groupes et une autre définition des groupes de Kac-Moody (issue de l'étude des variétés de Schubert et de la théorie des représentations). Nous relions ces conjectures à des travaux en cours sur les compactifications d'immeubles de Bruhat-Tits.