Programme SpécialitéSIQ

EcolenationaleSuprieuredInformatique(ESI)
3SIQ
3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 1/9
Objectifs :
Comprendre les concepts de base des systmes dexploitation centralis, leur structure
et leur fonctionnement
Matriser leur utilisation grce aux travaux pratiques
Chapitre 1 : Les mcanismes de base 1.1.Rappels et dfinitions 1.2.Les interruptions Dfinitions Niveaux d'interruptions et priorit Masquage et inhibition des interruptions Schma gnral d'un programme de traitement d'interruption Droutements Appels au superviseur Exemples de systmes d'interruptions
L'IBM 360/370 Le Motorola MC68000 L'Intel 80x86

Chapitre 2 : Les Entres/Sorties Logiques 2.1. Rappels Priphriques d'entres/sorties Les contrleurs de priphriques Canal (ou unit d'change) et Contrleur DMA Les principaux modes de pilotages de priphriques (devices drivers)
40
3SIQ
2.2. Les priphriques virtuels (ou flots d'e/s) 2.3. Problmes lis aux vitesses de traitement
Tampons en mmoire principale Tampons sur mmoire secondaire: ou SPOOL (Simultaneous peripheral Operation On Line)
Chapitre 3 : Les processus et lordonnancement 3.1. Introduction 3.2. Notion d'vnement 3.3. Processus squentiels (tches) Dfinition d'un processus squentiel Etats d'un processus Transitions d'un processus d'un tat un autre Bloc de contrle d'un processus (PCB) Oprations sur les processus
Cration d'un processus Destruction de processus

3.4L'allocateur du processeur Les ordonnanceurs (Schedulers)
Ordonnanceur des travaux (Job scheduler ou long termscheduler) Ordonnanceur du processeur (CPU scheduler ou short termscheduler)
Critres de performance des algorithmes d'allocation du processeur Diffrentes stratgies d'allocation
Algorithmes sans recyclage Premier arriv premier servi (FIFO), Le plus court dabord ( SJF: Shortest Job First)
41
3SIQ
Algorithmes avec rquisition (premption) Tourniquet (Round-robin) Ordonnancement avec files multi-niveau Ordonnancement avec files multi-niveaux avec recyclage
Chapitre 4 : LExclusion mutuelle et la synchronisation 4.1.Relations entre processus Processus parallles Diffrents types de processus parallles 4.2.L'exclusion mutuelle
Dfinitions Ralisation de l'exclusion mutuelle Hypothses de travail (Dijkstra) Solutions logicielles: Utilisation de variables communes Solutions matrielles Les interruptions, Linstruction TAS, Linstruction LOCK XCHG du 80x86 Les smaphores de Dijkstra Implantation des primitives P et V
4.3.Synchronisation des processus Dfinition Expression des contraintes de synchronisation Spcification de la synchronisation Les problmes-types Les techniques de synchronisation
42
3SIQ
Exemples
Allocateur de ressources Le modle des lecteurs/rdacteurs Le rendez-vous

Communication par variables communes
Dfinition Schma gnral du producteur-consommateur Gestion des tampons

Chapitre 5 : La Gestion de la mmoire 5.1. Introduction Gestionnaire de la mmoire Rappels (hirarchie des mmoires, ditions de liens et chargement) 5.2. Lallocation contigu de la mmoire principale Gestion de la mmoire dans les systmes monoprogramms Technique de va-et-vient (swapping) Les systmes multiprogramms
Gestion de la mmoire avec la technique des partitions fixes Gestion de la mmoire avec la technique des partitions variables
5.3.La gestion de la mmoire virtuelle Introduction Adresses logiques et adresses physiques Espace d'adressage logique et espace d'adressage physique Les objectifs du concept de mmoire virtuelle La pagination Dfinition La pagination un niveau La traduction des adresses virtuelles en adresses relles
43
3SIQ
Limplantation de la table de pages La pagination plusieurs niveaux La table de page inverse Le choix de la taille de page La mmoire associative Protection et partage des pages (code et des donnes) La segmentation Dfinition La traduction des adresses virtuelles en adresses relles Implmentation de la table de segments Protection et partage de segments La fragmentation. Segmentation avec pagination Traduction d'une adresse virtuelle en adresse relle Exemples
Machines Intel 80x86 Systme Linux Systme MULTICS(GE645)

5.4.La pagination la demande Reprsentation des espaces virtuels et de l'espace physique des processus
Reprsentation des espaces virtuels des processus Reprsentation de l'espace physique

Dtection et traitement d'un dfaut de page
Dtection de dfaut de page Traitement des dfauts de page

Les algorithmes de remplacement
L'algorithme FIFO L'algorithme optimal (OPT ou MIN)

44
3SIQ
L'algorithme LRU (Least Recently Used) L'algorithme de seconde chance et l'algorithme de l'horloge L'algorithme LFU (ou NFU) : Least frequently used/moins frquemment utilise L'algorithme du vieillissement (Aging) L'algorithme NRU (Not recently used: non rcemment utilise)
Chargement des programmes en mmoire centrale
L'allocation des cases (pages relles) Le remplacement global et le remplacement local Les algorithmes d'allocation
L'croulement (thrashing) d'un systme multiprogramm
Proprit de localit et espace de travail(Working Set) Prvention de l'croulement l'aide du working set Mise en uvre du modle du working set La frquence de dfaut de page (PFF)
Chapitre 6 : La gestion de la mmoire secondaire 6.1.Introduction Structure des disques Formatage des disques 6.2.La gestion des transferts disque (mmoire secondaire)
L'optimisation du dplacement des ttes des disques bras mobile FCFS(First Come First Served) SSTF (Shortest Seek Time First) Scan (technique de l'ascenseur) et C-Scan (Circular Scan), Look et C-Look N-Step-SCAN et FSCAN
Optimisation du dlai de rotation (temps de latence)
Une file unique : FCFS Une file par secteur : SATF (Shortest Acces Time Frist) ou Sector Queueing
45
3SIQ
6.3.Les caches disque 6.4.Les disques RAID (Redundant Arrays of Independent Disks)
Le RAID de niveau 0 (RAID 0) ou stripping Le RAID de niveau 1 (RAID 1) ou mirroring Le RAID de niveau 2 (RAID 2) Le RAID de niveau 3 (RAID 3) Le RAID de niveau 4 (RAID 4) Le RAID de niveau 5 (RAID 5)
Chapitre 7 : Les systmes de gestion de fichiers 7.1. Introduction Dfinition : fichier, article, bloc, facteur de blocage, Bloc logique et bloc physique (enregistrement physique) Fonctions d'un systme de gestion de fichiers (SGF). 7.2. Oprations sur les fichiers Cration d'un fichier Ouverture d'un fichier Fermeture d'un fichier Destruction d'un fichier 7.3. Organisation des fichiers Organisation logique, organisation physique et mode d'accs L'organisation squentielle L'organisation directe L'organisation squentielle indexe cl unique L'organisation squentielle indexe cls multiples 7.4. Les systmes de fichiers
46
3SIQ
Descripteur de fichier Structure des rpertoires
Rpertoire un niveau Rpertoire hirarchis ou plusieurs niveaux Exemples : Systmes de fichiers FAT, NTFS et UNIX/LINUX
7.5. Lallocation de l'espace disque L'allocation contigu L'allocation non contigu
Taille des blocs Reprsentation des blocs libres
Mthodes d'allocation non contigu : Blocs chans, Tables d'index

et fichier d'allocation
Exemples : Systmes de fichiers FAT, NTFS et UNIX/LINUX

7.6. Scurit et protection des fichiers La scurit La protection Protection par le nom, Les mots de passe, Les matrices de contrle d'accs, Contrle d'accs par classe d'utilisateurs Exemples : Protection dans le systme de fichiers NTFS Protection dans les systmes de fichiers Unix et Linux
47
3SIQ
Travaux Pratiques
1. Etude dun systme Unix (Linux) ; 2. TP sur la Gestion des processus Unix. 3. Un ou deux TP sur les thmes suivants : Systme dinterruptions de lIntel 80x86 Ralisation dun mini shell (unix) Algorithmes de gestion mmoire. Systmes de gestion de fichiers
Bibliographie
R. E. Bryant and D. R. OHallaron Computer System : A programmers perspective Prentice hall 2003 S. Krakowiak Principes des systmes dexploitation des ordinateurs; Dunod 1985 A. Silberschatz, P. B. Galvin et G. GAGNE Principes des systmes dexploitation, 7e dition Addison-Wesley 2005 W. Stalling Operating Systems - Internals and Design Principles, 6th edition Prentice Hall 2006 Andrew. S. Tanenbaum and Albert. S. Woodhull Operating Systems Design and Implementation, Third edition Prentice Hall 2006
48
3SIQ
3me Anne Systmes d'Informatiques THEORIE DES LANGAGES CODE : THL3 1/3
Objectif : Dfinir la notion de langage formel Introduire la classification de Chomsky, Classer un langage dans la hirarchie de Chomsky. Montrer quun langage appartient une classe dtermine Montrer lquivalence entre les grammaires rgulires et les automates dtat finis Montrer lquivalence entre les grammaires algbriques et les automates pile Montrer limportance des langages algbriques notamment dans la dfinition des langages de programmation Dfinir les caractristiques des automates bornes linaires Montrer lquivalence entre les grammaires contexte li et les automates bornes linaires Dfinir les caractristiques des machines de Turing et montrer lquivalence entre les grammaires sans restrictions et les machines de Turing Etudier le problme de larrt de la machine de Turing Chapitre 1 : Rappels mathmatiques
1.1. Relation, classe d'quivalence, ensemble quotient 1.2. Relation d'ordre, fermeture rflexive, fermeture transitive.
Chapitre 2 : Introduction aux langages

