plan d’études du master z z z v / v ( } u ] µ ] ] µ · cours td tp ti ue ecue ue ecue 1 (1.1;...
TRANSCRIPT
Université de Sousse
Institut Supérieur d’Informatique et Techniques de Communication de Hammam Sousse
Plan d’études du
Master wŜŎƘŜNJŎƘŜ Ŝƴ LƴŦƻNJƳŀǘƛljdzŜ 5ƛǎǘNJƛōdzŞŜ
Version septembre 2016
Contenu du premier semestre (S1) du master de recherche "Informatique Distribuée"
N.U.E NATURE NOM U.E. Elément constitutif d'UE (ECUE)
VOLUME HORAIRE HEBDOMADAIRE (hr)
CREDIT COEF REGIME
COURS TD TP TI UE ECUE UE ECUE
1 (1.1; 1.2)
UEF Programmation Programmation avancée 0 1,5
7 4
3 2 CC
Langages de Description de données 1,5 1 3 1 MX
2 (2.1; 2.2)
UEF Informatique théorique-I
Algorithmique avancée 1,5 1,5 7
4 4
2 MX
Théorie des Langages et automates 1,5 0,75 3 2 MX
3 (3.1; 3.2)
UEF Conception Génie Logiciel 1,5 1
6 2
3 1 MX
Méthodologies de conception 1,5 1 4 2 MX
4 (4.1; 4.2)
UEF Réseaux-I Réseaux Informatiques 1,5 0,75 1
6 4
3 2 MX
Théorie de l'Information 1,5 2 1 MX
5 (5.1; 5.2)
UEO Unité optionelle Anglais 1,5
4 2
2 1 CC
Techniques de rédaction scientifique 1,5 2 1 CC
TOTAL 10,5 6 4 30 30 15 15
Contenu du deuxième semestre (S2) du master de recherche "Informatique Distribuée"
N.U.E NATURE NOM U.E. Elément constitutif d'UE (ECUE)
VOLUME HORAIRE HEBDOMADAIRE
(hr) CREDIT COEF
REGIME
COURS TD TP TI UE ECUE UE ECUE
6 (6.1; 6.2)
UEF Systèmes avancés-I Base de données avancées 1,5 0,75
7 4
4 2 MX
Systèmes d'exploitation avancée 1,5 0,75 3 2 MX
7 UEF Sécurité Cryptographie 1,5 0 1 4 4 2 2 MX
8 (8.1; 8.2)
UEF Informatique théorique-II Spécification formelle 1,5 1,5
7 4
3 2 MX
Logique Floue et Théorie des possibilités 1,5 1 3 1 MX
9 (9.1; 9.2)
UEF Réseaux-II Théorie des files d'attente 1,5 1
7 4
4 2 MX
Réseaux Mobiles 1,5 0 1 3 2 MX
10 (10.1; 10.2)
UEO Unité optionnelle
Option-1 (traitement des images, vision assisté par ordinateur, etc.)
1,5 0 5 3 3
2 MX
Option 2- Méthodologie & Séminaire de recherche 1,5 2
1 CC
TOTAL 12 4,5 4 30 30 16 16
Contenu du troisième semestre (S3) du master de recherche "Informatique Distribuée"
N.U.E NATURE NOM U.E. Elément constitutif d'UE (ECUE) VOLUME HORAIRE
HEBDOMADAIRE (hr) CREDIT COEF
REGIME
COURS TD TP TI UE ECUE UE ECUE
11 (11.1; 11.2)
UEF Algorithmique Optimisation & Heuristiques 1,5 0,75
7 3
4 2 MX
Algorithmes pour les graphes 1,5 0,75 4
2 MX
12 (12.1; 12.2)
UEF Web Web Sémantique 1,5 1
7 3
3 1 MX
Services Web 1,5
0,75 4 2 MX
13 (13.1; 13.2)
UEF Systèmes avancés-II Environnements Répartis 1,5 1
7 3
3 1 MX
Architecture Logicielle 1,5 1 4 2 MX
14 UEF IA Intelligence artificielle avancée 1,5 1
4 4
2 2 MX
15 (15.1; 15.2)
UO Unité optionnelle
Option 1 - (Data Mining, Graph Mining, etc.) 1,5
5 3
3
2 MX
Option-2 (Environnements Informatiques pour l'Apprentissage, etc.) 1,5 2
1 MX
TOTAL 13,5 1,5 0,75 4 30 30 15 15
Contenu du quatrième semestre (S4) du master de recherche "Informatique Distribuée"
N.U.E NATURE NOM U.E. Elément constitutif d'UE (ECUE)
VOLUME HORAIRE HEBDOMADAIRE (hr)
CREDIT COEF REGIME
COURS TD TP TI UE ECUE UE ECUE
1 UEF Stage de Recherche Mémoire de Recherche 30 30 30 1
TOTAL 0 0 30 30 30 1
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.1 SEMESTRE S1NOM ECUE PROGRAMMATION AVANCEE
Table des matières
Introduction à Java
o Présentation généraleo Concepts de baseo Programmation objet en Javao Gestion de la mémoireo Les classes de base en Java
Gestion de processus
o Définition et utilité des Threadso Accès simultané à une ressourceo Exemples d’utilisation des threads
Programmation Réseau en Java
o Communication par socketso Protocole TCPo Communication par UDPo Exemple Client -Serveuro Communication 1-N (1 serveur N client)
XML et Java
o Sax et JDOMo Parser en XMLo Parcour d’un document XMLo Modification un document XMLo Filtrage d’un document XMLo Transformation d’un document XML
Applications graphiques en Java
o Principe d’une interface utilisateuro Construction de la présentation (vue)o Gestion des événementso Java 2D
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.2 SEMESTRE S1NOM ECUE LANGAGE DE DESCRIPTION DES
DONNEES
Table des matières
Introduction à XML
o Historiqueo Vocabulaireo Syntaxeo Utilisations et langages dérivéso Logiciels XML
Grammaires et création de dialectes XML
o DTDo XML Schema
Transformation et Affichage
o Principe d'affichage et évolutiono XSL : contenu et fonctionnemento XPatho XSLT
Autres dialectes
o SVG
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 2.1 SEMESTRE S1NOM ECUE ALGORITHMIQUE AVANCEE
Table des matières
Introduction et motivationo Théorie de la calculabilitéo Théorie de la complexité
Préliminaires : rappel mathématiques et algorithmiqueo Rappel Mathématiques : Sommation, produit, suites arithmétiques, Ordres de grandeur,
etc.o Algorithmique : définition, les structures de contrôle, enregistrement, pointeur, etc.
Complexité Temporelle (1)
o Motivation et objectif : efficacité d’un algorithme, méthode expérimentale(Benchmarking) et méthode théorique,o Le pire, le meilleur et le moyen caso Complexité temporelle : définition, propriétés, classe de complexité
Complexité Temporelle (2)
o Analyse des structures de contrôleo Les algorithmes de triso Récursivité et récurrence
Graphes et Arbres
o Listes chainéeo Graphe : définition, propriétés, implémentation et algorithmes de recherche.o Arbre
Théorie de la NP-Complétude
o Introduction : théorie de la NP-complétude, problème de décision, algorithmedéterministe et non-déterministe.
o Classes de problèmes P et NPo NP-Complétudeo Méthodes de résolution pratique de problèmes difficiles (NP-Complets, NP-Difficiles) :
heuristique, algorithme glouton, programmation dynamique, etc.
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 2.2 SEMESTRE S1NOM ECUE THEORIE DES LANGAGES ET
AUTOMATES
Table des matières
Alphabets, Mots et Langages
o Alphabets et motso Langageso Opérations sur les mots et les langages
Grammaires
o Types de grammaireso Arbres de dérivationso Ambigüité
Langages réguliers et Automates finis
o Grammaires régulières et langages régulierso Automates finis indéterministes (AFI)o Automates déterministes (AFD)o Equivalence entre AFI et AFDo Equivalence entre automates finis et langages régulierso Expression régulièreso Equivalence des automates finis et des expressions régulièreso Quelques propriétés des langages réguliers
Langages hors-contexte et automates à pile
o La forme BAKUS-NAUR d’une grammaireo Propriétés de fermeture des langages hors-contexteso Automates à pileso Automates à pile déterministeso Automates à pile et langages hors-contextes
Machines de Turing
o Machines de Turingo Construction modulaireo Langages Turing-acceptableso Machines de Turing à plusieurs rubanso Machines de Turing non déterministeso Machines de Turing universelles
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.1 SEMESTRE S1NOM ECUE GENIE LOGICIEL
Table des matières
Définitions du génie logiciel
o Buts du génie logicielo Caractéristiques des projets logicielso Définitions du génie logiciel
Cycle de vie du logiciel
o Les modèles de cycle de vieo Les cycles de vie linéaireso Les cycles de vie itératifso Les cycles de vie avec les méthodes formelles
Gestion de projet
o Ingénierie des systèmeso Différences entre l’ingénierie des systèmes et le génie logicielo Planification et ordonnancement des activités d’un projet logicielo Monitoring et révision
- Exigences et spécifications des logiciels
o Méthodes d'analyse des exigenceso Modèle des systèmes : Diagrammes de flux de données, modèle sémantique, dictionnaireso Définition et spécification des exigenceso Spécification formelle, algébrique et orientée modèle
- Conception des logiciels
o Conception de l'architectureo Conception orientée-fonctiono Conception orientée-objeto Conception des interfaces humain-machine
- Fiabilité, maintenances et évaluation des logiciels
o Métriques, spécifications et Testo Documentation des logiciels
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.2 SEMESTRE S1NOM ECUE METHODOLOGIES DE CONCEPTION
Table des matières
Introduction aux systèmes d’informationso Définitionso Notions de modèles, Conception et analyse de SI
Taxonomie des méthodes de modélisationo Les approches cartésiennes : Orientées Traitementso Les approches systémiques : Orientées donnéeso Les approches objet : orientées données et traitements
La méthode Meriseo Modéliser les donnéeso Modéliser les traitements
Langage UMLo Modéliser la structure avec UMLo Modéliser le comportement avec UMLo Principes et patrons de conception orientée objeto Le processus unifié
Aperçu sur les méthodes AGILE
L’architecture MDA
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 4.1 SEMESTRE S1NOM ECUE RESEAUX INFORMATIQUES
Table des matières
Les architecture des réseaux locaux
o Equipements actifs et passifso Supports de transmission
Les architectures protocolaireso L’Architecture en couche (modèle OSI)o Les piles protocolaires
Les fonctions réseaux dans les architectures en couche
o Le contrôle de d’erreuro Le contrôle de fluxo Le routage
L’architecture TCP/IP
o IPo TCP avancé
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 4.2 SEMESTRE S1NOM ECUE THEORIE DE L’INFORMATION
Table des matières
Données et traitementso Symboles et mots de donnéeso Un bloc de traitemento Plusieurs blocs de traitement : Chaine de Markovo Traitements stationnaireso Traitements causauxo Traitements sans mémoire
Informationo Espace probabilisé discreto Espace probabilisé jointo Probabilités conditionnelleso Processus stochastiqueso Incertitude et informationo Information mutuelleo Information propreo Traitement et informationo Formule de Bayes
Information mutuelle moyenne – Entropieo Entropie : cas discreto Auto-informationo Incertitudeo Entropie conditionnelleo Concavité de l’entropieo Liens entre entropie discrète et continueo Maximisation d’entropieo Inégalités de Fano
Systèmes de communicationo Sources et codage de sourceo Entropie d'une source discrète sans mémoireo Canaux et codage de canalo Capacité d'un canal
Codage des sources discrèteso Codage d'un alphabet discreto Le premier théorème de Shannono Codage de source universel
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
Canaux discrets sans mémoireo Canal continu et canal discreto Théorème fondamentalo Le second théorème de Shannon pour un canal binaire symétrique
Introduction au codage correcteur d'erreurso Définitions généraleso Distance de Hammingo Codes en bloc - Codes linéaireso Décodage à vraisemblance maximale
Codes convolutifso Définitiono Diagramme d'état - Treillis de codageo Décodage : Algorithme de Viterbi
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.1 SEMESTRE S2NOM ECUE BASES DE DONNEES AVANCEES
Table des matières
Mapping Objet Relationnel (JPA en exemple)
o Traduction des entités, des associations et de l’héritageo Récupération Lazy et Eagero Design Pattern DAOo Manipulation et interrogation des objets persistantso Etude de cas : JPA (Java Persistence API)
Transactions et concurrence d’accès (JTA en exemple)
o Notion de transactiono Ordonnancement et exécution sérialisableo Verrouillage (2PL) vs. estampillageo Transactions réparties : validation 2 phases (2PC) et journalisation répartieo Etude de cas : JTA X/Open XA (Java Transaction API)
Techniques d’indexation et optimisation (Oracle en exemple)
o Arbre B+ vs. Hachageo Index Bitmapo Indexation multidimensionnelle avec l’Arbre Ro Optimiseur de requêtes : plan d’exécution, ordonnancement, exécution pipe-linedo Etude de cas : Indexation (Arbre B+, Hachage, Bitmap et Arbre R) et optimisation de
requêtes sous Oracle
XML et Data Binding (JAXB en exemple)
o Schémas XSDo Sérialisation/désérialisation des objets persistantso Services web : utilité et principe de la sérialisationo Etude de cas : JAXB (Java Architecture for XML Binding) et REST
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.2 SEMESTRE S2NOM ECUE SYSTEME D’EXPLOITATION
AVANCE
Table des matières
Gestion et synchronisation des processuso La vie intime des processuso Quelques caractéristiques des processuso Le contexte et la commutation de contexteo La communication entre processuso Les threads
Les problèmes liés à la concurrenceo Le maintien de la cohérenceo Section Critique & Exclusion mutuelleo Solutions logicielles à l'exclusion mutuelleo Le problème majeur des solutions logicielles : l'attente activeo Solutions matérielles à l'exclusion mutuelle
Les Sémaphoreso Définitiono Sémaphores d'Exclusion Mutuelleo Sémaphores de Synchronisationo Autres utilisations des sémaphores - le Rendez-vouso Interblocages
Le modèle Producteur - Consommateuro Définitiono Solution à une caseo Solution à n caseso Solution à p producteurs et c consommateurs
Les Moniteurso Les instructions spéciales des moniteurso Rendez-vous entre N processuso À l'intérieur des moniteurso Problème des producteurs-consommateurso Problème des lecteurs-rédacteurs
La mémoireo Les problèmes de l'allocation mémoireo Correspondance adresses virtuelles - adresses physiqueso Principes et mécanismes de base de la paginationo La mémoire virtuelle linéaireo Le défaut de pageo Le choix d'une victime - remplacement
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
o Le pré-chargement - La localitéo Pagination à deux niveauxo La mémoire virtuelle segmentéeo Le partage de l'information en mémoire virtuelle linéaireo Le partage de l'information en mémoire segmentée
Le Network File System de Sun (NFS)o Architectureo Protocoleso Mountingo Automounting vs Static mountingo Directory et accès aux fichierso MOUNT, OPEN, READ, WRITEo Cohérence du cache
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 2.1 SEMESTRE S2NOM ECUE CRYPTOGRAPHIE
Table des matières
Introductiono Qu’est-ce que la cryptographieo Qualités d’un cryptosystème
Historique
o Codes à répertoireo Codes de permutation ou de transpositiono Codes de substitutiono Le code de Vigénèreo Chiffrement de Hill
Rappels Mathématiqueso Théorie de l’informationo Théorie de la complexitéo Rappels d’arithmétiqueo Tests de primalitéo Méthode de factorisationo Rappels d’algèbreo Courbes elliptiques
Quelques méthodes de codage
o Chiffrement en chaîneo Codes à confidentialité parfaiteo Registres à décalage
Les codes moderneso Codes symétriqueso Codes asymétriqueso Les échanges de clefs
Codes à clefs secrètes
o Description de DESo Description d’AESo Infrastructure des systèmes à clef secrète
Codes à clefs publiques
o Principe des codes à clef publiqueo Le cryptosystème RSAo Le cryptosystème El Gamalo Infrastructure des systèmes à clef publique
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
Fonctions de Hachageo Attaques des anniversaireso Fonctions de hachage standards
Signature électronique
o Généralitéso Signature et fonction de hachageo Signature RSA
Quelques protocoles cryptographiques
o Protocoles d’échange de clefo Protocoles de signatureo Preuve sans transfert de connaissance
.
NUMERO ECUE. 2.2 SEMESTRE S2NOM ECUE SPECIFICATION FORMELLE
Table des matières
Introduction
o Que sont les méthodes formelleso Avantages des méthodes formelleso Classification des méthodes formelles
Logique propositionnelle et logique des prédicats
o Syntaxeo Sémantiqueo Système de preuve
Système de preuve de programme séquentiel : la logique de Hoare
o Syntaxeo Sémantiqueo Système de preuve
Algèbre de processus CSP (Communicating sequential processes)o Syntaxeo Sémantiqueo Lois algébriqueso Raffinement
Modélisation et vérification des systèmes concurrentso Modélisation : systèmes de transitiono Vérification : Logique temporelle linéaire (LTL)o Vérification de modèles (Model checking)
Méthodes de test formelo Méthode TT (Tour de Transitions)o Méthode UIO (Unique Input Output)o Méthode DS (Distiguishing Sequences)
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 2.3 SEMESTRE S2NOM ECUE LOGIQUE FLOUE ET THEORIE DES
POSSIBILITES
Table des matières
La théorie des sous-ensembles flouso Modélisation du langage naturelo Théorie de l’imprécis et de l’incertaino Lien avec les probabilités et le calcul d’erreur
Notions de baseo Fonction d’appartenanceo Opérations ensemblistes (union, intersection, …)o Notion de coupe – αo Noyau, support, hauteur, baseo Logique floue
Quantités floueso Intervalles flous, nombres flouso Calcul sur les quantités floues : principe d’extensiono Calcul pratique des quantités floueso Ordre flou (supérieur, inférieur, …)
Théorie des possibilitéso Représentation de l’informationo Possibilité, nécessitéo Calcul pratique des possibilitéso Possibilité restreinte, induction de possibilités
Lien entre les théories de représentation de l’incertain et de l’impréciso Probabilités, statistiqueso Quantification, échantillonnageo Intervalle d’erreur, intervalle de confiance, pire caso Croyance, plausibilité
Systèmes d’inférence floueo Variables linguistiqueso Règles floueso Raisonnement approchéo présentation des deux modèles principaux : Mamdani et Takagi-Sugenoo fuzzification, inférence et agrégation des règles, défuzzification
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.1 SEMESTRE S2NOM ECUE THEORIE DES FILES D'ATTENTE
Table des matières
Introduction
o Qu’est ce que l’évaluation de performanceo Approches d’évaluation de performance et domaines d’applicationso Le cycle de modélisationo Notion de file d’attente et notationo La file D/D/1o Théorème de Little
Processus stochastique
o Définitionso Processus de Poisson et ses propriétéso Chaînes de Markovo Processus de Markov
Files d’attente simples
o File M/M/1o File M/M/m eto File M/M/1/Ko Machine Repairman Modelo Cas à un réparateuro Cas à plusieurs réparateurso File M/G/1o File M/G/1 avec priorité
Introduction aux réseaux de files d’attente
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.2 SEMESTRE S2NOM ECUE RESEAUX MOBILES
Table des matières
Introduction généraleo Terminologies pour la mobilitéo Réseaux fixes vs réseaux mobileso Applications des réseaux mobileso Evolution des réseaux mobiles
Propagation radioo L’onde radioo Support de transmission radio : les antenneso Evanouissements du signalo Phénomène de trajets multipleso Interférence er brouillageo Evaluation de la qualité de transmissiono Propagation indoor / outdooro Méthodes prédictives de propagation
Eléments de la transmissiono Bande passanteo Modulationo Egalisationo Estimation du canalo Entrelacemento Contrôle d’erreurs
Optimisation des ressources radioo Réutilisation des fréquenceso Techniques d’accès multiple
Accès multiple à répartition dans les fréquences Accès multiple à répartition dans le temps Accès multiple à répartition dans les codes
Gestion de la mobilitéo Acheminement du signal vers le destinataireo Localisation du nœud mobileo Conséquences de la mobilité sur a qualité du signalo Sélection des liens candidatso Paramètres utilisés dans la sélection
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
Sécurité dans les réseaux mobileso Attaques dans les réseaux mobileso Protection de l’abonné : authentificationo Protection des données : chiffremento Déni de serviceo Intégrité des données
Réseaux mobileso Exemple : Ad hoco Principeo Applicationso Problèmes poséso Gestion du réseauo Accès au canalo Routage dans le réseau ad hoc
Réseaux de mobiles
o Exemple : réseau cellulaireo Objectif du découpage cellulaireo Paramètres considérés lors de la planificationo Gestion de la qualitéo Architecture radioo Architecture réseauo Evolution des réseaux cellulaireso Applications futures
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE OPTIONNEL SEMESTRE S2NOM ECUE TRAITEMENT D’IMAGES
Table des matières
Introduction à l’imagerie numérique
o Acquisition et formation de l'imageo Modèles géométriques de caméraso Types d'images (2D, 3D, binaire, niveaux de gris, couleur)o Les systèmes de représentation des couleurso Représentation numérique d’une imageo Formats d'imageso Processus de traitement et d’analyse d’imageso Applications du traitement d'images
Transformations sur les images
o Transformations ponctuelleso Transformations de voisinageo Transformations spectrales
Restauration d’images
o Méthodes de Restaurationo Restauration par filtrage spatialo Evaluation des algorithmes de filtrage
Réhaussement d’images
o Définition de l’histogramme d’une imageo Modification de l’histogrammeo Etirement du contraste / recadrage de la dynamiqueo Égalisation d'histogrammeo Rehaussement par spécification d’histogramme
Détection de contours
o filtres basés sur la dérivée première de l'imageo filtres basés sur la dérivée seconde de l'imageo filtres optimaux (Canny, Deriche)
Segmentation d’images
o Introductiono Segmentation par seuillage d’imageo Segmentation par approche contouro Segmentation par approche régiono Segmentation de régions texturées
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
Opérateurs morphomathématiques
o Rappels sur les ensembleso Transformations morphologiqueso Ouverture et fermeture morphologiqueo Amincissement et squelatisation
Extraction dans les images
o Détection de droites et courbes : Transformée de Hougho Introduction aux contours déformables (snakes)o Détection et appariement de points (Détecteur de Harris, SIFT, RANSAC)
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE OPTIONNEL SEMESTRE S2NOM ECUE VISION PAR ORDINATEUR
Table des matières
Introduction à la vision par ordinateur
o Les bases de l'image numérique (acquisition, représentation de la couleur)o Vision par ordinateuro Champs d'application de la Vision
Reconnaissance 2D /3D
o Détecteurs et descripteurso Méthodes de classification
Modèle & calibration de la caméra
o Modélisation de caméra Modélisation géométrique Modélisation algébrique
o Calibrage de caméra Calcul de la matrice de projection Extraction des paramètres intrinsèques et extrinsèques
Analyse du mouvement
o Séquences d’imageso Perception de la vitesseo Mouvement en vision par ordinateuro Mouvement 2D vs Mouvement 3Do Détection du mouvemento Estimation du mouvemento Suivi du mouvemento Reconnaissance du mouvement
Vision 3D
o Vision stéréoscopiqueo Géométrie épipolaireo Mise en correspondanceo Calcul de carte de profondeurso Multi-caméras (plus de 2 caméras)o Reconstruction 3D à partir d’images 2D
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.1 SEMESTRE S3NOM ECUE OPTIMISATION & HEURISTIQUES
Table des matières
Introduction
o combinatoireo optimisationo Problème de voyageur de commerce
Approches exactes
o Principeso Limites
Notions d'heuristiques et métaheuristiques
Métaheuristiques à base de voisinage
o Recuit simuléo Recherche tabou
Métaheuristiques à base de population
o Algorithmes génétiqueso Colonies de Fourmiso Abeilles de miel
Optimisation multiobjectifs
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 1.2 SEMESTRE S3NOM ECUE ALGORITHMES POUR LES GRAPHES
Table des matières
Introduction
o Notions de baseso Différents types de grapheso Matrice d'adjacenceo Liste d'adjacence
Parcours d'un graphe
o Parcours en profondeuro Parcours en largeuro Calcul des composantes connexeso Tri topologiqueo Fermeture transitive
Chemins dans un Graphe
o Notions de baseo Dijkstrao Bellman-Fordo Floyd-Warsallo Chemin Eulerien
Les Cliques
o Définitions de Clique et de Quasi-Cliqueo Clique maximum & Clique maximalo Algorithme de baseo MaxClique
Graphe & Flux
o Notions de capacitéo Algorithme de Ford Fulkersono Flux maximal & Cout minimal
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 2.1 SEMESTRE S3NOM ECUE WEB SEMANTIQUE
Table des matières
Architecture du web sémantique
o Le « Layer cake » modèleo Les apports du web sémantique
Les langages du web sémantique
o RDF et RDFSo OWL
Les ontologies
o Les types d’ontologieso Le cycle de vie d’une ontologieo Les méthodes de construction
L’ingénierie des connaissances
o Les méthodes de raisonnementso Le langage e SPARQL
Le Web sémantique social
o Le web Socialo Les ontologies du web social & Linked Data
NUMERO ECUE 2.2 SEMESTRE S3NOM ECUE SERVICES WEB
Table des matières
Introduction généraleo Présentationo Définitionso Principes des services Webo Intérêts des services Web
Architecture des services Webo Introductiono Architecture SOAo Architecture globaleo Pile des standards
Les standards des services Webo Protocole SOAP (Simple Object Access Protocol)o Le Langage WSDL (Web Services Description Language)o Annuaire UDDI (Universal Description, Discovery and Integration)
Environnements de développemento Plate-forme Javao Plate-forme Dot.net
Problématique de recherche des services Webo Introductiono Les opérations de baseo La composition des serviceso La gestion des services
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.1 SEMESTRE S3NOM ECUE ENVIRONNEMENTS REPARTIS
Table des matières
BigData : qu’est ce que c’est ?
o Définitiono Les trois big V’so Problème et solutions
Machines bases de données
o Calculateur à mémoire partagéo Cluster à disques partagéso Cluster Shared Nothingo Etude de cas : Oracle Exadata
NoSql
o Théorème CAPo Stockage de couples (clé, valeur)o Bases de documentso Bases orientées colonneo Bases de grapheso Etude de cas : Oracle NoSql DataBase
Framework de calcul parallèle
o Principe du MapReduceo MapReduce vs. Fork and Joino Etude de cas : Hadoop MApReduce
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 3.2 SEMESTRE S3NOM ECUE ARCHITECTURE LOGICIELLE
Table des matières
L'architecture dirigée par les modèles (MDA)
o Les principes de l'approche MDAo Les modèles CIM, PIM, PDM et PSMo La transformation des modèles MDA
Les patrons de conception
o Conception d’objets réutilisableso Modèles de conceptiono Patronso Fabrique abstraiteo Adaptateuro Observateuro Procuration (Proxy)
Applications des patrons de conception
o Patron "Modèle-vue-contrôleur" (MVC)o Exemple d'application du MVC : Strutso Exemple d'application des patrons : SPOOLSo Entreprise Java Beans (EJB)
L’architecture Orientée Service
o Principes de base du SOAo Eléments clé d’une architecture orientée serviceso Cycle de vie d’un serviceo Méthodes et outils de mise en œuvre d’une architecture orientée services
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE 4 SEMESTRE S3NOM ECUE IA AVANCEE
Table des matières
Introductiono Qu'est-ce qu'est l'Intelligence Artificielleo Histoire de l’IAo L’IA aujourd’hui
Agents Intelligentso Agentso Types d’Agentso Environnements
Résolution de problèmes par explorationo Formulation de problèmeso Types de problèmeso Exemples de problèmeso Algorithmes de recherche
Exploration Informéeo Recherche non-informéeo Recherche informéeo Heuristiques
Représentation des connaissances : Logique propositionnelleo Agents basés sur les connaissanceso Représentation de la connaissance : trois niveauxo Utilisation d’une base de connaissanceso Langages déclaratifso Exemple
Représentation des connaissances : Logique des prédicatso Logique des prédicatso Agents réactifso Modélisation des connaissances
Planificationo Planification d’actionso Planification en calcul des situationso Planification en STRIPS (STanford Research Institute Problem Solver)o Planification non-linéaire
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE OPTIONNEL SEMESTRE S3NOM ECUE DATA MINING
Table des matières
Introduction
o Explosion des donnéeso Processus KDDo Prétraitement des données
Méthodes de Classification
o Classification hiérarchiqueo Méthodes de partitionnements (K-means, FCM)o Méthodes basées sur la densité (DBSCAN
Règles d'Association
o MBAo Ensembles fréquentso Support & Confidenceo Algorithme apriorio Algorithme FP-Growth
Arbres de décision & Forêts aléatoires
o Définitiono Algorithme d'inductiono Gain informationnelo Index de Ginio Pré-élagage et pos-élagage de l'arbreo Baggingo Forêts aléatoires
ISTCom / Université de Sousse - Contenu du Master de Recherche "Informatique Distribuée"
NUMERO ECUE OPTIONNEL SEMESTRE S3NOM ECUE ENVIRONNEMENT INFORMATIQUES
POUR L’APPRENTISSAGE
Table des matières
Introduction aux environnements Informatiques d’apprentissage
o Historiqueo Typologie des EIAo Fonctionnalités des EIA
Intelligence artificielle pour les Environnements Informatique pour l’apprentissage Humain
o Apports des IA pour les EIAHo Méta connaissances
Conception et évaluation des EIAH
o Méthodologies de conception des EIAHo La place de l’enseignant dans les EIAHo L’évaluation des EIAH
Les dispositifs interactifs pour l’apprentissage
o Les théories d’apprentissageo L’apprentissage situé et l’apprentissage collaboratifo L’apprentissage mobile et pervasifo La personnalisation dans les EIAH