diff --git a/pdf/README.pdf b/pdf/README.pdf index 28df1d1..25aba4f 100644 Binary files a/pdf/README.pdf and b/pdf/README.pdf differ diff --git a/pdf/semaine02.pdf b/pdf/semaine02.pdf index fb6139c..44cfafe 100644 Binary files a/pdf/semaine02.pdf and b/pdf/semaine02.pdf differ diff --git a/pdf/semaine03.pdf b/pdf/semaine03.pdf index 365b82d..cabbc71 100644 Binary files a/pdf/semaine03.pdf and b/pdf/semaine03.pdf differ diff --git a/pdf/semaine04.pdf b/pdf/semaine04.pdf index 389670f..5deb80f 100644 Binary files a/pdf/semaine04.pdf and b/pdf/semaine04.pdf differ diff --git a/pdf/semaine05.pdf b/pdf/semaine05.pdf index 2c8b3f8..c70483a 100644 Binary files a/pdf/semaine05.pdf and b/pdf/semaine05.pdf differ diff --git a/semaine05.md b/semaine05.md index a64ca44..337ba36 100644 --- a/semaine05.md +++ b/semaine05.md @@ -72,8 +72,8 @@ header-includes: 1. Élaboration: - Problème de planification - - $$E_0$$ est l'état initial du réseau suite à la panne générale - - $$B$$ est la condition qui permet de conclure que le réseau principal est rétabli + - $E_0$ est l'état initial du réseau suite à la panne générale + - $B$ est la condition qui permet de conclure que le réseau principal est rétabli 1. Remémoration: - Dérivation des solutions plausibles - Vérifier l'applicabilité @@ -89,12 +89,12 @@ header-includes: Méthode d'ingénierie des connaissances MASK: 6 modèles: - - Concepts - - Activités: action sd'un acteur sur les systèmes selon d'entrées, sorties, ressources et connaissances - - Tâches: Organiser les activités en procédures - - Phénomènes: réactions à des évènements - - Lignées: évolution des connaissances au niveau du contenu - - Historique: évolution des connaissances dans le temps +- Concepts +- Activités: action sd'un acteur sur les systèmes selon d'entrées, sorties, ressources et connaissances +- Tâches: Organiser les activités en procédures +- Phénomènes: réactions à des évènements +- Lignées: évolution des connaissances au niveau du contenu +- Historique: évolution des connaissances dans le temps Intégration des 6 modèles dans une ontologie. Formalisme du projet SATT et de l'outil MDI. Réseau de connaîssances rigoureux, cohérent et manipulable.