2.1. Alphabet, Mots (Dfinition ; oprations, relations sur les mots) 2.2. Langages (Dfinition, oprations sur les langages)
Chapitre 3 : Grammaires
3.1. Dfinitions 3.2. Drivations (gauche, droite, arbre de drivation) 3.3. Ambigut, 3.4. Langage gnr par une grammaire 3.5. Classification de Chomsky
49
3SIQ
Chapitre 4 : Langages rguliers (rguliers rationnels)

4.1 Automates dEtats Finis Dfinitions : automate simple, dterministe, complet, automates dtats finis non dterministe, quivalence entre les automates non dterministes et les automates dterministes, automates gnraliss, quivalence entre les automates gnraliss et les automates simples. 4.2 Expressions Rgulires Dfinition, quivalence entre les automates dtats finis et les expressions rgulires. 4.3 Grammaires Rgulires et Automates dEtats Finis. 4.4 Proprits des langages rguliers. 4.5 Lemme de ltoile.
Chapitre 5 : langages contexte libre (Langages algbriques)

5.1 Automates pile Dfinitions, langage reconnu par un automate pile quivalence entre les automates pile et les automates pile vide, 5.2 Grammaire contexte libre Dfinition, simplification, rcursivit directe et indirecte, forme normale de Chomsky, forme normale de Greibach. 5.3 Equivalence entre les automates pile et grammaires algbriques. 5.4 Proprits des langages contexte libre. 5.5 Lemme de la double toile.
50
3SIQ
Chapitre 6 : Langages contexte Li

6.1. Automates bornes linaires, 6.2. Grammaire contexte li, 6.3. Grammaire monotone, 6.4. Equivalence entre les grammaires monotones et les grammaires contexte li, 6.5. Proprits des langages contexte li.
Chapitre 7 : Langages sans restrictions

7.1 Machine de Turing,
7.2 Langage rcursivement numrable, 7.3. Arrt d'une MT, 7.4. Machine de Turing non dterministes 7.5. Machine de Turing multi-rubans.
Travaux Pratiques BIBLIOGRAPHIE : Aho, A., Ullman, J.D., The Theory of Parsing, Translation, and Compiling, Prentice Hall, Inc., Englewood Cliffs, New Jersey, 1972
Autebert, J.M., Thorie des Langages et des Automates, Masson, Paris, 1984. Denining, P.J., Qualiz, Machines, Langages, and Computations, Prentice Hall., Englewood Cliffs, New Jersey, 1978. Floyd, R., Biegel, R., Le Langage des Machines Introduction la calculabilit et aux langages formels, Thomson Publishing France, 1994. Hopcroft, J.E., Ullman, J.D., Introduction to Automata Theory and Computation, Addison Wesley Publishing Company, 1979. Wolper, Pierre, Introduction la calculabilit, InterEditions, Paris, 1991.
51
3SIQ 3me Anne Systmes Informatiques STRUCTURE MACHINE CODE : STRM3 1/3 Objectif : Etude des microprocesseurs Etude des diffrentes architectures de microprocesseurs Etude de linterfaage analogiques/numriques. Etude des processus de fabrication et de conception des microprocesseurs Utilisation des outils de modlisation et de simulation Chapitre 1 : Historique et volution des microprocesseurs Chapitre 2 : Diffrentes architectures des systmes base de microprocesseurs 2.1. Architectures base dun seul microprocesseur o Architecture simple o Architecture avec coprocesseur ; DMA o Architecture bus partag 2.2. Architecture base de plusieurs processeurs. (bus VME, MULTIBUS, et autresetc)
Chapitre 3 : Etude dtaille du microprocesseur 68000 de Motorola et comparaison avec le microprocesseur 8086-80286 dIntel 3.1. Architecture matrielle et chronogrammes 3.2. Interfaage avec des mmoires et E/S. Mapping et Dcodage dadresses Chronogrammes et cycle dhorloges (rallongement de cycles) Interruptions et exceptions. 3.3. Assembleur du 68000 Modes dadressages Catgories et familles dinstructions (exemples).
52
3SIQ
3me Anne : Systmes Informatiques STRUCTURE MACHINE CODE : STRM3 2/3
Chapitre 4 : Les Entres Sorties o 4.1. ACIA entres sorties de communication srie assynchrone.
Aspect matriel (brochage et dcodage) Aspect programmation Exemples dinterfaages dans un systme base du microprocesseur 68000 avec ((imprimante ; deux systmes, ..) o 4.2. PIA adaptateur dinterfaces parallles : Aspect matriel (brochage et dcodage) Aspect programmation Exemples dinterfaages dans un systme base du microprocesseur 68000 avec ((imprimante ; communication de deux systmes, ..) Chapitre 5 : Introductions aux circuits dinterfaages analogiques/numriques o Introduction aux diffrents capteurs (Temprature, poids, vitesse..). o Introduction aux convertisseurs numriques- analogiques et analogiquesnumriques. o Exemple dinterfaages (balance numrique ; rgulation de temprature..) Chapitre 6 : Introductions aux processus de fabrication et de conception des microprocesseurs o Introduction aux procds de fabrication de microprocesseurs o Outils de simulations et tests Chapitre 7 : VHDL o 7.1. Introduction aux outils de modlisation de simulation et de synthse de circuits lectroniques o 7.2. Introduction et tude du VHDL ; Architecture dun programme en VHDL. Notions de programmation concurrente et squentielle.
53
3SIQ
3me Anne : Systmes Informatiques STRUCTURE MACHINE CODE : STRM3 3/3
Simulation de circuits squentiels et combinatoires. Exemple de simulation de circuits lectroniques : o Circuits logiques combinatoires (multiplexeursdcodeurs).. o Additionneur n bits, compteurs nbits. Manipulation de loutil ISE de xilinx.
Travaux Pratiques Programmation dun droutement dinterruptions (exemple division par zro) en utilisant le logiciel (easy68k) Ralisation dune balance lectronique Simulation de plusieurs circuits lectroniques en utilisant le logiciel ISE
BIBLIOGRAPHIE : DUBOIS R et GIROD D., "Les microprocesseurs la loupe", Eyrolles. GINDRE M. et ROUX D., "Comprendre les microprocesseurs (Tome 3)", McGrawHill. JAULENT P., "Le microprocesseur 68000 et sa programmation", Eyrolles. LEIBSON S.,"Manuel des interfaces", Mc Graw-Hill. RIVELLIN G., "Microprocesseurs du 6800 au 6809, modes d'interfaage", Dunod. VIELLEFOND C.,"Mise en uvre du 68000", Sybex.
54
3SIQ
3me Anne Systmes Informatiques ANALYSE NUMERIQUE CODE : ANUM3 1/3
Objectif :
Comprendre le pourquoi et la base des mthodes danalyse numrique Matriser des techniques d'approximation et de calcul d'erreur Acqurir et maitriser des mthodes numriques standards programmables Avoir la capacit de faire le bon choix de mthodes numriques pour rsoudre un problme donn issu dune situation relle
Chapitre 1 : Rsolution des quations non linaires de la forme f(x)=0 1- Exemple motivant. 2- Mthode de Dichotomie. 3- Mthodes du point fixe. 4- Mthode de Newton. Chapitre 2 : Interpolation polynomiale 1234Exemple motivant. Interpolation de Lagrange. Mthodes des diffrences divises et diffrences finies. Etude de l'erreur de l'interpolation.
Chapitre 3 : Intgration numrique 1234Exemple motivant. Mthode gnrale (formules de quadrature). Formules de quadrature de Newton-Cotes simples et composites. Etude de l'erreur.
Chapitre 4 : Rsolution des systmes linaires par des mthodes directes 1- Exemple motivant. 2- Rappels et complment sur l'analyse matricielle. 3- Mthode de gauss.
55
3SIQ
4- Dcomposition et mthode LU. 5- Mthode de Cholesky. Chapitre 5 : Rsolution des systmes linaires par des mthodes itratives 1- Gnralits sur les mthodes itratives classiques pour les systmes linaires. 2- Mthode de Jacobi. 3- Mthode de Gauss-Seidel. 4- Mthode de relaxation. 5- Etude de l'erreur d'approximation. Chapitre 6 : Calcul numrique des valeurs propres 1- Exemple motivant. 2- Mthode QR. a) La dcomposition QR : - Par le procd d'orthonormalisation de Gram-Shmidt. - Par la mthode de House-Holder. b) Mthode QR pour le calcul des valeurs propres. 3- Mthode de Jacobi. 4- Mthode des puissances itres. Chapitre 7 : Rsolution numrique Equation Diffrentielle Ordinaire (EDO) avec conditions initiales 123a) Exemple motivant. Gnralits et dfinitions. Mthodes numriques par pas : Mthode d'Euler.
b) Mthode de Range-Kutta Dordre 2 Dordre 4 4- Etude de l'erreur.
56
3SIQ
Travaux Pratiques
BIBLIOGRAPHIE :
Polycopi du cours.
Philippe G. Ciarlet, Introduction l'analyse numrique matricielle et l'optimisationCours et exercices corrigs, Editeur : Dunod. Michelle Schatzman, Analyse numrique - une approche mathmatique- cours et exercices, Editeur : Dunod. Moise Sibony et Jean-claude Mardon, Systmes linaires et non linaires, Analyse numrique T1, Editeur : Hermann.
57
3SIQ
3me Anne Systmes Informatiques
RECHERCHE OPERATIONNELLE CODE : ROP3 Objectif : Donner une base mathmatique pour aborder les problmes d'optimisation Interprter, structurer et modliser des donnes Matriser les techniques dordonnancement et doptimisation des problmes Etudier la programmation linaire 1/3
PARTITE I : THEORIE DES GRAPHES ET RESEAUX

