Le sujet de thèse est une étude théorique des modes normaux d’oscillations plasma dans des chaînes de jonctions Josephson supra-conductrices. Les propriétés de ces modes normaux peuvent être contrôlés en choisissant une modulation spatiale appropriée de paramètres des jonctions le long de la chaîne et/ou un couplage approprié à l'environnement extérieur. Le travail théorique au sein du LPMMC se fait en étroite collaboration avec l'équipe expérimentale"Cohérence Quantique" à l'Institut Néel. Les problèmes spécifiques étudiés dans la thèse sont : modélisation détaillée du couplage des modes normaux à l'environnement pour leur caractérisation dans une expérience de transmission de micro-ondes, dissipation intrinsèque des oscillations du plasma à cause de quasi-particules hors équilibre, l'optimisation de la structure spatiale de la chaîne de jonctions Josephson pour son utilisation en tant qu'une super-inductance. / The subject of thesis is a theorerical study of normal modes of plasma oscillations in superconducting Josephson junction chains. The properties of these normal modes can be controlled by choosing an appropriate spatial modulation of the junction parameters along the chain and/or an appropriate coupling to the external environment. The theoretical work at LPMMC is performed in a close collaboration with the experimental Quantum Coherence group at Néel Institute. The specific problems studied in this thesis are : detailed modeling of the normal mode coupling to the environment for probing them in a microwave transmission experiment, intrinsic dissipation of plasma oscillations due to the presence of non-equilibrium quasi-particles, optimization of the spatial structure of the Josephson junction chain for its use as a super-inductance.

Cette thèse s'intéresse à l'impact de la mobilité sur les performances des réseaux ad hoc mobiles (MANETs en anglais). Elle comporte deux parties. La première partie de la thèse dresse un état de l'art du protocole TCP dans MANETs. La principale conclusion est que la mobilité dégrade les performances de TCP, à cause de problèmes de routage et de partitions du réseau qu'elle occasionne. Partant de ce constat, nous proposons et analysons dans la deuxième partie de la thèse des schémas de transmission qui s'appuient sur la mobilité. Plus précisément, chaque noeud peut servir de relais en l'absence de route directe entre la source et la destination. Nous nous sommes tout d'abord intéressés aux performances des noeuds relais (débit et taille moyenne des files) en utilisant le formalisme des files d'attente.<br />Un des résultats principaux est que le débit des noeuds relais est minimisé quand les noeuds bougent selon des modèles de mouvements aléatoires qui ont une distribution stationnaire uniforme de position. Pour optimiser les performances du protocole de relais à deux sauts, particulièrement le délai de transmission, nous avons ensuite étudié le cas où un paquet peut avoir plusieurs copies dans le réseau, sous l'hypothèse où ces copies ont des durées de vie limitées. Les performances (délai, énergie consommée) ont été obtenu en utilisant le formalisme des chaînes de Markov absorbantes, ainsi que des modèles fluides. Nous avons appliqué nos résultats pour optimiser la consommation d'énergie en présence de contraintes sur les délais.

Cette thèse aborde le problème de l'extraction non supervisée des réseaux linéiques (routes, rivières, etc.) à partir d'images satellitaires et aériennes. Nous utilisons des processus objet, ou processus ponctuels marqués, comme modèles a priori. Ces modèles permettent de bénéficier de l'apport d'un cadre stochastique (robustesse au bruit, corpus algorithmique, etc.) tout en manipulant des contraintes géométriques fortes. Un recuit simulé sur un algorithme de type Monte Carlo par Chaîne de Markov (MCMC) permet une optimisation globale sur l'espace des configurations d'objets, indépendamment de l'initialisation.<br />Nous proposons tout d'abord une modélisation du réseau linéique par un processus dont les objets sont des segments interagissant entre eux. Le modèle a priori est construit de façon à exploiter au mieux la topologie du réseau recherche au travers de potentiels fondés sur la qualité de chaque interaction. Les propriétés radiométriques sont prises en compte dans un terme d'attache aux données fondé sur des mesures statistiques.<br />Nous étendons ensuite cette modélisation à des objets plus complexes. La manipulation de lignes brisées permet une extraction plus précise du réseau et améliore la détection des bifurcations.<br />Enfin, nous proposons une modélisation hiérarchique des réseaux hydrographiques dans laquelle les affluents d'un fleuve sont modélisés par un processus de lignes brisées dans le voisinage de ce fleuve.<br />Pour chacun des modèles, nous accélérons la convergence de l'algorithme MCMC par l'ajout de perturbations adaptées.<br />La pertinence de cette modélisation par processus objet est vérifiée sur des images satellitaires et aériennes, optiques et radar.

