Cette thèse a pour sujet la mobilité faible des applications et en particulier la communication entre entités mobiles. Nous nous sommes tout d'abord intéressés aux relations existant entre le paradigme des objets actifs et celui des applications mobiles. De nombreux protocoles pour assurer les communications entre objets mobiles ont été décrits dans la littérature mais leurs performances n'ont jamais été étudiées formellement. Nous avons isolé des propriétés permettant de les classer en trois familles~: la poste restante, la recherche et le routage. Après avoir choisi deux protocoles utilisés dans des bibliothèques Java, nous avons entrepris leur étude à l'aide de chaînes de Markov, le but étant de pouvoir déterminer le temps moyen nécessaire pour communiquer avec un agent mobile. Le mécanisme des répéteurs est représenté à l'aide d'une chaîne à espace d'états infini. Nous avons pu exprimer deux métriques: le temps moyen de réponse du système et le nombre moyen de répéteurs. Le cas du serveur nécessite l'analyse d'une chaîne à espace d'états fini qui est résolue numériquement. Pour valider nos modèles nous avons utilisé un simulateur à événements discrets puis, nous avons mené des expérimentations sur un réseau local et sur un réseau régional. Les résultats ont été comparés à ceux obtenus théoriquement ce qui nous a permis de montrer que les performances de nos modèles sont tout à fait acceptables. Il est donc possible de les utiliser pour prédire les performances. Enfin, nous terminons ce travail par la présentation d'un nouveau protocole de communications utilisant des répéteurs à durée de vie limitée et un serveur. Nous montrons qu'il est possible d'obtenir de bonnes performances sans les aspects négatifs des deux protocoles précédents.

Les accidents de la circulation sont un des plus grands problèmes de sureté publique. Par conséquent la sécurité routière a toujours été la principale préoccupation des acteurs de la sécurité des transports. Durant les dernières décennies, les pouvoirs publics et les entreprises du secteur automobile ont été impliqués dans l'amélioration de nos systèmes de transport de la sécurité en réduisant les conséquences des accidents imminents et en diminuant le nombre d'accidents de la route. Néanmoins, la plupart de ces mesures préventives ne peut assurer la sécurité passive , car ils se concentrent sur la phase de collision. En fait, les matériaux comme les airbags réduisent l'impact d'un accident, mais ne l'empêchent pas. Cette reconnaissance de l'insuffisance de ces mesures passives a orienté à des perspectives industrielles nouvelles et innovantes qui cherchent à éviter les accidents et de détecter les dangers à l'avance au lieu de minimiser les dommages. En fait, selon des études pertinentes, 60 pers des accidents peuvent être évités si le conducteur avait été alerté d'une demi-seconde avant la collision. Des mesures drastiques sont déjà prises par les constructeurs automobiles afin d'offrir aux conducteurs une télématique plus large et donc d'améliorer leur gamme de sensibilisation. Si une collision est inévitable, la technologie de sécurité active peut préparer de manière proactive le véhicule pour l'impact à réduire les dommages. Par exemple, les capteurs de véhicules sont utilisés pour mesurer et évaluer l'état et de l'environnement d'un véhicule, permettant l'émission d'alertes précoces aux conducteurs. [...] / Road traffic crashes are one of the world's largest public health and injury problems. Therefore road security has always been the main concern of transportation security stakeholders. During the last decades, public authorities and automotive companies have been involved in the safety improvement of our transportation systems by reducing the consequences of imminent accidents and decreasing the number of road injuries. Nevertheless, most of these preventive measures can only provide passive safety since they focus on the post collision phase. In fact, materials of energy absorption like airbags reduce the impact of an accident but do not prevent it. This recognition of the inadequacy of these passive measures has oriented industrials to new and innovative perspectives that seek to avoid accidents and detect dangers in advance rather than minimize the damage. In fact, according to relevant studies, 60pers of accidents can be avoided if the driver had been alerted half a second before the collision. Drastic steps are already taken by automobile manufacturers to offer to drivers a larger telematics horizon and therefore enhance their range of awareness. If a collision is inevitable, active safety technology can proactively prepare the vehicle for the impact to reduce injuries. For example, vehicles' sensors are employed to measure and assess a vehicle' s condition and environment, enabling the issuance of early warnings to drivers. On the other hand, a remarkable and similar step in that direction is achieved by networking research community using vehicular networks within Intelligent Transportation Systems (ITS)