CHAPITRE 1 : CONTEXTE DE LA RECHERCHE OPERATIONNELLE
1-1-Introduction la recherche oprationnelle 1-2-Mthodologie de la recherche oprationnelle (Analyse, systmique, formulation, construction et validation de modle, drivation d'une solution et implmentation. 1-3-Etude de cas.
CHAPITRE 2 : NOTIONS FONDAMENTALES DE LA THEORIE DES GRAPHES
2-1-Dfinitions 2-2-Connexit simple et forte -Algorithme de construction 2-3-Coloration 2-4-Graphes biparti et plannaires.
CHAPITRE 3 : ARBRES ET ARBORESCENCES
3-1-Arbres et arborescences - proprits 3-2-le problme de l'arbre de poids minimum -Algorithme de kruskal 3-3 -Application et Travaux pratiques
58
3SIQ
RECHERCHE OPERATIONNELLE CODE : ROP3 2/3
CHAPITRE 4 : PLUS COURT CHEMIN
4-1-Problme du plus court chemin : position du problme, thorie fondamentale 4-2-Arborescence des plus courts chemins - proprits 4-3-Algorithmes du plus court chemin : Djikstra, Dantzig et Ford . 4-4-Application et Travaux pratiques.
CHAPITRE 5 : PROBLEME DU FLOT MAX. ET ALGORITHME DE FORD-FULKERSON
5-1-Le problme du flot maximum : position du problme 5-2-Algorithme de Ford et Fulkerson 5-3-Le thorme de la coupe minimum 5-4-Flots compatibles 5-5 -Application et Travaux pratiques
CHAPITRE 6 : PROBLEME CENTRAL DORDONNACEMENT
6-1-Le problme d'ordonnancement : position du problme 6-2-rseau associ un projet 6-3-mthode PERT : cas dterministe et cas alatoire 6-4-Optimisation d'un ordonnancement : la mthode CPM 6-5-Application et T.P
59
3SIQ
RECHERCHE OPERATIONNELLE CODE : ROP3 3/3
PARTIE II : PROGRAMMATION LINEAIRE

CHAPITRE 1 : INTRODUCTION ET PROBLEMATIQUE
1-1-Formulation et exemples 1-2-Rsolution graphique 1-3-Algorithme du simplex 1-4-L'analyse sensitive et post-optimale 1-5-La dualit et son interprtation 1-6-Applications et Travaux pratiques
CHAPITRE 2 : PROBLEME DE TRANSPORT ET DAFFECTATION
2-1-Le problme de transport Algorithme de BALAS-HAMER et STEPPING STONE 2-2-Le problme d'affectation : Algorithme hongrois 2-3-Applications et Travaux pratiques
BIBLIOGRAPHIE
G.B DANTZIG : Linear programming and extensions (1963) Princeton University Press G.B DANTZIG et PWOLFE (1960) :Dcomposition principle for linear programming O.R.8 (101-111) LR FORD et DR.FULKERSON: Flows and networks Princeton University Press M.GONDRON et M.MINOUX (1984) : Graphs and Algorithms Wiley Interscience G.HADLEY (1962) : Linear programming M.SIMONNARD (1966) : Linear Programming Printice Hall R.BRONSON (1982) : Operations Research Srie Shaum
60
3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 1/10
Objectif : Former ltudiant sur les nouvelles technologies des rseaux de communication Acqurir les concepts de transmission des donnes Connatre les protocoles et technologies des rseaux locaux Connatre les protocoles et technologies des rseaux tendus Matriser les diffrents concepts lis la conception, construction et configuration dun rseau local Connatre les services et composants internet Concevoir un rseau tendu et de configurer le routage de linformation dessus
Chapitre 1 : Gnralits sur les rseaux

1. Dfinitions 2. Historique des rseaux 2.1. Rseaux de terminaux (dfinition de : centre de traitement, terminal, modem, frontal, multiplexeur) 2.2. Rseaux dordinateurs (dfinition de : concentrateur, carte rseau, hub/switch, routeur) 3. Topologies de rseaux 4. Normalisation des rseaux 5. Evolution des rseaux de tlcommunication 5.1. Rseau Tlphonique Public Commut : RTPC 5.2. Rseau Tlex 5.3. Rseau commutation de paquet 5.4. Rseau RTPC 64 5.5. Rseau smaphore CCITT n7 5.6. Rseau Satellite 5.7. Rseau numrique Intgration de Services : RNIS
61
5.8. Rseau sans fil 5.9. Rseau ADSL (Asymmetric Digital Subscriber Line) 5.10 Rseau Internet 6. Architecture en couches des rseaux informatiques 6.1. Modle OSI 6.2. Transmission des donnes au travers du modle OSI 6.3. Primitives de service 6.4. Systme de protocoles TCP/IP 6.5. Transmission des donnes au travers du modle TCP/IP
Chapitre 2 : Transmission de donnes

1. Transmission analogique, transmission numrique 2. Transmission parallle, transmission srie 3. Sens de la transmission 4. Techniques de synchronisation 5. Dfinition dun ETTD, ETCD 6. Rapport entre signal et support de transmission 6.1. Bande passante du support 6.2. Spectre dun signal 6.3. Consquences de la bande passante sur le dbit dinformation et les signaux transmettre 7. Transmission en bande de base 7.1. Les codes 2 niveaux (NRZ, Manchester, Miller) 7.2. Les codes 3 niveaux (Bipolaire simple, BHDn)
62
3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3

7.3. Rapidit de modulation et dbit de transmission 7.4. Thorme de Nyquist 8. Transmission en bande transpose ou par modulation dune porteuse 8.1. Thorme de Nyquist 8.2. Modulation damplitude 8.2.1. Modulation 8.2.2. Dmodulation cohrente 8.2.3. Dmodulation par dtection denveloppe 8.2.4. Diagramme spatial 8.2.5. Modulation de deux porteuses en quadrature (MAQ) 8.2.6.Dmodulation MAQ 8.3. Modulation de phase 8.4. Modulation combine damplitude et de phase 8.5. Modulation de frquence 9. Modems standardiss 10. Interfaces ETTD-ETCD 10.1. Jonction V24 10.2. Jonction X21 11. Supports d'interconnexion 11.1. Les fils mtalliques tlphoniques 11.2. Les cbles coaxiaux
3/10
63

11.3. Les fibres optiques 11.4. Les ondes
4/10
Chapitre 3 : Technologie des rseaux locaux

Dfinition 1. Types de rseaux 2. Topologies 3. Matriel utilis 4. Protocoles daccs aux rseaux locaux 5. Technologies 5.1. Technologie Ethernet 5.1.1. Composants dun rseau Ethernet 5.1.2. Topologies de rseau Ethernet 5 .1.3. Protocole daccs au rseau Ethernet : CSMA/CD 5.1.4. Structure de la trame Ethernet 5.2. Technologie Token Ring 5.2.1. Topologies de rseau Token Ring 5.2.2. Structure de la trame Token Ring 5 .1.3. Protocole daccs au rseau Token Ring : (technique du jeton, technique daisychain) 5.3. Technologie FDDI (Fiber Distributed Data Interface) 5.3.1. Topologie de rseau FDDI 5.3.2. Tolrance aux pannes
64
Chapitre 4 : Technologie des rseaux tendus

Dfinition 1. Commutation 1.1. Commutation de circuits (RNIS) 1.2. Commutation de paquets (X25) 1.3. Relais de trames 1.4. Relais de cellules (ATM) 2. Protocoles de liaison de donnes 2.1. Fonctions dun protocole de liaison de donnes 2.2. Fonctionnement dune liaison de donnes 2.3. Les phases dune procdure de commande 2.4. Protocoles de liaison de donnes 2.4.1. Procdure synchrone base sur le caractre 2.4.2. Procdure synchrone base sur le bit (HDLC, SLIP, PPP) 3. Les politiques daccs aux canaux longue distance 3.1. Les politiques de rservation 3.1.1. Accs multiple rpartition en frquence : AMRF 3.1.2. Accs multiple rpartition dans le temps : AMRT 3.2. Les politiques daccs alatoire Techniques ALOHA 3.2.1. ALOHA pur 3.2.2. ALOHA en tranches (discrtis) 3.3. Les politiques de rservation par paquets
65
3.3.1. Rservation par une file dattente fictive FIFO 3.3.2. Rservation ordonne
Chapitre 5 : Protection contre les erreurs

1. Introduction 2. Dfinitions gnrales 3. Simple dtection avec correction par retransmission 3.1. Dtection des erreurs (LRC, VRC, CRC) 3.2. Correction des erreurs 4. Dtection avec correction automatique 4.1 Codes linaires 4.2. Codes de Hamming Chapitre 6 : Protocole X25 (3h) 1. Structure du protocole X25 2. Couche 3 du protocole X25 2.1 Adressage 2.2 Contrle de flux 2.2.1. Crdit et fentre danticipation 2.2.2. Politiques de contrle de flux 2.3 Contrle de congestion 3. Paquets du protocole X25
Chapitre 7 : Systme de protocoles TCP/IP

1. Couche accs rseau
1.1. Protocole de la couche accs rseau sur Ethernet 1.2. Protocole de la couche accs rseau sur FDDI
2. Couche Internet 2.1. Protocole IP (Protocole Internet ) 2.1.1. Adressage IP 2.1.2. Routage 2.1.3. Champs des en-ttes IP
66

2.1.4. Limites du protocole IP 2.2. Protocole ARP (Protocole de rsolution dadresses) 2.3. Protocole RARP (Protocole de rsolution inverse dadresses) 2.4. Protocole ICMP (protocole de messages de contrle Internet) 3. Couche transport 3.1. Fonctions de la couche transport 3.1.1. Interface 3.1.2. Multiplexage/dmultiplexage 3.1.3. Contrle derreur et gestion du flux 3.2. Protocole TCP (Protocole de contrle de transmission) 3.2.1. Services TCP 3.2.2. Connexions TCP 3.3. Protocole UDP (Protocole datagramme utilisateur) Chapitre 8 : Services et composants Internet 1. Rsolution de nom 1.1. Rsolution des noms dhtes et de domaines 1.1.1. Rsolution de noms par Hosts Files 1.1.2. Rsolution de nom sous DNS (Domain Name System) 1.2. Rsolution de noms NetBios 1.2.1. Rsolution des noms par diffusion 1.2.2. Rsolution de noms par LMHosts files 1.2.3. Rsolution des noms WINS (Windows Internet Name Service)
7/10
67
2. Protocole dynamique de configuration dhtes : DHCP 3. Translation dadresses rseaux : NAT 4. Routage 4.1. Techniques centralises 4.2. Techniques distribues 4.3. Protocoles de routage interne : RIP, OSPF, EIGRP 4.4. Protocole de routage externe : EBGP 4.5. Protocoles de routage sans fil : AODV, DSR, OLSR 4.6. Application 5. Passerelles 5.1. Ponts et commutateurs 5.2 Routeurs 6. Systmes pare-feu 6.1. Pare-feu par routeur filtrant 6.2. Pare-feu proxy 7. Applications Internet
68
Travaux Pratiques
TP1 : matriel rseau
TP 2 : Confection des cbles RJ45 & Partage de fichiers et de priphriques
TP3: Topologies rseau
TP 4 : Fonctionnement du Hub
TP5: Fonctionnement dun commutateur
TP6: Communication en srie
TP7: Configuration des Vlan
TP8 : Capture de trames sous wireshark & tude du Protocole ARP
69

TP9 : Configuration TCP/IP & Premier contact avec Packet tracert TP10 : Le routage statique et dynamique sous le systme IOS de Cisco
TP11 : Le Rseau WAN
TP12 : Linux pour les rseaux
TP13 : Telnet et FTP
TP14 : Installation et configuration du service DHCP sous Linux
TP15 : Installation et configuration de service DNS sous Linux
TP16 : contrleur de domaines pour ladministration rseau : active directory
TP17 : Installation dun serveur HTTP
TP18 : Serveur Mail

70
3SIQ 3me Anne Systmes Informatiques ELECTRONIQUE CODE : ELEC3 1/4
Objectif : Concevoir et analyser des circuits centrs sur lamplificateur oprationnel Produire des signaux analogiques et numriques Connatre les diffrents principes de fonctionnement des convertisseurs A/N et N/A Choisir un convertisseur en fonction des contraintes en rsolution, en rapidit et en cot Comprendre le fonctionnement des montages de base dune chane dacquisition de donnes (chantillonneurs/bloqueurs, convertisseurs, amplificateur, horloge) Comprendre et comparer les diffrentes familles de circuits logiques
CHAPITRE 1 : RAPPEL SUR LES DIODES ET LES TRANSISTORS BIPOLAIRES
1.1 Diode jonction et diode de Zener 1.2 Transistor bipolaire. 1.3 Transistor bipolaire en rgime statique. 1.3.1 1.3.2 Polarisation du transistor. Stabilisation thermique.
CHAPITRE 2 : L AMPLIFICATEUR A TRANSISTOR
2.1 2.2 2.3 2.4 2.5 2.6 2.7
Lamplificateu. Paramtres fondamentaux dun amplificateur Le transistor en rgime dynamique ( cas de petits signaux) Etude dun amplificateur metteur commun Caractristiques des montages de base (E.C - B.C - C.C) Associations d'tages amplificateurs Montages amplificateurs en raction ngative
CHAPITRE 3 : L'AMPLIFICATEUR OPERATIONNEL 3.1 3.2 3.3 3.4 3.5 Introduction l'amplificateur diffrentiel Les caractristiques relles de lamplificateur oprationnel L'amplificateur oprationnel idal Applications des amplificateurs oprationnels Considrations pratiques.
71
CHAPITRE 4 : LES MULTIVIBRATEURS
4.1 Introduction 4.2 Le transistor en commutation 4.2.1 Etat satur et bloqu dun transistor 4.2.2 Passage dun tat bloqu un tat satur et vise versa 4.3 Notions gnrales sur les bascules lectroniques 4.4 Le circuit bistable transistors 4.4.1 Montages de principe 4.4.2 Mode et conditions de fonctionnement 4.4.3 Applications de bistable 4.5 Le circuit monostable 4.5.1 Le circuit monostable transistors 4.5.2 Le circuit monostable amplificateurs oprationnel 4.5.3 Le circuit monostable portes logiques 4.5.4 Le circuit monostable intgr 4.5.5 Applications des monostables 4.6 Le circuit astable 4.6.1 Le circuit astable transistors 4.6.2 Le circuit astable amplificateur oprationnel 4.6.3 Le circuit astable portes logiques 4.6.4 Le circuit astable NE555 4.7 Le trigger de Schmitt 4.7.1 Dfinitions et caractristiques 4.7.2 Trigger de Schmitt transistors 4.7.3 Trigger de Schmitt amplificateur oprationnel 4.7.4 Trigger de Schmitt portes logiques 4.7.5 Application du trigger de Schmitt
CHAPITRE 5 : LES PORTES LOGIQUES 5.1 Les familles de circuits intgrs 5.2 Caractristiques importantes (critres de slection) 5.2.1 Caractristiques de transfert 5.2.2 Fan-In et Fan-Out 5.2.3 Puissance dissipe
72
5.3 5.4 5.5
5.6 5.7 5.8
5.2.4 Dtails de propagation par porte 5.2.5 Logiques diodes et transistors (DL,DTL) Famille logique TTL La logique ECL Famille logique CMOS 5.5.1 Transistor MOS 5.5.2 La logique MOS (NMOS, PMOS, CMOS et VMOS) Comparaison des familles logiques Interface TTL-CMOS et CMOS-TTL Notions gnrales sur la VLSI
CHAPITRE 6 : CONVERTISSEURS ANALOGIQUES/NUMERIQUES ET ANUMERIQUES/ANALOGIQUES 6.1 Introduction 6.2 Convertisseurs analogiques/numriques (CAN). 6.2.1 Conversion Analogiques/numriques et signaux lectriques. 6.2.1.1 Le convertisseur Analogique/Numrique. 6.2.1.2 Classification morphologique des signaux. 6.2.2 Echantillonnage de signaux. 6.2.3 Principe de conversion. 6.2.3.1 Le convertisseur 6.2.3.2 Convertisseurs intgration analogique 6.2.3.3 Convertisseurs intgration numrique. 6.2.3.4 Convertisseurs approximations successives 6.2.3.5 Convertisseurs Flash. 6.2.4 Exemples de convertisseurs analogique/numrique intgr : le ADC0800. 6.3 Convertisseurs numrique/analogique. 6.3.1 Principes de conversion numrique/analogique. 6.3.1.1 Convertisseurs numrique/analogique 6.3.1.2 Convertisseur potentiomtrique. 6.3.1.3 Convertisseur rsistances pondres. 6.3.1.4 Les convertisseurs sources de courant pondres. 6.3.2 Exemple de convertisseur numrique/analogique intgr : le DAC0800
73
TRAVAUX PRATIQUES : Amplificateur transistors. Fonctionnement des circuits multivibrateurs. Convertisseurs. BIBLIOGRAPHIE :
S.COEURDACIER , amplification basses frquences- commutation , Tome2, Dunod,1980 DAVID BELL , Electronic devices and circuits, Prentice-Hall 1986. MULLER C, Amplificateurs oprationnels et filtres actifs, Mentor, 1984JACOB MILLMAN et ARVIN GRABEL, Dispositifs semi-conducteur, Tome 1, Mc GrawHill,1989. JACOB MILLMAN et ARVIN GRABEL, Circuits et systmes numriques, Tome 2, Mc Graw-Hill,1989. JACOB MILLMAN et ARVIN GRABEL, Traitement de signaux et saisie de donnes, Tome3Mc Graw-Hill,1989. DORVAL, techniques des impulsions, Circuits impulsionnels et de commutation, Mc Graw-Hill,1983.
74
3SIQ
3me Anne Systmes Informatiques ANGLAIS CODE : ANGL3 1/2
Objectif : Permettre ltudiant de communiquer avec ses pairs et ou ses tuteurs en Anglais. Depuis le cycle moyen o une deuxime langue trangre intgre le programme denseignement de ce palier, ltudiant na pas lopportunit de communiquer dans cette langue que lorsquune question lui est pose ou lorsque lenseignant lui demande de lire un paragraphe Permettre ltudiant, travers la recherche bibliographique, arriver dtecter louvrage ou larticle pertinent qui lui permettrait deffectuer les activits qui lui sont demandes. Ces lectures sont bien entendu en langue anglaise et lui permettront de construire un cours selon le thme qui lui est propos ou quil aurait lui-mme choisi Permettre ltudiant de rdiger une synthse bibliographique, de faire une prsentation devant des auditeurs, tre capable de comprendre et rpondre aux questions qui lui sont poses
Chapitre 1 : Le Curriculum Vitae

Construction dun Curriculum Vitae : cette activit permet lapprenant outre lapprentissage (sinon la matrise) des outils Office tels que Word , PowerPoint , Excel , etc., dapprendre construire un CV et le dlivrer oralement devant ses pairs. Cette activit invoque les quatre lments didactiques ainsi que les deux approches cits plus haut. Chapitre 2 : Lexpos Elaboration dun expos dont le thme porte sur linformatique. Cette activit permet aux apprenants de construire un expos et le dlivrer en anglais devant leurs pairs. Cette activit comporte une condition : son laboration doit tre faite en binme. Ce qui implique le travail collaboratif. Elle permet aussi dinstaurer un dbat en classe sur le thme prsent.
Chapitre 3 : La recherche dinformation (Information Retrieval)

Le Web2.0 a gnr un certain nombre de nouveaux concepts dont lexplication et la dfinition incombe aux apprenants, sous la forme de communication. Cette activit sera dlivre par un volontaire. La prsentation-expos sera suivie dun dbat.
75
3SIQ
3me Anne Systmes Informatiques ANGLAIS CODE : ANGL3 2/2
Chapitre 4 : La construction dun cours

Construction dun cours danglais. Les apprenants ont pour mission de construire un cours dAnglais dlivrer devant leurs pairs. Il sagit de traiter un temps de conjugaison anglaise de manire exhaustive et tester leurs pairs par la confection dexercices dapplication.
BIBLIOGRAPHIE : BASQUE. J, in En quoi les TIC changent-elles les pratiques dingnierie pdagogiques du professeur duniversit?. In International Journal of Technologies in Higher Education. www.profetic.org/revue]. BERTRAND.C in Les TICE . http://recherche.aix-mrs.iufm.fr/publ/n1/voc/bertrand/index.html ] Visit le 15.08.200 CECR (Cadre Europen Commun de Rfrence) pour les langues: apprendre, enseigner, valuer : La perspective actionnelle. Conseil de l'Europe, Didier, 2001. http://culture2.coe.int/portfolio/documents/cadrecommun.pdf]. Visit le 18 Septembre 2007. V. GUERAUD in Une approche auteur pour les scnarios dactivits , Laboratoire CLIPS-IMAG, Grenoble, France, 2005. LAPLANTE. B, in Rsum synthse de lapproche communicative en didactique des langues , Universit de Regina, Saskatchewan, Canada. http://www.er.uqam.ca/merlin/gb891436/COMPET/travaux/didac.doc]
76
4SIQ
Objectif : Etudier les problmes de la synchronisation des processus de linterblocage Etudier de problmes et les principales formes de protection dans les systmes Introduire les concepts de base des systmes rpartis Comprendre les avantages que les systmes rpartis procurent par rapport aux systmes centraliss Capable de concevoir des applications reparties Chapitre 1 : SYNCHRONISATION DES PROCESSUS
1.1 Rappels sur les processus et la synchronisation. 1.2.Communication: Rappels sur la communication par variables communes. Autre techniques de communications 1.3Noyau de systme: Fonctions de base Implmentation des primitives Etude d'un noyau type (pdagogique, UNIX,...). 1.4 Outils de synchronisation de haut niveau: Rgions critiques. Moniteurs. Autres outils: expressions de chemins, modules de contrle, contrleurs de Synchronisation Notions sur les langages parallles : Concurrent Pascal, CSP , ADA , autres.
77
4SIQ
Chapitre 2 : INTERBLOCAGE 2.1Introduction A- Problme de linterblocage B-Dfinition 2.2.Caractrisation de linterblocage A-Conditions ncessaires B-Graphe d'allocation des ressources 2.3.Mthodes de traitement de linterblocage A-Mthodes de prvention statique B-Lvitement: Mthode de prvention dynamique C-Mthode de dtection et gurison Chapitre 3 : PROTECTION DANS LES SYSTEMES
3.1.Dfinition de la protection, position du problme. 3.2. Mcanismes matriels, mcanismes logiciels. 3.3.Domaines et droits d'accs: Pouvoir d'un processus Matrice de protection et ses reprsentations (globale, colonnes, lignes, cls et verrous)
3.4.Problmes de la protection: Etanchit (confidentialit)
3.5.Problmes de malveillance typique:(virus, cheval de trois) et solutions proposes. 3.6.Principales formes de protection: Hirarchise Mfiance mutuelle.
78
4SIQ
3.7.Etude de deux exemples typiques de systmes de protection: protection par anneaux (exemples : systme Multics ,mode protg des microprocesseurs INTEL). protection par capacits (ex: ordinateur Plessey 250 , INTEL iAPX 432).
Chapitre 4 : SYSTEMES REPARTIS 4.1.Introduction Systmes centraliss Systmes multiprocesseurs Les systmes rseaux Le Modle client-serveur Notions de base sur les Systmes Rpartis Objectif des systmes rpartis Avantages et Inconvnients des systmes rpartis Fonctions de base dun systme rparti Caractristiques des algorithmes rpartis : Migration de Donnes, Migration de Processus Robustesse (Tolrance aux pannes) Services distance : Appels de procdures distance (RPC) 4.2 Coordination dans les Systmes Rpartis Etat global Notion de temps logique Horloge physique Horloge logique Causalit et ordonnancement des vnements. Algorithmes dExclusion Mutuelle et dElection
79
4SIQ
Approche centralise (rappel) Approche compltement rpartie Techniques base sur lordonnancement des vnements Techniques base sur la circulation de jeton. Synchronisation et Dtection de la terminaison 4.3.Traitement de linterblocage dans les Systmes Rpartis Prvention statique et dynamique (schmas avec et sans rquisition) Dtection et Gurison (Approches centralise et compltement rpartie) 4.4. Gestion des Donnes distribues dans les Systmes Rpartis Partage despace : Mmoire virtuelle rpartie (cohrence, sret, vivacit) Gestion des Objets : Localisation, Fragmentation, Duplication (cohrence) Systmes de fichiers distribus (NFS, AFS, ) 4.5.Gestion des transactions dans les Systmes Rpartis Atomicit Validation : protocole de Validation 2 phases. Contrle des Accs concurrents : Problmes poss par le paralllisme Srialisabilit Protocoles de Verrouillage : Schmas avec et sans duplication de donnes. 4.6.Applications Rparties et tude de cas Application Client-Serveur Amoeba Corba JAVA (RMI)
80
4SIQ 4me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST4 5/5
Travaux pratiques:
Ralisation dun noyau de systme. Communication dans les systmes repartis.
Bibliographie:
R. E. Bryant and D. R. OHallaron Computer System : A programmers perspective Prentice hall 2003 S. Krakowiak Principes des systmes dexploitation des ordinateurs; Dunod 1985 A. Silberschatz, P. B. Galvin et G. GAGNE Principes des systmes dexploitation, 7e dition Addison-Wesley 2005 W. Stalling Operating Systems - Internals and Design Principles, 6th edition Prentice Hall 2006 Andrew. S. Tanenbaum and Albert. S. Woodhull Operating Systems Design and Implementation, Third edition Prentice Hall 2006 S. Tanenbaum , M. V. Steen : Distributed systems principles and paradigms - Prentice hall 2002
A. S. Tanenbaum : Systmes dexploitation : Systmes centralises Systmes distribus InterEditions 1994. M. Raynal, J-M. Helary : Synchronisation et contrle des systmes et des programmes rpartis - Eyrolles 1988. M. Raynal : Le problme de lexclusion mutuelle, Eyrolles 1987. A. Silberschatz, P. B. Galvin et G. GAGNE: Principes des systmes dexploitation 7e dition Addison-Wesley 2005 Lynch : Distributed Algorithms - Morgan Kaufmann Publishersc1996 G. Coulouris : Distributed Systems Concepts and design - third edition Addison Wesley 2002.
81
4SIQ
4me Anne Systmes d'Informatiques COMPILATION CODE : COMP4 1/2
Objectif : Matriser les diffrentes tapes du processus de compilation des langages de programmation Passer de lanalyse lexicale la gnration du code intermdiaire Passer en revue les diffrentes mthodes danalyse syntaxiques Matriser les outils de gnration danalyseur lexicaux et syntaxiques Chapitre 1 : INTRODUCTION AUX COMPILATEURS
1. 2. 3. 4. 1. 2. 3. 4. Compilateurs et translateurs. Structures dun compilateur. Passes dun compilateur. Outils de dveloppement de compilateur. Expressions rgulires. Automates dtats finis. Transformation dune expression rgulire en automate. LEX.
Chapitre 2 : ANALYSE LEXICALE
Chapitre 3 : ANALYSE SYNTAXIQUE

