Les services Web offrent un certain nombre de propriétés intéressantes pour le développement des systèmes distribués ouverts, construits par la composition de services autonomes. Cependant, les systèmes résultants doivent offrir des propriétés non-fonctionnelles et en particulier des propriétés de sûreté de fonctionnement pour êttre adopté par les utilisateurs, et notamment pour leur utilisation effective dans le domaine de l'e-business. Cette thèse propose une méthode et des intergiciels associés pour la composition sûre de fonctionnement de services autonomes. Notre contribution porte sur une extension des interfaces des systèmes composés par leur propriétés de sûreté de fonctionnement, une définition d'un langage de composition spécifique pour assurer la sûreté de fonctionnement du service composite et sur un support d'exécution pour la mise en oeuvre des mécanismes de tolérance aux fautes. L'extension proposée aux interfaces des services Web est spécifié par un langage de conversation qui permet de définir les règles pour appeler les opérations offertes par les services Web individuelles. Les propriétés relatives au recouvrement sont associées `a ces conversations, permettant de raisonner sur la stratégie de recouvrement qui peut êttre mise en oeuvre dans la composition de service. En effet, les comportement de recouvrement des services composites dépendent des propriétés de recouvrement des services composés, ces derniers devant effectuer les actions de recouvrement en présence de fautes. Cette thèse propose ensuite un langage de composition déclaratif qui permet de développer des services composites en termes d'actions atomiques. Nous permettons la spécification du traitement d'exceptions impliquant plusieurs services Web au niveau de la composition, permettant en particulier d'intégrer des services non-sûres dans la composition tout en garantissant la sûreté de fonctionnement du service composite. Nous montrons que la tolérance aux fautes peut êttre obtenue comme une propriété émergente de l'agrégation de plusieurs services, potentiellement non-sûres.

Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèmes où se combinent des phénomènes non-déterministes et des comportements aléatoires. Nous avons choisi d'étendre le formalisme de la réécriture pour lui permettre d'exprimer des phénomènes probabilistes, puis nous avons étudié la terminaison en temps moyen fini de ce modèle. Nous avons également présenté une notion de stratégie pour contrôler l'application des règles de réécriture probabilistes et nous présentons des critères généraux permettant d'identifier des classes de stratégies sous lesquelles les systèmes de réécriture probabilistes terminent en temps moyen fini. Afin de mettre en valeur notre formalisme et les méthodes de preuve de terminaison en temps moyen fini, nous avons modélisé un réseau de stations WIFI et nous montrons que toutes les stations parviennent à émettre leurs messages dans un temps moyen fini.

On présente un travail relatif 0 l'analyse de variance 0 deux facteurs en présence d'interaction multiplicative. on considère pour les paramètres d'interaction des estimateurs proposes par J.R. Barra. On montre que, sous des hypothèses simples, les lois des estimateurs ont de "bonnes" propriétés d'approximation.

Les industriels ont de plus en plus souvent recours à des pratiques de production plus propre. Ces pratiques, nombreuses et variées, sont génératrices de multiples effets bénéfiques. Néanmoins, l'impact global de leur mise en œuvre sur l'entreprise peut être difficilement appréhendable. Afin d'aider les industriels d'une part, à évaluer les impacts liés à la mise en œuvre de ces pratiques, et d'autre part, dans le choix de l'implantation de pratiques de production plus propre et plus sûre, une méthodologie qui repose sur une approche globale de la gestion de cette implémentation en vue d'obtenir un outil de Production Plus Propre et Plus Sûre (4PS) est proposée. Cette méthodologie a été développée pour le secteur du traitement de surface. La structuration de cette méthodologie d'évaluation des impacts des pratiques de 4PS s'appuie sur une arborescence à 4 niveaux (système, sous-systèmes, critères, indicateurs) élaborée grâce à une analyse systémique (modèle MADS) et fonctionnelle de l'installation. Les critères sont pondérés en utilisant la méthode hiérarchique multicritère. Sur la base des 15 critères de 4PS identifiés, deux méthodes distinctes mais complémentaires ont été élaborées. Une méthode de diagnostic qui permet de rendre compte d'une situation, d'aider à la prise de décision, et de mesurer les progrès et évolutions suite à la mise en place d'une pratique de production plus propre. Dans ce but, la méthode s'appuie sur l'utilisation de 38 indicateurs de 4PS alimentant les 15 critères précédemment définis. Une méthode d'aide au choix de pratiques de 4PS qui fait ressortir, dans un panel de 86 pratiques tirées du BREF traitement de surface (STM), les pratiques les plus adaptées à l'entreprise en utilisant la méthode d'analyse multicritère ELECTRE I.

Les travaux de cette thèse portent sur les problèmes d’estimation non paramétrique des fonctions de densité, de régression et du mode conditionnel associés à des processus stationnaires à temps continu. La motivation essentielle est d’établir des propriétés asymptotiques tout en considérant un cadre de dépendance des données assez général qui puisse être facilement utilisé en pratique. Cette contribution se compose de quatre parties. La première partie est consacrée à l’état de l’art relatif à la problématique qui situe bien notre contribution dans la littérature. Dans le deuxième partie, nous nous intéressons à l’estimation, par la méthode du noyau, de la densité pour laquelle nous établissons des résultats de convergence presque sûre, ponctuelle et uniforme, avec des vitesses de convergence. Dans les parties suivantes, les données sont supposées stationnaires et ergodiques. Dans la troisième partie, des propriétés asymptotiques similaires sont établies pour l’estimation à noyau de la fonction de régression. Dans le même esprit, nous étudions dans la quatrième partie, l’estimation à noyau de la fonction mode conditionnel pour lequel nous établissons des propriétés de consistance avec des vitesses de convergence. L’estimateur proposé ici se positionne comme une alternative à celui de la fonction de régression dans les problèmes de prévision. / The work of this thesis focuses upon some nonparametric estimation problems. More precisely, considering kernel estimators of the density, the regression and the conditional mode functions associated to a stationary continuous-time process, we aim at establishing some asymptotic properties while taking a sufficiently general dependency framework for the data as to be easily used in practice. The present manuscript includes four parts. The first one gives the state of the art related to the field of our concern and identifies well our contribution as compared to the existing results in the literature. In the second part, we focus on the kernel density estimation. In a rather general dependency setting, where we use a martingale difference device and a technique based on a sequence of projections on -fields, we establish the almost sure pointwise and uniform consistencies with rates of our estimate. In the third part, similar asymptotic properties are established for the kernel estimator of the regression function. Here and below, the processes are assumed to be ergodic In the same spirit, we study in the fourth part, the kernel estimate of conditional mode function for which we establish consistency properties with rates of convergence. The proposed estimator may be viewed as an alternative in the prediction issues to the usual regression function.

Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèmes où se combinent des phénomènes non-déterministes et des comportements aléatoires. Nous avons choisi d'étendre le formalisme de la réécriture pour lui permettre d'exprimer des phénomènes probabilistes, puis nous avons étudié la terminaison en temps moyen fini de ce modèle. Nous avons également présenté une notion de stratégie pour contrôler l'application des règles de réécriture probabilistes et nous présentons des critères généraux permettant d'identifier des classes de stratégies sous lesquelles les systèmes de réécriture probabilistes terminent en temps moyen fini. Afin de mettre en valeur notre formalisme et les méthodes de preuve de terminaison en temps moyen fini, nous avons modélisé un réseau de stations \WIFI~ et nous montrons que toutes les stations parviennent à émettre leurs messages dans un temps moyen fini. / In this thesis we define a new formalism that allows to model transition systems where transitions can be either probabilistic or non deterministic. We choose to extend the rewriting formalism because it allows to simply express non-deterministic behavior. Latter, we study the termination of such systems and we give some criteria that imply the termination within a finite mean number of rewrite steps. We also study the termination of such systems when the firing of probabilistic rules are controlled by strategies. In this document, we use our techniques to model the \WIFI~ protocol and show that a pool of stations successfully emits all its messages within a finite mean time.

Nous considérons un modèle signal plus bruit particulier ou le signal est une combinaison linéaire de suites déterministes données et est contamine par un bruit additif autoregressif d'ordre 1 stationnaire. Nous étudions d'abord des problèmes d'estimation partielle. On analyse les propriétés asymptotiques d'estimateurs de maximum de vraisemblance ou de moindres carres pour les paramétrés du bruit lorsque le signal est complètement connu ou pour les paramètres du signal lorsque l'un des paramètres du bruit est connu. Puis nous examinons le probleme de l'estimation simultanée des paramètres du signal et du bruit. On montre l'existence et l'unicité de l'estimateur de maximum de vraisemblance dont on étudie le comportement asymptotique. De même on considère une methode d'estimation fondée sur une première étape de moindres carres pour l'estimation des paramétrés du signal, et une procédure de maximum de vraisemblance approche. On construit ensuite des tests pour la détection du signal a partir des méthodes d'estimation envisagées précédemment. Les risques associes a ces tests sont analyses de manière précise. Enfin une étude expérimentale par simulation des performances des diverses méthodes est menée

En radiologie interventionnelle, l’assistance robotisée permet de limiter l’exposition du praticien aux rayons X et d’apporter plus de précision pour effectuer des opérations complexes. La présence de robots dans un environnement humain pose alors la question de la sécurité du patient et de l’équipe médicale, que ce soit lors d’interactions ou de manipulations. Dans cette thèse, nous nous intéressons dans un premier temps aux problématiques de sûreté. Une structure d’actionnement intrinsèquement sûre est proposée. Le prototype réalisé permet d’effectuer des tâches de positionnement en mode automatique. Parallèlement, une stratégie de guidage basée sur une approche passive est proposée. Un système à raideur variable permet d’imposer un effort résistif variable à l’utilisateur en vue de contraindre son geste. Dans une deuxième partie, nous étudions la possibilité d’intégrer de tels systèmes sur un dispositif à plusieurs degrés de liberté, répondant au problème de placement d’aiguille. / In the context of interventional radiology, robotic-assisted surgery limits practitioners’ exposure to radiations and brings more accuracy to perform complex interventions. However, the presence of robot in the environment is a potential danger for the patient and the medical staff in case of unexpected interactions and manipulations.In this PhD thesis, we first focus on safety problems. An intrinsically safe mechanism is proposed. The achieved prototype allows to follow both planned trajectories and moving environments.Secondly, a guidance mechanism based on a passive approach is suggested. With a variable stiffness system, using a compliant mechanism, a resistive force is applied to the user which allows him to be guided in his gesture.Based on medical needs, we then study the possibility to integrate and generalize such systems to multiple degrees of freedom.

Dans ce travail nous menons une étude probabiliste et statistique de processus de diffusion multidimensionnels. Dans une première partie, nous nous intéressons à des conditions nécessaires et suffisantes pour la convergence presque sûre ou la divergence presque sûre de certaines fonctionnelles intégrales de tels processus. Dans une deuxième partie nous étudions certains problèmes d'estimation de paramètres pour les diffusions

Cette thèse se compose de trois parties. Dans la première partie, en utilisant les théorèmes limites par moyennisation logarithmique pour des martingales continues en temps continu, on construit un estimateur du couple $(\theta,\sigma^{2})$ pour un modèle autorégressif gaussien stable à temps continu et on montre que cet estimateur est asymptotiquement distribué comme un couple de variables aléatoires gaussiennes indépendantes quelle que soit la loi de l'\état initial $X_{0}$. La deuxième partie est consacrée à établir des résultats autour du théorème limite presque-sûre pour des martingales vectorielles quasi-continues à gauche en temps continu et à croissance explosive ou mixte. On applique les résultats obtenus au modèle d'Ornstein-Uhlenbeck bivarié utilisé en modélisation biologique et en mathématiques financières. Dans la dernière partie, on établit pour l'estimateur des moindres carrés $\hat{\theta}$ de $\theta$ d'un modèle autorégressif gaussien à temps continu non nécessairement stable, un théorème limite centrale presque-sûre (TLCPS), une loi forte quadratique associée au TLCPS et un théorème de la limite centrale logarithmique. Dans le cas stable, on propose d'utiliser l'estimateur des moindres carrés pondéré $\tilde{\theta}$ de $\theta$ pour améliorer les vitesses de convergence logarithmique dans les théorèmes obtenus. Dans le cas instable, on établit, pour l'estimateur des moindres carrés $\hat{\theta}$, les mêmes type de propriétés asymptotiques avec une vitesse de convergence arithmétique.