Dans le domaine de la sûreté de fonctionnement, le diagnostic joue <br />un rôle primordial dans l'amélioration de la disponibilité opérationnel le <br />des équipements. Dans les systèmes industriels, une part importante <br />(jusqu'à 80%) est consacrée à la maintenance, test et diagnostic. Pour <br />des systèmes complexes, la résolution des problèmes liés au diagnostic <br />et d'une manière générale de la supervision nécessite la mise en oeu- <br />vre d'une approche générique. Le diagnostic concerne les deux phases <br />indissociables de détection et de localisation. Dans cette thèse nous <br />proposons une approche dynamique de diagnostic pour les systèmes à <br />événements discrets. L'approche proposée basée sur l'exploitation du <br />temps, est applicable à tout système dont l'évolution dynamique dépend <br />non seulement de l'ordre des événements discrets mais aussi de la durée <br />des tâches associées comme pour les processus de communication ou les <br />processus batch. Dans cette thèse, le diagnostic des fautes est réalisé <br />grâce à l'implémentation d'un modèle basé sur l'utilisation des auto- <br />mates temporisés. L'objectif est de concevoir un observateur pour un <br />système donné, qui permet de détecter et localiser les éventuel les dé- <br />fail lances du procédé. Cet observateur est appelé “diagnoser”. Une <br />défail lance est constatée lorsque le séquencement temporel en sortie est <br />incorrect. Nous présentons donc les différentes étapes de la démarche <br />de diagnostic : la construction du diagnoser, la vérification du modèle <br />ainsi qu'une l'application de la démarche sur un exemple réel avec son <br />extension aux systèmes hybrides.

Cette thèse porte sur le diagnostic à base de modèles. Nous focalisons notre intérêt sur le diagnostic d'un ensemble interagissant de composants logiciels. L'originalité de ce travail se situe dans l'utilisation des Réseaux de Petri Colorés (RdPC) comme modèle de faute. L'utilisation des RdPC est originale et avantageuse à plusieurs titres. Premièrement, Les RdPC permettent la représentation des données, dans notre cas ça nous permet de manipuler les données de manière symbolique même si leur domaine de valeurs est infini (seul le statut des données est représenté par des jetons colorés : rouge pour fautif, noir pour correct et étoile pour inconnu). Deuxièmement, chaque transition en RdPC peut avoir plusieurs modalités de franchissement, nous avons donc défini pour chaque activité deux modalités de transition, fautif et correct, auxquelles on a associé des fonctions de propagation de couleur. Finalement, La sémantique RdPC porte de manière implicite la notion d'ordre partiel des observations. La contribution principale de cette thèse consiste à réduire le problème de diagnostic à la résolution d' un système d'inéquation algébrique en se fondant sur l'équation fondamentale de la dynamique des RdPs. La résolution de ce système d'inéquation permet de calculer le diagnostic sans dépliage de la trajectoire même dans les cas d'itération d'activités et ceci sans perte de la précision du diagnostic. Nous avons également, en se fondant sur la notion de sous-réseaux fonctionnels, proposé une version décentralisée de la résolution du système d'inéquation. La dimension applicative de cette thèse concerne le diagnostic d'orchestration de services Web. Une traduction du langage d'orchestration BPEL en RdPC a été donné ainsi qu'une application détaillée sur un scénario.

No description available.