La constatation que les prix des actifs boursiers sautent brusquement a conduit à étudier des modèles de marchés avec sauts. Cette thèse va dans cette direction. On y considère des marchés dirigés par des martingales normales qui ont la propriété de représentation chaotique: les martingales vérifiant une équation de structure déterministe, la martingale d'Azéma, etc. On trouve des stratégies de couverture pour les options européennes, asiatiques et Lookback soit par la formule d'Itô, soit par la formule de Clark-Ocone selon la plus appropriée. L'application du calcul de Malliavin au calcul des Greeks est traitée pour les options asiatiques dans le cas d'un marché dirigé par un processus de Poisson. On traite aussi de couverture dans un modèle à volatilité stochastique avec sauts où le prix de l'actif risqué est dirigé par un processus somme d'un mouvement brownien et d'un processus de Poisson 2-dimensionnels. Le marché est incomplet et il existe une infinité de mesures martingales équivalentes. On minimise l'entropie pour choisir telle mesure. Sous celle-ci on calcule la stratégie minimisant la variance.

Ce document synthétise mes contributions à l'étude de discrétisation des processus avec sauts, et à la modélisation du risque de liquidité et du risque de saut dans les marchés financiers. Chapitre 2 regroupe les résultats plus théoriques dans le domaine de discrétisation des processus stochastiques avec sauts, avec notamment une étude de l'erreur de discrétisation des stratégies de couverture, et des nouveaux schémas de simulation des équations différentielles stochastiques dirigées par des processus de Lévy. Chapitre 3 présente et étudie via le contrôle stochastique un problème d'optimisation d'investissement et de consommation dans les marchés financiers illiquides. Chapitre 4 contient des travaux plus appliqués sur la modélisation du risque de saut dans les stratégies d'assurance de portefeuille, les produits dérivés, et les marchés d'électricité.

Nous étudions les propriétés probabilistes, trajectorielles et statistiques des processus stochastiques multistables, qui sont tangents en chaque point à un processus stable. Ils possèdent ainsi une intensité de sauts et une régularité locale qui varient au cours du temps. Nous nous intéressons dans un premier temps aux processus pouvant être définis par une moyenne mobile et possédant la propriété d'être localisables, c'est-à-dire d'être tangents en loi à un processus en chaque point. Des critères assurant la localisabilité, ainsi qu'une méthode de simulation de tels processus sont donnés. Nous proposons ensuite une nouvelle construction et des critères de localisabilité des processus multistables à l'aide d'une représentation de type Ferguson-Klass-LePage. Pour les processus obtenus, nous étudions certaines propriétés probabilistes et trajectorielles. En particulier, nous caractérisons le comportement asymptotique des accroissements des processus multistables, ainsi que leur régularité Höldérienne. Enfin, nous proposons des estimateurs de la fonction de stabilité et de la fonction de localisabilité. La consistance au sens de la convergence Lp est prouvée. Les performances des estimateurs sont illustrées sur des séries simulées suivant deux modèles : le mouvement de Lévy multistable et le mouvement linéaire multifractionnaire multistable.

Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un module de diagnostic de pannes et d'un module de reconfiguration de lois de commandes. Contraintes pouvant conduire à une perte de performances, voir une instabilité, du système. La formalisation mathématique de cette problématique nous a amené à nous intéresser à une classe de systèmes hybrides stochastiques à sauts markoviens. La première partie du travail de thèse a été consacrée à la synthèse de lois de commande, par retour de sortie, stabilisant stochastiquement cette classe de systèmes à des bruits multiplicatifs. Les approches développées sont basées sur la théorie de Lyapunov et de Supermartingale. Les différentes conditions de synthèse sont données en termes d'inégalités matricielles non linéaires. Des algorithmes d'optimisation non convexe nt alors été proposés pour la résolution de ces différentes conditions. En deuxième partie de thèse, nous nous sommes intéressés au problème de commande multi-performances de cette classe de systèmes. Plus particulièrement, nous avons considéré des critères H_{infinity} et des critères H_{2}. Là aussi, nous avons proposé des conditions sous forme LMI, BMI et NLMI pour la résolution de ce problème. En dernière partie de thèse, nous nous sommes intéressés au cas des systèmes à temps discret. Nous avons là aussi considéré des problèmes de stabilisation stochastique et de commande multi-objectifs, pour lesquels des conditions sous forme LMI et NLMI ont été établies. Nous avons ensuite appliqué ces résultats à la problématique de commande de systèmes en réseaux sujets à des retards, des pertes de paquets et d'éventuels pannes.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

