Développement d'outils d'aide à la décision dans la gestion du risque industriel.

par Khadija Bousmar

Projet de thèse en Automatique

Sous la direction de Sofiène Dellagi et de Fabrice Monteiro.


  • Résumé

    Le problème SAT est un problème de décision qui permet de savoir si il existe une solution à une série d'équations logiques. Plus précisément: une évaluation sur un ensemble de variables propositionnelles telles qu'une formule propositionnelle donnée est alors logiquement vrai. Ce problème est très important dans la théorie de la complexité et de nombreuses applications de planification traditionnels. Il se trouve dans de nombreux domaines; il est l'un des problèmes les plus étudiés dans le monde entier et est le prototype des problèmes NP-complet. De nombreuses méthodes ont été développées pour résoudre. Mais il est encore limité par le temps de résolution qui croît rapidement avec la taille des problèmes. Comme mentionné précédemment, le problème SAT réside dans plusieurs domaines, y compris l'industrie. Ce travail vise à développer un outil d'aide à la décision dans la gestion des risques industriels. Dans ce contexte, nous allons utiliser des heuristiques pour résoudre ces problèmes complexes. The SAT problem is a decision problem which helps to know if there is a solution to a series of logical equations. More specifically: an evaluation on a set of propositional variables such that a given propositional formula is then logically true. This problem is very important in complexity theory and has many traditional planning applications. It is found in many areas; it is one of the most studied problems worldwide and the prototype of NP-complete problems. Many methods have been developed to solve it. But it is still limited by the time of resolution which grows quickly with the size of the problems. As mentioned before, the SAT problem lies in several areas, including industry. This work aims to develop a tool for decision support in the management of industrial risks. In this context we will use heuristics to solve these complex problems.

  • Titre traduit

    Development of decision aiding tools for the management of industrial risk.


  • Pas de résumé disponible.