Cette thèse examine certaines questions quantitatives dans le cadre de deux modèles stochastiques différents. Il est divisé en deux parties : la première partie examine une nouvelle classe de jeux stochastiques avec une fonction de paiement particulière que nous appelons « de priorité ». Cette classe de jeux contient comme sous-classes propre les jeux de parité, largement étudiés en informatique, et les jeux de limsup et liminf, étudiés dans la théorie des jeux. La deuxième partie de la thèse examine certaines questions naturelles mais complexes sur les distributions, étudiées dans le cadre plus simple des chaînes de Markov à espace d'états fini. Dans la première partie, nous examinons les jeux à somme nulle à deux joueurs en se centrant sur la fonction de paiement de priorité. Cette fonction de paiement génère le gain utilisé dans les jeux de parité. Nous considérons à la fois les jeux de priorité stochastiques à tour de rôle et les jeux de priorité simultanés. Notre approche des jeux de priorité est basée sur le concept du point fixe le plus proche (« nearest fixed point ») des applications monotones non expansives et étend l'approche mu-calcul aux jeux de priorité.La deuxième partie de la thèse concerne les questions de population. De manière simplifiée, nous examinons comment une distribution de probabilité sur les états évolue dans le temps. Plus précisément, nous sommes intéressés par des questions comme la suivante : à partir d'une distribution initiale, la population peut-elle atteindre à un moment donné une distribution avec une probabilité dépassant un seuil donné dans l'état visé? Il s'avère que ce type de questions est beaucoup plus difficile à gérer que les questions concernant les trajectoires individuelles : on ne connaît pas, pour le modèle des chaînes de Markov, si les questions de population soient décidables. Nous étudions les restrictions des chaînes de Markov assurant la décision des questions de population. / This thesis examines some quantitative questions in the framework of two different stochastic models. It is divided into two parts: the first part examines a new class of stochastic games with priority payoff. This class of games contains as proper subclasses the parity games extensively studied in computer science, and limsup and liminf games studied in game theory. The second part of the thesis examines some natural but involved questions about distributions, studied in the simple framework of finite state Markov chain.In the first part, we examine two-player zero-sum games focusing on a particular payoff function that we call the priority payoff. This payoff function generalizes the payoff used in parity games. We consider both turn-based stochastic priority games and concurrent priority games. Our approach to priority games is based on the concept of the nearest fixed point of monotone nonexpansive mappings and extends the mu-calculus approach to priority games.The second part of the thesis deals with population questions. Roughly speaking, we examine how a probability distribution over states evolves in time. More specifically, we are interested in questions like the following one: from an initial distribution, can the population reach at some moment a distribution with a probability mass exceeding a given threshold in state Goal? It turns out that this type of questions is much more difficult to handle than the questions concerning individual trajectories: it is not known for the simple model of Markov chains whether population questions are decidable. We study restrictions of Markov chains ensuring decidability of population questions.

