Vous êtes sur la page 1sur 5

PROGRAMMES D'TUDES

Version complte
Matrise en sciences et technologies de l'information (profil mmoire) - 1642
RESPONSABLE :
Luigi Logrippo 819 595-3900 poste 1885 1 800 567-1283 poste 1885 luigi.logrippo@uqo.ca au candidat qui ne rpond pas entirement aux conditions d'admission du programme. Base exprience Le candidat nayant pas fait dtudes universitaires, mais qui a complt des tudes collgiales pourra tre admis un programme de deuxime cycle sil a au moins douze annes dexprience de travail la fois pertinente et significative, eu gard la discipline ou au champ dtude du programme pour lequel il sollicite ladmission. Dans le cas du candidat qui, sans avoir complt un baccalaurat, a nanmoins obtenu des crdits universitaires, le nombre dannes dexprience requis sera modul en fonction des crdits obtenus et des rsultats scolaires. Le candidat devra dmontrer la pertinence et le caractre significatif de son exprience dans une lettre dau moins 300 mots, et il devra se soumettre une entrevue. Il pourra se voir imposer des cours dappoint ou une propdeutique. Nonobstant ce qui prcde, un dossier dont la qualit est juge exceptionnelle pourra tre considr pour ladmission. Le candidat doit satisfaire aux exigences de la politique linguistique de l'UQO. Rfrez-vous au paragraphe concernant la politique linguistique dans la section Base tudes universitaires ci-haut.

SCOLARIT :
45 crdits, Deuxime cycle

GRADE :
Matre s sciences

OBJECTIFS :
Lobjectif gnral du programme est de permettre l'tudiante, ou l'tudiant, de matriser les connaissances et le savoir-faire qui conduiront des ralisations de haut niveau dans les sciences et technologies de linformation, et de suivre et d'analyser les tendances du domaine dans des sujets actuels de son choix, la recherche tant dune importance particulire dans les deux profils. Tous les cours senrichissent dune composante recherche relie des projets spcialiss dans des sujets dactualit scientifique ou technologique. Selon le profil choisi, la formation en recherche est complte par un mmoire, un essai ou un stage, et permettra ltudiante, ou ltudiant, de matriser un sujet particulier ouvrant la crativit scientifique. Le profil avec mmoire, centr sur le dveloppement dhabilets de recherche et de communication scientifique, ouvre la crativit en sciences et technologies de linformation, habilitant ainsi ltudiante, ou ltudiant, apporter sa contribution en proposant une rponse de nouveaux besoins du domaine. Ltudiant, ou ltudiante, qui aura complt ce programme sera donc pleinement qualifi en vue de poursuivre des tudes de 3e cycle et pourra exercer des fonctions en recherche et dveloppement dans un emploi en sciences et technologies de linformation.

PLAN DE FORMATION :
INF6031 INF6111 INF6021 Rdaction et prsentation scientifiques Projet de mmoire Mmoire 12 crdits optionnels

Cours optionnels choisir 12 crdits parmi les suivants:


INF6002 Systmes objets rpartis Dveloppement des applications client-serveur Algorithmique rpartie Sujets spciaux Lectures diriges Analyse et conception des protocoles de scurit Structures de donnes avances lments avancs d'analyse d'images Algorithmes gomtriques Technologie avance en tlcommunication Bases de donnes avances Systmes de contrle d'accs aux donnes Introduction la cryptographie Conception de syst. temps-rel rpartis embarqus Ingnierie des protocoles de communication lments avancs d'intelligence artificielle Intelligence d'affaires Mthodes formelles pour le dveloppement de logiciels Systmes de communications multimdias Scurit informatique et mthodes formelles Techniques d'apprentissage Web smantique Conception avance des systmes numriques programmables Conception avance des microsystmes intgrs Conception avance des systmes radio frquences intgrs Technologie des systmes radio frquences Robotique

INFORMATIONS SUR L'ADMISSION :


Centre Rgime TC TP Trimestres d'admission Automne Hiver t

