LEREESI research documents

Permanent URI for this communityhttp://dspace.hns-re2sd.dz:4000/handle/123456789/2

Laboratory of Renewable Energy, Energy Efficiency and Smart Systems

Browse

Filters

2016 - 201912020 - 20251

Settings

Author: search.filters.author.Guezouli LarbiStart date: 2012

Search Results

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Introduction au Calcul Formel: Maple & CAML
    (Éditions Universitaires Européennes, 2016-01-01) Guezouli Larbi
    Le calcul formel est un type de calcul qui permet de manipuler les grands nombres dans des calculs intensifs en utilisant des algorithmes optimisés dans le but de minimiser le temps de calcul. Appelé aussi calcul symbolique, pour compléter les méthodes de calcul numérique. Les logiciels de calcul formel ont beaucoup évolué au cours de ces dernières années. Ils sont destinés aux mathématiciens, aux informaticiens et aux utilisateurs qui utilisent les mathématiques comme les électroniciens, les mécaniciens, ... Ce document est destiné aux étudiants de la première année Licence tronc commun Math-Informatique. Il décrit un cours de 20 heures avec 20 heures de travaux pratiques. Les points traités dans ce cours sont indispensables pour pouvoir utiliser un logiciel de calcul formel. Les logiciels étudiés dans ce cours sont Maple et Caml.
  • No Thumbnail Available
    Item
    Enhancing Transparency in Batna's Public Transportation: A Cost-Effective Real-Time Bus Tracking and Route Optimization System
    (Jomard Publishing, 2025-01-01) Alloui Zineb Nedjla; Bourebbou Fetima; Guezouli Larbi
    Public transportation in Batna suffers from a lack of transparency, leading to inefficiencies, unreliable schedules, and a poor commute experience. This thesis presents a comprehensive and cost-effective bus tracking system that aims to modernize public transportation in the city. The proposed solution integrates a GPS-enabled Raspberry Pi device for real-time location tracking, an AI-powered backend that uses long-short-term memory (LSTM) networks for accurate estimated arrival time (ETA) predictions, and a mobile Android application for user interaction. The system also incorporates Dijkstra’s algorithm to offer optimized route planning. The emphasis was placed on low-cost hardware, lightweight web frameworks such as Flask, and secure communication via HTTPS and DDNS. The developed platform was tested and validated through real-world simulations, demonstrating significant improvements in route accuracy, ETA reliability. This work offers a modular and scalable foundation for improving public transportation in resource-constrained urban environments.