1. 2. 3. 4. Grammaire Context.Free. Drivations et langages. Arbres syntaxiques. Principe des analyses descendantes et ascendantes.
Chapitre 4 : ANALYSE SYNTAXIQUE DESCENDANTE

1. Analyse par descente rcursive. 2. Analyse syntaxique LL(k).
Chapitre 5 : ANALYSE SYNTAXIQUE ASCENDANTE

1. 2. 3. 4. Analyse par prcdence doprateurs Analyse par prcdence simple. Analyse par prcdence faible. Analyse syntaxique LR(k).
Chapitre 6 : TRADUCTION DIRIGEE PAR SYNTAXE

1. 2. 3. 4. 5. Formes intermdiaires. Dfinitions diriges par la syntaxe. Schmas de traduction et routines smantiques. Traduction descendante. Traduction ascendante.
82
4SIQ
4me Anne Systmes d'Informatiques COMPILATION CODE : COMP4 1/2
Chapitre 7 : ENVIRONNEMENT DEXECUTION

1. 2. 3. 4. Procdures et arbres dactivation. Organisation de lespace mmoire. Allocation de la mmoire. Accs aux donnes non locales.
Chapitre 8 : PRODUCTION ET OPTIMISATION DE CODE

1. Machine cible. 2. Blocs de base et graphe de flot de contrle. 3. Un gnrateur de code optimis.
Chapitre 9 : GENERATEURS DE COMPILATEURS 1. LEX & YACC 2. JavaCC 3. ANTLR