INF6003 INF6043 INF6083 INF6093

Gatineau TC : Temps complet TP : Temps partiel

INF6103 INF6123 INF7093 INF6133 INF6273 INF6143 INF6153 INF6163 INF6173 INF6263 INF6183 INF6193 INF6203 INF6223 INF6233 INF6243 INF6253 GEN6063 GEN6093 GEN6073 GEN6083 GEN6103

CONDITIONS D'ADMISSION :
Base tudes universitaires tre titulaire d'un baccalaurat en informatique, en gnie informatique ou en gnie lectrique, obtenu avec une moyenne cumulative d'au moins 3,2 (sur 4,3) ou l'quivalent; ou tre titulaire dun baccalaurat dans un domaine connexe de linformatique (par exemple, mathmatiques, science des systmes, etc.) obtenu avec une moyenne cumulative dau moins 3,2 (sur 4,3) ou lquivalent Le candidat doit satisfaire aux exigences de la politique linguistique de l'UQO. Sont rputs rpondre aux exigences les personnes qui : possdent dj un grade universitaire d'une universit francophone ou qui dtiennent un baccalaurat ou une matrise ralise majoritairement en franais; ont dj rpondu aux exigences de la matrise du franais d'une universit qubcoise francophone; ont russi par le pass l'preuve uniforme de franais du ministre de l'ducation, du Loisir et du Sport (MELS); ont dj russi par le pass le test de franais de l'UQO; dtiennent un baccalaurat franais d'enseignement gnral mis par une acadmie franaise sans gard la localisation de l'institution, qu'elle soit l'intrieur ou l'extrieur de la France; - possdent des comptences reconnues comme quivalentes par le registraire. Le candidat qui n'entre pas dans ces catgories doit fournir la preuve de la russite du Test de franais international (TFI) de la firme ETS avec une note gale ou suprieure 750 sur 990. Les informations au sujet du TFI sont disponibles sur les sites www.etscanada.ca (pour les candidats habitant au Canada) et www.ets.org (pour les candidats habitant l'extrieur du Canada). Le comit d'admission du programme se rserve le droit d'imposer des cours d'appoint (de 1 9 crdits) ou un programme de propdeutique (de 10 30 crdits)

mat. sc. et techno. info. - 1642

Page 1 de 5

INF9063

Technologies photoniques et applications

mat. sc. et techno. info. - 1642

Page 2 de 5

Description des cours GEN6063


Conception avance des systmes numriques programmables Objectifs : Permettre aux tudiants de matriser les connaissances ncessaires pour concevoir et dvelopper des systmes numriques. Lui permettre matriser les connaissances sur les techniques de pointe de conception et de prototypage rapide sur circuits programmables. Contenu : Complments de la mthodologie et outils de conception d'un circuit intgrs large chelle (VLSI) : circuits ddis, FPGA. Simulation et estimation des performances du circuit conu. Problmatique de la testabilit et processus de vrification du circuit ralis. Implantation des algorithmes de traitement de signaux en technologie VLSI. Adaptation des algorithmes aux exigences de la technologie VLSI. tudes de cas de conception et de ralisation de circuits VLSI. Tendances en dveloppement. Paramtres Z, Y, ABCD et S. lments localiss et distribus. Dispositifs RF passifs : filtres, coupleurs, dphaseurs, antennes, etc. Dispositifs RF actifs : amplificateurs, mlangeurs de frquences et oscillateurs. Mthodes de conception. tude paramtrique et loptimisation. Ralisation de projets avec les outils de conception assiste par ordinateur (CAO) et prsentation de logiciels de design.

INF6002
Systmes objets rpartis Objectifs : Permettre l'tudiant de matriser les connaissances ncessaires pour concevoir une infrastructure de systmes rpartis en considrant les nouvelles technologies et les normes associes, dont celles spcifiques l'interoprationalit. Contenu : tude des architectures distribues et essentiellement celles bases sur le modle client/serveur et l'approche oriente objet. Dveloppement de composants logiciels rutilisables, distribuables et interoprationnels indpendamment de la plate-forme matrielle et du langage de programmation respectifs du client et du serveur. tude du standard CORBA (Common Object Request Broker Architecture) de l'OMG : bus, services, langage de dfinition d'interface (IDL), outils communs.

