{"id":4147,"date":"2014-11-05T14:58:52","date_gmt":"2014-11-05T13:58:52","guid":{"rendered":"http:\/\/dpubma.univ-annaba.dz\/?p=4147"},"modified":"2014-11-05T15:00:09","modified_gmt":"2014-11-05T14:00:09","slug":"minimality-of-critical-scenarios-with-linear-logic-and-cutsets","status":"publish","type":"post","link":"https:\/\/synthese.univ-annaba.dz\/?p=4147","title":{"rendered":"Minimality of critical scenarios with linear logic and cutsets"},"content":{"rendered":"<p style=\"text-align: justify;\"><strong>Num\u00e9ro de la revue<\/strong>: 29<br \/>\n<strong>Auteurs<\/strong>: Leila Boucerredj &amp; Nasr Eddine Debbache<br \/>\n<span style=\"font-size: 10pt;\">Laboratory of Automatic and Signals &#8211; Annaba (LASA)<br \/>\nDepartment of electronics, Faculty of Engineering,<br \/>\nUniversity Badji-Mokhtar Annaba \u2013 BP 12, 23000 Annaba, Algeria.<br \/>\n<\/span><\/p>\n<p style=\"text-align: right;\"><a href=\"http:\/\/dpubma.univ-annaba.dz\/wp-content\/uploads\/2014\/11\/29-4.pdf\"><strong>T\u00e9l\u00e9charger l&rsquo;article<img loading=\"lazy\" decoding=\"async\" class=\" wp-image-709 alignright\" style=\"margin-top: -10px; margin-bottom: -10px;\" src=\"\/wp-content\/uploads\/2014\/04\/p2.jpg\" alt=\"p2\" width=\"37\" height=\"35\" srcset=\"https:\/\/synthese.univ-annaba.dz\/wp-content\/uploads\/2014\/04\/p2.jpg 113w, https:\/\/synthese.univ-annaba.dz\/wp-content\/uploads\/2014\/04\/p2-24x24.jpg 24w, https:\/\/synthese.univ-annaba.dz\/wp-content\/uploads\/2014\/04\/p2-48x46.jpg 48w\" sizes=\"auto, (max-width: 37px) 100vw, 37px\" \/><\/strong><\/a><\/p>\n<p style=\"text-align: left;\"><strong>R\u00e9sum\u00e9<\/strong><\/p>\n<p style=\"text-align: justify;\">Ce travail propose une nouvelle approche d&rsquo;analyse de la s\u00fbret\u00e9 de fonctionnement des syst\u00e8mes m\u00e9catroniques. Son objectif est d\u2019extraire les sc\u00e9narios redout\u00e9s minimaux qui conduisent un syst\u00e8me vers un \u00e9tat de d\u00e9faillance, \u00e0 partir des arbres de preuves de la logique lin\u00e9aire et \u00e9tablir les liens de causalit\u00e9 entre les \u00e9v\u00e9nements redout\u00e9s et les fonctionnements normaux. Les arbres de preuves de la logique lin\u00e9aire contiennent des \u00e9v\u00e9nements qui sont la cons\u00e9quence d\u2019\u00e9v\u00e9nement inclus dans le sc\u00e9nario, mais qui ne sont pas strictement n\u00e9cessaires \u00e0 l\u2019obtention de l\u2019\u00e9tat critique redout\u00e9 final. La taille de l\u2019arbre de preuve est proportionnelle au nombre de franchissement des transitions dans le s\u00e9quent prouvable. L\u2019approche propos\u00e9e est bas\u00e9e sur la notion de coupe minimale de la m\u00e9thode des arbres de d\u00e9faillances appliqu\u00e9es aux arbres de preuves de la logique lin\u00e9aire du mod\u00e8le r\u00e9seau de P\u00e9tri dans un contexte inconnu. L\u2019objectif est de r\u00e9duire la taille des arbres de preuves de la logique lin\u00e9aire et de g\u00e9n\u00e9rer un nombre minimal de sc\u00e9narios redout\u00e9s.<\/p>\n<p style=\"text-align: justify;\"><strong>Mots cl\u00e9s<\/strong>: S\u00fbret\u00e9 de fonctionnement, Syst\u00e8mes M\u00e9catroniques, R\u00e9seaux de Petri , Logique lin\u00e9aire, Sc\u00e9narios redout\u00e9s minimaux ,Coupe minimales.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Num\u00e9ro de la revue: 29 Auteurs: Leila Boucerredj &amp; Nasr Eddine Debbache Laboratory of Automatic and Signals &#8211; Annaba (LASA) Department of electronics, Faculty of Engineering, University Badji-Mokhtar Annaba \u2013 BP 12, 23000 Annaba, Algeria. T\u00e9l\u00e9charger l&rsquo;article R\u00e9sum\u00e9 Ce travail &hellip; <a href=\"https:\/\/synthese.univ-annaba.dz\/?p=4147\">Lire la suite <span class=\"meta-nav\">&raquo;<\/span><\/a><\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[820],"tags":[840,838,837,839,835,836],"class_list":["post-4147","post","type-post","status-publish","format-standard","hentry","category-synthese-n-29","tag-coupe-minimales","tag-logique-lineaire","tag-reseaux-de-petri","tag-scenarios-redoutes-minimaux","tag-surete-de-fonctionnement","tag-systemes-mecatroniques"],"_links":{"self":[{"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/posts\/4147","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4147"}],"version-history":[{"count":3,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/posts\/4147\/revisions"}],"predecessor-version":[{"id":4153,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=\/wp\/v2\/posts\/4147\/revisions\/4153"}],"wp:attachment":[{"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4147"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4147"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/synthese.univ-annaba.dz\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4147"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}