Travaux Pratiques
BIBLIOGRAPHIE : Aho, Ullman & Sethi. Compilateurs : Principes, techniques et outils. Edition : DUNOD 2000. Aho & Ullman. Principles of compiler design. Addison Wesley, 1977. Stephen C. Johnson Yacc: Yet Another Compiler-Compiler. Computing Science Technical Report No. 32, Bell Laboratories, Murray Hill, NJ 07974. D. Grune Modern Compiler Design. John Wiley & Sons, 2000. ISBN : 0 471 97697 0. J.E. Hopcroft & J.D. Ullman Introduction to Automata Theory, Languages and omputation. Edition : Addison Wesley, 1979. K.C. Louden Compiler Construction : Principles and Practice. Course Technology, 1997. ISBN : 0 534 93972 4. N. Silverio Raliser un compilateur, les outils Lex et YACC. Eyrolles, 1994. J. Levine, T. Mason, D. Brown Lex & Yacc. O(Reilly, 1992. ISBN : 1 56592 000 7.
83
4SIQ
4me Anne Systmes d'Informatiques ANALYSE DE DONNES CODE : ANAD4 1/3
Objectif :
1 er objectif (descriptif) permet de dcrire et de rsumer linformation continue dans les tableaux de variables quantitatives afin de fournir une reprsentation visuelle des individus 2 me objectif (dcisionnel) permet de dterminer des relations entre les variables et la construction de modles pour faire de la prdiction.
Partie I : Modles linaires Chapitre 1 : Analyse de la variance (ANOVA) 1.1 1.2 ANOVA 1 Facteur (ANOVA1) ANOVA 2 Facteurs (ANOVA2)
Chapitre 2 : Rgression Linaire 2.1 Rgression linaire simple 2.2 Rgression linaire multiple Partie II : Techniques de rduction des donnes Chapitre1 : Analyse en Composantes Principales Chapitre 2 : Analyse Factorielle Partie III : Classification Chapitre 1 : Classification sans apprentissage 1.1 Mthodes hirarchiques. 1.2 Mthode des nues dynamiques Chapitre 2: Analyse Discriminante 2.1 Aspects descriptifs de l'analyse discriminante : les mthodes gomtriques 2.1.1 L'analyse factorielle discriminante 2.1.2 Les rgles d'affectation
84
4SIQ
2.2 Aspects dcisionnels de lanalyse discriminante : les mthodes probabilistes 2.2.1 Le modle baysien 2.2.2 Les mthodes d'estimation paramtriques (hypothse de multinormalit) 2.2.3 La slection des variables 2.2.4 Mesure de la qualit d'une rgle de dcision 2.3 Mthodes de segmentation 2.3.1 La notion de dichotomie 2.3.2 Principe de la mthode AID
Partie IV : Sries temporelles Chapitre 1 : Proprits des processus univaris temps discret . 1.1 Notion de stationnarit 1.2 Fonction d'autocovariance 1.3 Lien entre temps continu et temps discret Chapitre 2 : Introduction aux modles linaires ARIMA 2.1 Les processus autorgressifs : AR(p) 2.2 Les processus moyenne-mobile : MA(q) 2.3 Les processus ARMA(p,q) Chapitre 3 : Estimation des modles ARIMA : Box-Jenkins 3.1 Estimation des ordres p et q dun modle ARMA(p,q) 3.2 Test de bruit blanc et de stationnarit 3.3 Estimation des paramtres dun modle ARMA(p,q)
85
4SIQ
Travaux Pratiques TP : Les tudiants doivent implmenter ces mthodes sous les environnements suivants : Matlab , SPSS et la librairie IMSL C#.
Bibliographie
G. SAPORTA : Probabilit Analyse des Donnes et Statistique . EDITIONS TECHNIP. (ESI MA/0329).
J. DELAGARDE : Initiation lAnalyse des Donnes . DUNOD. (ESI MA/0213).
Y. DODGE ; V. ROUSSON : Analyse de rgression applique . DUNOD. (ESI MA/0618).
L. LEBART : Statistique Exploratoire Multidimensionnelle . DUNOD. (ESI MA/0620).
R. BOURBONNAIS ; M. TERRAZA : Analyse des Sries Temporelles . DUNOD. (ESI MA/0599).
86
4SIQ
4me Anne Systmes d'Informatiques BASE DE DONNES CODE : BDD4 1/3
Objectif :
Maitrise des outils mthodologiques de conception de base de donnes Pratique doutils technologiques pour la conception de base de donnes Maitrise des aspects systme lis un SGBD
Exprience de la conception et de la ralisation travers un projet en binme dune base de
donnes Matrise des techniques de stockage et indexation Etudes des problmes lis aux pannes et techniques de reprise aprs panne. Introduction aux bases de donnes avances Chapitre 1 : Introduction aux Bases de Donnes 1- Bases de donnes 1.1- Dfinitions 1.2- Niveaux de Description 2- Systmes de Gestion de Bases de Donnes (SGBD) 2.1- Dfinition 2.2- Fonctions et Objectifs 2.3- Architecture Gnrale dun SGBD Chapitre 2 : Les modles de Donnes 1- Modle hirarchique-modle rseau 2- Le modle Entit-Association 2.1- dfinition 2.2- concepts de base 2.3- spcialisation-gnralisation 2.4- conception dun schma entit association 3- Le Modle Relationnel 3.1- Dfinitions 3.2- Formes normales et algorithmes de normalisation
87
4SIQ
Chapitre 3 : Langages dinterrogation dune base de donnes relationnelle 1- Algbre relationnelle 2- Langage SQL Chapitre 4 : Fonctions des SGBD relationnels 1- Cration et chargement 2- Les chemins daccs 3- Les catalogues de la BD 4- Les vues 5- Lintgrit des donnes Chapitre 5 : Optimisation de requtes 1- Dfinition 2- Optimisation logique 3- Optimisation physique Chapitre 6 : Rappel sur les Techniques de stockage et Structure dIndex 1234Stockage Fichiers Index de fichier Larbre B
Chapitre 7 : Notions de transaction et problme de contrle de concurrence 1- Notions de transaction 2- Excution concurrente, srialisabilit 3- Techniques de gestion de la concurrence 3.1- Verrouillage deux phases 3.2- Estampillage
88
4SIQ
Chapitre 8 : Tolrance aux pannes et reprise aprs panne 1- Notion de panne 2- Journalisation 3- Techniques de reprise aprs panne Chapitre 9 : Les Bases de Donnes avances 1- Le modle Objet (UML) 2- Le modle relationnel tendu Bibliographie : G. Gardarin, Bases de donnes : les systmes et leurs langages C.J. Date Introduction aux bases de donnes , Vuibert informatique, 2000. G. Gardarin, Base de donnes , Eyrolles 2001. H. Garcia-Molina, J.D. Ullman, J. Widom, Database systems the complete book , Prentice Hall 2002.
89
4SIQ
4 me Anne Systmes d'Informatiques
METHODES DE CONCEPTION CONSTRUCTION DE PROGRAMMES
CODE : MCCP4
Objectif :
z z z z
1/3
Connatre les fondements et les thories sur lesquels repose la programmation Savoir valuer et comparer les performances des solutions algorithmiques
Apprendre raisonner sur les programmes Avoir une vue d'ensemble des paradigmes de programmation
PARTIE I : Mthodes de conception de programmes Chapitre 1 : Concepts prliminaires * O-notation * Graphes et Arbres Chapitre 2 : Diviser pour rgner Chapitre 3 : Programmation dynamique Chapitre 4 : Rsolution de problmes par recherches exhaustives * Breadth First Search * Depht First Search (Backtracking) * Application aux problmes de jeux (minmax - alpha/bta) Chapitre 5 : Recherches guides par Heuristiques * Notion d'Heuristique * Hill Climbing * Best First Search * Branch and Bound Search * Optimal Search A*
90
4SIQ
4 me Anne Systmes d'Informatiques
CODE : MCCP4 PARTIE II : Construction de programmes Chapitre 1 : Concepts Prliminaires * Systmes formels * Thorie du point fixe Chapitre 2 : Programmation Procdurale * Schma de programmes * Transformations * Preuves formelles de programmes Chapitre 3 : Programmation fonctionnelle * Le lambda-calcul * Fonctions rcursives en lambda-calcul * Le langage LISP * Preuve de programmes par induction Chapitre 4 : Programmation logique * Langage logique * Dmonstration automatique de thorme * PROLOG Chapitre 5 : Programmation orient objet * Classification des langages objets * Proprits de l'approche structurelle (par classe) * Exemples de langages objets
2/3
91
4SI 4 me Anne Systmes d'Informations

CODE : MCCP4
3/3
Chapitre 6 : Mthodes et outils de spcification * Spcifications formelles * Exemple de langage de spcification Travaux Pratiques Langages de programmation : C, LISP, JAVA,C++, PLOG Bibliographie: Mikhail J. Atallah & Marina Blanton , Algorithms and Theory of Computation Handbook , Second Edition , CRC Press 2010. Oded Goldreich , Computational Complexity A Conceptual Perspective , Cambridge University Press, 2008. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman, 1979. Simon L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice-Hall 1987. Michael Spivey, An introduction to logic programming through Prolog , PrenticeHall International 1995. R. Kowalski, Logic for Problem Solving, North Holland, 1979.
Michael L. Scott, Programming Language Pragmatics , Second Edition , Morgan

Kaufmann, 2006.
92
4SIQ
FILE D'ATTENTE ET SIMULATION CODE : FAS4 Objectif : Initier ltudiant reconnatre et utiliser les diffrents modles des files dattente Apprendre les concepts importants de la simulation Apprendre simuler des problmes pratiques dune certaines difficults Chapitre 0 : Rappels des notions de la thorie des probabilits Chapitre 1 : Processus alatoires (stochastiques) Chaines de Markov Processus de Poisson Processus de naissance et de mort Chapitre 2 : Modles de files dattente Modles Markoviens: Systmes ouvert et ferm Modle M/M/1 Modle M/M/s Modles M/M/s/L, M/M/s/s et M/M/1 Modle M/M/s ferm Modle non Markovien Modle M/G/1 Chapitre 3 : Aperu sur la notion de fiabilit des systmes Chapitre 4 : Simulation Gnration de variables alatoires uniformes Gnration des variables alatoires discrtes et continues suivant diffrentes lois 1/2
93
4SIQ
FILE D'ATTENTE ET SIMULATION CODE : FAS4 2/2
Mthode de linverse Mthode de rejet (simple et gnralise) Estimation d.une intgrale par la mthode de Mont Carlo Techniques de rduction de la variance. Tests des nombres alatoires (test de KHI 2, test de KS et test des signes) Simulation vnement discret et simulation temps continu (simulation dune file dattente) BIBLIOGRAPHIE : A.Ruegg, Processus stochastiques avec applications aux phnomnes dattente et de fiabilit.Presse Polytechnique Romande, Lausanne,1989 M Sakarovitch, Techniques mathmatiques de la recherche oprationnelle. Vprocessus alatoires.ENSIMAG,1978 R. Faure, Prcis de la recherche oprationnelle (cours et exercices) P. Le Gall, Les systmes avec ou sans attente et processus stochastiques Tome1 L. Kleinrock, Queuing systems volumes 1 et 2 G. Pujolle, S.Fdida, Modles de systmes et de rseaux TOME 1: Perfor-mances TOME 2 : Files d.attente A. Pages et M. Gondran, Fiabilit des systmes, collection de la direction des tudes et recherche d.lectricit de France. Editions Eyrolles. J.-F. Hche,T. M. Liebling,D. de Werra, Recherche oprationnelle pour ingnieurs, Volume 2. Presse Polytechnique Romande, Lausanne, 2003 Byron J T Morgan, Elements of Simulation. Chapman & Hall, Ltd. London, UK, UK c1984 ISBN:0-412-24590-6
94
4SIQ
4me Anne Systmes d'Informatiques
ARCHITECTURE DES ORDINATEURS CODE : ARCH4 1/5
Objectif : Acqurir des comptences pour structurer correctement ses programmes de telle sorte quils soient excuts plus efficacement sur une machine relle. Comprendre les compromis entre les diffrents composants, tels que la frquence dhorloge du CPU, la taille mmoire, la mmoire cache Ltudiant doit se familiariser avec les trois couches composant ce type de systmes: larchitecture, le systme dexploitation et lapplicatif. Ltudiant doit se confronter aux contraintes des systmes temps-rels et embarqus qui sont trs diffrentes de celles des systmes habituellement utiliss par les ingnieurs informaticiens. Concevoir, dvelopper et utiliser : des logiciels embarqus, des applicatifs temps rel et des systmes embarqus en utilisant une mthodologie unifie Partie I : Architectures volues des ordinateurs Chapitre 1 : Mesure des performances dune architecture jeu dinstructions Introduction Equations de performance de l'UC Units de mesure des performances Programmes de tests Acclration des calculs, loi dAmdahl
Chapitre 2 : La hirarchie mmoire Loi de Moore, temps daccs et temps de cycle mmoire, Principes de localit Notion de hirarchie mmoire Principe des mmoires cache Les dfauts de cache Organisations des mmoires cache Remplacement d'une ligne en cache Ecriture en mmoire cache
95
4SIQ
Niveaux de cache Taille du cache Mmoire virtuelle Chapitre 3 : Les micro architectures pipelines Motivation Principe du pipeline Contraintes du pipeline Alas structurels et leur rsolution Alas de donnes et leur rsolution Alas de contrle et leur rsolution Performances des systmes pipelins
Chapitre 4 : Les architectures superscalaires et VLIW Motivation Principe des micro-architectures superscalaires Contraintes de lancement Alas structurels et leur rsolution Alas de donnes et leur rsolution Alas de contrle et leur rsolution Remise en ordre Exemples de processeurs superscalaires Principe des architectures VLIW Droulement des instructions Format des instructions Comparaison entre processeurs VLIW et superscalaires
Chapitre 5: Les architectures CISC et RISC Historique et contexte dapparition des processeurs CISC Caractristiques, et jeux dinstructions des CISC (exemples et caractristiques) Inconvnients des processeurs CISC Exemples de machines CISC Justification de lapparition des processeurs RISC Caractristiques des processeurs RISC Jeu dinstruction des processeurs RISC Gestion des variables locales dans les processeurs RISC (utilisation des registres et fentres de registres) Gestion des variables globales
96
4SIQ
Rle du compilateur Techniques dacclration des processeurs RISC Exemples de processeurs RISC Comparaison CISC/RISC Tendances des processeurs actuels
Chapitre 6: Les architectures multiprocesseurs Justification du paralllisme Classification de Flynn, Les architectures SISD, Les architectures SIMD Les architectures MISD Les architectures MIMD Critres de classification des architectures MIMD MIMD mmoires partage( les SMP) MIMD mmoires distribue (les clusters de PC) Comparaison clusters/SMP Systmes UMA et NUMA Les rseaux dinterconnexion Exemples de processeurs MIMD Chapitre 7: Tendances des nouveaux calculateurs Partie II : architectures des systmes embarqus Chapitre 1: Conception des circuits intgrs Evolution des circuits intgrs Processus de conception Etapes de conception Fabrication, test et mise en botiers Chapitre 2: Systmes temps-rels et embarqus Historique et progression du march des microprocesseurs Gnralits sur les systmes embarqus Exemples de systmes embarqus Caractristiques des systmes embarqus Schma fonctionnel des systmes embarqus Architecture des systmes embarqus
97
4SIQ
Chapitre 3 : Mthodes de conception des systmes embarqus Approche classique Introduction du codesign Chapitre 4: Diffrentes tapes de conception dun systme embarqu Cospcification des systmes embarqus Modlisation des systmes embarqus Partitionnement et ordonnancement des systmes embarqus Synthse des systmes embarqus Covrification des systmes embarqus Chapitre 5: Les multiprocesseurs sur puces (MPSoCs) Multiprocesseurs et volution des MPSoCs Applications et architectures MPSoCs Architectures pour systmes temps-rels faible consommation Rseau dinterconnexion dans les MPSoCs : les NOCS (Network On Chip) Conception assiste par ordinateur et MPSoCs Chapitre 6: Testabilit des systmes embarqus TRAVAUX PRATIQUES: Utilisation dun outil de conception des circuits intgrs Dveloppement dun outil de partitionnement avec ordonnancement Pratique de laffectation de tches sur des tuiles de calcul. Utilisation de systmes dexploitation temps-rels embarqus Dcouverte des plateformes de conception de logiciels embarqus Dveloppement dune application pour systmes embarqus sur une plateforme
98
4SIQ
BIBLIOGRAPHIE Parallel computer architecture, A Hardware/Software approach, David E. Culler, Jaswinder Pal Singh and Anoop Gupta, Morgan Kaufmann Publishers, ISBN: 155860-343-3, 1999. Introduction to Digital Systems, MiloErcegovac, University of California at Los Angeles, Toms Lang, University of California at Irvine, Jaime Moreno, ISBN: 0-47152799-8, Wiley Publishers, 1999. The Architecture of Computer Hardware and System Software: An Information Technology Approach, Third Edition, Irv Englander, Bentley College, ISBN: 0-47107325-3, Wiley Publishers, 2003. Understanding Parallel Supercomputing, R. Michael Hord, ISBN: 0-7803-1120-5, Wiley-IEEE Press, March 2001. Computer Organisation and Architecture, de B.S. Chalk, Robert Hind, Antony Carter, diteur : Palgrave Macmillan, 2nd Ed edition, ISBN : 1403901643 , (10 octobre 2003) Fundamentals of Computer Architecture, de Mark Burrell, diteur : Palgrave Macmillan, ISBN : 0333998669, 26 septembre 2003. Computer Systems Design and Architecture (International Edition), de Vincent P. Heuring, Harry F. Jordan, diteur : Prentice-Hall, 2nd Ed edition, ISBN : 0131911562 ISBN : 0131911562, 30 novembre 2003. Logic and Computer Design Fundamentals, de M. Morris Mano, Charles Kime, diteur : Prentice Hall, 3rd edition, ISBN : 013140539X, octobre 2003. Computer Architecture: A Quantitative Approach, 4th Edition, J. Hennessy and D. Patterson, Editeur; Mogan Kaufmann Publishers, Elsevier, ISBN 10: 0-12-3704901,2007.
99
4SIQ 4 me Anne Systmes Informatiques COMMANDE NUMERIQUE DES PROCESSUS CODE : AUTO4 1/3
Objectif : Ltude doutils et de mthodes ncessaires la modlisation mathmatiques des processus continus et discrets des fins dtudes par simulation numrique Lanalyse des systmes dynamiques, dans les domaines continu et discret, avec pour objectif la dtermination de leurs diffrentes caractristiques ou performances intrinsques. La synthse ou la conception de systmes asservis, dans les domaines continu et discret, avec pour but fondamental la satisfaction de conditions fixes par des comportements projets afin de palier aux insuffisances des performances intrinsques constates lors de lanalyse Ltude de quelques notions introductives aux domaines de lidentification des systmes, des automatismes et de linformatique industrielle.
PARTIE I : INTRODUCTION : AUTOMATIQUE - COMMANDE AUTOMATIQUE
Chapitre 1 : Notions de Systme, Systme Asservi, Asservissement, Rgulation Chapitre 2 : Elments constitutifs dun systme Asservi Chapitre 3 : Classification des systmes asservis
PARTIE II : ANALYSE ET SYNTHESE DES SYSTEMES ASSERVIS LINEAIRES CONTINUS
Chapitre 1 : Modlisation dun systme commander (Approches classiques) Chapitre 2 : Modlisation par reprsentation dtat (Approche moderne) Chapitre 3 : Analyse des systmes asservis Chapitre 4 : Stabilit des systmes asservis Chapitre 5 : Correction (Amlioration des performances) des systmes asservis
100
4SIQ 4 me Anne Systmes Informatiques COMMANDE NUMERIQUE DES PROCESSUS CODE : AUTO4 2/3
PARTIE III : INTRODUCTION A LIDENTIFICATION DES SYSTEMES Chapitre 1 : Gnralit sur lidentification des systmes Chapitre 2 : Etude de quelques mthodes didentification des systmes
PARTIE IV : ANALYSE ET SYNTHESE DES SYSTEMES ASSERVIS LINEAIRES DISCRETS , COMMANDE NUMERIQUE DES PROCESSUS
Chapitre 1 : Introduction du calculateur numrique dans la commande des processus Chapitre 2 : Echantillonnage et numrisation dun signal transforme en Z Chapitre 3 : Analyse des systmes chantillonns Chapitre 4 : Synthse des systmes chantillonns
PARTIE V : INTRODUCTION A LINFORMATIQUE INDUSTRIELLE Chapitre 1 : Technologie des systmes pilots par calculateur Chapitre 2 : Automates programmables Chapitre 3 : Grafcet, rseaux de ptri Chapitre 4 : Introduction aux capteurs
Travaux Pratiques Utilisation : MATLAB,
101
4SIQ 4 me Anne Systmes Informatiques COMMANDE NUMERIQUE DES PROCESSUS CODE : AUTO4
BIBLIOGRAPHIE
3/3
SYSTEMES ASSERVIS : COURS ET PROBLEMES , Tomes 1 & 2, J. J. DI STEPHANO, A. R. STUBBERUD, I. J. WILLIAMS, Srie Schaum, Ed. McGrawHill. REGULATION ET ASSERVISSEMENT : ELEMENTS DE COURS ET PROBLEMES RESOLUS , P. GUYENOT, T. HANS, Ed. Eyrolles. AUTOMATIQUE DES SYSTEMES LINEAIRES , Tomes 1, 2 & 3, Ph. DE LARMINAT, Y. THOMAS, Ed. Flamarion Sciences. CONCEPTION DES SYSTEMES AUTOMATIQUE , H. BUHLER, Ed. Presses Polytechniques Romandes. REGULATION AUTOMATIQUE : SYSTEMES ANALOGIQUES , L. MARET, Ed. Presses Polytechniques Romandes. COURS DAUTOMATIQUE , Tomes 1,2 & 3, M. RIVOIRE, J.- L. FERRIER, Ed. Eyrolles. AUTOMATIQUE APPLIQUEE , E. DIEULESAINT, D. ROYER, Ed. Masson. AUTOMATIQUE DE BASE , P. SIARRY, Ed. Berti. ASSERVISSEMENTS LINEAIRES , Tomes 1 & 2, F. MILSANT, Ed. Eyrolles. SYSTEMES ASSERVIS LINEAIRES , J. C. CHAUVEAU, P. CHAUVEAU Ed. Educalivre. ANALYSE ET REGULATION DES PROCESSUS INDUSTRIELS , Tomes 1 & 2, Ed. Technip. SIGNAUX ET SYSTEMES CONTINUS ET ECHANTILLONNES, M. VILLAIN, Ed. Ellipses. COMMANDE ET REGULATION PAR CALCULATEUR NUMERIQUE : DE LA THEORIE AUX APPLICATIONS , C. Foulard, J. GENTIL, J. P. SANDRAZ, Ed. Eyrolles. SYSTEMES ET ASSERVISSEMENTS LINEAIRES ECHANTILLONNES, Y. SEVELY, Ed. Dunod. REGLAGES ECHANTILLONNES, Tomes 1 & 2, H. BUHLER, Ed. Presses Polytechniques Romandes.
102
MODALITES DE CONTROLE DE CONNAISSANCE 1/1
Lvaluation des connaissances seffectue notamment par des preuves crites, des travaux dirigs et/ou des travaux pratiques, et ventuellement des exposs et stages. Le contrle des connaissances est continu. Il permet lenseignant dvaluer les capacits de chaque tudiant. Pour cela : 9 Une preuve crite de moyenne dure (EMD) obligatoire par matire est planifie par la direction des tudes la fin de chaque trimestre. 9 La moyenne gnrale par matire est calcule sur la base des notes obtenues aux preuves crites, aux T.P., aux exposs, projets ou toute autre forme dvaluation juge utile par lenseignant. 9 Les tudiants sont informs de ces dispositions au dbut de chaque anne universitaire par le responsable du cours.
103
5SIQ 5 me Anne Systmes Informatiques
La cinquime anne est consacre un stage, ce stage complte la formation thorique et pratique dispense lESI, il fait partie intgrante du cursus de ltudiant. Il permet ltudiant de dvelopper et damliorer ses comptences sous la direction dune part, denseignants-chercheurs qui veilleront au respect strict dune mthodologie et apporteront ltudiant une connaissance dfaut dune expertise dans le domaine ou le thme du projet et de professionnels de l'entreprise dautre part. Sa dure est dune anne et sera sanctionn par un mmoire de fin dtudes qui sera soutenu devant un jury. Le mmoire de fin dtudes doit rpondre un double objectif : renforcer les liens entre lESI et le monde du travail, et former des ingnieurs de qualit, rapidement oprationnels. Il permet galement dvaluer les capacits de ltudiant synthtiser, dvelopper son esprit critique et communiquer ses rsultats sous forme crite et orale. Durant le stage, ltudiant doit donc mettre en pratique les connaissances acquises durant sa scolarit mais cela doit tre aussi une anne de formation, car ltudiant est souvent confront lapprentissage, la matrise de connaissances nouvelles selon le domaine ou le thme de son projet.
Ltudiant, travers son rapport crit et sa prsentation orale doit dmontrer quil est en mesure de : poser une problmatique, effectuer une analyse des besoins, un tat de lart en relation avec la problmatique, proposer, ventuellement une ou plusieurs solutions et argumenter ses choix en matire de conception, Concevoir une solution efficace Mettre en uvre la solution raliser les objectifs fixs, en utilisant les outils bass sur les technologies les plus rcentes Evaluer la solution mise en uvre et effectuer une tude comparative Faire une synthse des tests effectus en prsentant les points forts et les points faibles de la solution.
104

Programme SpécialitéSIQ

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Programme SpécialitéSIQ

Загружено:

Авторское право:

Доступные форматы

EcolenationaleSuprieuredInformatique(ESI)

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 1/9

Matriser leur utilisation grce aux travaux pratiques

L'IBM 360/370 Le Motorola MC68000 L'Intel 80x86

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 2/9

Cration d'un processus Destruction de processus

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 3/9

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 4/9

Allocateur de ressources Le modle des lecteurs/rdacteurs Le rendez-vous

Dfinition Schma gnral du producteur-consommateur Gestion des tampons

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 5/9

Machines Intel 80x86 Systme Linux Systme MULTICS(GE645)

Reprsentation des espaces virtuels des processus Reprsentation de l'espace physique

Dtection de dfaut de page Traitement des dfauts de page

L'algorithme FIFO L'algorithme optimal (OPT ou MIN)

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 6/9

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 7/9

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 8/9

Descripteur de fichier Structure des rpertoires

Taille des blocs Reprsentation des blocs libres

Mthodes d'allocation non contigu : Blocs chans, Tables d'index

Exemples : Systmes de fichiers FAT, NTFS et UNIX/LINUX

3me Anne Systmes Informatiques SYSTEMES D'EXPLOITATION CODE : SYST3 9/9

Chapitre 2 : Introduction aux langages

Chapitre 4 : Langages rguliers (rguliers rationnels)

Chapitre 5 : langages contexte libre (Langages algbriques)

Chapitre 6 : Langages contexte Li

Chapitre 7 : Langages sans restrictions

3me Anne : Systmes Informatiques STRUCTURE MACHINE CODE : STRM3 2/3

3me Anne : Systmes Informatiques STRUCTURE MACHINE CODE : STRM3 3/3

3me Anne Systmes Informatiques ANALYSE NUMERIQUE CODE : ANUM3 1/3

3me Anne Systmes Informatiques ANALYSE NUMERIQUE CODE : ANUM3 2/3

b) Mthode de Range-Kutta Dordre 2 Dordre 4 4- Etude de l'erreur.