autant sur l'aspect du contenu que sur les aspects visuel et de logistique.

INF6043
Algorithmique rpartie Objectifs : Permettre l'tudiant d'analyser les diffrents algorithmes spcifiques au traitement rparti. Lui permettre d'valuer leur efficience et leur complexit. Lui permettre d'acqurir une comprhension des mthodes gnrales qui sous-tendent l'algorithmique rpartie. Contenu : Concept d'algorithmes rpartis. Mesures de complexit. Analyse de performance. Mthodes de validation. Algorithmes : de routage, d'lection, de synchronisation, de consensus (communication dfaillante, processus dfaillant, stabilisation), pour l'exclusion mutuelle, pour l'allocation des ressources, spcifiques aux rseaux asynchrones, pour snapshots. Applications aux rseaux de communication, bases de donnes rparties, etc.

GEN6093
Conception avance des microsystmes intgrs Objectifs : Permettre aux tudiants de matriser les connaissances ncessaires pour concevoir et dvelopper des microsystmes intgrs, ainsi que d'approfondir leurs connaissances sur les techniques de pointe de conception et de prototypage rapide. Contenu : Conception des microsystmes intgrs trs grande chelle et matrise de toutes les tapes de conception. Transistor MOS: construction, fonctionnement, analyse simplifie, modle physique dtaill, phnomnes secondaires et modles SPICE. Logique, technologie et procd CMOS. Rduction de l'chelle et volution technologique. Circuit VLSI, LAIC, WSI et SoC. Mthodes de conception. Conception de circuits intgrs: circuits logiques et analogiques, analyse mathmatique et simulations. Convertisseurs A/N et N/A. Considrations pratiques d'intgration et de ralisation de circuits mixtes (numrique/analogique). Intgration des microsystmes de capteurs intelligents. ASIC. Approche Top Down. Conception, simulation et synthse de circuits et modules logiques l'aide du langage de description matrielle. Prototypage rapide. Ralisations de projets d'intgration avec les outils de conception assiste par ordinateur du plus haut niveau (ex. Matlab/Simulink) jusqu'au plus bas niveau (ex. Cadence).

INF6003
Dveloppement des applications client-serveur Objectifs : Permettre l'tudiant de matriser l'approche client-serveur et le familiariser avec la programmation des rseaux. Contenu : Rappel sur les protocoles de transport pour la programmation: TCP/IP, UDP. Modle Client-Serveur. Programmation des soquets. Appels de procdures distance: modle RPC. Prsentation de donnes. Interfaces applicatives. Client-Serveur dans les bases de donnes SQL. Le transactionnel: protocoles 2PL, transactions rparties, standards de traitements de transactions. Interoprationalit. Autres types de serveur : serveurs de noms, serveurs d'informations (NIS).

INF6083
Sujets spciaux Objectifs : Permettre l'tudiant d'acqurir des connaissances sur un (ou des) sujet(s) spcifique(s) pertinent(s) son programme. Contenu : Prsentation d'une activit portant sur un (ou des) sujet(s) non couvert(s) dans les autres cours du programme. Activit offerte par un professeur ou une quipe de professeurs. Cette activit traite d'un ou de sujets d'intrt et apporte une contribution particulire la formation de l'tudiant. Le contenu de ce cours doit faire l'objet d'une approbation pralable par le Comit de programme.