L'iris est considérée comme une des modalités les plus robustes et les plus performantes en biométrie à cause de ses faibles taux d'erreurs. Ces performances ont été observées dans des situations contrôlées, qui imposent des contraintes lors de l'acquisition pour l'obtention d'images de bonne qualité. Relâcher ces contraintes, au moins partiellement, implique des dégradations de la qualité des images acquises et par conséquent une réduction des performances de ces systèmes. Une des principales solutions proposées dans la littérature pour remédier à ces limites est d'améliorer l'étape de segmentation de l'iris. L'objectif principal de ce travail de thèse a été de proposer des méthodes originales pour la segmentation des images dégradées de l'iris. Les chaînes de Markov ont été déjà proposées dans la littérature pour résoudre des problèmes de segmentation d'images. Dans ce cadre, une étude de faisabilité d'une segmentation non supervisée des images dégradées d'iris en régions par les chaînes de Markov a été réalisée, en vue d'une future application en temps réel. Différentes transformations de l'image et différentes méthodes de segmentation grossière pour l'initialisation des paramètres ont été étudiées et comparées. Les modélisations optimales ont été introduites dans un système de reconnaissance de l'iris (avec des images en niveaux de gris) afin de produire une comparaison avec les méthodes existantes. Finalement une extension de la modélisation basée sur les chaînes de Markov cachées, pour une segmentation non supervisée des images d'iris acquises en visible, a été mise en place / Iris is considered as one of the most robust and efficient modalities in biometrics because of its low error rates. These performances were observed in controlled situations, which impose constraints during the acquisition in order to have good quality images. The renouncement of these constraints, at least partially, implies degradations in the quality of the acquired images and it is therefore a degradation of these systems’ performances. One of the main proposed solutions in the literature to take into account these limits is to propose a robust approach for iris segmentation. The main objective of this thesis is to propose original methods for the segmentation of degraded images of the iris. Markov chains have been well solicited to solve image segmentation problems. In this context, a feasibility study of unsupervised segmentation into regions of degraded iris images by Markov chains was performed. Different image transformations and different segmentation methods for parameters initialization have been studied and compared. Optimal modeling has been inserted in iris recognition system (with grayscale images) to produce a comparison with the existing methods. Finally, an extension of the modeling based on the hidden Markov chains has been developed in order to realize an unsupervised segmentation of the iris images acquired in visible light

