SAPHIR
le SAPHIR est un outil logiciel probabiliste d'évaluation de risque et de fiabilité. Le SAPHIR représente des programmes d'analyse fonctionnelle de pour les évaluations Integrated sur le tas de fiabilité. Le système a été développé pour la Commission de normalisation nucléaire (NRC) de des États-Unis par le laboratoire national de l'Idaho de .
Le développement a commencé au milieu des années 80 où la NRC a commencé à explorer deux notions : 1) que l'information probabiliste de l'évaluation des risques (PRA) pourraient être montrés et manoeuvrés using la technologie naissante de micro-ordinateur du jour et 2) l'avancement rapide de la technologie de PRA a exigé une plate-forme relativement peu coûteuse et facilement disponible pour enseigner des concepts de PRA aux étudiants.
L'histoire du SAPHIR
La version 1987 1 du code appelé l'IRRAS (maintenant connu sous le nom de SAPHIR) a présenté une manière innovatrice de dessiner, éditer, et analyser les arborescences de défaillances graphiques
La version 1989 2 est libérée incorporant la capacité de dessiner, éditer, et analyser les arbres graphiques d'événement.
Les améliorations 1990 d'analyse à IRRAS ont mené au dégagement de la version 4 et à la formation du Groupe d'utilisateurs d'IRRAS.
1992 la création d'IRRAS à 32 bits, la version 5, a eu comme conséquence une diminution d'ordre-de-grandeur de durée de l'analyse. Les nouveaux dispositifs ont inclus : analyse d'état d'extrémité ; le feu, inondation, et modules séismiques ; traitement réglé de coupe de règle-base ; et arborescence de défaillances basée sur les règles à l'enchaînement d'arbre d'événement.
le SAPHIR 1997 pour Windows, la version 6. L'utilisation d'un utilisateur-inferface de Windows rend le SAPHIR facile à apprendre. Le nouveau " ; prise-in" ; le dispositif permet à des analystes d'examiner les calculs intégrés de probabilité.
le SAPHIR 1999 pour Windows, la version 7. Des perfectionnements sont faits au " d'arbre d'événement ; enchaînement du rules" ; et à l'utilisation de doubles possibilités de langue à l'intérieur de la base de données de SAPHIR.
le SAPHIR 2005 pour Windows, la version 8.x, subit le développement.
L'évolution du logiciel et des méthodes d'analyse relatives a mené au de la génération actuelle de l'outil de SAPHIR. La code-base courante de logiciel de SAPHIR a commencé au milieu des années 80 en tant qu'élément des activités générales du risque de la NRC. En 1986, travail débuté sur le précurseur au logiciel de SAPHIR - ce progiciel a été appelé le système d'analyse Integrated de fiabilité et de risque, ou IRRAS. IRRAS était le premier outil basé sur PC compatible IBM d'analyse de risque développé au laboratoire national de l'Idaho de , permettant de ce fait à des utilisateurs de travailler dans une interface graphique plutôt qu'avec des cartes de poinçon d'unité centrale. Tandis que limitée à l'analyse des arborescences seulement de défaillances de taille moyenne, la version 1 d'IRRAS était la mesure initiale dans le progrès qui aujourd'hui a mené au logiciel de SAPHIR, le logiciel qui est capable du fonctionnement sur les processeurs multiples simultanément et peut manipuler des analyses extrêmement grandes.
Analyse avancée
Le SAPHIR contient un moteur de solution réglé de coupe minimale avancée. Ce solutionneur, qui a été très bien accordé et optimisé avec le temps, a une série de techniques pour l'analyse, incluant :Utilisation étendue des routines récursives
Restructuration et expansion du modèle de logique
Conversion des portes complétées et traitement des branches de succès
Élagage de logique devant RECTIFIER ou événements FAUX de maison
Portes de fusion et l'identification des modules et des sous-arbres indépendants
Mise en antémémoire intermédiaire de résultats
absorption booléenne de Peu-table
L'utilisation de ces derniers et d'autres méthodes d'optimisation a eu comme conséquence le SAPHIR ayant un des moteurs d'analyse les plus puissants en service pour l'évaluation des risques probabiliste aujourd'hui.
Probabilités de base d'événement
Les possibilités de base générales de probabilité d'événement pour le SAPHIR incluent :
Modèles différents de Markov du
quatre pour représenter l'échec d'un composant simple
Un module de cause commune pour déterminer une probabilité de défaillance de cause commune de groupe pour des groupes de jusqu'à six composants redondants
Un calcul de charge-capacité permettant à l'utilisateur de spécifier une distribution de charge et de capacité pour déterminer P (capacité < charge)
Une calculatrice d'analyse de fiabilité humaine pour déterminer une probabilité d'événement d'échec humain basée le type de tâche et en composant des facteurs de formation d'exécution
L'utilisation des événements de calibre qui tiennent compte pour que l'information d'échec soit partagée là où applicables
Une méthode séismique de fragilité qui emploie un niveau associé d'accélération de tremblement de terre pour déterminer une probabilité d'échec de composants
Événements de Chambre pour placer des événements de base logiquement pour rectifier ou faux ou pour ignorer l'événement
Un module pour déterminer la fréquence et la récupérabilité perte-de-hors site de puissance
Le SAPHIR a été conçu pour manipuler de grandes arborescences de défaillances, où un arbre peut avoir jusqu'à 64.000 événements et portes de base. Pour manipuler les arborescences de défaillances, deux mécanismes pour développer et modifier l'arborescence de défaillances sont disponibles - un rédacteur graphique et un rédacteur hiérarchique de logique. Les analystes peuvent employer l'un ou l'autre rédacteur ; si la logique est modifiée le SAPHIR peut refaire le graphique d'arborescence de défaillances. Réciproquement, si l'utilisateur modifie le graphique d'arborescence de défaillances, le SAPHIR met à jour automatiquement la logique associée. Les objets applicables disponibles dans les rédacteurs d'arborescence de défaillances incluent des événements de base et plusieurs déclenchent des types, incluant : OU, ET, NI, non-et, et N-de-m. En plus de ces objets, le SAPHIR a un dispositif unique connu sous le nom de « événements de table » que permet à l'utilisateur de grouper jusqu'à huit événements de base ensemble sur le graphique d'arborescence de défaillances, rendant de ce fait la taille de l'arborescence de défaillances sur l'écran imprimé compacte de page ou d'ordinateur. Tous ces objets représentent cependant les modèles statiques traditionnels de logique booléenne. Les modèles capturant explicitement des situations dynamiques ou dépendant du temps ne sont pas disponibles dans des versions en cours de SAPHIR.
Voir également
système Vie-critique du Théorie du sérieux de
Technologie de sûreté
Réacteur nucléaire
Technologie biomédicale
.
| Random links: | Piciformes | Joseph Freiherr von Eichendorff | Meatotomy | Lipoprotéine intermédiaire de densité | La société historique de Filson |