Vous êtes sur la page 1sur 6

Contenu pdagogique 3me Anne L3 (licence dinformatique) Semestre 5 UEI13 (Fondamentale) 18 crdits Systmes dExploitation2 Objectif : - Inculquer ltudiant

t les concepts et les outils de base des systmes dexploitation. - introduire la problmatique du paralllisme dans les systmes dexploitation et tudier la mise en uvre des mcanismes de synchronisation, de communication dans lenvironnement centralis Recommandation : - il est conseill dutiliser un systme dexploitation (UNIX par exemple) comme exemple En termes doutils pour chaque concept tudi. - prvoir des TPs pour la mise en application des concepts tudis. - le chapitre 5 peut faire lobjet dun rapport demand aux tudiants. Programme : Chapitre 1 : NOTION DE PARALLELISME, DE COOPERATION ET DE COMPETITION (10%) + Systmes de taches, outils dexpressions + Dterminisme et paralllisme maximal + Threads Chapitre 2 : SYNCHRONISATION (35%) + Problme de lexclusion mutuelle + Synchronisation . Evnement, verrous . Smaphores . Moniteurs . Rgions critiques. . Expressions de chemins Chapitre 3 : COMMUNICATION (20%) . Partage de variables ( modles : producteur/ consommateur, lecteurs/ rdacteurs) . boites aux lettres . change de messages (modle du client/ serveur) . Communication dans les langages volus ( CSP, ADA, JAVA..) Chapitre 4 : INTERBLOCAGE (20%) + Modles + Prvention + Evitement + dtection/ Gurison + Approche combine Chapitre5 : ETUDE DE CAS : SYSTEME UNIX (15%) + Principes de conception + Interfaces( programmeur, utilisateur) + Gestion de processus, de mmoire, des fichiers et des entres/ sorties + Synchronisation et Communication entre processus Bibliographie : [ 1] J-L.Peterson, F. Silbershartz ,P. B. Galvin " Operating Systems concepts, " Fourth Edition. [ 2] Crocus, " Systmes dexploitation des Ordinateurs," Dunod Informatique 1975. [3] J. Beauquier, B. Berard "Systmes dexploitation : concepts et algorithmes" 4 e Edition, Addison Wesley

[5] Andrew S. Tanenbaume, " Modem operating Systmes dexploitation," Second Edition prentice Hall. [6] Maurice J.Bach, traduit par G. Feallah, " Conception du Systme UNIX," Masson et Prentice Hall 1990. Compilation Objectif : Introduire au problme de la compilation : du texte source au code assembleur en passant par larbre de syntaxe abstraite sur la base dun petit compilateur ralis en C, en trois versions de complexit croissante. Lassembleur vis est celui du cours darchitecture. Technique classique Danalyse syntaxique : Lex. et Yacc. Le but du cours est de montrer le rle de la pile dans la compilation des fonctions sur le modle de C. Programme : 1. Introduire la compilation - les diffrentes tapes de la compilation - compilation, Interprtation ,Traduction II. Analyse lexicale -Expressions rgulires - Grammaires - Automates d tats finis - Un exemple de gnrateur danalyseurs lexicaux : LEX III- Analyse syntaxique -Dfinition : grammaire syntaxique , rcursivit gauche , factorisation dune grammaire , grammaire libre. -Calcul des ensembles des dbuts et suivants . -Mthodes danalyse descendantes : la descente rcursive , LL(1). -Mthodes danalyse ascendantes : LR(1), SLR(1) , (mthode des items ) - Un exemple de gnrateur danalyseur syntaxique : YACC. IV. V. Traduction dirige par la syntaxe (Analyse smantique ) Formes intermdiaires forme postfixe quadrupls tripls directs et indirects arbre abstrait

V1. Allocation Substitution organisation des donnes lexcution . VII. Optimisation du code objet VII. Gnration du code objet Rfrences bibliographiques : Aho , Sethi , Ullman: Compilers ( Addison Wesley) Trad Franaise chez Inter Editions Christopher fraser and David Hanson .A Retragetable C Compiler : Design and Implementation Cumming .1995.

Rseaux

Objectif ; Ce module est une introduction au mode des rseaux informatique .II constitue un noyau de base des connaissances ( rseaux ) dont la comprhension est essentielle , car tous les concepts prsents sont utiliss dans les rseaux actuels et venir .ll a comme objectifs . la comprhension des concepts fondamentaux utiliss en rseaux : structuration dune architecture de communication en couches . notion de protocole , principaux mcanismes de communication tels que : contrle derreur , contrle de flux ,contrle de congestion , commutation , mode de communication , routage ,adressage : linitiation des protocoles courants , notamment Ethernet ,IP TCP ; la familiarisation de ltudiant avec le vocabulaire ( rseau ) Nous insisterons ainsi sur les infrastructures de transport de linformation , utilises par les applications de lInternet .A la fin du semestre ,des sances de TD sur machine permettent de mettre en partique les notions vues et deffecteur une synthse des connaissances acquises . Programme : * Quest ce un rseau ? Dfinitions , historique , motivations , applications , architectures * Transmission physique de linformation : traitement du signal, signal analogique , codage , circuit de donnes , multiplexage de signaux numrique

