Analyse de sûreté de fonctionnement de systèmes dynamiques à l'aide de diagrammes de flux et réseaux de neurones

Reliability analysis of dynamic systems using flow diagrams and neural networks

• Auteur / Autrice : Sylvain Pasquet
• Direction : Éric Châtelet
• Type : Thèse de doctorat
• Discipline(s) : Sûreté des systèmes
• Date : Soutenance en 1999
• Etablissement(s) : Troyes
• Ecole(s) doctorale(s) : Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube)

Mots clés

Mots clés contrôlés

Réseaux neuronaux (informatique)

Systèmes dynamiques

Monte-Carlo, Méthode de

Fiabilité

Résumé

De nombreuses methodes permettent de realiser des etudes de surete de fonctionnement (sdf) de systemes industriels, mais peu permettent d'evaluer leur fiabilite efficacement et avec suffisamment de precision dans un contexte dynamique. Pour analyser de tels systemes, il est necessaire de prendre en compte la dynamique des systemes, leurs interactions, les actions humaines (maintenance ou erreur humaine) et l'influence de l'environnement. De ce fait, approches deterministes et stochastiques doivent etre associees. Les outils de sdf les plus avances dans ce domaine sont les graphes de markov et les reseaux de petri. Bien que tres performants, ils presentent toutefois quelques faiblesses. L'objet de cette these est de construire et valider un modele comportemental discret a interpolation, utilisant conjointement les diagrammes de flux (df) et les reseaux de neurones (rn). La premiere partie de cette these presente : i) les bases de la sdf et les principales methodes ; ii) les rn et leurs applications ; iii) les df, support graphique du modele ; iv) le fonctionnement d'un neurone et un rn particulier : le perceptron multi couches (pmc) ; v) et enfin quelques elements de la methodologie de simulation temporelle de type monte carlo (smc). La seconde moitie est consacree a la presentation et a la resolution de trois systemes dynamiques. Le premier permet de valider l'utilisation du modele pour une approche qualitative (determination des coupes). Le second demontre que les rn associes a la smc permettent d'obtenir des resultats tres proches de ceux obtenus classiquement. Enfin, l'etude qualitative et quantitative du troisieme systeme permet de valider simultanement les deux approches precedentes. Ces premiers resultats ouvrent de nouvelles perspectives de recherche dans cette voie et laissent envisager la creation de nouvelles methodes d'analyse de sdf basees sur les df et les rn.