La mondialisation, un paysage international mouvant, l'accélération des échanges, l'apparition de nouveaux marchés, un nouvel environnement sociétal, ... toutes ces tendances induisent une forte interdépendance entre les fonctions (internes et externes à l'entreprise) et conduisent à une approche globale de l'entreprise et de sa chaîne logistique en générant un besoin croissant de réactivité, de flexibilité, d'interconnexion, de communication et de partage d'information. Il s'agit d'intégration fonctionnelle intra et interentreprises, de ré-ingénierie et de pilotage des processus de gestion, de management de la performance globale, etc.<br />Ce besoin d'intégration se fait sentir au niveau de l'entreprise, d'un groupe ou d'une chaîne logistique globale, au travers de projets ERP (Enterprise Resource Planning, Progiciel de Gestion Intégrée) et de projets SCM (Supply Chain Management, Gestion de la Chaîne Logistique Globale, Intégrée ou Etendue). Il se décline en plusieurs problématiques de recherche ou « verrous » tant du point de vue de l'intégration, des systèmes intégrés, des méthodes de modélisation et d'optimisation des systèmes de production que de leurs conditions de pertinence et d'efficacité, de leur mise en œuvre et de leurs usages.<br />Dans contexte, je me suis particulièrement intéressée à rechercher et concevoir des méthodes et outils pour aider et accompagner les entreprises dans leurs démarches d'intégration et d'optimisation de leur pilotage. D'où le titre de ce mémoire : Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques. <br />Je développe mes contributions dans les domaines de la gestion et du pilotage des chaînes logistiques et de la conduite de projets d'intégration intra ou interentreprises selon l'articulation suivante :<br />- Analyse des systèmes de production et des chaînes logistiques et optimisation de leur pilotage : approche intégrée d'aide à la décision en ordonnancement et planification, modélisation et optimisation de la traçabilité dans les chaînes logistiques, modélisation et optimisation des processus de pilotage des chaînes logistiques. <br />- Evaluation des projets d'intégration : méthodologies ou référentiels de gestion de projet d'intégration, modélisation d'entreprise pour l'implantation d'ERP, impact des typologies d'entreprise (production de biens – production de services) sur les projets d'intégration, mesure de performance de projets d'intégration, évaluation de l'intégration (mesures, indicateurs...).<br />- Impact de l'intégration et (ou) des systèmes intégrés de gestion sur (ou en interaction avec) le pilotage des chaînes logistiques : contribution des progiciels intégrés (ERP, APS...) à la planification des chaînes logistiques, contribution du partage d'information à la performance des chaînes logistiques et mesure de la collaboration dans les chaînes logistiques.<br />Ces contributions sont positionnées vis-à-vis de l'état d'avancement des travaux dans ces domaines, et des prospectives de recherche sont proposées.

La théorie des processus de branchement multi-type en environnement i.i.d. est considérablement moins développée que dans le cas univarié, et les questions fondamentales ne sont pas résolues en totalité à ce jour. Les réponses exigent une compréhension profonde du comportement des produits des matrices i.i.d. à coefficients positifs. Sous des hypothèses assez générales et lorsque les fonctions génératrices de probabilité des lois de reproduction sont “linéaire fractionnaires”, nous montrons que la probabilité de survie à l’instant n du processus de branchement multi-type en environnement aléatoire est proportionnelle à 1/√n lorsque n → ∞. La démonstration de ce résultat suit l’approche développée pour étudier les processus de branchement uni-variés en environnement aléatoire i. i. d. Il utilise de façon cruciale des résultats récents portant sur les fluctuations des normes de produits de matrices aléatoires i.i.d. / The theory of multi-type branching process in i.i.d. environment is considerably less developed than for the univariate case, and fundamental questions are up to date unsolved. Answers demand a solid understanding of the behavior of products of i.i.d. matrices with non-negative entries. Under mild assumptions, when the probability generating functions of the reproduction laws are fractional-linear, the survival probability of the multi-type branching process in random environment up to moment n is proportional to 1/√n as n → ∞. Techniques for univariate branching process in random environment and methods from the theory of products of i.i.d. random matrices are required.

Depuis quelques années, les centres d'appels enregistrent une forte croissance dans le monde. Les entreprises s'orientent de plus en plus vers ce choix qui leur offre une relation privilégiée avec leurs clients. Ainsi, ils disposent d'un moyen convivial et peu coûteux pour fidéliser leurs clients tout en essayant d'en acquérir de nouveaux. Ce travail fait suite à des problématiques réelles exprimées par l'entreprise Bouygues Telecom. Les données utilisées sont dans le même ordre de grandeur que ce qui se passe dans la réalité.<br />Dans la première partie de ce travail, nous étudions le phénomène de rappels. Nous commençons, d'abord, par montrer son importance dans le système. Par la suite, nous montrons que le fait d'ignorer ce phénomène engendre beaucoup d'erreurs lors du dimensionnement du centre d'appels et se traduit par des objectifs non satisfaits ou par un système surdimensionné sujet à des coûts supplémentaires. Cette analyse concerne le régime stationnaire. L'étude du système multi-période aboutit, elle, à la détermination de l'évolution de la demande réelle en fonction du temps et ce, à partir des arrivées observées.<br />Dans la deuxième partie, nous commençons par proposer des estimateurs du temps d'attente que les clients doivent passer dans la file avant d'être servis et ce, pour des clients répartis en plusieurs classes de priorité non-préemptive. En fonction de ces estimateurs, nous étudions plusieurs règles de routage. Nous comparons le système composé de plusieurs files d'attente, et nécessitant donc un routage, avec le système où les files d'attente sont fusionnées. Nous terminons cette partie par une analyse de deux disciplines de priorités probabilistes et nous les comparons avec la discipline de la priorité stricte. Comme dans le cas du routage, la comparaison s'effectue en fonction du nombre de conseillers nécessaires à la satisfaction de qualités de service objectif pour chaque classe de clients

On veut comprendre les implications dynamiques de l'absence de décompositions dominées. Une décomposition dominée est une forme affaiblie d'hyperbolicité où l'espace tangent d'une variété est la somme directe de sous-fibrés invariants, rangés du plus contracté au plus dilaté par la dynamique. On commence par répondre à une ancienne question de Hirsch, Pugh et Shub, en démontrant l'existence de métriques adaptées pour les décompositions dominées. <br /><br />Sur les surfaces, Mañé a démontré une dichotomie $C^1$-générique entre hyperbolicité et phénomènes de Newhouse (une infinité de puits/sources). Pour cela, il a prouvé que lorsque les décompositions dominées le long d'une orbite périodique sont trop faibles, une $C^1$-pertubation crée un puits ou une source. <br /><br />On généralise ce dernier énoncé à toute dimension en se ramenant à l'étude de cocycles linéaires, grâce à un lemme de Franks. Abdenur, Bonatti et Crovisier en ont déduit des dichotomies $C^1$-génériques en toute dimension entre phénomènes de Newhouse et décompositions dominées sur les ensembles non-errants. <br /><br />Les deux derniers chapitres sont consacrés à la création de tangences homoclines en l'absence de décomposition dominée stable/instable, dans le prolongement de travaux de Wen. Enfin, dans le dernier chapitre, on montre que si la classe homocline d'une selle $P$ n'a pas de décomposition dominée de même indice que $P$, une perturbation crée une tangence associée à $P$.

L'étude que nous présentons porte seulement sur un de ces aspects : la quantification de la déformation finie dans une partie de la chaîne subalpine des Alpes françaises . Cette guantification a été faite, dans le cadre de l'histoire géologique de. la région, à partir de l'analyse des marqueurs tectoniques (Ammonites et Belemnites déformées, filons et cristallisations syncinématigues en zones abritées), et ceci à différentes échelles d'observation : - observations au microscope électronique à balayage (Scanning) et au microscope optique, - mesures du taux de déformation finie sur les objets d'échelle centimétrique à décimétrique, - relations entre le taux de déformation et les structures de taille hectométrique à kilométrique : les plis. La comparaison entre cette déformation naturelle et les modèles de la déformation progressive (aplatissement - cisaillement) obtenus par simulation mathématique nous permet de prendre conscience de la complexité de l'histoire de cette déformation naturelle.

Cette thèse porte sur la découverte de gènes humains non caractérisés codant pour des précurseurs à hormones peptidiques. Les hormones peptidiques (PH) ont un rôle important dans la plupart des processus physiologiques du corps humain. Ce sont de petites protéines sécrétées générées après clivage de précurseurs plus larges codés par le génome. Dans la première partie de la thèse, l'on introduit des algorithmes, basés sur les chaînes de Markov cachées (HMM), qui vont nous permettent de modéliser les séquences protéiques des précurseurs à hormones peptidiques. On montre que l'on peut dégager des caractéristiques particulières au niveau de la séquence chez ce groupe de protéines et l'on s'attarde en particulier sur la modélisation de deux signaux toujours présents chez ces protéines, les peptides signaux et les sites de clivage par les prohormones convertases. On présente ensuite des algorithmes qui prennent en compte le degré de conservation des résidus le long d'alignements de protéines orthologues. On montre que ces nouveaux algorithmes améliorent de manière significative les résultats obtenus à l'aide des algorithmes classiques. Enfin, après lancement de l'algorithme sur des données de protéomes, l'on dégage une liste de candidats dont certains ont pu être étudiés au laboratoire. La deuxième et la troisième partie de la thèse présentent les conclusions que l'on peut tirer des données de Western blot relatives aux profils de sécrétion et de découpage (processing) de chacun des deux candidats les plus prometteurs, " spexine " et " augurine ". On présente des données d'expression sur la souris (hybridation in situ, immunohistochimie,...) que l'on a récemment obtenues sur ces nouvelles hormones peptidiques potentielles ainsi que des données fonctionnelles sur la " spexine ". En conclusion, l'on avance des hypothèses quant aux fonctions de ces deux protéines. Si les fonctions de ces nouveaux peptides nous sont encore inconnues, leur expression chez la souris, tant au niveau de l'ARN messager que de la protéine, révèle des pistes qui devraient soulever un intérêt certain chez les spécialistes du domaine des peptides. Enfin, dans la quatrième et dernière partie de la thèse, l'on présente pour quatre autres candidats (dont on n'a pu mener une étude approfondie) des données préliminaires d'expression de gène et de sécrétion in vitro après transfection de l'ADN codant pour ces protéines dans des cellules issues de lignées cellulaires pancréatiques.