L’analyse biomécanique du mouvement humain en utilisant des systèmes optoélectroniques et des marqueurs cutanés considère les segments du corps comme des corps rigides. Cependant, le mouvement des tissus mous par rapport à l'os, c’est à dire les muscles et le tissu adipeux, provoque le déplacement des marqueurs. Ce déplacement est le fait de deux composantes, une composante propre correspondant au mouvement aléatoire de chaque marqueur et une composante à l’unisson provoquant le déplacement commun des marqueurs cutanés lié au mouvement des masses sous-jacentes. Si nombre d’études visent à minimiser ces déplacements, des simulations ont montré que le mouvement des masses molles réduit la dynamique articulaire. Cette observation est faite uniquement par la simulation, car il n'existe pas de méthodes capables de dissocier la cinématique des masses molles de celle de l’os. L’objectif principal de cette thèse consiste à développer une méthode numérique capable de distinguer ces deux cinématiques. Le premier objectif était d'évaluer une méthode d'optimisation locale pour estimer le mouvement des masses molles par rapport à l’humérus obtenu avec une tige intra-corticale vissée chez trois sujets. Les résultats montrent que l'optimisation locale sous-estime de 50% le déplacement des marqueurs et qu’elle conduit à un classement de marqueurs différents en fonction de leur déplacement. La limite de cette méthode vient du fait qu'elle ne tient pas compte de l’ensemble des composantes du mouvement des tissus mous, notamment la composante en unisson. Le second objectif était de développer une méthode numérique qui considère toutes les composantes du mouvement des tissus mous. Plus précisément, cette méthode devait fournir une cinématique similaire et une plus grande estimation du déplacement des marqueurs par rapport aux méthodes classiques et dissocier ces composantes. Le membre inférieur est modélisé avec une chaine cinématique de 10 degrés de liberté reconstruite par optimisation globale en utilisant seulement les marqueurs placés sur le pelvis et la face médiale du tibia. L’estimation de la cinématique sans considérer les marqueurs placés sur la cuisse et le mollet permet d'éviter l’influence de leur déplacement sur la reconstruction du modèle cinématique. Cette méthode testée sur 13 sujets lors de sauts a obtenu jusqu’à 2,1 fois plus de déplacement des marqueurs en fonction de la méthode considérée en assurant des cinématiques similaires. Une approche vectorielle a montré que le déplacement des marqueurs est surtout dû à la composante à l’unisson. Une approche matricielle associant l’optimisation locale à la chaine cinématique a montré que les masses molles se déplacent principalement autour de l'axe longitudinal et le long de l'axe antéro-postérieur de l'os. L'originalité de cette thèse est de dissocier numériquement la cinématique os de celle des masses molles et les composantes de ce mouvement. Les méthodes développées dans cette thèse augmentent les connaissances sur le mouvement des masses molles et permettent d’envisager l’étude de leur effet sur la dynamique articulaire. / Biomechanical analysis of human movement using optoelectronic system and skin markers considers body segments as rigid bodies. However the soft tissue motion relative to the bone, including muscles, fat mass, results in relative displacement of markers. This displacement is the results of two components, an own component which corresponds to a random motion of each marker and an in-unison component corresponding to the common movement of skin markers resulting from the movement of the underlying wobbling mass. While most studies aim to minimize these displacements, computer simulation models have shown that the movement of the soft tissue motion relative to the bones reduces the joint kinetics. This observation is only available using computer simulations because there are no methods able to distinguish the kinematics of wobbling mass of the bones kinematics. The main objective of this thesis is to develop a numerical method able to distinguish this different kinematics. The first aim of this thesis was to assess a local optimisation method for estimating the soft tissue motion using intra-cortical pins screwed into the humerus in three subjects. The results show that local optimisation underestimates of 50% the marker displacements. Also it leads to a different marker ranking in terms of displacement. The limit of local optimisation comes from the fact that it does not consider all the components of the soft tissue motion, especially the in-unison component. The second aim of this thesis was to develop a numerical method that accounts for all the component of the soft tissue motion. More specifically, this method should provide similar kinematics and estimate large marker displacement and distinguish the two components to conventional approaches. The lower limb is modeled using a 10 degree of freedom chain model reconstructed using global optimisation and the markers placed only on the pelvis and the medial face of the shank. The original estimate of joint kinematics without considering the markers placed on the thigh and on the calf avoids the influences of these markers displacement on the kinematic model reconstruction. This method was tested on 13 subjects who performed hopping trials and obtained up to 2.1 times of marker displacement depending the method considered ensuring similar joint-kinematics. A vector approach shown that marker displacements is more induce by the in-unison component. A matrix approach combining the local optimisation and the kinematic model shown that the wobbling mass moves around the longitudinal axis and along the antero-posterior axis of the bone. The originality of this thesis is to numerically distinguish the bone kinematics from the wobbling mass kinematics and the two components of the soft tissue motion. The methods developed in this thesis increases the knowledge on soft tissue motion and allow future studies to consider their movement in joint kinetics calculation.