GEN6073
Conception avance des systmes radio frquences intgrs Objectifs : Permettre aux tudiants de matriser les connaissances ncessaires pour concevoir et dvelopper des systmes Radio Frquences complets, et approfondir leurs connaissances sur les techniques de pointe dimplmentation et de fabrication dans les technologies appropries. Contenu : Problmatique de design des systmes Radiofrquences (RF) intgrs. Mthodologie. Outils de conception des systmes RF-SiP (Radio-Frequency Sytem-in-Package) et flow de design RF IC. Simulation et estimation des performances du systme conu. tudes des cas des systmes contenant des circuits intgrs (IC), SMD (Surface Mount Devices), composantes actives, passives et lectromcaniques. Problmatique dintgration et processus de vrification des systmes raliss. Technologie dassemblage. Extraction des circuits parasites. Approche de design et implmentation. Simulation lectrique en haut niveau. Design et modlisation des composantes passives. Approche base sur la connectivit et limplmentation physique. Analyse de lintgrit du signal.

INF6093
Lectures diriges Objectifs : Permettre l'tudiant de raliser une analyse critique d'articles ou d'ouvrages portant sur un sujet spcifique et pertinent au projet de mmoire. Contenu : Lectures d'ouvrages et d'articles touchant un sujet qui l'intresse et dont l'analyse contribue l'approfondissement de ses connaissances et (ou) l'avancement de son projet de Mmoire. L'tudiant soumet son plan de lecture au professeur et dtermine avec lui les objectifs viss, le contenu du programme de lectures et les activits. Note: Pour suivre ce cours, l'tudiant doit obtenir une autorisation spciale du responsable de programme.

INF6021
Mmoire Objectifs : Permettre l'tudiant de dmontrer sa capacit de mener terme un projet de recherche de qualit, de rdiger un rapport de cette recherche et d'en communiquer les rsultats. Contenu : Le Mmoire de matrise porte sur une activit de recherche ou de recherche et dveloppement conforme aux objectifs spcifiques du programme. L'objet de la recherche peut provenir de l'entreprise, le cas chant, l'tudiant peut raliser une partie de son activit de recherche en entreprise.

GEN6103
Robotique Objectifs : Permettre aux tudiants de matriser les connaissances ncessaires pour analyser les concepts avancs des systmes autonomes. Lui permettre d'approfondir et de perfectionner les connaissances lies la technologie des systmes de robots et de la robotique mobile. Contenu : Fondements conceptuels et thoriques de systmes autonomes. Apprentissage automatique: supervis et non supervis. Architectures fonctionnelles et informatiques de systmes adaptatifs. Robotique: le lien intelligent entre la perception et l'action. Analyse cinmatique et dynamique avance du robot. Acquisition de l'information sur l'environnement de travail d'un systme de robot. Algorithmes pour la localisation et la navigation des robots mobiles: SLAM, filtre de particules. Mthodes d'intelligence artificielle pour le traitement de donnes en provenance de capteurs extroceptifs. Directions de recherche en robotique.

GEN6083
Technologie des systmes radio frquences Objectifs : Permettre aux tudiants de matriser les connaissances ncessaires pour analyser la performance dune liaison radiofrquence pour les communications sans fil. tude et conception des blocs fonctionnels des metteurs/rcepteurs. Matriser la conception assiste par ordinateur de circuits radiofrquences passifs et actifs. Contenu : Propagation des ondes lectromagntiques. Milieux de propagation. Lignes de transmission. Mthodes d'adaptation d'impdances.

INF6031
Rdaction et prsentation scientifiques Objectifs : Permettre l'tudiant de prparer et de structurer des communications scientifiques crites ou orales. Contenu : Structurer des textes scientifiques tels articles, rapports, demandes de subventions, mmoire, etc. Techniques de prsentation de communications scientifiques orales,

INF6103
Analyse et conception des protocoles de scurit Objectifs : Permettre l'tudiant d'avoir une bonne matrise des concepts, des langages, des mthodes modernes et des outils utiliss dans l'analyse et la spcification des protocoles de scurit. Contenu : Cryptographie. Protocoles de scurit. Rle des protocoles de scurit dans les systmes de communication et Page 3 de 5

mat. sc. et techno. info. - 1642

Description des cours


