Nous déterminons d’abord l’impact d’un plan infini réfléchissant sur l’espace occupé par une marche brownienne bidimensionnelle à un temps fixé, que nous caractérisons par le périmètre moyen de son enveloppe convexe (plus petit polygone convexe contenant toute la trajectoire). Nous déterminons également la longueur moyenne de la portion du plan visitée par le marcheur, et la probabilité de survie d’un marcheur brownien dans un secteur angulaire absorbant.Nous étudions ensuite le temps mis par un marcheur sur réseau pour visiter tous les sites d’un volume, ou une partie d’entre eux. Nous calculons la moyenne de ce temps, dit de couverture, à une dimension pour une marche aléatoire persistante. Nous déterminons également la distribution du temps de couverture et d’autres observables assimilées pour la classe des processus non compacts, qui décrivent un large spectre de recherches aléatoires.Dans un troisième temps, nous calculons et analysons la probabilité de sortie conditionnelle d’un marcheur brownien évoluant dans un intervalle se dilatant ou se contractant à vitesse constante.Enfin, nous étudions plusieurs aspects du modèle du marcheur aléatoire “affamé”, qui meurt si les visites de nouveaux sites, grâce auxquelles il engrange des ressources, ne sont pas suffisamment regulières. Nous en proposons un traitement de type champ moyen à deux dimensions, puis nous déterminons l’impact de la régénération des ressources sur les propriétés de survie du marcheur. Nous considérons finalement un modèle d’exploitation de parcelles de nourriture prenant explicitement en compte le mouvement du marcheur, qui se ramène de manière naturelle au modèle du marcheur aléatoire affamé. / We first determine the impact of an infinite reflecting wall on the space occupied by a planar Brownian motion at a fixed observation time. We characterize it by the mean perimeter of its convex hull, defined as the minimal convex polygon enclosing the whole trajectory. We also determine the mean length of the visited portion of the wall, and the survival probability of a Brownian walker in an absorbing wedge.We then study the time needed for a lattice random walker to visit every site of a confined volume, or a fraction of them. We calculate the mean value of this so-called cover time in one dimension for a persistant random walk. We also determine the distribution of the cover time and related observables for the class of non compact processes, which describes a wide range of random searches.After that, we calculate and analyze the splitting probability of a one-dimensional Brownian walker evolving in an expanding or contracting interval.Last, we study several aspects of the model of starving random walk, where the walker starves if its visits to new sites, from which it collects resources, are not regular enough. We develop a mean-field treatment of this model in two dimensions, then determine the impact of regeneration of resources on the survival properties of the walker. We finally consider a model of exploitation of food patches taking explicitly into account the displacement of the walker in the patches, which can be mapped onto the starving random walk model.

Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement.La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée. / The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML notation (called SysML4MBT) supported to express the test model is defined and a dedicated test generation strategy (called ComCover) is created. This strategy, based on the well-known Def-Use criteria, deals with the coverage of communications (sends / receives) inside the system and between the system and its environment.The development of an operational prototype, based on a UML-based test generator, has required the definition of rewriting rules to derive the input model of the UML test generator from the SysML4MBT model, by preserving the SysML4MBT expressivity.Finally, the concretization of tests in executable scripts and the assignment of a verdict by executing tests on test bench defined during the VETESS project, complete the operational toolchain that allows tests generation and execution from SysML models.This toolchain has been tried out on several automotive case studies as front lightings, wiper or steering column. Concerning this last experimentation, we have had the opportunity to execute test on a physical test bench. These case studies allow validating each step of the proposed approach.

L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.