Fiabilisation de la transmission : contrle derreur , scurit , illustration avec les protocoles de transmission HDLCet PPP Normalisation : modles OSI Rseaux locaux : plan de cblage , topologie mthodes daccs au support de communication Interconnexion de rseaux : les quipements dinterconnexion ( routeurs ,commutateurs ou switches , ponts ,hubs ) .illustration avec Ethernet et Token Ring Rseaux grande distance : techniques de commutation Adressage, routage , contrle de congestion, illustration avec des rseaux doprateurs (X.25,Relais de Trames ou Frame Relay, ATM) >Protocoles YCP /IP >Commandes Unix pour la configuration et ladministration dun rseau >Installation et configuration dun serveur web et dun proxy >Exemples dapplication : http, mail ; accs au rseau pour les utilisateurs ; serveurs DNS Rfrences bibliographiques : Comer, D. Ed.: InterEditions. TCP/IP:Architecture, Protocoles, Application.

UET14(Fondamentale)12crdits

>Programmation Logique - Introduction la programmation logique : langage PROLOG - Principales caractristique de ce type de programmation - Syntaxe et structures de donnes oprateur de coupure - Smantique des programmes PROLOG - Le problme de la ngation en PROLOG : lhypothse du monde clos et la ngation par chec. - Utilisation de la mthode de rsolution dans limplantation machine de ce type de langage. Rfrences bibliographiques : - Chazarain, programmer avec SCHEME. De la pratique la thorie. Thomson International, 1996. - Hoogger. Programmer en logique. Masson, 1987 - Weis & Leroy , le langage CAML, Interditions, 1993. *Thorie des Graphes Objectifs (comptences vises) : Apprhende les algorithmes des graphes utiliss dans les rseaux informatique, dans les problmes calcul de cot minimal, dans la recherche du meilleur chemin et dans les mthodes dordonnancement (Gestion des projets,.) Programme : Notions fondamentales de la thorie des graphes *Dfinitions dun graphes et diffrentes reprsentations *Application multi-graphes * Applications multivoque, degr, cycles, cocycles, connexit Les nombres fondamentaux de la thories des graphes *Nombres de stabilits *Noyau, fonction ordinale, fonction de Grundy *Nombre chromatique, clique, thorme de Koening Graphes particuliers *Graphes planaires, Graphe dual *Graphes aux artes, graphes aux arcs. Arbres et Arborescence *Construction dun arbre *Construction dun fort *Algorithme de Kruskall (cycles et cocycles) *Algorithme de Sollin problmes de flots *Dfinition *Cyles lmentaires et flots lmentaaires *problme du flot maximal dans un rseau de transport *Graphe dcart *Algorithme de recherche du flot maximal (Ford fulkerson ) Problmes du plus court chemin *Introduction au problme du plus court chimin *Algorithme de Dantzig *Algorithme de Ford *Algorithme de Dijkstra Mthodes dordonnancent *Diagramme de Gantt *Mthode PERT *Mthode MPM Rfrences Bibliographiques (1) Christian Prins : Algorithmes de graphes ( avec programmes en Pascal ) Eyrolles , Paris , 1994.

(2) Bernard Roy : Algbre moderne et thorie des graphes Tomell , Dunod , 1989 Le livre de M. Gondrou et M.Minoux existe en version francaise Graphes et Algorithmes , Eyrolles ,Paris 1984. *Infographie - Techniques de base en infographie - Systmes graphiques - Communication graphique - Modlisation Gomtrique - Utilisation des outils (API ,Outils standards ) - Animation - Visualisation - Ralit virtuelle - Vision Machine *Ingnierie des connaissances Objectifs : la conception d un prototype de systme de reprsentation de Connaissances -Acquisition des connaissanaces -Apprentissage numrique -Apprentissage symbolique -Reprsentation des connaissances Les diffrents Types de connaissances -Connaissances factuelles -Connaissances ontologiques -Connaissances assertionnelles Les formalismes de reprsentation des connaissances -Frame -Rseaux smantiques -Graphes conceptuels -Logique Les diffrents langages de reprsentation des connaissances -KIF -XML -RDF et RDFS - La logique de description -Les systmes de reprsentation des connaissances KL-ONE CLASSIC LOOMS - Des systems experts aux systems a base de connaissances - Modlisation des connaissances - Conception et ralisation dontologies en ingnierie des connaissances - Raisonnement partir de cas - Gestion des connaissances Rfrences Bibliographiques J. Charlet, M. Zacklad, G. Kassel, D. Bourigault. <<Ingnierie des connaissances: Evolutions rcentes et nouveaux dfis>>. Edition Eyrolles . France, 2000. *Cryptographie -Initiation aux concepts fondanmentaux et aux mthodes de la cryptographie contemporaine -Principes de la cryptographie clef publique, ses avantages par rapport la cryptographie classique qui oblige garder secrtes les clefs de chiffrement et de dchiffrement. -Etude de quelque cryptosystmes tel que le clbre RSA , et protocoles dchanges de clefs, dauthentification,de chiffrement .

-Gnration de nombre pseudo- alatoires . *Dveloppement des Interfaces Graphiques -Fonctions dune interface -Styles dinteractions et types dinterfaces -Conception des IHM (modle en cascade, prototypage ) -Outils de conctruction des IHM -Le systme X-Windows (protcole XII ,bibliothque Xlib, bibliothque Xt,les boites outils ) -programmation dinterfaces (TCL/TK,Motif et Java ) -Rgles dinterfaage pour les IUG (Interfaces Utilisateurs Graphique ) -Evaluation des Interfaces Rfrences bibliographiques : -M.Canpione ,K. Walrath .The Java tutorial ,(second edition ) 1998. -A. Nye et T.OReilly.The definite Guide to X-Widows System,(Motif Edition ) OReilly & Associates . -Welch Brent balding . Practical Programming in TCL/TK (second edition ), Preentice hall, 1997.