Université de M’SILA

Faculté des Mathématiques et de l'Informatique

Département de l'informatique

Liste des thèmes Proposés - SIGL 2018/2019

Code Encadreur Titre du Sujet Résumé

La segmentation consiste au découpage spatial de l’image en zones homogène, elle joue un rôle
prépondérant dans le traitement et l’analyse d’image et la vision par ordinateur qui conditionne la
qualité des traitements d’images effectués ultérieurement.
La segmentation d’images ainsi définie est un domaine vaste où l’on retrouve de très nombreuses
approches applicables aux images. Le travail demandé consiste à déterminer les contours dans
SIGL-01 Amri Said Segmentation d’images 3D (Approche contours)
une séquence d’images dynamiques. Pour cela, on détermine les points particuliers de l’image ou
de la forme appropriée.
En seconde étape, on construit le contour de l’image prédéfinie.
Enfin, on détermine le contour de l’image dynamique.

L’une des opérations les plus importantes du traitement d’images est la segmentation. Elle a pour
objectif de regrouper les zones homogènes d’une image de manière à former des régions. La
segmentation est généralement utilisée en préalable à d’autres opérations comme la
reconnaissance de formes ou la visualisation. Il existe de très nombreuses techniques de
SIGL-02 Amri Said Segmentation d’images 3D (Approche régions)
segmentation principalement définies sur les images 2D, comme les photos, mais également sur
les vidéos ou les images 3D. Parmi les différentes techniques, nous retrouvons quelques grandes
catégories d’algorithmes. Celles qui nous intéressent particulièrement les approches de détection
des régions dans les images 3D.

SIGL-03 Amroune Nacer-Eddine Clustering of micro array data

SIGL-04 Amroune Nacer-Eddine Biclustering algorithm for biological data

Can we develop a Smart healthcare with behavioral &

SIGL-05 Benouis Mohamed
physiological change ?

Conception et réalisation d’une application Androïde pour faire

SIGL-06 Boucetta Mohammed Outil à utiliser pour la programmation : Android Studio.
apprendre le Coran.