les systmes distribus. Prsentation de quelques protocoles existants. Proprits de scurit : confidentialit, authentification, anonymat, atomicit, non-rpudiation, etc. Taxonomie des failles de scurit. Langages formels pour la spcification des protocoles de scurit CCS/CSP, SPI, BAN, SPC, etc. Techniques formelles de vrification et preuves de correction des protocoles de scurit. bases de donnes conventionnelles (incluant les bases de donnes rparties) aux bases de donnes plus avances comme les entrepts de donnes et les bases multimdia (incluant les systmes dinformation gographique et les bases documentaires). Contenu : Rappels sur les bases de donnes (BD). Contrle et optimisation des performances dans un environnement centralis. Bases de donnes rparties : principes, stratgies de conception, traitement des requtes rparties, et gestion des transactions rparties. Veille conomique (business intelligence) : fouille et entreposage de donnes. BD multimdia (particularits et exigences, stockage et exploitation, systmes dinformation gographique. BD documentaires). BD et Web (connexion une BD via le Web, langage XML). cl secrte et cl publique. Introduction aux fonctions boolennes; oprateurs logiques et polynmes. Cryptographie cl secrte; diagrammes de Feistel ; D.E.S., la version simplifie S-DES ; I.D.E.A.; S-IDEA. Le protocole A.E.S., S-AES: modes dopration des chiffrements par blocs. Cryptanalyse des protocoles cl secrte : confusion et diffusion ; cryptanalyse linaire. Introduction la thorie des nombres; les nombres premiers appliqus aux crypto-systmes asymtriques. Concept de cryptographie cl publique; algorithme RSA, gestion des cls, algorithme Diffie-Hellman; fonctions de hachage, algorithmes SHA-1et MD5; authentification des messages. Signatures numriques, standard DSS, authentification des protocoles. raisonnement probabilistes, rseaux Bayesiens, modles de Markov cachs. Algorithmes d'apprentissage supervis et non-supervis, apprentissage par renforcement, rseaux de neurones. tudes d'applications dans les domaines de la vision artificielle, la robotique et le forage de donnes.

INF6193
Intelligence d'affaires Objectifs : Permettre aux tudiants de matriser les fondements, concepts et problmes relis lintelligence daffaires (veille conomique ou Business intelligence) qui inclut trois facettes : la visualisation de linformation et de la connaissance, la fouille de donnes et lentreposage de donnes. Contenu : Fouille de donnes : tapes de dcouverte de connaissances (prtraitement, fouille de donnes et interprtation des rsultats), techniques de classification (arbres de dcision, etc.), techniques de regroupement (treillis de concepts, classification hirarchique), rgles d'association, motifs squentiels, cas aberrants et fouille de donnes complexes (Web, texte, graphe). Entreposage de donnes : tapes de construction d'un entrept de donnes (acquisition, stockage, traitement et accs), modlisation multidimensionnelle des donnes, techniques OLAP, types d'architectures des entrepts de donnes, optimisation des performances et matrialisation de cubes de donnes. Visualisation de linformation et de la connaissance. Intgration des deux technologies de fouille de donnes et entreposage de donnes. Applications et outils de la veille conomique.

INF6111
Projet de mmoire Objectifs : Permettre l'tudiant d'laborer le plan de recherche pour son mmoire de matrise. Lui permettre de dvelopper ses capacits de rdaction et prsentation scientifiques. Contenu : Identification, dfinition, articulation et prsentation du projet de mmoire de matrise. laboration du plan de recherche : problmatique, question de recherche, cadre thorique et concepts-cls, tat des connaissances, hypothses provisoires, rsultats prliminaires. Identifications des tapes et calendrier. tablissement des liens de collaboration ventuels.

