Journée du GTR "Recherche méthodologique" de l'Institut pour la Maîtrise des Risques (IMdR)Ces travaux s'intéressent à la modélisation des Défaillances de Cause commune (DCC) et l’évaluation des probabilités des DCC dans des systèmes complexes programmés en Réseaux de Petri coloré, hiérarchiques et stochastiques. L’objectif de cette étude est de mettre à jour le modèle des DCC sur CPN Tools grâce aux retours d’expérience générés par AREVA, principalement pour les DCC d’origine logicielle sur lesquelles on dispose de peu d’informations. Plusieurs études de sensibilité ont été menées afin d’identifier les paramètres qui influencent le plus la disponibilité du système.Le second objectif de cette étude est de montrer qu’il est possible de tran...
National audienceCe papier présente une approche originale de modélisation basée sur l'utilisation d...
Le champ de notre projet de recherche est la vérification des systèmes probabilistes interactifs. Ét...
L'objectif de la communication est de proposer un modèle particulier, initiallement proposé par Yves...
Le projet consiste à expérimenter et comparer des approches de la fiabilité dynamique. L'enjeu est d...
La mécanique probabiliste est une discipline qui permet de tenir compte d'incertitudes concernant un...
Référence interne IREDU : 77023Ce texte a pour objet l 'étude de l ’estimation de la probabilité de ...
On propose un modèle probabiliste pour la dynamique de modèles de concurrence à événements discrets....
Une démarche globale pour l'estimation et l'élaboration de la fiabilité de systèmes mécaniques aux d...
National audienceNous nous intéressons à l'inférence de réseaux de régulation génétique à partir de ...
824 p., fig., ref. bib. : 6 p.L'incertitude dans la connaissance des événements futurs est à la base...
Les autorités de sûreté aérienne imposent aux constructeurs de turboréacteurs une maîtrise du niveau...
Notre étude concerne l'exploration visuelle autonome pour la reconstruction de scènes inconnues. Le ...
Dans le domaine de la sécurité des machines, de nouvelles normes (CEI 61508 et CD CEI 62061) visent ...
Ce document traite de la vérification probabiliste de résultats d'analyse statique. Il s'agit plus p...
Il existe actuellement un courant de recherches sur des modélisations probabilistes des images. Les ...
National audienceCe papier présente une approche originale de modélisation basée sur l'utilisation d...
Le champ de notre projet de recherche est la vérification des systèmes probabilistes interactifs. Ét...
L'objectif de la communication est de proposer un modèle particulier, initiallement proposé par Yves...
Le projet consiste à expérimenter et comparer des approches de la fiabilité dynamique. L'enjeu est d...
La mécanique probabiliste est une discipline qui permet de tenir compte d'incertitudes concernant un...
Référence interne IREDU : 77023Ce texte a pour objet l 'étude de l ’estimation de la probabilité de ...
On propose un modèle probabiliste pour la dynamique de modèles de concurrence à événements discrets....
Une démarche globale pour l'estimation et l'élaboration de la fiabilité de systèmes mécaniques aux d...
National audienceNous nous intéressons à l'inférence de réseaux de régulation génétique à partir de ...
824 p., fig., ref. bib. : 6 p.L'incertitude dans la connaissance des événements futurs est à la base...
Les autorités de sûreté aérienne imposent aux constructeurs de turboréacteurs une maîtrise du niveau...
Notre étude concerne l'exploration visuelle autonome pour la reconstruction de scènes inconnues. Le ...
Dans le domaine de la sécurité des machines, de nouvelles normes (CEI 61508 et CD CEI 62061) visent ...
Ce document traite de la vérification probabiliste de résultats d'analyse statique. Il s'agit plus p...
Il existe actuellement un courant de recherches sur des modélisations probabilistes des images. Les ...
National audienceCe papier présente une approche originale de modélisation basée sur l'utilisation d...
Le champ de notre projet de recherche est la vérification des systèmes probabilistes interactifs. Ét...
L'objectif de la communication est de proposer un modèle particulier, initiallement proposé par Yves...