Conception et réalisation d’un logiciel multiplateformes pour Outils à utiliser pour la programmation :Android Studio, Visual Studio (c#), SQL Server
SIGL-07 Boucetta Mohammed
gérer un école d’aprentissage du Coran. Management Studio, PHP et HTML.

Objectif de ce travail :l étudiant doit proposer des modèles

Source : pour les diagrammes de classes
Une approche MDA pour la transformation bidirectionnelle des
SIGL-08 Boudia Malika Destination : pour les ontologies
diagrammes des classes vers les ontologies
Correspondence: pour lier la source et la destination
Et proposer les règles de transformation bidirectionnelle.

SIGL-09 Boughrara seddik Une ontologie probabiliste pour l'aide au diagnostic medical

SIGL-10 Bourahla Mustapha Spécification des ontologies avec la méthode B

Une application pour l'aide d'écriture des requêtes sur les

SIGL-11 Bourahla Mustapha
ontologies
SIGL-12 Brahimi Belkacem Classification d'opinions en langue arabe

Conception et réalisation d’une application web pour la gestion

SIGL-13 Brahimi Mahmoud et le suivi des associations et des clubs. Etude de cas :
Associations et clubs de l’université de M’sila

Conception et implémentation d'un système de

SIGL-14 Brik Mourad
recommandation à base de filtrage collaboratif

Suivi et Gestion du Personnel pour la Direction de l'education

SIGL-15 Debbi Hichem
de M'sila

Developing a Multi-interface application using Cross-Platform In this project, The srtudent should create a set of different interfaces (desktop, web and mobile)
SIGL-16 Debbi Hichem
techniques or different mobile applications (Adroid, IOS and Windwos Phone) using

Transformation du modele en etoile (star schema) a un modele

SIGL-17 Hamani Said
NoSQL
Using Convolutional Neural Networks CNN to Establish
SIGL-18 Kadri Said
Classification Tasks
Influence analysis in social media networks, towards a new
SIGL-19 Loucif Hamza
approach.

SIGL-20 Lounes Bilal Development of an ERP system for an industry company

SIGL-21 Lounes Bilal Development of search engine based on vector space model

Développement d'une application de reconnaissance

SIGL-22 Mahdjoubi Roussafi
automatique des plaques d'immatriculation par Smartphone.

Implémentation d'un algorithme de navigation de robot avec

SIGL-23 Mahdjoubi Roussafi
obstacles

On parle de bases de données distribuées lorsque les données de la base sont localisées dans
différents endroits. Il existe deux types de données distribuées : horizontales et verticales. Le
SIGL-24 Mehenni Tahar Data mining des bases de données distribuées projet consiste à étudier les approches récentes de fouille de données dans les bases de données
distribuées. Ensuite à implémenter une approche choisie et à effectuer des tests et comparaisons
sur des données réelles.

Le projet consiste à élaborer un système de détection des pannes d’un ensemble de machine dont
les données sont générées en temps réel. Le projet comprend la réalisation des objectifs suivants :
concevoir un système de prédiction de pannes en analysant différentes sources de données tels
Elaboration d’un Système prédictif pour la maintenance des
SIGL-25 Mehenni Tahar que les profils des machines, les profils des clients, les profils des intervenants et des opérateurs
machines en temps réel
ainsi que l’historique des pannes. Proposer un processus de gestion automatisée des prédictions
pour toutes les machines. Enfin, assurer un service fiable et continu d’intervention en cas de
panne en proposant une solution pour résoudre la panne en toute autonomie.

Les systèmes embarqués sont soumis à de nombreuses contraintes et certains sont en interaction
étroite avec des procédés dangereux ou interviennent dans des processus de décisions impactant
des vies humaines. Le développement de tels systèmes doit offrir des garanties de bon
fonctionnement et de bon rétablissement en cas de défaillance d'une partie interne ou d'un
environnement non prévu. Des méthodes de vérifications formelles peuvent être mises en œuvre
pour augmenter le degré de confiance des systèmes. La vérification formelle des propriétés
fonctionnelles d'un système consiste, à partir d'un modèle formel décrivant les comportements du
Proposition d'une méthode de vérification d'un système
SIGL-26 Meliouh Amel système et d'un modèle de la spécification définissant des gabarits de comportements attendus, à
embarqué : cas d'un instrument de mesure de la glycémie
déterminer, par un raisonnement mathématique (éventuellement automatisé dans un algorithme
lorsque cela est possible) si les comportements du modèle du système sont conformes aux
gabarits définis par la spécification.

Le travail consiste à créer une solution alternative au modele client-serveur en utilisant les agents
mobiles pour réaliser des opération commerciales . Le M-business représente les affaires
commerciales conduites à l'aide d'appareils mobiles (portables, assistants numériques, etc...). Les
agents mobiles seront utilisés sur un seul niveau : agent de recherche. Chaque agent mobile de
SIGL-27 Meliouh Amel Une architecture basée agents mobiles pour le m-buisnes recherche sera utilisé pour visiter le site serveur cible de l’application afin de collecter des
informations pour son client,Dans ce travail nous utilisons la plateforme Aglets.

Basant sur la grammaire du langage AADL on cherche d’implémenter un compilateur pour la

Transformation des architectures des systèmes embarqués du transformation de l’architecture, d’un tel système embarqué, décrite par ce langage vers une
SIGL-28 Mokhtari Rabah
langage AADL vers la méthode B spécification formelle de la méthdoe B. La vérification formelle, des machines obtenues, utilise
l’un des outils qui existent (comme l’atelier B).

Nous essayons d’implémenter un compilateur pour la méthode B permettant d’interpréter les

Transformation des architectures des systèmes embarqués de
SIGL-29 Mokhtari Rabah architectures des systèmes embarqués en langage AADL. La vérification formelle de des
la méthode B vers le langage AADL
architectures des machines rafinées se fait grâce à B afin de les compiler en langage AADL.

L’application a pour adjectifs :

• Sauvegarder les informations médicales (mesures, résultat de consultation)
• Rappeler le patient pour prendre ses médicaments
Une application Smartphone pour les patients qui ont une • Prise et confirmation des RDVs
SIGL-30 Tahri Zohir
maladie chronique • Contacter selon le cas la famille du patient ou médecin ou services d’urgences médicales
• Proposer (après un recherche sur le web) les nouveautés du maladie
• Proposer des relations dans un réseau social avec les patient du même maladie ou les gents
intéressé.