INF6173
Conception de syst. temps-rel rpartis embarqus Objectifs : Permettre aux tudiants de matriser les particularits des phases de dveloppement des systmes en temps rel rpartis et particulirement des systmes embarqus. Lui permettre de tester ces systmes et valuer leur performance. Lui permettre galement d'approfondir les connaissances relatives aux techniques d'ordonnancement et aux comportements des systmes ractifs et leurs applications Contenu : Rappel sur les concepts des systmes temps rel. Introduction des systmes temps rel distribus embarqus (STRDE). Analyse et conception des systmes temps rel rpartis, concept de Co-Design. Processeurs embarqus. Optimisation de la conception et du dveloppement de systmes temps rel rpartis. Apport de l'approche oriente objet la conception des systmes temps rel rpartis. Performance statique et dynamique. Multitraitement temps rel distribu, techniques dordonnancement, puissance dans les systmes embarqus, acclrateurs de matriel, systmes dexploitation (QNX, ITRON, etc.). Langages de spcification, outils de simulation pour rseaux de capteurs (TOSSIM, etc.). Applications (routage, transport des donnes, etc.).

INF6153
Systmes de contrle d'accs aux donnes Objectifs : Permettre aux tudiants de matriser les aspects informatiques de la conception et implmentation de mthodes de protection et contrle daccs aux donnes dans les entreprises, du point de vue des exigences dentreprise, de la structure des logiciels, de la validation des exigences et de la conception de systmes. Contenu : Exigences de scurit des donnes et de protection de la vie prive. Politiques de protection et contrle daccs dentreprise. Mthodes de contrle daccs discrtionnaires et non-discrtionnaires, caractristiques logiques et implmentation. Rles dentreprise. Conception de rles. Contrle daccs bas sur les rles (RBAC) et ses variantes. Contrle daccs bas sur les attributs. Mthodes Bell-LaPadula, Biba et muraille de Chine. Modles hybrides. Langages pour la spcification dexigences et de politiques de contrle daccs. Analyse de cohrence et compltude de politiques de contrle daccs. Principes et mthodes pour lanalyse du risque dans le contrle daccs. tude de la littrature et doutils courants.

INF6123
Structures de donnes avances Objectifs : Permettre l'tudiant de se familiariser avec les structures de donnes avances et leur application pour la construction d'algorithmes efficaces. Approfondir ses connaissances en algorithmique travers des problmes solutions complexes. Contenu : lments de la thorie des graphes. Graphes planaires, leurs proprits et applications. Approfondissement des dictionnaires et arborescences. Types des tas. Files de priorit. Mdians. Approfondissement de la technique de programmation dynamique. Congruences et algorithmes de la thorie des nombres. Algorithmes de filtrage. Algorithmes avancs sur les graphes. Algorithmes gomtriques.

INF6203
Mthodes formelles pour le dveloppement de logiciels Objectifs : Permettre aux tudiants de matriser le processus de dveloppement rigoureux et formel du logiciel. Lui permettre dapprofondir les techniques de spcification, validation et test formels du logiciel. Contenu : Spcification et validation de besoins. Spcification de programmes squentiels. Spcification de modules. Conception interne de modules et fonction d'abstraction. tude et application de quelques langages formels. Spcification de programmes concurrents. Documentation produite chaque tape du dveloppement du logiciel. tude et utilisation doutils logiciels pour le dveloppement formel du logiciel. Mthodes formelles de test. Mthodes formelles et mthodes informelles de validation de logiciels.

INF6133
Algorithmes gomtriques Objectifs : Permettre aux tudiants de perfectionner leurs connaissances sur les algorithmes traitant les donnes gomtriques et leurs applications. Contenu : Types de donnes gomtriques. Graphes gomtriques. Graphes de disques unitaires. Arrangements. Grilles. Arbres quaternaires. Recherche gomtrique et localisation de points. Intersections. Triangulations et trapezoidations. Enveloppes convexes. Diagrammes de Voronoi et triangulations Delauney. Algorithmes dexplorations et planification de trajectoires.

INF6163
Introduction la cryptographie Objectifs : Permettre aux tudiants de matriser les concepts de la cryptographie et de son application dans le domaine de la scurit des donnes. Lui permettre danalyser les diffrents algorithmes spcifiques la cryptographie. Lui permettre dvaluer leur efficacit et leur complexit, ainsi que dacqurir une comprhension des mthodes gnrales de la cryptanalyse. Contenu : Introduction la cryptographie: terminologie, fonctions cryptographiques ; exemples historiques de protocoles de cryptographie : la cryptographie classique, le chiffrement de Vigenre, le chiffrement de Hill; la cryptanalyse des crypto-systmes classiques. La cryptographie moderne, protocoles de confidentialit : protocoles