3me Anne Systmes Informatiques ANALYSE NUMERIQUE CODE : ANUM3 3/3

3me Anne Systmes Informatiques

PARTITE I : THEORIE DES GRAPHES ET RESEAUX

3me Anne Systmes Informatiques

RECHERCHE OPERATIONNELLE CODE : ROP3 2/3

CHAPITRE 4 : PLUS COURT CHEMIN

3me Anne Systmes Informatiques

RECHERCHE OPERATIONNELLE CODE : ROP3 3/3

PARTIE II : PROGRAMMATION LINEAIRE

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 1/10

Chapitre 1 : Gnralits sur les rseaux

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 2/10

Chapitre 2 : Transmission de donnes

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3

Chapitre 3 : Technologie des rseaux locaux

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 5/10

Chapitre 4 : Technologie des rseaux tendus

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 6/10

Chapitre 5 : Protection contre les erreurs

Chapitre 7 : Systme de protocoles TCP/IP

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 8/10

3SIQ 3me Anne Systmes Informatiques TELETRAITEMENT CODE : TELT3 9/10

TP 2 : Confection des cbles RJ45 & Partage de fichiers et de priphriques

TP3: Topologies rseau

TP5: Fonctionnement dun commutateur

TP6: Communication en srie

TP7: Configuration des Vlan

TP8 : Capture de trames sous wireshark & tude du Protocole ARP