Introduction. Les désordres de la connexion intestin-cerveau (DCIC) sont une association de symptômes digestifs récurrents et chroniques. Les évènements traumatiques précoces seraient un facteur déclenchant. Nous avons testé l’hypothèse selon laquelle la prématurité et les facteurs néonataux influencent le développement des DCIC. L’influence des facteurs socio-démographiques ou psychosociaux a aussi été évaluée. Patients et Méthodes. Une étude cas-témoins a été menée au CHU Sainte Justine à Montréal (Québec, Canada) de juillet 2019 à juillet 2021. Les cas (adultes nés avant 29 semaines d’aménorrhée) ont été recrutés dans la cohorte HAPI (Health of Adults Born Preterm Investigation). Les contrôles sont issus de la population générale. Les participants ont complété le questionnaire de diagnostic Rome IV. Les cas ont complété des questionnaires de dépression et d’anxiété (PROMIS-29, GAD-7, PHQ-9). Résultats. 79 cas (âge médian : 27 ans (24;29), sex ratio H/F: 0.4) et 124 contrôles (âge médian : 33 ans (27;50), sex ratio H/F: 0.9) ont été recrutés. Les prévalences des désordres fonctionnels gastroduodénaux et intestinaux étaient significativement plus élevées dans le groupe des cas féminins comparé aux contrôles féminins, respectivement p=0.017 et p=0.015. La probabilité d’avoir au moins un désordre fonctionnel intestinal ou une constipation fonctionnelle était plus élevé dans ce dernier groupe (p=0.015 et p=0.02). Certains facteurs de risque de développer des DCIC sont directement liés à la prématurité (chorioamniotite, hémorragie intra-ventriculaire) ou à une conséquence de la prématurité (anxiété, dépression, capacités sociales). Conclusion. Il s’agit de la première étude contrôlée qui rapporte la prévalence des DCIC dans une population d’adultes nés prématurés. Nous confirmons que la prématurité est un facteur de risque de développement du DCIC au cours de la vie. / Background. Disorders of brain-gut interaction (DBGI) are defined as a variable combination of chronic or recurrent gastrointestinal symptoms. Early-life stress have been implicated as possible contributing factor. We tested the hypothesis that prematurity and neonatal factors influence the development of DGBI in adults. We also evaluated if sociodemographic or psychosocial factors are associated with the development of a DGBI. Methods. A case-control study was carried out at the Centre Hospitalier Universitaire Sainte-Justine in Montreal (Quebec, Canada) from July 2019 to July 2021. The cases (adults born with severe or extremely severe prematurity born less than 29 weeks of gestation) were recruited from the Health of Adults Born Preterm Investigation (HAPI) cohort. Control subjects were recruited from the general population. All participants completed the Rome IV diagnostic questionnaire online. Cases completed anxiety and depression questionnaires (PROMIS-29, GAD-7, PHQ-9). Neonatal data and sociodemographic status were collected. Key Results. We enrolled 79 cases (median age: 27 years old (24;29), sex ratio M/F: 0.4) and 124 controls (median age: 33 years old (27;50), sex ratio M/F: 0.9). Prevalence of functional gastroduodenal disorders and functional bowel disorders were significantly higher in women in the case group (respectively p=0.017 and p=0.015). There was also a higher probability of having one functional bowel disorder (p=0.015) and functional constipation (p=0.02) than in the female control group. Some of the risk factors are directly linked to prematurity (chorioamnionitis, intraventricular hemorrhage) or linked to a consequence of prematurity (anxiety, depression and social abilities). Conclusion. This is the first prospective controlled study reporting the prevalence of DGBI in a cohort of well-characterized adult-born premature. We confirm that prematurity is a risk factor for developing a DGBI.

La viticulture française est un gros consommateur de produits phytosanitaires. Deux maladies fongiques, l'oïdium et le mildiou de la vigne, représentent à elles seules 70% des dépenses annuelles de pesticides pour cette culture. Ces maladies pouvant causer la destruction complète des récoltes, sont ressenties comme des fléaux. Face à de tels risques, seule la protection chimique est aujourd'hui efficace. Une équipe de phytopathologiste (Santé Végétale à Bordeaux) a entrepris en 2001 de résoudre le problème dicile de la conception et de la mise au point de systèmes décisionnels de gestion des maladies de la vigne. Ces systèmes innovants doivent faire la preuve qu'il est possible de produire du raisin de qualité en diminuant fortement le nombre de traitements fongiques, conformément aux principes de la Protection Intégrée des Cultures (PIC). L'équipe y parvient en utilisant des observations à la parcelle et une connaissance structurée qui prend la forme de ce que j'ai nommé un Processus Opérationnel de Décision (POD). Ces pathologistes ont mis en oeuvre une approche itérative de la conception, mêlant phases de conception et phases d'expérimentation de plein champ. A l'issue de trois itérations (2001, 2003,2005) ils exprimaient le besoin de formaliser leur démarche. Il s'agissait donc d'identifier et, si nécessaire, de créer les outils formels et les méthodes qui permettraient aux experts pathologistes d'améliorer le résultat de leur conception en répondant à trois besoins : Pouvoir communiquer le POD à d'autres chercheurs, en tester les aspects opérationnels, et rendre le POD fiable. Le concept de POD correspond à une approche prescriptive et opérationnelle de la décision, où la protection des cultures est envisagée comme un processus intégré sur l'ensemble de la saison. Les connaissances permettant de formaliser ce processus ont été recueillies dans le langage Statechart qui est un formalisme à évènements discrets. Les diagrammes Statecharts ont été utilisés comme média entre les experts concepteurs et le cogniticien. La méthode de recueil est originale et constitue un résultat de recherche au même titre que le modèle du « POD Mildium » qui en est le produit. Deux méthodes de validation ont été élaborées pour estimer la qualité du modèle et pointer les défauts de concordance entre les simulations du modèle recueilli et les comportements décisionnels observés. Ce modèle a été validé à partir des données de deux campagnes expérimentales (2005, 2006). On a montré que 85% des décisions étaient similaires. L'ensemble du travail illustre l'intérêt de l'ingénierie des processus métiers abordée via les statecharts pour raisonner et concevoir des systèmes de protection des cultures.