Une étude comparée des structures du socle antétriasique et de la couverture mésozoïque a été réalisée de part et d'autre du Mont Blanc, sur son versant nord occidental et à l'Est de son versant oriental au front de la zone du Grand Saint Bernard . Au niveau de la jonction Mont Blanc, Aiguilles Rouges, Belledonne, cette étude a permis de conclure à l'âge alpin de la déformation régionale des massifs cristallins externes. Cette déformation régionale, commune au socle et à la couverture, combine respectivement déplacements gravitaires superficiels dans les nappes dauphinoises avec raccourcissement, chevauchements et décrochements crustaux profonds. Ces différents processus ont abouti au développement d'un champ régional de déformation finie ( trajectoires de schistosité et d'étirement + gradients régionaux de la déformation ) qui apparaît comme le résultat d'étapes successives, matérialisées à l'échelle du terrain, par une superposition de déformations. L'ordre d'apparition de ces déformations est vérifié par l'étude de la déformation incrémentale. Celle-ci permet de mettre en évidence une rotation antihoraire de l'étirement principal, générale pour l 'ensemble du secteur étudié. L'ensemble des résultats de cette étude a été intégré dans un modèle de déformation progressive, ductile et hétérogène, où la direction du déplacement gravitaire superficiel de la couverture et celle du raccourcissement crustal profond sont d'abord dirigées vers le NNW puis vers l'W. Au niveau du secteur du col du Grand Saint Bernard, cette analyse comparée de la déformation du socle et des lambeaux de couverture triasique dans le secteur du col du Grand Saint Bernard a permis d'associer l'orientation subméridienne des structures redressées de cette partie frontale de la zone du Grand Saint Bernard, à une déformation régionale décrochevauchante senestre vers le NNW. Cette déformation décrochevauchante semble englober différents stades intermédiaires de l'évolution régionale de la dé formation qui débute par un cisaillement tangentiel précoce (vers le NNW ) pour se terminer par un aplatissement vertical NS principalement accommodé par un cisaillement transcurent senestre. Cette partie frontale de zone du Grand Saint Bernard paraît ainsi avoir fonctionné comme une rampe latérale décrochante senestre qui aurait limité vers l'W le déplacement de la nappe du Grand Saint Bernard ou nappe du Mischabel (partie septentrionale de la zone du Grand Saint Bernard).

La région étudiée sous l'angle analyse structurale est le prolongement NE de la couverture du massif de Belledonne.Cette couverture sédimentaire est composée de terrains triasiques et jurassiques et repose sur les massifs cristallins externes ( Aiguilles Rouges au NE, Belledonne au SW, Mont Blanc au SE).

Nous établissons les liens asymptotique entre deux catégories de modèles à volatilité stochastique décrivant le même marché dérivé: - un modèle générique à volatilité stochastique instantanée (SInsV) , dont le système d'EDS est un chaos de Wiener formel, spécifié sans aucune variable d'état. - une classe à volatilité implicite stochastique glissante (SImpV), qui est un autre modèle de marché, décrivant explicitement la dynamique conjointe du sous-jacent et de la surface d'options Européennes associées. Chacune de ces connexions est atteinte couche par couche, entre un groupe de coefficients SInsV et un ensemble de differentielles SImpV (statiques et dynamiques). L'approche asymptotique conduit à ce que ces différentielles croisees soient prises à l'expiration zéro, au point ATM. Nous progressons d'une configuration simple, bi-dimensionnelle à sous-jacent unique, d'abord vers une configuration multi-dimensionnelle, puis vers un cadre à structure par terme. Nous exposons les contraintes structurelles de modélisation et l'asymétrie entre le problème direct (de SInsV vers SImpV) et inverse. Nous montrons que cette expansion asymptotique en chaos (ACE) est un outil puissant pour la conception et l'analyse de modèles. En se concentrant sur des modèles à volatilité locale et leurs extensions, nous comparons ACE avec la littérature et exhibons un biais systématique dans l'heuristique de Gatheral. Dans le contexte multi-dimensionnel, nous nous concentrons sur des paniers à poids stochastiques, pour lesquels ACE fournit des résultats intuitifs soulignant la recurrence naturelle. Dans l'environnement des taux d'intérêt, nous etablissons la première couche de descripteurs du smile pour les caplets, les swaptions et les options sur obligations, à la fois dans un cadre SV-HJM et un cadre SV-LMM. En outre, nous montrons que ACE peut être automatisé pour des modèles génériques, à n'importe quel ordre, sans calcul formel. L'intérêt de cet algorithme est démontré par le calcul manuel des 2eme et 3eme couches, dans un modèle générique SInsV bi-dimensionnel. Nous présentons le potentiel applicatif d'ACE pour la calibration, l'evaluation, la couverture ou à des fins d'arbitrage, illustré par des tests numériques sur le modèle CEV-SABR.

Cette thèse présente nos travaux à la fois théoriques et techniques sur la fourniture de la qualité de service dans les réseaux de capteurs sans fil, travaux développés principalement pour la détection en temps réel d'événements. Le premier problème fondamental pour assurer une qualité de service est la connectivité d'un réseau. La probabilité de non-isolation de nœud est donnée garantissant une borne supérieure de 1-connectivité du réseau. Un deuxième problème traité concerne la considération conjointe du problème de connectivité de communication et de couverture de détection. Ce problème étant formalisé comme un problème d'optimisation multi-objectif, un algorithme heuristique du type génétique a été développé, permettant ainsi d'aider au déploiement. Pour assurer la communication des données en temps réel et de façon fiable, un protocole de routage basé sur SPEED a été développé. Les simulations ont montré une amélioration notable de performances par rapport aux solutions existantes. Afin d'assurer la fiabilité de l'information finale, un ensemble de règles de fusion de décision a été proposé. Quant à son implémentation réelle avec moins de complexité sur des nœud de ressources limitées, trois alternatives sousoptimales ont été proposées et qui donnent des performances satisfaisantes dans des plages de rapport signal sur bruit.

Nous analysons en détail le traitement des données vibrosismiques du profil ECORS ALPI acquises et traitées en 1986 par C.G.G. Ce travail concerne tout particulièrement les deux bandes de réflecteurs à pendage est bien visibles sur la section sismique. Dans un premier temps, cette étude porte sur la déterminatîon et l'interprétation des corrections statiques et dynamiques. L'utilisation d'une migration partielle avant sommation nous a conduits à estimer le plus soigneusement possible le modèle de vitesse. Celui-ci, de même que celui déterminé par une autre méthode sous la zone altérée, ne font pas apparaître de zone à forte vitesse. Les réflecteurs du chevauchement pennique ne peuvent donc pas être associés à la présence de matériaux d'origine profonde. Nous présentons en fin de cette première partie une migration géométrique du pointé obtenu. Le manque de contraintes sur le modèle de vitesse et l'absence de réflexions près de la surface ne permettent pas de corréler sans ambiguïté les différentes bandes de réflecteurs avec les contacts majeurs visibles en surface. Dans un second temps, nous proposons différents traitements concernant le choix de la ligne moyenne (slalom line) et la position réelle des points de réflexion. Il ressort de cette étude que les événements pentés visibles sur les sections correspondent plus vraisemblablement à des diffractions sur des zones de chevauchement hétérogènes qu'à des rétlexions sur des plans inclinés. Nous présentons, pour conclure et à titre de comparaison, la migration du pointé de la section du profil ECORS PYRENEES, où apparaissent de nombreuses zones diffractantes dans la partie supérieure de la croûte ibérique et à l'aplomb de la faille nord pyrénéenne.

Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance au cours du développement. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites : un test exhaustif est quasiment impossible à réaliser en raison de la taille et de la complexité des systèmes considérés. Dans ce contexte, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. L'effort de test caractérise tout autant l'élaboration des jeux de test que le diagnostic. Dans cette optique, nous avons défini deux méthodologies basées sur les concepts d'analyse de testabilité et les stratégies de test. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes réactifs spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.

Le changement de l'occupation des sols (LUC) a une influence importante sur le climat de par les modifications des propriétés physiques de la surface. Le niveau de connaissance de ces impacts biogéophysiques est cependant insuffisant, en raison notamment des nombreux processus impliqués. Via l'intercomparaison de modèles de climat et d'autres outils développés, cette thèse vise à identifier les signaux climatiques robustes liés au LUC, ainsi qu'à évaluer les incertitudes associées. Depuis l'époque préindustrielle, le LUC a résulté en une déforestation extensive dans les régions tempérées de l'hémisphère Nord, où l'augmentation de l'albédo de surface a sûrement induit un refroidissement durant l'hiver et le printemps. L'amplitude de cet impact ainsi que le rôle des effets non radiatifs en été reste pourtant très incertain parmi les modèles. Ces incertitudes répondent (1) à la façon dont le LUC est représenté dans les modèles de surface et (2) aux sensibilités intrinsèques des modèles de climat au LUC. Le deuxième point explique plus de 50% de la dispersion inter-modèle dans des variables clés au climat de surface comme l'évapotranspiration. Suite à cette incertitude, les impacts du LUC dans albédo de surface et l'évapotranspiration ont été estimés à partir d'observations contemporaines et les cartes de végétation prescrites dans les modèles de surface ici évalués. L'ensemble de ces analyses montre que les incertitudes actuelles des effets sur le climat du LUC sont en grande partie liées aux paramétrisations des modèles de surface, et peuvent donc être réduites par une évaluation plus rigoureuse de ceux-ci.