Plan d’études du Master Z Z Z v / v ( } u ] µ ] ] µ · 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 ... o Espace

Université de Sousse

Institut Supérieur d’Informatique et Techniques de Communication de Hammam Sousse

Plan d’études du

Master wŜŎƘŜǊŎƘŜ Ŝƴ LƴŦƻǊƳŀǘƛǉǳŜ 5ƛǎǘǊƛōǳŞŜ

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"


VOLUME HORAIRE HEBDOMADAIRE

(hr) CREDIT COEF

REGIME


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


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"


VOLUME HORAIRE HEBDOMADAIRE (hr)

CREDIT COEF REGIME


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


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


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.


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


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


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


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é


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


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


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


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


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


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


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)



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


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


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


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


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


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)


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


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


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


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


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


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


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


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


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

Documents

Plan d’études du Master Z Z Z v / v ( } u ] µ ] ] µ · 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 ... o Espace