INF6183
lments avancs d'intelligence artificielle Objectifs : Permettre aux tudiants de matriser les aspects avancs d'intelligence artificielle (IA), tels que la reprsentation et l'extraction des connaissances, et les techniques de prdiction partir de ces dernires. Lui permettre dapprofondir les techniques de base pour le raisonnement logique et l'apprentissage machine. Contenu : Modles de reprsentation des connaissances (rseaux smantiques, graphes conceptuels et rgles de production). Techniques dacquisition de la connaissance pour la construction des systmes experts. Techniques de planification et applications. Techniques de

INF6223
Systmes de communications multimdias Objectifs : Permettre aux tudiants de matriser les systmes de communication multimdias et les traitements associs. Lui permettre d'acqurir les connaissances de base pour le dveloppement dapplications multimdias

INF6143
Bases de donnes avances Objectifs : Permettre aux tudiants de matriser les connaissances sur les fondements, concepts et problmes relis aux bases de donnes allant des

mat. sc. et techno. info. - 1642

Page 4 de 5

Description des cours


Contenu : Introduction au multimdia, outils et interfaces. Reprsentation des donnes multimdias, audio, image et vido. Compression des donnes multimdias, algorithmes de base. Normes de codage JPEG et MPEG. Scurit multimdia, watermarking, gestion numrique des droits (DRM), authentification, vidosurveillance. Bases de donnes multimdias, recherche par le contenu. Applications : Multimdia et rseaux, protocoles de transfert, internet, rseaux sans-fil, transport en temps rel, synchronisation, qualit de service. comprhension des technologies utilises pour la ralisation du web smantique. Prsenter l'tat actuel du dveloppement du web smantique et les perspectives de recherche dans ce domaine. Contenu : Introduction au web smantique et son contenu. Techniques de reprsentation de connaissances mises en uvre dans le cadre du Web smantique. Frameworks de mtadonnes. Ontologies et schma. RDF. Logiques de description et OWL. Alignements et gestion des ontologies. Aspects computationnels du Web smantique et introduction aux services Web. Slection, composition et mdiation des services smantiques. Exemples pratiques. Au terme de ce cours, l'tudiant sera en mesure de : comprendre les enjeux lis la ralisation du web smantique; construire une ontologie dans le but d'une intgration au web smantique; construire une application simple pour le web smantique; comprendre les dfis techniques lis la ralisation du web smantique; comprendre aisment les travaux de recherche et dveloppement qui portent sur le web smantique. trs haut dbit. Rseaux cognitifs. Applications.

INF7093
lments avancs d'analyse d'images Objectifs : Permettre ltudiant de : Connatre le processus de formation dimages. Matriser les outils fondamentaux danalyses et de traitement des images. Matriser diffrents algorithmes pour lextraction de caractristiques et la reprsentation des images. Raliser des projets bass sur le traitement dimages, tels que la reconnaissance dobjets, la segmentation, la classification dimages, le codage et la compression. Contenu : Aspects avancs des systmes dacquisition, du processus dchantillonnage, de quantification et de filtrage des images. Techniques dextraction de diffrentes caractristiques (ex. les contours, les rgions et les formes). Oprations de base pour lamlioration de la qualit des images (la restauration et le rehaussement). Algorithmes de recalage et destimation du mouvement dans les squences dimages. Aspects de haut niveau, tels que la reprsentation et la classification dimages.

INF6233
Scurit informatique et mthodes formelles Objectifs : Permettre aux tudiants de matriser les techniques formelles utilises pour la scurisation des systmes et rseaux informatiques Contenu : Problmes de la scurit dans les logiciels et intergiciel. Formalismes algbriques et logiques pour la description des systmes et des politiques de scurit. Automates ddition. Techniques formelles de renforcement de politiques de scurit dans les systmes. Renforcement par Monitorage. Renforcement par rcriture de programmes. Classes de proprits de scurits : sret, vivacit, renewal , etc.

