Documente Academic
Documente Profesional
Documente Cultură
Licence :
MI / Informatique
Année 2005
1
Table des matières
Récapitulatif............................................................................................................................................................ 3
Objectifs de la Formation....................................................................................................................................... 4
Domaines d’Activités visés..................................................................................................................................... 4
Description et Organisation Générale du Diplôme ................................................................................................. 5
EQUIPE PEDAGOGIQUE ASSURANT LA FORMATION ............................................................................ 5
APPUIS LOGISTIQUES A LA FORMATION ................................................................................................. 7
SEMESTRE : 1 ....................................................................................................................................................... 8
SEMESTRE : 2 ....................................................................................................................................................... 9
SEMESTRE : 3 ..................................................................................................................................................... 10
SEMESTRE : 4 ..................................................................................................................................................... 11
SEMESTRE : 5 ..................................................................................................................................................... 12
SEMESTRE : 6 ..................................................................................................................................................... 13
FICHE ORGANISATION DES ENSEIGNEMENTS......................................................................................... 35
1ère année L1 (Programme Commun Mathématiques - Informatique) : PCMI ..................................................... 37
2ème ANNEE L2 : LICENCE INFORMATIQUE ................................................................................................. 38
3ème ANNEE L3 : LICENCE INFORMATIQUE ................................................................................................. 39
UE1 (Fondamentale) 15 crédits........................................................................................................................ 40
UE2 (de découverte) 9 Crédits ......................................................................................................................... 40
UE3 (Méthodologique) 6 Crédits ..................................................................................................................... 41
UE4 (Fondamentale) 12crédits......................................................................................................................... 41
UE5 (Fondamentale) 12 crédits........................................................................................................................ 42
UE6 (Culture Générale) 6 crédits ..................................................................................................................... 44
UEI7 (Fondamentale) 14 crédits ...................................................................................................................... 44
UEI8 (Fondamentale) 12 crédits ...................................................................................................................... 46
UEI9 (méthodologique) 4 crédits ..................................................................................................................... 47
UEI10 (Fondamentale) 16 crédits .................................................................................................................... 48
UEI11 (Fondamentale) 12 crédits .................................................................................................................... 50
UEI12 (méthodologique) 2 crédits ................................................................................................................... 52
UEI13 (Fondamentale) 18 crédits .................................................................................................................... 52
UEI14 (Fondamentale) 12 crédits .................................................................................................................... 54
UEI15 (Fondamentale) 10 crédits .................................................................................................................... 57
Option : Test et qualité des logiciels............................................................................................................ 57
Option : Conception orientée objet et architecture logicielle ...................................................................... 58
Option : Vérification formelle des systèmes complexes.............................................................................. 59
Option : Méthodes formelles de développement de logiciels ...................................................................... 59
Option : Développement des applications Web et Internet.......................................................................... 60
Option : Programmation Client-Serveur...................................................................................................... 60
Option : Optimisation .................................................................................................................................. 61
Option : Traitement d'image ........................................................................................................................ 61
Option : Réseaux de Neurones .................................................................................................................... 62
Option : Morphologie mathématique........................................................................................................... 62
Option : Les systèmes d’aide à la décision .................................................................................................. 63
Option : Systèmes embarqués...................................................................................................................... 64
Option : Technologies sans fil ..................................................................................................................... 65
Option : Réseaux sans fil ad hoc et de capteurs........................................................................................... 65
Option : Systèmes Distribués ...................................................................................................................... 67
Option : Réplication dans les systèmes distribués étendus .......................................................................... 67
Option : Les grilles et les technologies de grilles pour les calculs distribués étendus................................. 68
UEI16 (Fondamentale) 20 crédits ......................................................................................................................... 69
2
CANEVAS DE PRESENTATION D’UN DOSSIER POUR
L’HABILITATION D’UNE OFFRE DE FORMATION
DANS LE CADRE DU DIPLOME DE LICENCE « LMD »
*********************************************
GENERALE/ACADEMIQUE
TYPE DE LICENCE :
PROFESSIONNELLE/APPLIQUEE
Récapitulatif
MENTION/FILIERE Informatique
SPECIALITE/OPTION Informatique
3
Objectifs de la Formation
(Compétences visées, Connaissances acquises à l’issue de la formation)
- Génie logiciel
- Développement de logiciels
- Fondements de l’informatique
- Conception et analyse des programmes
- Systèmes et réseaux
- Langages de programmation : fonctionnelle, orientée objet, logique et concurrente.
- Optimisation mathématique dans le milieu industriel
Débouchés
Les titulaires de cette licence peuvent travailler en tant que développeur. Ils peuvent occuper
des postes d’ingénieurs d’études. Ils peuvent s’orienter vers l’enseignement secondaire. Ils
peuvent enfin intégrer un master informatique (poursuite des études habituelle).
Poursuite d'études
Master
4
Description et Organisation Générale du Diplôme
5
BELLOUNAR (KADAR) Fatima Zohra CC Dépt. Informatique 100%
BOUSMAHA (OUSSOUKINE) Kheira CC Dépt. Informatique 100%
Zineb
GHOMARI Abdelghani CC Dépt. Informatique 100%
HADI(YAGOUBI) Nadia CC Dépt. Informatique 100%
HOCINE Soraya CC Dépt. Informatique 100%
KECHAR (BIDAI) Zahia CC Dépt. Informatique 100%
KECHAR Bouabdellah CC Dépt. Informatique 100%
KETROUCI (HAMADOUCHE) CC Dépt. Informatique 100%
Halima
LARABI Benali CC Dépt. Informatique 100%
LOUKIL Lakhdar CC Dépt. Informatique 100%
MEZIANE (SAHRAOUI) Hassina CC Dépt. Informatique 100%
SIDI ALI MEBAREK Mimi CC Dépt. Informatique 100%
TAGHEZOUT Noria CC Dépt. Informatique 100%
HAMDADOU Djamila CC Dépt. Informatique 100%
ADDOU Nouré CC Dépt. Informatique 100%
MAHI (REKIK) Latifa CC Dépt. Informatique 100%
NAOUI Moulkheir CC Dépt. Informatique 100%
ABDI Mustapha Kamel CC Dépt. Informatique 100%
BOUDJENNAH Lotfi CC Dépt. Informatique 100%
------------------------------------------------ ------- --------------------------------- ----------------------------------------
DEKDOUK Abdel Kader (Dr) MA Dépt. Informatique 100%
OUALI Mohamed El Amine (Dr) MA Dépt. Informatique 100%
BOUAZA (Dr) MA Dépt. Informatique 100%
MOKHTARI (KHIAT) Nabila MA Dépt. Informatique 100%
TRACHE Najia (épouse KHELFI) MA Dépt. Informatique 100%
------------------------------------------------ ------- --------------------------------- ----------------------------------------
BELKACEMI Ali ASS Dépt. Informatique 100%
BENAMINA Mohamed ASS Dépt. Informatique 100%
BOUYAKOUB Badra ASS Dépt. Informatique 100%
FOUROUR Said ASS Dépt. Informatique 100%
KLOUCHE Djedid Affaf ASS Dépt. Informatique 100%
LACHACHI Noureddine ASS Dépt. Informatique 100%
MOKADEM Mustapha ASS Dépt. Informatique 100%
------------------------------------------------ ------- --------------------------------- ----------------------------------------
BELKHEIR (ADLA) Faïza PI Dépt. Informatique 100%
BESSEDJRARI (BOUFERA) Karima PI Dépt. Informatique 100%
SADATE Naima PI Dépt. Informatique 100%
SAYAH Mohamed PI Dépt. Informatique 100%
------------------------------------------------ ------- --------------------------------- ----------------------------------------
NACHET Bakhta CC Dépt. Informatique 100%
CAID (BENAZZA) Imane MA Dépt. Informatique 100%
BENYAMINA Djouhara MA Dépt. Informatique 100%
------------------------------------------------ ------- --------------------------------- ----------------------------------------
MOULAYAT Nasredine PR Dépt. Physique 70%
ZANOUN Yahia MC Dépt. Physique 70%
SELMA Chiali MC Dépt. Physique 70%
HAMAIZI Hadj MC Dépt. Chimie 70%
SMAIL Abderahmane MC Dépt. Mathématiques 70%
REMILI Moussadak CC Dépt. Mathématiques 70%
BELAIB Khemissi CC Dépt. Mathématiques 70%
BENNACEUR Mohamed CC Dépt. Mathématiques 70%
RAHMANI AbdelKader CC Dépt. Mathématiques 70%
6
APPUIS LOGISTIQUES A LA FORMATION
1 Amphithéâtres
Locaux Pédagogiques 3 Salles TD
3 Salles TPs
Pédagogiques
Laboratoires ------------------------------------ -------------------------------------------------------
de Recherche
Bibliothèque 1
33 Machines
Equipements Informatiques Réseaux
1 Vidéo-projecteur+1 Ordinateur portable
7
FICHE SEMESTRE
MENTION : INFORMATIQUE - MATHEMATIQUES
SPECIALITE/OPTION : INFORMATIQUE - MATHEMATIQUES
PARCOURS TYPE : INFORMATIQUE - MATHEMATIQUES
SEMESTRE : 1
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2 UE3
Optionnelle
Transversale
Travail Personnel
---------------------
-
Cours 7h30 4h30 1h30
----------------------
-
Répartition Travaux Dirigés 6h00 3h00
(en heures ----------------------
par Travaux 1h30 1h30
Pratiques
semestre) ----------------------
Autres….
Crédits 15 9 6
Nombre de Groupes 3 3 3
8
FICHE SEMESTRE
MENTION : INFORMATIQUE - MATHEMATIQUES
SPECIALITE/OPTION : INFORMATIQUE - MATHEMATIQUES
PARCOURS TYPE : INFORMATIQUE - MATHEMATIQUES
SEMESTRE : 2
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2 UE3
Culture
Type Fondamentale Fondamentale générale
Optionnelle
Culture
Transversale Générale
Travail Personnel
---------------------
-
Cours 4h30 6h00 4h30
----------------------
-
Répartition Travaux Dirigés 4h30 3h00
(en heures ----------------------
par Travaux 3h00
Pratiques
semestre) ----------------------
Autres….
Crédits 12 12 6
Nombre de Groupes 3 3 3
9
FICHE SEMESTRE
MENTION : INFORMATIQUE
SPECIALITE/OPTION : INFORMATIQUE
PARCOURS TYPE : INFORMATIQUE
SEMESTRE : 3
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2 UE3
Optionnelle
Transversale
Travail Personnel
---------------------
-
Cours 6h00 4h30 3h00
----------------------
-
Répartition Travaux Dirigés 4h30 4h30
(en heures ----------------------
par Travaux 1h30
Pratiques
semestre) ----------------------
Autres….
Crédits 14 12 4
Nombre de Groupes 2 2 2
10
FICHE SEMESTRE
MENTION : INFORMATIQUE
SPECIALITE/OPTION : INFORMATIQUE
PARCOURS TYPE : INFORMATIQUE
SEMESTRE : 4
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2 UE3
Optionnelle
Transversale
Travail Personnel
---------------------
-
Cours 6h00 4h30 1h30
----------------------
-
Répartition Travaux Dirigés 4h30 4h30
(en heures ----------------------
par Travaux 4h30
Pratiques
semestre) ----------------------
Autres….
Crédits 16 12 2
Nombre de Groupes 2 2 2
11
FICHE SEMESTRE
MENTION : INFORMATIQUE
SPECIALITE/OPTION : INFORMATIQUE
PARCOURS TYPE : INFORMATIQUE
SEMESTRE : 5
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2
Optionnelle
Fondamentale Fondamentale
Majeure/Mineure
(Fondamentale/Découverte)
Transversale
Travail Personnel
---------------------
-
Cours 9h00 4h30
----------------------
-
Répartition Travaux Dirigés 4h30 3h00
(en heures ----------------------
par Travaux 3h00
Pratiques
semestre) ----------------------
Autres….
Crédits 18 12
Nombre de Groupes 2 2
12
FICHE SEMESTRE
MENTION : INFORMATIQUE
SPECIALITE/OPTION : INFORMATIQUE
PARCOURS TYPE : INFORMATIQUE
SEMESTRE : 6
Intitulé de l’Unité
d’Enseignement (UE) UE1 UE2
Fondamentale Fondamentale
Type
Optionnelle
Fondamentale Fondamentale
Majeure/Mineure
(Fondamentale/Découverte)
Transversale
Travail Personnel
---------------------
-
Cours 3h00
----------------------
-
Répartition Travaux Dirigés
(en heures ----------------------
par Travaux
Pratiques
semestre) ----------------------
Projet 22h00
Crédits 10 20
Nombre de Groupes 2 2
13
FICHE UNITE D’ENSEIGNEMENT
U.E. = 15 crédits
14
FICHE UNITE D’ENSEIGNEMENT
Répartition du T.P.
Volume Horaire
Semestriel de Travail Personnel :
l’U.E. et de ses
Composantes Autres (stages…)
U.E. = 9 crédits
15
l'utilisation de ces composants dans des systèmes électroniques
classiques : émission - réception, modulations analogiques (amplitude
- fréquence - phase), interface analogique - numérique, filtres
fréquentiels, filtres à capacités commutées,...
16
FICHE UNITE D’ENSEIGNEMENT
T.D. :
U.E. = 6 crédits
17
FICHE UNITE D’ENSEIGNEMENT
U.E. = 12 crédits
18
FICHE UNITE D’ENSEIGNEMENT
U.E. = 12 crédits
19
FICHE UNITE D’ENSEIGNEMENT
T.D. :
Répartition du T.P.
Volume Horaire
Semestriel de Travail Personnel :
l’U.E. et de ses
Composantes Autres (stages…)
U.E. = X crédits
20
FICHE UNITE D’ENSEIGNEMENT
Autres (stages…)
U.E. = 14 crédits
21
essentielles : La 1ère partie présente le monde de l'entreprise
(différentes formes de structures d'organisation de l'entreprise,
principales fonctions et les différents systèmes de l'entreprise) ; La
2ème partie présente les outils d'analyse fondamentaux et de
structuration des données ; La 3ème partie : Introduction aux systèmes
d'information, méthodes de conception et d’analyse d’un SI.
22
FICHE UNITE D’ENSEIGNEMENT
Autres (stages…)
23
FICHE UNITE D’ENSEIGNEMENT
T.D.
Répartition du T.P.
Volume Horaire
Semestriel de Travail Personnel :
l’U.E. et de ses
Composantes Autres (stages…)
U.E. = 4 crédits
24
FICHE UNITE D’ENSEIGNEMENT
Autres (stages…)
U.E. = 16 crédits
Algorithmique et structure de données 2 = 5 crédits
Crédits affectés à
l’U.E . Bases de données = 6 crédits
(et à ses
Composantes ) Systèmes d’exploitation 1 = 5 crédits
Algorithmique et structure de données 2 : L’orientation souhaitée pour
l’associer à ce cours est : "présenter les mécanismes offerts par les
langages de programmation et identifier leur usage dans le contexte
Description de l’U.E. d'un développement modulaire.". Les concepts de base présentés iront
et de ses jusqu'à "l'orée de l'univers objet" et seront illustrés avec C++ ou Java.
Composantes Il est souhaité également de présenter aux étudiants un environnement
de production dont la philosophie, orientée production, s'inspire de ce
que l'on peut trouver dans le monde industriel. Afin de détailler les
notions que l'on trouve dans les langages de programmation, il sera
utilisé en TD et en TP (choisi pour le premier semestre de la licence).
Outre l'écriture de programmes en Java/C++, il sera demandé aux
étudiants de lire et comprendre des services écrits en Java/C++.
25
but est de dégager les concepts communs à la base des systèmes
modernes tel que le temps partagé, l'ordonnancement, la gestion de la
mémoire et des disques. Des exemples d'implantation notamment dans
UNIX seront évoqués. Nous voulons insister sur l'interaction des
mécanismes de base de façon à fournir aux étudiants une vision
globale du fonctionnement du système. Pour faciliter l'assimilation des
principes de base des systèmes, il paraît important d'illustrer les
concepts par l'étude d'un système réel (en l'occurrence UNIX). De
plus, il est indispensable que les étudiants puissent mettre en oeuvre
les concepts du cours dans des TP. Une part importante des séances de
TD sera consacrée à des TP (près de la moitié).
26
FICHE UNITE D’ENSEIGNEMENT
U.E. = 12 crédits
27
FICHE UNITE D’ENSEIGNEMENT
T.D. :
T.P.
Répartition du
Volume Horaire Travail Personnel :
Semestriel de
l’U.E. et de ses Autres (stages…)
Composantes
U.E. = 2 crédits
28
FICHE UNITE D’ENSEIGNEMENT
U.E. = 18 crédits
29
de congestion, commutation, mode de communication, routage,
adressage ; l’initiation à des protocoles courants, notamment Ethernet,
IP, TCP ; la familiarisation de l’étudiant avec le vocabulaire "réseau" ;
30
FICHE UNITE D’ENSEIGNEMENT
U.E. = 12 crédits
31
Option Cryptographie : Initiation aux concepts fondamentaux et aux
méthodes de la cryptographie contemporaine ; Principes de la
cryptographie à clef publique, ses avantages par rapport à la
cryptographie classique qui oblige à garder secrètes les clefs de
chiffrement et de déchiffrement ; Etude de quelques cryptosystèmes tel
que le célèbre RSA, et protocoles d’échanges de clefs,
d’authentification, de chiffrement ; Génération de nombres pseudo-
aléatoires ;
32
FICHE UNITE D’ENSEIGNEMENT
T.D. :
T.P. :
Répartition du
Volume Horaire Travail Personnel :
Semestriel de
l’U.E. et de ses Autres (stages…) :
Composantes
U.E. = 10 crédits
33
FICHE UNITE D’ENSEIGNEMENT
Cours :
T.D. :
T.P. :
Répartition du
Volume Horaire Travail Personnel : Projet
Semestriel de
l’U.E. et de ses Autres (stages…)
Composantes
U.E. = 20 crédits
34
FICHE ORGANISATION DES ENSEIGNEMENTS
Mention : Informatique
Spécialité/Option : Informatique
35
SEMESTRE - Probabilités Statistiques 44 h 22 h ; 22 h ; -- 4
III - Logique mathématique 44 h 22 h ; 22 h ; -- 4
Unité d’Ens. Informatique 9 44 h 44 h ; -- ; -- 4
- Anglais 3 22 h 22 h ; -- ; -- 2
- Option 22 h 22 h ; -- ; -- 2
SEMESTRE
VI
374 h 88 h ; -- ; 330 h 30
TOTAL
36
1ère année L1 (Programme Commun Mathématiques - Informatique) : PCMI
Semestre 1 CM TD TP Crédits
UE 1 (Fondamentale) 15
Algèbre 1 1h 30 1h 30 3
Analyse 1 3h 3h 6
Informatique 1 3h 1h 30 1h 30 6
UE 2 (de découverte) 9
Mécanique du point 1h 30 1h 30 3
Electricité 1h 30 1h 30 3
+ 1 option à choisir parmi 1h30 3
Physique Optique
Chimie
Economie de l'entreprise
ou d’autres options à définir par
l'établissement
UE 3 (méthodologique) 6
TP bureautique 1h30 3
Technique d'expression et de 1h30/quinz. 1,5
communication
Anglais 1 1h30/quinz. 1,5
Total (25h30 , 30 crédits) 13h30 9h 3h 30
Semestre 2 CM TD TP Crédits
UE 4 (fondamentale) 12
Algèbre 2 1h 30 1h 30 4
Analyse 2 1h 30 1h 30 4
Statistique Descriptive 1h 30 1h 30 4
UE 5 ( fondamentale) 12
Calcul Formel 1h 30 1h30 3
Structure Machine 1h 30 1h 30 3
Informatique 2 3h 1h 30 1h 30 6
UE 6 (culture générale) 6
Anglais 2 1h 30 2
Histoire des sciences 1h 30 2
Technologie WEB 1h 30 2
Total (25h30 , 30 crédits) 15h 7h30 3h 30
37
LICENCE INFORMATIQUE L2, L3
38
3ème ANNEE L3 : LICENCE INFORMATIQUE
Semestre 5 (Licence Informatique) CM TD TP Crédits
UEI13 (Fondamentale) 18
Systèmes d’Exploitation 2 3h 1h30 1h30 6
Compilation 3h 1h30 1h30 6
Réseaux 3h 1h30 6
UEI14 (Fondamentale) 12
Programmation Logique 1h30 1h30 4
Théorie des Graphes 1h30 1h30 4
+ 1 option au choix parmi : 1h30 4
- Infographie
- Ingénierie des connaissances
- Cryptographie
- Développement des interfaces graphiques
- ou autres options à proposer par les
établissements
Total (24h , 30 crédits) 13h30 7h30 3h 30
39
CONTENUS PEDAGOGIQUES :
Algèbre 1
- Rappels sur l'anneau Z (théorème de Bézout, équations diophantiennnes, idéaux,
congruences)
- Applications d'ensembles: injection, surjection, bijection, image réciproque,
restriction, prolongement, représentation.
- Relations binaires sur un ensemble: équivalence, ordre.
- Structures algébriques: monoïde, demi-groupe, groupe, exemples.
- Homomorphismes de groupes, isomorphismes, endomorphismes, automorphismes,
exemples.
- Anneau de polynômes Z[X], R[X], C[X], zéros, polynômes irréductibles.
Informatique 1
L'objectif de cette première unité d'introduction à la discipline informatique est de
permettre aux étudiants de mieux comprendre les principes de fonctionnement d'une
machine (ou d'un réseau de machines) et d'un logiciel, ainsi que certains principes de
base de la programmation.
40
- Dans un seconde partie, des composants plus évolués nécessaires au
fonctionnement des circuits analogiques et numériques sont détaillés : oscillateurs,
convertisseurs analogique - numérique et numérique - analogique, VCO, boucle à
verrouillage de phase, ...
- Enfin, une troisième partie permet d'aborder l'utilisation de ces composants dans
des systèmes électroniques classiques : émission - réception, modulations
analogiques (amplitude - fréquence - phase), interface analogique - numérique,
filtres fréquentiels, filtres à capacités commutées,...
Anglais 1
- Amélioration de la compétence linguistique générale sur le plan de la
compréhension et de l’expression
- Acquisition du vocabulaire spécialisé de l’anglais informatique.
Semestre 2
Algèbre 2
- Espaces vectoriels de dimension finie, bases, sous-espaces.
- Applications linéaires, matrice d'une application linéaire.
- Déterminants.
- Applications aux systèmes d'équations linéaires, système de Cramer.
- Opérations sur les matrices.
Statistique descriptive
Plan du cours
Chapitre 1. Séries statistiques à une variable
1- Population. Individu. Echantillon. Caractères quantitatifs,
41
variables statistiques discrètes et continues.
2- Effectif. Fréquence. Pourcentage.
3- Effectif cumulé. Fréquence cumulée.
4- Représentations graphiques: diagramme à bande, diagramme circulaire,
diagramme en bâton. Polygone des effectifs (et des fréquences). Histogramme.
Courbes cumulatives.
5- Caractéristiques de position: mode, moyenne arithmétique, moyenne harmonique,
moyenne géométrique, médiane.
6- Caractéristiques de dispersion: étendue, variance et écart-type, coefficient de
variation, quartiles, étendue interquartile.
7- Représentation graphique des résultats à l'aide du box-plot.
De plus, un enseignement est conçu autour d'une étude de cas dont le thème porte sur
une application de l'informatique à la résolution d'un problème de mathématique ou de
physique
Calcul Formel
− Introduction à la programmation fonctionnelle avec le langage CAML
o Interprétation et évaluation
o Expressions et précédence des opérateurs
o Définitions
o Types élémentaires
o Produit cartésien
o Les listes
o Définition des fonctions
o La construction match-with et le filtrage
o Structures de données
o Récursivité
o Exceptions et fonctions partielles
o Polymorphisme et fonctions d’ordre supérieur
− TP :
o Apprentissage d’un langage de calcul scientifique (Mathématica, …)
o Quelques techniques de résolution des problèmes numériques,
o Evaluation des performances (prévision/efficacité) d’une méthode de calcul.
Références bibliographiques :
42
• G.Cousineau, M.Mauny, Approche fonctionnelle de la programmation,
EdiScience, 1995.
Structure Machine
Prendre connaissances de la théorie formelle basée sur l’Algèbre de Boole pour la synthèse
des circuits.
Plan du cours
Partie 1
- Les systèmes de numération,
- Les conversions entre systèmes de numération,
- La forme complémentée,
- Les opérations arithmétiques : Addition, Soustraction, Multiplication, Division,
- Les différents codages (Code DCB, CODE GRAY,…)
Partie 2 : Algèbre de Boole
- Définition et définition axiomatique de l’algèbre de Boole
- Théorème et propriétés de l’algèbre de Boole
- Principe de dualité
- Théorème fondamentaux
- Précédence des opérateurs
- Diagramme de Venn
- Fonctions booléennes
- Manipulations algébriques
- Complément d’une fonction
- D’autres Opérateurs Binaires
- Simplification des fonctions booléennes
- Méthode de Karnaugh
- Table à deux et trois variables
- Propriété des carrés adjacents
- Table à quatre variables
- Table à cinq et six variables
- Simplification en produits de somme
- Conditions indéfinies et fonctions incomplètes
- Méthode de Quine-Mc Cluskey
- Détermination des monômes premiers,
- Sélection des monômes premiers.
Partie 3 : Les Circuits combinatoires
- Analyse d’un circuit combinatoire,
- Conception et réalisation des circuits combinatoires simples (élémentaires)
(Additionneur, comparateur, Multiplixeur, Démultiplixeur,…)
- Conception et réalisation des circuits combinatoires complexes.
Partie 4 : Représentation interne des informations
- Données non numériques,
- Données Numériques
1. Entiers positifs,
2. Entiers négatifs,
3. Nombre fractionnaires
4. Décimaux codés en binaire,
- Les opérations arithmétiques.
43
UE6 (Culture Générale) 6 crédits
Technologie Web
- Introduction à l’Internet
- Réseau et Communication
- Introduction au Word-Wide-Web (WWW) : technologies Web, protocole HTML ,
format d’une page web, outils de création d’un site web
- Technologies des données : son, image, animation et vidéo, outils pour le
développement multimédia
- Interactivité sur le Web : rôle des applets
Histoire des Sciences
Le cours vise à sensibiliser l’étudiant à la difficulté inhérente à la découverte de concepts
scientifique. Des notions banalisées, telles que la variable, l’équation, ou la fonction doivent
être valorisées car elles ont permis une restructuration radicale de la pratique scientifique. Ce
cours retrace l’histoire chronologique des sciences avec une introduction à leur épistémologie.
Anglais 2
Soutenir une conversation technique avec un interlocuteur anglophone, comprendre et rédiger
des documents techniques. Chaque étudiant aura la possibilité de se présenter au TOEFL. Ce
cours est organisé en groupes de niveau :
Plan du cours :
- Anglais de base
- Anglais technique
- Préparation au TOEFL.
Semestre 3
44
6. Notions de temps e propagation/temps de pré-établissement/temps de
maintien,
7. Application :
- Réalisation des circuits séquentiels (registres, mémoires,….)
- Conception des circuits séquentiels complexes.
B. Architecture et exploitation d’un système
B.1. Microprocesseur
1. Logique cablée et logique microprogrammée,
2. Système à microprocesseur,
3. Le matériel (Hardware) d’un système à microprocesseur,
4. Le logiciel (Software) d’un système à microprocesseur,
5. Principes généraux pour l’exploitation d’un système à microprocesseur.
45
- Complexités d'un algorithme.
- Structures séquentielles: piles, files et listes.
- Structures hiérarchiques: arbres.
- Structures hiérarchique: arbres binaires de recherche.
- Structures hiérarchiques : Les tas.
- Structure en table: Hachage.
- Introduction aux graphes: définitions, connexités, représentations, graphes
particuliers.
- Parcours de graphes: cas des graphes non orientés; parcours particuliers: en
profondeur et largeur.
- Parcours de graphes: cas des graphes orientés; parcours particuliers: en profondeur
et largeur.
- Algorithme de Dijkstra.
Références bibliographiques :
- Introduction to Algorithms; Cormen, Leiserson et Rivest; Wiley
- Eléments d'Algorithmique; Berstel, Beauquier et Chrétienne; Masson
- Types de données et algorithmes; Gaudel, Froidevaux et Soria; EdiSciences.
• Systèmes d’Information
46
− Vecteurs aléatoires : étude d’un couple aléatoire : Lois conjointe, marginale et
conditionnelles ; Covariance et corrélation.
− Modes de convergence.
− Loi des grands nombre et théorème central limite.
II)- Statistique Inférentielle.
− Echantillonnage : Notion d’échantillon ; Moments empiriques ; Distributions
d’échantillonnage.
− Estimation : Estimation ponctuelle : qualités d’un estimateur et méthodes de construction
d’estimateurs (méthodes des moments et du maximum de vraisemblance) ; Estimation
par intervalle de confiance.
− Tests d’hypothèses : principe de construction de tests basés sur les intervalles de
confiance, tests de comparaisons de moyennes et de proportions, test de variance. Test de
khi deux (d’ajustement et d’indépendance).
Références bibliographiques
− Toute référence jugée utile.
Logique Mathématique
− Calcul des prédicats : syntaxe, interprétation, consistance, et validité
− Systèmes axiomatiques
− Correction, complétude, et compacité
− Théorème de Lowenheim-Skolem
− Bases et interprétation de Herbrand, Skolemisation, et théorème de Herbrand
− Unification et méthode de résolution
− Calculabilité : modèles de calcul, fonctions récursives, et thèse de Church
− Numérotation de Gödel et interprète universel
− Techniques élémentaires de la calculabilité, problèmes décidables et indécidables
Références bibliographiques :
- R.Lassaigne, M.Rougement, Logique et fondements de l’informatique,
Hermes, 1993.
- A.Arnold, I.Guessarian, Mathématiques pour l’informatique, Masson,
1997.
Cognition
Ce cours a pour objectif de permettre à l’étudiant d’approfondir ses connaissances dans le
domaine de la cognition tel que le rapport de la représentation et extraction des connaissances
avec la cognition, traitement du langage naturel et la vision.
Plan du cours
o Science cognitive
• Nature de la science cognitive
• Ordinateurs dans la science cognitive
• Science cognitive appliquée
• Nature pluridisciplinaire de la science cognitive
o Intelligence artificielle
47
• La nature de l’IA
• Représentation des connaissances
• Extraction des connaissances
o Résolution de problèmes
o Langage naturel
Semestre 4
48
V. Dependances Fonctionnelles et Normalisation: principes informels de conception
de schemas relationnels (information redondante, valeurs nulles, tuples parasites);
dependances fonctionnelles, regles d'inference; formes normales basees sur les cles
primaires, normalisation; definitions generale des 2eme et 3eme formes normales;
forme normale de Boyce-Codd.
VI. Algorithmes pour le Traitement et Optimisation des Requetes: traductions SQL-
>AR; tri externe; algorithmes de selection, jointure, projection et operation sur les
ensembles; pipelines; heuristiques dans l'optimisation des requetes (arbres et graphes
de requetes); conversion des arbres de requetes en plan d'execution; cout dans
l'optimisation; optimisation semantique.
Bibliographie
- Fundamental of DB systems,Elmasri & Navathe, Pearson Ed., 4th Edition,
2004.
- Relational Database Design, Harrington, Pearson Ed., 2002.
- Database Systems Design, Implementation and Management, Rob and
Coronel, Pearson Ed., 2003.
Systèmes d’exploitation 1
49
L'objectif de ce module est d'étudier les principes, algorithmes et organisations des
systèmes informatiques. Le but est de dégager les concepts communs à la base des
systèmes modernes tel que le temps partagé, l'ordonnancement, la gestion de la mémoire
et des disques. Des exemples d'implantation notamment dans UNIX seront évoqués. Nous
voulons insister sur l'interaction des mécanismes de base de façon à fournir aux étudiants
une vision globale du fonctionnement du système. Pour faciliter l'assimilation des
principes de base des systèmes, il paraît important d'illustrer les concepts par l'étude d'un
système réel (en l'occurrence UNIX). De plus, il est indispensable que les étudiants
puissent mettre en oeuvre les concepts du cours dans des TP. Une part importante des
séances de TD sera consacrée à des TP (près de la moitié).
Plan du cours
- Historique. Les principales composantes d'un système. Rappels sur l'architecture
d'une machine. Introduction à UNIX et Windows NT.
- Structure et organisation des systèmes (fichier, tâche, mémoire, entrées/sorties).
Modèles de multi-programmation. Gestion du temps (quantum et tics).
- Interruption horloge et ordonnancement (préemptif et non-préemptif).
- Processus Unix. Etat d'un processus. API. Signaux. Notion de thread.
- Synchronisation 1 : Synchronisation par variables partagées, Sémaphores.
- Synchronisation 2 : Schémas classiques. Interblocage. Exemple de synchronisation
dans le système Unix (IPC).
- Mémoire 1 : mémoire linéaire, segmentée, paginée.
- Mémoire 2 : Remplacement de pages. Pagination multi-niveaux. Exemples
Pentium – PowerPC.
- Entrées/sorties disque (ordonnancement de requêtes). Système de Fichiers 1.
- Système de gestion de fichiers 2 (ex Unix, NTFS).
- API des systèmes de fichiers Unix. Introduction à la communication inter-
processus : tube.
Références bibliographiques
- Silberschatz, P. Galvin Principes des Systèmes d'Exploitation, Addison-
Welsly, 1994
- Tanenbaum Systèmes d'Exploitation : Systèmes Centralisés, Systèmes
Distribués Prentice-Hall 1994
- G. Nutt Les Systèmes Ouverts, InterEdition 1995
50
• Expression régulières
• Passage des expression régulières aux automates et réciproquement
• Grammaire et automates (grammaire de Kleene)
Programmation linéaire
Ce cours dresse un panorama des techniques de modélisation utilisées en programmation
linéaire, il permet le développement d’applications industrielles en optimisation.
Plan du cours
− Rappels Mathématiques (Algèbre linéaire)
o Espace vectoriel
o Dimension, base
o Matrice, déterminant d’une matrice, inverse d’une matrice …
− Introduction et propriétés de la programmation linéaire
o Forme générale d’un programme linéaire, forme canonique, standard et mixte
o Résolution graphique, notion de polyèdre
o Résolution analytique
− Méthode du simplexe
o Introduction de la méthode, algorithme du simplexe, tableau du simplexe
o Méthodes particulières : méthode des pénalités, méthode des deux phases
o Forme révisée du simplexe
− Dualité
o Introduction, règles de passage du primal au dual
o Algorithme dual du simplexe
− Problème du transport
o Introduction du problème, graphe associé au tableau du transport
o Algorithme du transport
o Algorithme dual du transport
Références bibliographiques :
− V.Chvatal, Linear Programming, Freeman, 1980.
− M.Sakarovitvch, Optimisation Combinatoire : graphes et
programmation linéaire, Hermann, 1984.
− R.J.Venderbei, Linear Programming: Foundations and Extensions,
Princeton, 2001.
51
- Eléments de Génie logiciel : Cycle de vie d'un logiciel : analyse, modélisation,
développement, test,
maintenance.
- Modèle Orienté Objets : Introduction au paradigme objet. Classes, objets,
héritage, encapsulation.
- Méthodes, envoi de message, attachement procédural.
- Polymorphisme, résolution tardive des noms.
- Programmation : Langage type JAVA. Machine virtuelle. Applets et
graphique.
- Threads et synchronisation.
- Notions de C++.
- L'analyse orientée objet et le modèle objet.
- Réalisation d'un projet.
Semestre 5
52
Boites aux lettres
Echange de messages (modèle du client/serveur)
Communication dans les langages évolués (CSP, ADA, Java, …)
- Chapitre 4 : Interblocage
Modèles
Prévention
Evitement
Détection/Guérison
Approche combinée
- Chapitre 5 : Etude de cas : Système Unix
Principes de conception
Interfaces (programmeur, utilisateur)
Gestion de processus, de mémoire, des fichiers, et des entrèes/sorties
Synchronisation et communication entre processus
- Bibliographie
J-L.Peterson, F. Silbersharts, P.B.Galvin “Operating Systems Concepts”.
J.Beauquier, B.Berard, “Systèmes d’exploitation : concepts et algorithmes”,
McGraw Hill, 1990.
Andrew S. Tanenbaum, “Modern Operating Systems”, 2nd Edition, Prentice
Hall.
Compilation
Introduction au problème de la compilation : du texte-source au code objet en passant par
l'arbre de syntaxe abstraite sur la base d'un petit compilateur réalisé en C++ qui est déjà
introduit et maîtrisé dans les cours de TAD et d’algorithmique. Le code objet visé est réalisé
sous les environnements classiques d'analyseurs : Lex (Flex) et Yacc (Bison).
− Introduction générale à la structure d’un compilateur : analyse lexicale, analyse
syntaxique, analyse sémantique et génération du code objet
− Analyse lexicale – Lex
− Analyse syntaxique – Yacc
− Syntaxe abstraite et interprétation de l’assembleur du cours d’architecture.
− Introduction générale à l’analyse sémantique
− Introduction à la génération et à l’optimisation du code
− Génération de code pour les expressions arithmétiques et pour les structures de
contrôle (assembleur cours d’architecture)
− Application : un lexeur-parseur pour assembleur du cours d’architecture
− Introduction à la compilation des différents types de paradigmes de langages de
programmation : paradigme impératif (P-machine), paradigme orienté objet (JVM),
paradigme fonctionnel (STGM), et paradigme logique (WAM)
Références bibliographiques :
− R.Wilhelm, D.Maurer, Compiler Design, Addison-Wesley, 1996.
− A.W.Appel, Modern Compiler Implementation in Java, Cambridge, 1998.
− A.V.Aho, R.Sethi, J.D.Ullman, Compilers (Addison-Wesley) Trad. française chez
InterÉditions, 1986.
Réseaux
Ce module est une introduction au monde des réseaux informatiques. Il constitue un noyau de
base des connaissances " réseaux " dont la compréhension est essentielle, car tous les concepts
présentés sont utilisés dans les réseaux actuels et à venir. Il a comme objectifs :
53
• la compréhension des concepts fondamentaux utilisés en réseaux : structuration
d’une architecture de communication en couches, notion de protocole, principaux
mécanismes de communication tels que : contrôle d’erreur, contrôle de flux,
contrôle de congestion, commutation, mode de communication, routage,
adressage ;
• l’initiation à des protocoles courants, notamment Ethernet, IP, TCP ;
• la familiarisation de l’étudiant avec le vocabulaire " réseau ".
Nous insisterons ainsi sur les infrastructures de transport de l’information, utilisées par
les applications de l’Internet. À la fin du semestre, des séances de TD sur machine
permettent de mettre en pratique les notions vues et d’effectuer une synthèse des
connaissances acquises.
Plan du cours
• Qu’est-ce qu’un réseau ? Définitions, classifications, architectures
• Transmission physique de l’information : traitement du signal, signal
numérique/analogique, codage, circuit de données, modems
• Fiabilisation de la transmission : contrôle d’erreur, contrôle de flux, illustration
avec les protocoles HDLC et PPP
• Réseaux locaux : plan de câblage, topologie, méthodes d’accès au support de
communication, illustration avec Ethernet et Token Ring
• Réseaux grande distance : techniques de commutation, adressage, routage, contrôle
de congestion, illustration avec des réseaux d’opérateurs (X.25, Relais de Trames
ou Frame Relay, ATM)
• Interconnexion de réseaux : le protocole IP, les équipements d’interconnexion
(routeurs, commutateurs ou switches, ponts, hubs).
• Communications de bout en bout : fiabilisation et optimisation du transport de
l’information, numéros de ports, multiplexage, segmentation, contrôle d’erreur,
contrôle de flux, illustration avec les protocoles TCP et UDP
• Commandes Unix pour la configuration et l’administration d’un réseau
• Installation et configuration d’un serveur web et d’un proxy
• Fonctionnement du protocole IP et adressage IP ; interconnexion de réseaux :
notions de passerelles
• Fonctionnalités de la couche Transport, en mode connecté et en mode non
connecté ; techniques d'adressage au niveau transport
• Fonctionnement des protocoles UDP et TCP ; les sockets
• Exemples d'applications : http, mail ; accès au réseau pour les utilisateurs ;
serveurs DNS
Références bibliographiques
• Comer, D. Ed.: InterEditions. TCP/IP: Architecture, Protocoles, Applications.
• Rolin, P. Ed. : Hermès. Réseaux locaux, normes et protocoles
• Tanenbaum, A.. Ed.: InterEditions. Réseaux: Architectures, Protocoles, Applications.
54
- La résolution SLD et l’algorithme d’unification
- Sémantique des programmes PROLOG
- Le problème de la négation en PROLOG : l’hypothèse du monde clos et la
négation par échec
- Introduction à la programmation logique par contraintes
Références bibliographiques :
- F.Fages, Programmation logique par contraintes, Ellipses, 1996.
- L.Sterling, E.Shapiro, The art of Prolog: Advanced Programming
Techniques, MIT, 1994.
55
- F.Droesbeke, M.Hallin, C.I.Lefevre, Les graphes par l’exemple, Ellipses,
1987.
- C.Prins, Algorithmes de graphes, Eyrolles, 1997.
Infographie
Objectif : permettre a l'étudiant d'acquérir les outils de base de l'infographie. A l'issue du
cours, l'étudiant devrait être aisément capable de créer des applications de complexité
moyenne. Les TPs doivent aider l'étudiant a assimiler les concepts vus en cours. Un mini-
projet est prévu.
- Introduction : traitement d'images; utilisation de l'infographie; matériel et logiciel;
cadre conceptuel.
- Algorithmes de Base pour les Primitives 2D : lance du rayon, traçage de lignes,
ellipses, cercles; remplissage; remplissage avec motif et texture; styles de lignes et
de crayons; découpage de lignes, cercles ellipses et polygones; génération de
caractères; antialiasing.
- Transformations Géométriques : transformations 2D; coordonnées homogènes et
matrices représentant les transf. 2D; composition de transf.; matrices de transf. 3D.
- Affichage 3D : projection; spécification arbitraire d'une vue 3D; projections
géométriques planes; systèmes de coordonnées.
- Hiérarchie d'Objets : modélisation géométrique; modélisation des transformations;
interactions; optimisation de l'affichage des modèles hiérarchiques; limitations des
modèles hiérarchiques.
- Représentation des Courbes et Surfaces : maillage polygonal; courbes
paramétriques cubiques; surfaces paramétrique bi-cubiques; surfaces quadriques;
courbes de Bezier et surfaces de Coons.
- Lumière Achromatique et Colorée : lumière achromatique et chromatique; modèles
de couleurs; couleurs; utilisation de la couleur en infographie.
- Modélisation des Solides : représentation des solides; opérations ensemblistes;
instantiation de primitives; géométrie constructive.
- Matériel : systèmes d'affichage par balayage; contrôleur de video; processeur a
balayage aléatoire; équipement d'acquisition; scanners.
- Architectures Avancées : systèmes a processeurs; pipelines; systèmes
multiprocesseurs; architecture pipeline; architecture parallèle.
Bibliographie
- Computer Graphics: principles and practice; Foley, Van Dam, Feiner, and Hughes;
Pearson Ed., 5th Edition.
- Fundamental of Computer Graphics; Peter Shirley; Addison Wesley Ed.
Ingénierie des connaissances
- La conception d’un prototype de système de représentation de connaissances.
− Acquisition des connaissances : Apprentissage numérique ; Apprentissage
symbolique.
− Représentation des connaissances : Les différents types de connaissances (factuelles,
ontologiques,..) ; Les formalismes de représentation de connaissances (réseaux
sémantiques, frames, graphes conceptuels et logique) ; Les langages de représentations
de connaissances (KIF, XML, RDF et RDFS, OWL et la logique de description).
− Les systèmes de représentation de connaissances (KL-ONE, CLASSIC, LOOMS).
− Des systèmes experts aux systèmes à base de connaissances.
− Modélisation des connaissances.
− Conception et réalisation d’ontologies en ingénierie des connaissances.
56
− Raisonnement à partir du cas.
− Gestion des connaissances.
Références bibliographiques
− J.Charlet, M.Zacklad, G.Kassel, .Bourigault. Ingénierie des connaissances : Evolutions
récentes et nouveaux défis. Editions Eyrolles. France 2000.
− R.Teullier, J.Charlet, O.Tchounikine, Ingénierie es connaissances. Editions Harmattan,
juin 2005.
− http://www.w3.org
Cryptographie
− Initiation aux concepts fondamentaux, notamment de la théorie des nombres, et aux
méthodes de la cryptographie contemporaine
− Génération de nombres pseudo-aléatoires
− Cryptographie et algorithmes symétriques ou à clef secrète
− Cryptographie et algorithmes asymétriques ou à clef publique, ses avantages par
rapport aux algorithmes symétriques
− Algorithmes de hachage
− Etude de quelques cryptosystèmes tel que le célèbre RSA, et protocoles d’échanges de
clefs et d’authentification
− Introduction aux protocoles cryptographiques
Références bibliographiques :
− B.Schneider, Cryptographie Appliquée, Thompson, 1997.
Développement des Interfaces Graphiques
- Fonctions d’une interface
- Styles d’interactions et types d’interfaces
- Conception des IHM (modèle en cascade, prototypage)
- Outils de construction des IHM
- Le système X-Windows (protocole X11, bibliothèque Xlib, bibliothèque
Xt, les boites à outils)
- Programmation d’interfaces (TCL/TK, Motif et Java)
- Règles d’interfaçage pour les IUG (Interfaces Utilisateurs Graphiques)
- Evaluation des Interfaces
Références bibliographiques
- M. Campione, K.Walrath. The Java tutorial, (second edition) 1998.
- A. Nye et T.O’Reilly. The definite Guide to X-Windows System, (Motif
Edition) O’Reilly&Associates.
- Welch Brent balding. Practical Programming in TCL/TK (second edition),
Prentice hall, 1997.
Semestre 6
57
L’objectif de cette option est de sensibiliser le développeur à l’importance des tests dans la
mise au point de logiciels et à les préparer tout au long du cycle de vie. La maîtrise par la
pratique de techniques de test fonctionnelles et structurelles est développée.
Contenu :
· Qualité du logiciel
- Le plan d’assurance qualité comme application des concepts qualité dans le
processus de développement
· Introduction aux tests des logiciels
- Vérification et validation
- Définition du test
- Stratégie de test
- La testabilité
· Le test dans un projet logiciel
- Apport et limites du test pour le développeur
- Classification et efficacité des techniques de test
- Objectifs associés aux techniques fonctionnelles
- Objectifs associés aux techniques structurelles
· Les phases de test dans le projet de logiciel
- La construction des scénarios de test
- Les tests unitaires
- Les tests d’intégration
- Les tests de validation
- Les tests de non régression
· Le test fonctionnel
- Analyse Partionnelle
- Test aux limites
- Test aléatoire
· Le test structurel statique
- Différents types (lecture croisées, revues par les pairs,…)
- Différentes techniques (revues de code, analyse de texte, de spécification,..)
- Classes de tests statiques(unitaire, intégration, système…)
· Le test structurel dynamique
- Couverture basées sur le flot de contrôle
- Couverture basées sur le flot de données
Bibliographies
- A Practical Guide to Testing Object-Oriented Software, by John McGregor and
David A. Sykes. Addison-Wesley, 2001, ISBN: 0-201-325640
- Pressman, R.S. Software Engineering: A Practitioner’s Approach, 5th Ed.,
McGraw-Hill Companies, Inc., 2001 (for Quality assurance part)
- Object-Oriented Software Engineering Using UML, patterns and java ; B.Bruegge
et A.H.. Dutoit, Pearson Printice Hall
- Test Unitaire en Java-les tests au coeur du développement; Johannes Link, édition
Dunod.
58
Ce cours permet une compréhension approfondie de la conception des logiciels et de leurs
architectures. Plusieurs méthodes de conceptions sont introduites et plus particulièrement
UML, les “design patterns”, ainsi que la translation UML en implémentation en Java.
Plusieurs patrons architecturaux sont introduits, à savoir Corba, RMI et les architectures
client-serveur.
Plan du cours
Classes et objets: Abstraction, hiérarchie d’héritage, polymorphisme; composants
réutilisables, frameworks orientés objet, architecture client-serveur, concurrence dans les
systèmes client-serveur. La notation UML : diagrammes “use case”, diagrammes de classes,
diagrammes d’interaction, diagrammes d’état et diagrammes d’activité. “Design patterns” :
abstraction-occurrence pattern, hiérarchie générale de “pattern”, le pattern player-role,
immutable, façade, proxy, observer patterns, etc. Les patterns architecturaux : Client-Serveur,
Multi-couche, Broker, Pipe and filter, etc.
1. ntroduction à l’orienté objet
2. Frameworks et architecture client-serveur
3. Modélisation UML avec les classes
4. UML-Design Patterns
5. Modéles “Use case”
6. Interaction et comportement
7. Client-Serveur, Multi-layer, ORB et architectures Pipe filter
- “Software Design: From Programming to Architecture” by Eric J. Braude,
John Wiley & Sons, 2004, ISBN: 0 - 471- 42920 -1.
- Object-Oriented Software Engineering – Practical Software Development
Using UML and Java, Timothy C. Lethbridge and Robert Laganière. Mc
Graw Hill Publisher, 2001.
59
- Systèmes communicants et le langage Esterelle.
Bibliographies
- Comprendre les méthodes formelles, Jean-Francois Monin, Masson, 1996.
- The B-Book, J-R.Abrial, Cambridge, 1996.
- Articles dans les revues internationales du domaine.
60
Bibliographie
- Richard Blum, C# Network Programming. (Sybex 2002).
- Internet Resources
Microsoft DotNet Site: http://www.microsoft.com/net
The Code Project: http://www.codeproject.com
C-Sharp Station: http://www.csharp-station.com
C-Sharp Corner: http://www.csharp-corner.com
Oreilly DotNet: http://dotnet.oreilly.com/
DotNet QuickStart Tutorial: http://www.gotdotnet.com/quickstart/
Option : Optimisation
Responsable : Lebbah Y.
− Complexité des problèmes : P, NP, et problèmes indécidables
− Introduction à la complexité des algorithmes
− Méthodes approchées : principes des méthodes approchées, le récuit simulé, la
méthode tabou, et algorithmes génétiques.
− Méthodes par séparation évaluation : exemple du problème du sac à dos, principe de
séparation, principe d’évaluation des bornes, applications (sac à dos, voyageur de
commerce, …)
− Compléments à la programmation linéaire (PL) : analyse de sensibilité en PL, …
− Compléments à la théorie des graphes : couplage, couplage avec poids (algorithme
hangrois), …
− Introduction à la programmation dynamique
− Introduction à la programmation en nombre entier
− Introduction à la programmation non linéaire
Références bibliographiques :
- C.H.Papadimitriou, K.Steiglitz, Combinatorial Optimization: Algorithmes
and Complexity, Dover, 1998.
- I.Charon, A.Germa, O.Hudry, Méthodes d’optimisation combinatoire,
Masson, 1996.
- W.L.Winston, Mathematical Programming, PWS-KENT, 1991.
- D.Jungnickel, Graphs, Networks, and Algorithms, Springer, 2002.
- H.P.Wiliams, Model Buidling in Mathematical Programming, Jhon Wiley
and Sons.
Option : Traitement d'image
Responsable : Ouali M.A.
- Introduire l'étudiant au concepts de base du traitement du signal 2D et d'image. Etude
d'algorithmes de base pour la vision de bas niveau tels que le filtrage, suppression de
bruit, détection de contours, segmentation, égalisation d'histogramme.
- Images et Traitement Numérique
- Histogramme des Niveaux de Gris : relation entre histogramme et image; utilisation
des histogrammes.
- Opérations Ponctuelles : opérations et histogrammes; application des opérations
ponctuelles.
- Opérations Algébriques : opérations et histogrammes; application des opérations
algébriques.
- Opérations Géométriques : interpolation des niveaux de gris; transformations
spatiales; applications.
61
- Théorie des Systèmes Linéaires : analyse des harmoniques et signaux complexes; la
convolution; le filtrage.
- Transformée de Fourier : systèmes linéaires et transformée de Fourier; transformée de
Fourier 2D; corrélation.
- Filtres : passe-bas; passe-bande; stop-bande; filtre améliorent les hautes fréquences;
filtre linéaire optimal; filtres d'ordre statistique.
- Transformées Discrètes : transformations linéaires; base de fonctions et base d'images;
transformation sinusoïdale; transformée rectangulaire; transformée basée sur les
vecteurs propres.
- Analyse des Systèmes et Optiques : optiques; systèmes d'acquisition; diffraction
limitée; aberrations; résolution; analyse de systèmes complets.
Bibliographie
1. Digital Image Processing; K. Castleman; Prentice Hall; 1996.
2. Fundamentals of Digital Image Processing; A.K. Jain; Prentice Hall; 1989.
3. Digital Image Processing; Gonzalez and Woods; Addison Wesley, Reading; 1992.
62
- Détection de Contours et Gradient Morphologique : suite d'operations, contours,
algorithmes de détection.
- Etiquetage Morphologique.
- Transformée en Distance.
- Algorithmes de Segmentation : outils de segmentation, algorithme de la ligne de
partage des eaux.
- Transformée en Tout ou Rien.
- Amincissement et Squelettisation.
- Application en Traitement d'Image
Bibliographie
1. Image Analysis and Mathematical Morphology; J. Serra; Academic Press; 1989.
2. Morphological Methods in Image and Signal Processing; Giardina and Dougherty;
Prentice-Hall; 1988.
63
Chapitre 2 : l’aide multicritère à la décision
1. Introduction
2. décision monocritère et décision multicritère
3. modélisation multicritères : Modélisation des préférences, Concepts de critères.
4. problématiques multicritères en aide à la décision : les méthodes de pondération
simple, les méthodes fondées sur la théorie de l’utilité multi-attributs, les méthodes de
surclassement, la méthode Prométhée, la méthode AHP, les méthodes Electre 1,
Electre IS, Electre Tri.
Chapitre 3 : L’approche multicritère en milieu Industriel
1. Introduction
2. Application au pilotage de SAP (Exemple)
3. Spécification d’un SIAMD en pilotage hybride SAP : Structure du SIAMD,
Modélisation des données, Déroulement des processus décisionnels
4. Evaluation par des exemples pratiques : SAD pour la régulation d’un réseau de
transport urbain, SAD pour l’aménagement du territoire, SAD pour la maintenance
d’un système de production.
Chapitre 4 : Supervision et coopération Homme-machine : approche système
1. Introduction
2. La conduite et la supervision des grands systèmes
3. Exemples de modèles de l’opérateur humain et du système Homme-Machine :
Courants « facteurs humains », Courant « automatique humaine », Courant
« ingénierie cognitive ».
4. Degré d’automatisation du système Homme-Machine : Critères d’attribution des
tâches, Définition du parage des tâches entre Homme et Machine.
5. Les approches structurelles de la coopération Homme-Machine : Structure verticale,
Structure horizontale.
6. Vers une spécification de la coopération : Savoir-Faire, Savoir-Coopérer, structure et
résolution de problème, Proposition de définition du Savoir-Coopérer (SC).
7. Formes coopératives et Savoir-Coopérer : Coopération augmentative et Savoir-
Coopérer, Coopération confrontative et Savoir-Coopérer, Coopération intégrative et
Savoir-Coopérer.
8. Conclusion
Contenu du module
64
- Interfaces pour capteurs et actionneurs
- Supervision et régulation
- Architecture des systèmes embarqués
- Systèmes d'exploitation temps réel
- Programmation temps-réel
65
Introduction générale
Chapitre 1 : Les Réseaux Ad hoc Sans Fil (RASF)
- Présentation, caractéristiques et applications
- Routage dans les RASF
o Proactif
o Réactif
o Exemples de protocoles
- Sécurité des RASF
Chapitre 2 : les Réseaux de Capteurs Sans Fil (RCSF)
- Introduction aux RCSF
- Caractéristiques des RCSF
- Applications des RCSF
- Architecture matérielle type d’un noud capteur
- Architecture protocolaire
o Couche physique
o Couche liaison de données
o Couche réseau
o Couche transport
o Couche application
- Les algorithmes de routage
o Routage orienté données
o Routage hiérarchique
o Routage à base de position
o Routage avec qualité de service
- Problématique de la gestion de l’énergie
o Energie comme métrique de performance
o Modèle de l’énergie
o Optimisation (durée de vie d’un nœud capteur et du RCSF)
- défis
o Localisation
o Tolérance aux pannes
o Couverture
o Dissémination des données (agrégation, filtrage, …)
o Gestion optimale de l’énergie
o Sécurité
o Auto-alimentation en énergie
66
- Autres kits d’expérimentation
- Les standards
o IEEE 802.15.4
o ZIGBEE ALLIANCE
o IEEE 802.15.3 (UWB)
o IEEE 1451.5 WIRELESS SMART TRANSDUCER INTERFACE
67
II. Précis de Répartition : Définition et problématique
c. Pourquoi répartir ?
d. Inconvénients de la répartition
e. Exemples de répartition
i. Répartition par accès distant (maintien d’un chef d’orchestre)
ii. Répartition par image
iii. Répartition par circulation
iv. …
III. Réplication
f. Définition
g. Avantages et Inconvénients
h. Caractéristiques des protocoles de réplication
i. Quelques protocoles de réplication (Passif, Actif, Semi Actif,…)
j. Mise en œuvre des protocoles de réplication dans les environnements à
grilles
k. Etude comparative entre les protocoles de réplication
IV. Cohérence
l. Définition
m. Caractéristiques des protocoles de cohérence
n. Quelques protocoles de cohérence (ROWA, ROWAA, QUORUM,…)
o. Etude comparative entre les protocoles de cohérence
Réferences:
[1] : Stéphane Drapeau, « RS2.7 : un canevas adaptable de services de duplication », Doctorat, Institut
National Polytechnique, Grenoble, France, 2003.
[2] : Vania Marangozova, «Duplication et cohérence configurables dans les applications réparties à
base de composants », Doctorat, Université Joseph Fourier, France, 2003.
[3] : Michel Raynal, « Gestion des données réparties : problèmes et protocoles », Tome 3 d’une
introduction aux principes des systèmes répartis, Editions EYROLLES, Paris, 1992.
[4]: J. Gray et al. The dangers of replication and a solution. In Proc. Of ACM SIGMOD Conf., 1996.
[5]: David Gordon Cameron, « Replica Management and Optimisation for Data Grids », Doctor of
Philosophy, Department of Physics and Astronomy, University of Glasgow, November 2004.
Plan du cours
• Introduction aux grilles : organisations virtuelles, projets de grilles à travers le monde,
Teragrid,
• Organisations des grilles
• Architectures orientées services.
68
• Technologies de base d’Internet : IP, http, UDP, TCP
• Sécurité : authentification, autorisation, autorisation inter-institution, LDAP,
criptographie à clé symétrique et asymétrique (publique/privée), non répudiation,
algorithm RSA, signatures numériques, certificats, autorités de certification, X509
• Grid Security Infrastructure (GSI)
• Services Web: XML, SOAP, Apache, Tomcat, Axis, WSDL
• Concepts de service de grille: OGSA, OGSI, Web Services Resource Framework
(WSRF)
• Globus Toolkit (GT)
• La sécurité dans GT
• Gestion des ressources dans GT : GRAM, soumission de jobs, RSL (Resource
Specification Language), schedulers, brokers
• Les services d’information dans GT : MDS, GRIS, GIIS, UDDI
• Techniques de programmation parallèle pour les grilles
• Cluster computing et techniques de passage de message: historique, Beowulf clusters,
modèles de programmation (MPMD, SPMD), passage de message synchrone, passage
de message asynchrone, exécution d’un programme MPI simple sur la grille
Références bibliographiques
[1] Ian Foster, Carl Kesselman, The Grid: Blueprint for a New Computing Infrastructure,
1998
[2] Ian Foster, Steve Tuecke, The anatomy of the grid, 2000
[3] The physiology of the Grid: an Open Grid Services Architecture for Distributed Systems
Integration. Global Grid Forum document
[4] I. Foster, C. Kesselman, J.M. Mick, S. Tuecke, The physiology of the GRID
[5] European Union DataGrid Project, http://www.eu-datagrid.org
69