https://repository.esi-sba.dz/jspui/handle/123456789/15 Ingénieur 2026-02-02T08:15:42Z https://repository.esi-sba.dz/jspui/handle/123456789/765 Titre: Résoudre les problèmes d’incomplétude et de qualité des données pour la mise en place d’un historique consolidé Auteur(s): BOUABDELLI, LAmisse FAtiha Résumé: Dans ce rapport, nous examinons des données réelles de facturation relatives aux entretiens réalisés sur des motos dans diverses concessions. Nous traitons le cas d’une entreprise disposant d’un logiciel qui archive les informations sur les maintenances effectuées pour comparer ces dernières aux normes exigées par le fabricant Honda. Bien qu’il existe plusieurs méthodes de comparaison textuelle, elles se révèlent souvent insuffisantes en raison de la nécessité de comprendre le vocabulaire spécifique au domaine des motos. Pour surmonter ce défi, nous proposons une approche basée sur une matrice de correspondance afin de faciliter la comparaison sémantique. Un protocole expérimental a été mis en place pour vérifier l’efficacité de notre méthode. *** .In this report, we examine real billing data related to motorcycle maintenance performed at various dealerships. We consider the case of a company that has software which archives information about the maintenance done in order to compare it to the standards required by the manufacturer Honda. Although there are several methods of textual comparison, they often prove insufficient due to the need to understand the specific vocabulary of the motorcycle domain. To overcome this challenge, we propose an approach based on a correspondence matrix to facilitate semantic comparison. An experimental protocol has been implemented to verify the effectiveness of our method. Description: Encadrant : Pr. BENSLIMANE Sidi Mohammed Co-encadrant : Dr. BARON Mickael 2024-01-01T00:00:00Z https://repository.esi-sba.dz/jspui/handle/123456789/763 Titre: Computer Science Book Validation : A Structured Approach Auteur(s): MELKI, YAsser Résumé: The report focuses on addressing structural and semantic challenges in validating large-scale technical documentation written in Microdown, a lightweight markup language used within the Pharo ecosystem. The thesis presents the design and implementation of an automated Book Validation Tool, aimed at ensuring the integrity and correctness of documents. The tool systematically checks for structural problems like missing files, cyclic references, and anchor issues, as well as semantic problems such as code block errors and inconsistencies. The solution utilizes advanced validation strategies, applying design patterns such as Strategy and Visitor to enhance flexibility and scalability. Through continuous testing and validation, the tool supports documentation consistency, particularly in evolving codebases. *** Le rapport se concentre sur la résolution des défis structurels et sémantiques dans la validation de la documentation technique à grande échelle écrite en Microdown, un langage de balisage léger utilisé dans l’écosystème Pharo. Le mémoire présente la conception et la mise en oeuvre d’un outil de validation automatisée des livres, visant à garantir l’intégrité et la précision des documents. L’outil vérifie systématiquement les problèmes structurels tels que les fichiers manquants, les références cycliques et les problèmes d’ancrage, ainsi que les problèmes sémantiques tels que les erreurs dans les blocs de code et les incohérences. La solution utilise des stratégies de validation avancées en appliquant des motifs de conception tels que la Stratégie et le Visiteur pour améliorer la flexibilité et l’évolutivité. Grâce à des tests et des validations continus, l’outil soutient la cohérence de la documentation, notamment dans les bases de code en évolution. Description: Supervisor : Pr. Stéphane Ducasse / Dr. Awad Samir 2024-01-01T00:00:00Z https://repository.esi-sba.dz/jspui/handle/123456789/757 Titre: Study of the energy efficiency of SPARQL queries: the case of the join order Auteur(s): LALLOUCHE, LOkmane Résumé: In the realm of data storage systems, energy efficiency has emerged as a critical concern, especially within the context of big data. In the other hand, many studies have been conducted on the energy efficiency of SQL database management systems, while RDF (Resource Description Framework) databases systems (used for semantic data) have often been overlooked in terms of energy consumption. My final-year project within the LIAS laboratory (Laboratory of Computer Science and Automatic Control for Systems) aims to study energy efficiency in RDF database systems. We started by understanding various RDF triplestore architectures, we worked on suggesting a framework to optimize energy consumption and response time during the execution of SPARQL queries, Then we compare our results with systems native join order selection methods. *** Dans le domaine des systèmes de stockage de données, l’efficacité énergétique est devenue une préoccupation majeure, notamment dans le contexte du big data. D’autre part, de nombreuses études ont été menées sur l’efficacité énergétique des systèmes de gestion de bases de données SQL, tandis que les systèmes de bases de données RDF (Resource Description Framework) (utilisés pour les données sémantiques) ont souvent été négligés en termes de consommation énergétique. Mon projet de fin d’études au sein du laboratoire LIAS (Laboratoire d’Informatique et d’Automatique pour les Systèmes) vise à étudier l’efficacité énergétique des systèmes de bases de données RDF. Nous avons commencé par comprendre différentes architectures de triplestore RDF, nous avons travaillé sur la proposition d’un cadre pour optimiser la consommation d’énergie et le temps de réponse lors de l’exécution de requêtes SPARQL, puis nous avons comparé nos résultats avec les méthodes de sélection d’ordre de jointure natives des systèmes. Description: Encadrant : KECHAR Mohamed Co-Encadrant : Bellatreche Ladjel 2024-01-01T00:00:00Z https://repository.esi-sba.dz/jspui/handle/123456789/755 Titre: Integrating Carpooling Solution and Optimized Timetabling in Higher Education Auteur(s): HANI, MAhmoudi MOhammed Résumé: This report examines the integration of sustainable mobility solutions and optimized academic scheduling within higher education. It presents the MonTrajetVert initiative, which promotes eco-friendly transportation for students through carpooling, thereby reducing environmental impact and enhancing accessibility. Additionally, a timetabling model is developed to optimize resource allocation while accommodating student and faculty preferences. Employing data analysis and heuristic optimization, the study addresses the challenges of sustainable mobility and effective scheduling. The findings indicate that the proposed carpooling heuristic can significantly reduce travel distances, while the timetabling model effectively resolves scheduling conflicts and maximizes carpool activations. This work contributes to the ongoing efforts in higher education to adopt sustainable practices and improve operational efficiency, offering practical solutions that align with contemporary environmental goals. Description: Encadreur : Dr. AWAD Samir / Dr. BENATIA Mohamed Amin 2024-01-01T00:00:00Z