On étudie une équation différentielle stochastique animée par un processus ponctuel de Poisson, qui modélise un changement continu de lénvironnement d'une population et la fixation stochastique de mutations bénéfiques pour compenser ce changement. La probabilité de fixation d'une mutation augmente dès que le retard phénotypique $X_t$ entre la population et l'optimum augmente. On suppose que les mutations favorables se fixent instantanément induisant un saut adaptatif. En premier lieu, on a étudié le comportement à long terme de la solution de cette équation sachant qu'on ne considère qu'un seul trait phénotypique de la population et on a trouvé les conditions sous lesquelles $X_t$ est récurrent (possibilité de survie) ou transient (extinction inévitable). Ensuite, on a généralisé nos résultats en considérant un vecteur de traits phénotypiques de la population, essentiellement dans $mathbb R^2$. A la fin, on introduit une limite des petits sauts pour caractériser et comprendre le cas récurrent. / We study a stochastic differential equation driven by a Poisson point process, which models continuous changes in a population's environment, as well as the stochastic fixation of beneficial mutations that might compensate for this change. The fixation probability of a given mutation increases as the phenotypic lag $X_t$ between the population and the optimum grows larger, and successful mutations are assumed to fix instantaneously (leading to an adaptive jump). First, we study the large time behavior of the solution of this SDE taking into consideration one phenotypic trait of the population and we find the conditions under which $X_t$ is recurrent (possibility of survival) or transient (doomed to exctinction).Then we generalize our results to the case of a phenotypic traits vector, essentially in $R^2$. Finally, we introduce a small jumps limit to characterize and understand the recurrent case.