| Titre : | Modélisation du système de gestion des alarmes des sapeurs-pompiers de Loire-Atlantique |
| Auteurs : | Luc Cantelaube, Auteur ; Alain Couturier, Directeur de mémoire |
| Type de document : | texte imprimé |
| Editeur : | Conservatoire National des Arts et Métiers. Centre régional associé de Nantes, 1997 |
| Format : | 1 vol. (156 p.) / ill., schémas |
| Note générale : | Mémoire soutenu le 20 juin 1997 en vue d'obtenir le diplôme d'ingénieur C.N.A.M. en informatique |
| Langues: | Français |
| Catégories : | |
| Mots-clés: | Recherche et Innovation ; Activités opérationnelles ; Systèmes d'alerte ; Sapeurs-pompiers ; Loire-Atlantique (France) ; Modèles mathématiques ; Simulation, méthodes de ; Intelligence artificielle |
| Résumé : |
Résumé de l'auteur : " En informatique, la modélisation d'un système d'information est utilisée généralement en début du cycle de vie d'un projet dans le but de produire un dossier de spécifications de programmation. Nous utilisons ici cette technique pour produire des outils nous permettant d'analyser la structure de ce système, de l'évaluer et d'anticiper sur son comportement. Après la présentation du système de traitement opérationnel informatisé et centralisé de l'alerte des sapeurs-pompiers de Loire-Atlantique, nous spécifions ce dernier de manière formelle, en utilisant les mathématiques discrètes. Nous présentons ensuite un prototype réalité à partir de cette spécification. Ce prototype est réalisé en langage SETL, un langage de très haut niveau sémantique. Il représente la partie gestion des alertes et des interventions du système réel. Le deuxième prototype de ce système est réalisé à l'aide du langage CLIPS, un langage qui permet de produire des systèmes experts. Ce prototype est réalisé à partir de la présentation initiale du système et non pas à partir de la spécification. Le réseau de télécommunication y est largement représenté, ce prototype étant orienté vers la partie transmission de l'alerte. En conclusion, nous discutons sur ces différentes approches et suggérons quelques voies intéressantes pour un enrichissement et une utilisation future de ces prototypes. " |
| Note de contenu : |
- Remerciements - Introduction LE SYSTÈME DE GESTION DE L'ALERTE - Introduction - Les concepts - Le système informatique - Le cheminement de l'information SPÉCIFICATION FORMELLE DU SYSTÈME TROPICAL - Introduction à la spécification formelle - Concepts et notations - Ensembles - Correspondances - Conclusion ISETL - Introduction - Le langage SETL - Exemples d'application - Conclusion MODÉLISATION DE TROPICAL AVEC ISETL - Introduction - Les types énumérés - Les ensembles - Les correspondances - Le modèle - Conclusion CLIPS - Introduction - Historique - Quelques applications - Description générale de CLIPS - Conclusion MODÉLISATION DE TROPICAL AVEC CLIPS - Introduction - Le modèle - La base de données objets - Les faits - Les bases de connaissances - Conclusion - Conclusion - Bibliographie - Annexe A. Fonctions de base sur les ensembles - Annexe B. Le modèle ISETL - Annexe C. Le modèle CLIPS - Table des illustrations |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| ENSOSP1003997 | ARCH 714 CAN 01 | Mémoire | Salle Archives | Ouvrages | Disponible |
| ENSOSP1014511 | ARCH 714 CAN 02 | Mémoire | Salle Archives | Ouvrages | Disponible |
| ENSOSP1014512 | ARCH 714 CAN 03 | Mémoire | Salle Archives | Ouvrages | Disponible |