INF6263
Ingnierie des protocoles de communication Objectifs : Permettre aux tudiants de matriser le processus d'ingnierie, de conception formelle, de validation et test des protocoles de communication. Contenu : Fonctions des protocoles de communication. Modles couches : protocoles et services. Contrle d'erreur. Contrle de flux. Gestion des connexions. Spcification formelle des protocoles de communication. Validation des protocoles de communication. Techniques tats finis et algbriques : analyse d'accessibilit, quivalence par test, quivalence observationnelle, etc. valuation de modles. Mthodes de test. tude de quelques langages formels ou semi-formels tel que : CCS. Pi-Calculus, LOTOS, PROMELA, SDL, UML. Application avec outils, comme SPIN, CADP, ALLOY, etc.

INF9063
Technologies photoniques et applications Objectifs : Acqurir une connaissance des principes de fonctionnement et de fabrication, ainsi que des applications, des composantes et des systmes optolectroniques modernes. Se familiariser l'apport de l'informatique dans les domaines de la photonique et de l'lectronique. Contenu : Matriaux optolectroniques: modles simplifis de confinement optique et lectronique; guidage de la lumire dans les structures planaires et cylindriques, principes de l'interfromtrie; gnration et dtection de la lumire par les dispositifs semi-conducteurs et organiques; amplificateurs optiques; technologie de couches minces en lectronique et en optique intgre; nanostructures et nanotechnologies optolectroniques; exemples de dispositifs, de systmes et d'applications - tlcommunications, biophotonique, systmes MEMS, senseurs photoniques, cristaux liquides et systmes d'affichage, systmes photovoltaques solaires, etc.

INF6243
Techniques d'apprentissage Objectifs : Permettre aux tudiants de matriser les concepts fondamentaux de lapprentissage automatique et dappliquer ces notions des problmes concrets. Lui faire acqurir des connaissances sur les techniques dapprentissage supervis et non supervis, les techniques dapprentissage pour les donnes textuelles, les algorithmes de classement des pages Web. Contenu : Concepts dapprentissage supervis : classification et rgression, frontire de dcision et fonctions discriminantes; Arbres de dcision et techniques de traitement du sur-apprentissage (overfitting); Apprentissage par ensemble : (bagging), (boosting) et fort darbres; Machine noyaux : dimension VC et machines supports vectorielles; Apprentissage non supervis : (clustering), les mlanges de loi de distribution statistique, carte de Kohonen et algorithme SOFM; Apprentissage de donnes multidimensionnelles : techniques de rduction de la dimension, classification non supervise dans les sous-espaces de dimension (subspace clustering); Fouille de donnes textuelles : modle TF-IDF et analyse smantique latente; Prospection du Web : algorithmes HITS et PageRank.

INF6273
Technologie avance en tlcommunication Objectifs : Permettre aux tudiants de comprendre le fonctionnement et les protocoles rcents des systmes modernes de tlcommunication, particulirement des rseaux trs haut dbit et les familiariser avec les rcents dveloppements et applications dans ce domaine. Contenu : Revue des architectures des rseaux de tlcommunication. Rseaux locaux (LAN), mtropolitains (MAN), tendus (WAN). Technologie Mode de transfert asynchrone (ATM). Communication par fibres optiques et standard SONET (Synchronous Optical Network). Rseaux tout optiques. Communications et rseaux sans fil. Rseaux ad-hoc. Mthodes de contrle d'accs multiples. Gestion de la performance des rseaux modernes. Contrle de congestion dans les rseaux

INF6253
Web smantique Objectifs : Permettre aux tudiants de matriser les principes qui sont la base du web smantique. Lui fournir les connaissances ncessaires la

mat. sc. et techno. info. - 1642

Page 5 de 5