Browsing by Author "BOULAICHE, Mehdi"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Détection et prédiction des incendies des forêts en utilisant l’intelligence artificielle
    (Faculté des Sciences, 2024) BOUSSOUALA ,Ahcène; LEMRADJI, Azzouz; BOULAICHE, Mehdi
    Les incendies de forêts sont devenus une menace environnementale majeure à l'échelle mondiale, exacerbée par le changement climatique et les conditions météorologiques extrêmes. Pour répondre à cette problématique, l'intégration de technologies de pointe telles que l'intelligence artificielle (IA) est devenue cruciale. Ce projet de fin d'études explore l'utilisation de l'IA pour améliorer la détection précoce des incendies de forêt à partir d'images satellite, ainsi que pour prédire et classer leur magnitude. En utilisant des algorithmes avancés de vision par ordinateur et d'apprentissage automatique, notre système vise à surveiller en temps réel de vastes zones forestières, identifiant rapidement les foyers d'incendie et évaluant leur gravité potentielle. Ce travail se concentre spécifiquement sur l'utilisation des algorithmes K-Nearest Neighbors (KNN) pour la prédiction et la classification des incendies de forêt, et des Convolutional Neural Networks (CNN) pour la détection précoce des incendies de forêt. À travers quatre chapitres, nous détaillons l'importance des approches préventives et anticipatives, explorons les principes fondamentaux de l'IA, examinons les ensembles de données utilisés, et présentons le développement et l'évaluation de nos modèles. Ce travail représente une avancée significative dans la gestion des incendies de forêt, offrant des solutions innovantes pour protéger les écosystèmes, les infrastructures et les communautés contre cette menace croissant
  • Thumbnail Image
    Item
    Validation et Vérification formelle d’un systèmes de cache distribué
    (Faculté des sciences, 2023) BOUCHEMAL, Yassmine; MOUMEN ,Wisal; BOULAICHE, Mehdi; LAYADI ,Said
    Ce mémoire de master propose une étude approfondie sur l’application de la coloration de graphe dans le contexte d’un systèmes de cache distribué . Les systèmes de cache distribué sont largement utilisés pour améliorer les performances des systèmes informatiques en stockant les données fré quemment utilisé es dans des caches répartis. Cependant, le placement optimal des données dans les caches reste un défi majeur. Dans ce mémoire, nous explorons l’utilisation de la coloration de graphe comme approche pour résoudre ce problème de placement des données dans un systèmes de cache distribué . Nous comment¸cons par une revue approfondie des travaux existants sur les systèmes de cache distribué et la coloration de graphe. Ensuite, nous proposons une méthodologie détaillée pour modéliser et résoudre le problème de placement des données a` l’aide de la coloration de graphe. Nous étudions également différentes stratégies d’algorithme de coloration pour optimiser les performances du systèmes de cache distribué . En conclusion, ce mémoire de master présente une approche novatrice en utilisant la colora- tion de graphe pour résoudre le problème de temps de réponse et la redondance des données dans un systèmes de cache distribué . Les résultats obtenus indiquent que l’algorithme utilisé est adaptable a` des´ échelles différentes, mais il ne garantit pas systèmatiquement la solution optimale. La vérification formelle dans un systèmes de cache distribué assure la cohérence des données,et la validité des opérations de mise en cache et d’éviction , grace `a l’utilisation de méthodes et d’outils formels