Doctorat en GÉNIE INFORMATIQUE
Monsieur Gilles Pesant (514) 340-4711, poste 4142, professeur au département de génie informatique et génie logiciel.
Le programme de doctorat en génie informatique vise à former des diplômés ayant un haut niveau de connaissances, de rigueur intellectuelle, de curiosité scientifique et de créativité nécessaire tant dans les activités professionnelles de pointe que dans la recherche scientifique et l’enseignement universitaire.
Plus spécifiquement, le programme est conçu pour permettre à l’étudiant d’intégrer des connaissances reliées aux cinq domaines d’intérêt du génie informatique, soient: le génie logiciel, l’ingénierie des systèmes embarqués, la réseautique et l’informatique mobile, l’ingénierie des systèmes intelligents, l’ingénierie des systèmes de simulation numériques et de visualisation.
Le programme permet aussi de développer des habiletés en génie informatique pour évoluer dans un contexte de changement rapide des technologies de l’information.
Le programme de doctorat en génie informatique conduit à l'obtention du grade de Philosophiae Doctor (Ph.D.).
Note: Pour connaître les conditions d'un passage direct de la maîtrise au doctorat sans soumettre de mémoire, voir l'article 71.3 des règlements particuliers des études supérieures.
Le programme comporte 90 crédits, se répartissant comme suit :
| Crédits | |
|---|---|
| Cours de cycles supérieurs | 15 (minimum) |
| Recherche et rédaction de thèse | 75 |
Note 1 : Les candidats qui détiennent déjà un diplôme d’études supérieures pourront obtenir une exemption de la totalité ou d’une partie de leurs crédits de cours de cycles supérieurs selon les modalités spécifiées à l’article 73.1.2 des règlements particuliers des études supérieures.
Note 2 : Les étudiants doivent suivre le cours INF7900 Communication scientifique et technique II.
Génie logiciel - Regroupe les sujets de recherche qui ont pour but de faire avancer la connaissance sur les aspects reliés au logiciel indépendamment d’un domaine d’application particulier. Ce domaine comprend: la conception et le développement de logiciels, les processus de développement, l’assurance et le contrôle de qualité, les aspects cognitifs des activités de développement, la validité des méthodes et des outils traditionnels. Des sujets de recherches typiques sont par exemple : les méthodes de spécifications de requis centrées utilisateurs, les méthodes automatiques de ré-ingénierie des logiciels, les modèles d’évaluation de la qualité des logiciels, la définition de processus de génie logiciel, les méthodes de validation et de vérification des logiciels, la spécification d’interfaces.
Ingénierie des systèmes informatiques embarqués - Regroupe les sujets de recherche qui ont pour but de faire avancer la connaissance sur les aspects reliés à l’interaction entre le logiciel et le matériel. Ce domaine couvre aussi les nanosystèmes. Des sujets de recherches typiques sont par exemple: architectures d’ordinateur, de logiciel, de réseau, intégration du matériel et du logiciel dans un système informatique, conception simultanée logicielle - matérielle, intégration d’un système informatique dans un système parent, propriétés spécifiques d’un système logiciel - matériel enchâssé, embarqué ou réactif, méthodes de conception et de fabrication de matériel, outils logiciels d’aide à la conception et à la fabrication de dispositifs et de systèmes microélectroniques numériques, langages de spécification et de description de haut niveau, méthodes de synthèse de matériel de haut niveau, méthodes d’évaluation et de vérification de design.
Réseautique et informatique mobile - Le domaine d’intérêt en réseautique et informatique mobile couvre les applications sur les réseaux et les composantes mobiles sans fil des réseaux mobiles de prochaines générations, des réseaux optiques dorsaux et de l’informatique mobile. Les aspects intergiciels et télématiques sont également visés par ce domaine. Ce domaine d’intérêt s’intéresse aux aspects suivants: Internet, intranet et extranet, réseaux informatiques et applications, informatique mobile, informatique des réseaux, outil de conception, simulation, planification et gestion de réseaux informatiques.
Ingénierie des systèmes intelligents - Comprend la représentation des connaissances, l'extraction d'information, l'apprentissage automatique, l'analyse et la génération de texte en langage naturel, les interfaces personne-machine, les systèmes multi-agents, les systèmes experts, le raisonnement automatisé, la résolution de problèmes et les tutoriels intelligents. Plus particulièrement, les professeurs-chercheurs du département oeuvrant dans ce secteur ont développé des thèmes de recherche dans les domaines du Web sémantique, de la modélisation cognitive avec réseaux bayésiens, des aspects cognitifs des architectures multi-agents, de la recherche d'information, du raisonnement sous contraintes et des méta-heuristiques.
Ingénierie des systèmes de simulation numérique et de visualisation - Comprend la conception et le déploiement de logiciels complexes intimement liés à divers domaines d'application, tant dans les disciplines du génie que des sciences du vivant. Les principales recherches portent sur le traitement et la visualisation de modèles à géométries complexes et sur leurs applications, le
calibrage des systèmes d'acquisition, les techniques de reconstruction et de discrétisation de surfaces, le traitement parallèle et les simulations numériques intensives, la visualisation, les techniques de réalité virtuelle. Des sujets de recherches typiques sont par exemple : la simulation de traitement sur des organes personnalisés à partir de reconstructions 3D de structures anatomiques, l'analyse et l'optimisation du comportement de pièces aéronautiques et hydrauliques à l'aide de modèles par éléments et volumes finis en dynamique des fluides, la simulation de la physique de réacteurs nucléaires par des méthodes déterministes de suivi de particules, la simulation et la visualisation d'incendies et de propagation de flammes dans des édifices.
Les étudiants inscrits au doctorat à partir du trimestre d’hiver 2012 ou suivant doivent suivre les quatre premiers ateliers de formation complémentaire au doctorat d’un crédit chacun (hors programme).
Ateliers obligatoires
CAP7001 Réussir au doctorat (1 cr.)
Suivi préférablement au 1er ou 2e trimestre suivant l’inscription
CAP7005 Traitement de l’information scientifique et technique (1 cr.)
Suivi préférablement au 2e ou 3e trimestre suivant l’inscription
CAP7010 La créativité à votre portée (1 cr.)
Suivi préférablement au 3e ou 4e trimestre suivant l’inscription
CAP7015 Conduire un projet de recherche (1 cr.)
Suivi préférablement au 3e ou 4e trimestre suivant l’inscription
Note : Les étudiants dont la première inscription au doctorat est antérieure au trimestre d’hiver 2012 doivent suivre le cours ING6900 Méthodes de recherche ou ING6900E Research Methods (version anglaise) au plus tard au 3e trimestre suivant la première inscription, s’il n’a pas été suivi à la maîtrise.
Liste des autres ateliers offerts :
http://www.polymtl.ca/es/ateliersdoctorat/index.php
Se référer à l’article 75 pour les modalités générales de l’examen de synthèse.
MODALITÉS SPÉCIFIQUES AU PROGRAMME
Les détails des modalités spécifiques au programme sont disponibles au secrétariat du département.
Les modalités spécifiques au programme sont disponibles au secrétariat des études supérieures du département de génie informatique et génie logiciel.
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6500 | Structures d'ordinateurs | 3 | |
| INF6600 | Conception et analyse des systèmes temps réel | 3 | |
| INF8500 | Systèmes embarqués:conception et vérification | 3 | |
| INF8505 | Processeurs embarqués configurables | 3 | |
| INF8601 | Systèmes informatiques parallèles | 3 | |
| LOG8430 | Architecture logicielle et conception avancée | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6302 | Ré-ingénierie du logiciel | 3 | |
| INF8007 | Langages de script | 1 | |
| INF8301 | Ingénierie de la qualité en logiciel | 3 | |
| LOG6303 | Rôles des processus en génie logiciel | 3 | |
| LOG6305 | Techniques avancées de test du logiciel | 3 | |
| LOG6306 | Patrons pour la compréhension de programme | 3 | |
| LOG6307 | Fouille de réf. pour mise en prod. logicielle | 3 | |
| LOG8430 | Architecture logicielle et conception avancée | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6800 | Conc. géom. ass. par ord. et visualisation | 3 | |
| INF6802 | Réalité virtuelle : principes et applications | 3 | |
| INF6803 | Traitement vidéo et applications | 3 | |
| INF8702 | Infographie avancée | 3 | |
| INF8703 | Audio numérique | 3 | |
| INF8801 | Systèmes multimédias et applications | 3 | |
| GBM6700 | Reconstruction 3D à partir d'images médicales | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6401A | Architecture de réseaux informatiques | 3 | |
| INF6403 | Protocoles des couches de réseautage | 3 | |
| INF6404A | Intergiciels et protocoles d'applications IP | 3 | |
| INF6405 | Systèmes informatiques mobiles | 3 | |
| INF6470 | Conception et planif. des réseaux informat. | 3 | |
| INF8401 | Configuration et gestion des réseaux inform. | 3 | |
| INF8402 | Sécurité des réseaux fixes et mobiles | 3 | |
| INF8405 | Informatique mobile | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6422 | Concepts avancés en sécurité informatique | 3 | |
| INF6603 | Vérification des systèmes temps réel | 3 | |
| INF6605 | Méthodes formelles sécurité de l'information | 3 | |
| INF8402 | Sécurité des réseaux fixes et mobiles | 3 | |
| INF8430 | Investigation numérique en informatique | 3 | |
| LOG6305 | Techniques avancées de test du logiciel | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6600 | Conception et analyse des systèmes temps réel | 3 | |
| INF6603 | Vérification des systèmes temps réel | 3 | |
| INF8500 | Systèmes embarqués:conception et vérification | 3 | |
| INF8505 | Processeurs embarqués configurables | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6101 | Programmation par contraintes | 3 | |
| INF6102 | Métaheur. applic. au génie informatique | 3 | |
| INF6304 | Interfaces intelligentes | 3 | |
| INF6410 | Ontologies et Web sémantique | 3 | |
| INF8225 | I.A.:tech. probabilistes et d'apprentissage | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF6951# | C. SPÉC. : « titre du cours » | 1 | |
| INF6952# | C. SPÉC. : « titre du cours » | 2 | |
| INF6953# | C. SPÉC. : « titre du cours » | 3 |
| Note | Sigle | Titre | Crédits |
|---|---|---|---|
| INF791X | Stage doctoral X (X = 1 à 6 | 9 |
BA = baccalauréat ES = études supérieures CE = certificat
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génie biomédical
Préalable(s) :
Corequis :
Systèmes de reconstruction 3D à partir d'images médicales. Systèmes de vision passive : calibrage de caméras et de systèmes à rayons-X, mise en correspondance de primitives, techniques de mise en correspondance de primitives géométriques, techniques de mise en correspondance basées sur l'intensité, géométrie épipolaire, reconstruction 3D, fusion multimodale d'images médicales. Reconstruction 3D à partir de séquences d'images : auto-calibrage, suivi temporel de primitives, reconstruction 3D à partir de mouvement, d'ombrage et de texture. Systèmes de vision active : principe d'interférométrie, triangulation active, recalage d'images 3D, techniques de recalage rigide, techniques de recalage élastique, placage de texture. Exemples d'applications de reconstruction 3D de structures anatomiques à partir d'images médicales.
Manuel(s) :
Notes : cours donné à Polytechnique. L'étudiant de l'Université de Montréal doit obtenir une « Autorisation d'études hors établissement » pour s'y inscrire.
Responsable(s) : Cheriet, Farida
Site Web : http://moodle.polymtl.ca/course/view.php?name=GBM6700
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Paradigme de programmation par contraintes. Historique et domaines d'application. Problème de satisfaction de contraintes. Notions de cohérence locale et propagation de contraintes. Modélisation. Algorithmes de filtrage. Recherche heuristique de solutions. Architecture de systèmes de programmation par contraintes. Approches hybrides.
Manuel(s) :
Notes :
Responsable(s) : Pesant, Gilles
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6101
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :
Problèmes combinatoires difficiles rencontrés dans le domaine du génie informatique : nature et caractérisation. Approches de résolution : approche de construction, approche de réparation. Techniques de résolution : heuristique vorace, recuit simulé, recherche avec tabou, recherche locale itérée, algorithme génétique, colonies de fourmis. Hybridation, algorithme mémétique. Adaptation d'une métaheuristique au problème à résoudre. Recherche efficace du meilleur voisin : structure de tas, algorithmes incrémentaux. Réglage des paramètres d'une heuristique. Analyse statistique des résultats. Applications : réseaux de télécommunications, bioinformatique, emploi du temps.
Manuel(s) :
Notes :
Responsable(s) : Galinier, Philippe
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6102
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Cycle de ré-ingénierie : ré-ingénierie, restructuration, rétro-ingénierie, récupération de la conception (Design Recovery) et re-documentation. Niveaux d'abstraction et méthodes de représentation. Aspects d'analyse syntaxique. Techniques d'analyse statique du code source. Analyses de flux de contrôle et de flux de données. Autres techniques d'analyses de flux. Approches d'extraction et d'inférence de spécifications. Génération automatique de code. Analyse d'impact.
Manuel(s) :
Notes :
Responsable(s) : Merlo, Ettore
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6302
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Caractéristiques, enjeux et limites des interfaces intelligentes. Modèles de l'interaction humain-machine et de l'utilisateur : connaissances, intérêts et préférences, buts et plans. Recherche d'information semi-structurée : filtres collaboratifs et sémantiques, agents de recherche. Aide et assistance : systèmes conseils, documents adaptatifs, dialogue coopératif et tuteurs intelligents. Interfaces sensibles au contexte. Validation des interfaces intelligentes
Manuel(s) :
Notes :
Responsable(s) : Desmarais, Michel
Site Web : http://www.cours.polymtl.ca/inf6304
Nombre de crédits : 3 (0.5 - 1.5 - 7)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Besoins en réseautique, définitions, historique. Topologie des réseaux : réseaux locaux, réseaux métropolitains, réseaux étendus. Présentation du modèle de référence OSI (Open Systems Interconnection). Couche physique : transmission numérique, signalisation, synchronisation, modulation, multiplexage. Couche liaison : contrôle des erreurs, sous-couches LLC (Logical Link Control) et MAC (Medium Access Control). Couche réseau : méthodes de routage, contrôle de flot et de congestion. Couches de transport et de haut niveau. Famille des protocoles TCP/IP (Transmission Control Protocol/Internet Protocol) : modèle, protocoles, applications, gestion, évolution. Internet : mode d'adressage, résolution des noms. Dispositifs d'interconnexion des réseaux. Sécurité des réseaux.
Manuel(s) :
Notes : ce cours se donne sur Internet, avec 6 heures de séance en classe et 18 heures de travaux pratiques en laboratoire qui exigent une présence physique dans les locaux de l'École.
Responsable(s) : Pierre, Samuel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6401A
Nombre de crédits : 3 (0.5 - 1.5 - 7)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Besoins en réseautage. Principes d'architecture des réseaux. Transport de données indépendantes du réseau. Communication point à point. Aiguillage. Diffusion. Multi-adressage. Couches réseau et transport du modèle OSI (Open Systems Interconnection). Protocoles de l'Internet (TCP, UDP, IP, ARP, RARP, DHCP, BOOTP, ICMP, RIP, OSPF, etc.). Gestion et résolution des adresses et des noms de domaine : serveurs de nom. Gestion des réseaux. Contrôle des réseaux. Réseaux virtuels privés. Réseaux sans fil. Réseaux de grande envergure.
Manuel(s) :
Notes : Ce cours se donne sur le web, avec 6 heures de séance en classe et 18 heures de travaux pratiques en laboratoire.
Responsable(s) : Pierre, Samuel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6403
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou équivalent
Corequis :
Communication de données : transparence du transfert d'information tel que spécifié par les couches supérieures du modèle TCP/IP (Transport Control Protocol/Internet Protocol). Couche application : identification et authentification des interlocuteurs, négociation des mécanismes de sécurité et de récupération des erreurs. Services applicatifs et protocoles des applications de l'Internet. Téléphonie sur IP. Introduction aux intergiciels. Modèles d'intergiciels.
Manuel(s) :
Notes :
Responsable(s) : Quintero, Alejandro
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Mobilité dans les systèmes informatiques : historique et définition. Architectures de réseaux à composantes mobiles. Systèmes cellulaires et sans fil. Caractérisation des terminaux mobiles. Mobilité des terminaux et portabilité des services. Conception et analyse d'algorithmes pour les environnements et plates-formes supportant la mobilité. Gestion des données dans des systèmes informatiques mobiles. Gestion des transactions réparties. Infrastructures et protocoles de communication supportant la mobilité. Sécurité et adaptabilité. Agents mobiles et Internet. Applications mobiles et performances.
Manuel(s) :
Notes :
Responsable(s) : Pierre, Samuel
Site Web : http://www.cours.polymtl.ca/inf6405
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Notions de base en logique propositionnelle et logique des prédicats. Logiques descriptives. Mécanismes d'inférence. Langages et modèles de données pour le web sémantique : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies. Ontologies standards. Méthodologie pour la construction d'une ontologie. Validation d'une ontologie. Applications du web sémantique : annotation et indexation sémantique de documents, outils de recherche,
Manuel(s) :
Notes :
Responsable(s) : Gagnon, Michel
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6410
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4420A ou l'équivalent
Corequis :
Évaluation de performance en sécurité informatique. Performance des systèmes défensifs vs performance des outils d'attaques. Méthodes quantitatives d'évaluation de performance en sécurité informatique : modèles mathématiques, simulation et émulation. Méthodes d'expérimentation en laboratoire. Systèmes de détection d'intrusion (IDS) : recherche, déploiement commercial et limitations. Détection par règle et par anomalie. Évasion d'IDS et attaques par imitation. Détection de code malicieux : principes de base et problématiques actuelles. Réseaux de zombies : types, historique et fonctionnement. Méthode de détection et de mitigation. Attaques de déni de service : utilisation à des fins économiques et politiques, solutions proposées et utilisées. Modèles sémantiques des concepts de sécurité et attaques sémantiques. Modèles et systèmes de gestion de la confiance. Protection de la vie privée et impacts sociopolitiques.
Manuel(s) :
Notes :
Responsable(s) : Fernandez, José M.
Nombre de crédits : 3 (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF6401A ou l'équivalent
Corequis :
Processus de planification des réseaux informatiques. Exigences et spécifications. Modélisation des principaux problèmes de planification des réseaux. Conception et expansion topologiques. Localisation des équipements. Réseaux informatiques à plusieurs niveaux. Dimensionnement des réseaux informatiques et acheminement du trafic avec critères de performance, de fiabilité et de qualité de service. Allocation des ressources dans les réseaux informatiques. Études de cas.
Manuel(s) :
Notes :
Responsable(s) : Chamberland, Steven
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6470
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Concepts de base en architecture des ordinateurs et principaux composants d'un ordinateur contemporain : processeurs, mémoire, interconnexions et communications. Architectures pour applications spécialisées, industrielles et médicales. Structures complexes à plusieurs processeurs. Plateformes d'implémentation incluant FPGA (field-programmable gate array) et CPLD (complex programmable logic device). Caractéristiques des ordinateurs pour des applications critiques et/ou en temps réel. Périphériques et interfaces aux processeurs incluant le choix des convertisseurs et méthodes de conversions analogique-numérique. Avantages et désavantages des principales architectures d'interface analogique pour ordinateurs.
Manuel(s) :
Notes :
Responsable(s) : Martel, Sylvain
Site Web : http://wiki.polymtl.ca/nano/fr/index.php/INF6500
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :
Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Implémentation. Systèmes d'exploitation temps réel. Spécification et validation. Cas types.
Manuel(s) :
Notes :
Responsable(s) : Nicolescu, Gabriela
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6600
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Introduction aux méthodes formelles de vérification des systèmes temps réel. Intégration des méthodes formelles dans le processus de développement des systèmes temps réel. Automates temporisés, automates hybrides, automates temporisés à chronomètres, automates temporisés de jeu, automates temporisés à tâches. Abstractions des espaces d'états temporisés préservant les propriétés linéaires et les propriétés de branchement, et les structures de données associées. Logiques temporelles temporisées MITL (Metric Interval Temporal Logic) et TCTL (Timed Computation Tree Logic). Model-checking. Synthèse de contrôleurs. Décidabilité et complexité de vérification. Contrôle et analyse formelle de l'ordonnançabilité. Génération automatique de tests. Calcul de stratégies gagnantes. Génération de tests par la synthèse de contrôleurs. Outils de vérification et leurs fondements théoriques.
Manuel(s) :
Notes :
Responsable(s) : Boucheneb, Hanifa
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6603
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Contrôle d'accès : mécanismes, modèles (définition, spécification et vérification), limitations. Contrôle de flux d'information : mesures, spécification et analyse de flux dans un programme séquentiel. Non-interférence (spécification, analyse et limitations), généralisations de la non-interférence aux systèmes distribués (spécification, classification et analyse). Sécurité des systèmes ouverts : spécification des propriétés de sécurité, modèles d'attaques, diverses méthodes d'analyse automatisée et leurs limitations.
Manuel(s) :
Notes :
Responsable(s) : Mullins, John
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Courbes et surfaces en conception géométrique assistée par ordinateurs : Bézier, B-splines et B splines rationnelles non uniformes (NURBS). Applications à la visualisation. Surfaces à facettes triangulaires, surfaces implicites et surfaces de subdivision. Algorithmes d'insertion de noeuds, de projection et de reparamétrisation. Interpolation de courbes et de surfaces. Recherche géométrique. Modélisation géométrique solide : géométrie et topologie. Normes d'échange de données graphiques et géométriques.
Manuel(s) :
Notes :
Responsable(s) : Guibault, François
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6800
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :
Réalité virtuelle et environnements virtuels. Applications des systèmes de réalité virtuelle. Matériel. Logiciels. Normes graphiques. Scène et structure hiérarchique d'objets graphiques. Modélisation géométrique et transformations. Visualisation scientifique en immersion. Techniques de navigation et de déplacement. Actions et interactions en immersion. Systèmes à retour d'effort. Environnements de collaboration. Avatars. Téléopération. Protocoles de collaboration.
Manuel(s) :
Notes :
Responsable(s) : Ozell, Benoît
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6802
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :
Définition et objectifs du traitement vidéo. Architecture et caractéristiques des caméras vidéo. Indexation vidéo : détection des transitions, découpage en scènes, détection automatique d'événements. Détection du mouvement dans une séquence vidéo. Élimination du bruit et des ombres. Extraction et représentation de l'information d'une séquence vidéo. Description des objets en mouvement : modèles d'apparence, modèles structurels, modèles d'humain. Modélisation et reconnaissance des gestes et des activités.
Manuel(s) :
Notes :
Responsable(s) : Bilodeau, Guillaume-Alexandre
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6803
Nombre de crédits : 1 (1 - 1 - 1)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :
Caractéristiques des langages de script. Principaux langages et domaines d'application. Programmation avec un langage de script : syntaxe, structures de contrôle, structures de données, communication interprocessus et communication avec une base de données, modules clients et serveurs.
Manuel(s) :
Notes :
Responsable(s) : Desmarais, Michel C.
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8007
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LOG2810 et MTH2302, ou l'équivalent
Corequis :
Méthodes probabilistes d'intelligence artificielle. Modèles probabilistes : réseaux bayésiens, modèles de Markov cachés, champs aléatoires de Markov et leurs généralisations. Inférence. Théorie de la décision statistique et des réseaux de décision. Algorithmes d'apprentissage automatique, classificateurs simples, complexes et structurés. Traitement probabiliste de la langue naturelle et de la perception visuelle. Applications à la conception et l'implantation des systèmes experts, au forage de données, à la recherche d'informations et à la vision par ordinateur.
Manuel(s) :
Notes :
Responsable(s) : Pal, Christopher
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8225
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 cr. pour les étudiants au baccalauréat
Corequis :
Concepts de base et définitions pertinentes en relation avec la qualité du logiciel, assurance qualité, tests, ingénierie de la qualité et planification de la qualité. Prévention des anomalies et classification des défauts. Tolérance aux fautes. Ingénierie de la fiabilité logicielle. Modèles de la qualité. Comparaison des différentes techniques d'assurance qualité. Amélioration du processus de développement logiciel. Mesure du logiciel et du processus. Identification des risques pour l'amélioration quantifiable de la qualité.
Manuel(s) :
Notes :
Responsable(s) : Robillard, Pierre N.
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8301
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :
Historique des réseaux locaux. Architecture des réseaux locaux. Protocoles et fonctionnement des commutateurs et des routeurs. Conception des réseaux incluant le choix des technologies, des protocoles et des équipements. Configuration des commutateurs et des routeurs (câblés et sans fil). Câblage structuré. Systèmes d'exploitation des réseaux. Téléphonie et voix sur IP. Gestion de réseaux : gestion de la performance, des configurations et des fautes dans les réseaux. Virtualisation.
Manuel(s) :
Notes :
Responsable(s) : Chamberland, Steven
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8401
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :
Sécurité des réseaux informatiques fixes et mobiles. Normes de sécurité des réseaux. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques fixes : réseaux Ethernet, réseaux TCP/IP (Transport Control Protocol/Internet Protocol) et particularités des réseaux IP. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques mobiles incluant les réseaux ad hoc, les réseaux de capteurs et les réseaux téléphoniques mobiles. Sécurité du système IMS (Internet Multimedia Subsystem) et des réseaux pair-à-pair. Technologies de sécurité des réseaux : réseaux privés virtuels et les réseaux locaux virtuels.
Manuel(s) :
Notes :
Responsable(s) : Quintero, Alejandro
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8402
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :
Informatique mobile et réseaux sans fil. Disponibilité ou présence en tous lieux et en tout temps. Gestion de mobilité et de localisation. Caractérisation d'applications mobiles. Architectures des réseaux à composantes mobiles : cadres théoriques et pratiques. Systèmes d'exploitation pour les dispositifs mobiles. Systèmes cellulaires et sans fil. Réseaux de prochaines générations. Nouvelles architectures de réseaux sans fil. Approches de déploiement d'applications dans les réseaux ad hoc et de capteurs. Infrastructures et protocoles supportant la mobilité. Qualité de service et routage pour applications mobiles. Développement de services évolués pour usagers mobiles. Applications adaptatives : conception et implémentation sur réseaux sans fil.
Manuel(s) :
Notes :
Responsable(s) : Quintero, Alejandro
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2610, INF3405 ou l'équivalent
Corequis :
Application de techniques et de protocoles d'investigation numériques pour la collecte, l'identification, la description, la sécurisation, l'extraction, l'authentification, l'analyse, l'interprétation et l'explication des données numériques contenues dans des systèmes informatiques et dans des périphériques de stockage. Capture et analyse des données volatiles, notamment des séances actives de réseaux et des processus en cours. Collecte d'informations des navigateurs Web.
Manuel(s) :
Notes :
Responsable(s) : Chamberland, Steven
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :
Introduction à la conception conjointe logiciel/matériel. Techniques de vérification fonctionnelle pour le matériel : génération aléatoire de tests sous contraintes, couverture de code, couverture fonctionnelle et assertions. Plan de vérification. Stimuli et réponse. Banc d'essai et concept de réutilisation pour différents niveaux d'abstraction. Langages System Verilog et SystemC pour la modélisation et la vérification de systèmes embarqués. Covérification, codébogage et cosimulation. Définition du codesign logiciel/matériel. Étapes de codesign : allocation, partitionnement logiciel/matériel, ordonnancement et raffinement. Estimation de performance. Synthèse du logiciel, du matériel et du protocole de communication. Implémentation. Études de cas d'outils industriels.
Manuel(s) :
Notes :
Responsable(s) : Bois, Guy
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8500
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : ELE3312 ou INF3610 ou l'équivalent
Corequis :
Revue des microprocesseurs. Flot de conception d'un processeur embarqué. Langages de description architecturale. Compilateurs polyvalents : principes et approches. Configuration automatisée d'un processeur embarqué : profilage de code et synthèse de jeu d'instructions, génération de coprocesseurs, synthèse du chemin de données. Métriques de performance et de complexité. Configuration de processeurs embarqués pour réseaux prédiffusés programmables (FPGA).
Manuel(s) :
Notes :
Responsable(s) : Langlois, Pierre
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8505
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2610 ou l'équivalent
Corequis :
Taxonomie et organisation des systèmes informatiques parallèles. Architectures avancées de multiprocesseurs. Hiérarchie de mémoires, protocoles de cohérence des antémémoires. Parallélisme par fils d'exécution multiples. Conception d'applications parallèles en mémoire partagée. Coprocesseurs pour le calcul parallèle. Grappes de calcul et échange de messages entre les noeuds. Techniques d'équilibrage de charge. Infonuagique. Conception d'applications parallèles en mémoire répartie.
Manuel(s) :
Notes :
Responsable(s) : Dagenais, Michel
Nombre de crédits : 3 (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :
Architectures et technologies de rendu graphique. Rendu graphique en temps réel. Rendu d'objets polygonaux : élimination de parties cachées, nuanceurs de sommets et de fragments, ombrage. Rendu d'objets surfaciques. Utilisation de textures : textures 2D sur objets 3D, textures 3D. Courbes et surfaces paramétriques. Évolution du modèle de réflexion locale : réflexion spéculaire et diffuse par modélisation physique. Modèles d'illumination globale : lancer de rayons, radiosité. Rendu de volumes. Modélisation artistique. Réalité virtuelle.
Manuel(s) :
Notes :
Responsable(s) : Pal, Christopher
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8702
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4725 ou équivalent
Corequis :
Le son : acoustique, réponse de l'oreille, musique. Signaux audio : échantillonnage, rééchantillonnage, analyse de fréquences dans le temps. Traitement des signaux audio : filtrage, débruitage, réparation, changement de note et de vitesse. Simulation du positionnement d'une source sonore dans un environnement virtuel. Modélisation et synthèse de son. Compression : psychoacoustique et sans perte. Traitement en temps réel.
Manuel(s) :
Notes :
Responsable(s) : Boyer, François-Raymond
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4710 ou l'équivalent
Corequis :
Composantes d'un système multimédia. Compression d'images fixes : modèle psycho-visuel humain, compression par ondelettes, par fractales, compression sans perte, normes de compression d'images fixes. Indexation d'images par contenu : systèmes orientés usagers, apprentissage et sémantique, descripteurs et mesure de similarité. Compression de séquences vidéo : par analyse et segmentation de mouvement, par fractales, normes de compression vidéo. Animation basée sur la modélisation physique. Étude d'exemples d'applications multimédias.
Manuel(s) :
Notes :
Responsable(s) : Cheriet, Farida
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Types de processus : philosophie Agile, processus discipliné, modèles de référence, CMMI, ISO 15504 et méta-modèle. Rôles des processus en fonction des contextes suivants : qualité du logiciel, cycle de vie, disciplines d'ingénierie et de support, pratiques de développement, interactions face-à-face et virtuelle, équipe distribuée, gestion des équipes, mobilité, environnement de développement, techniques d'amélioration des processus, estimations, outils logiciels, méthodologies, métriques, certification. Application de la méthodologie de la revue systématique de la littérature dans le contexte des processus de génie logiciel.
Manuel(s) :
Notes :
Responsable(s) : Robillard, Pierre N.
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Principaux aspects du test du logiciel à toutes les étapes de développement et d'évolution. Techniques structurelles de test et méthodes de test fonctionnel avancées. Génération automatique de données de test et approches basées sur les métaheuristiques. Tests des logiciels orientés objets. Modélisation quantitative du logiciel pour évaluer sa fiabilité, sa robustesse et sa sécurité. Techniques pour détecter les failles de sécurité. Identification des fichiers, classes ou méthodes défectueuses. Rôle de l'ingénierie de la qualité dans la fiabilité du logiciel.
Manuel(s) :
Notes :
Responsable(s) : Antoniol, Giuliano
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Introduction aux méthodes empiriques en génie logiciel. Métamodélisation et mesures. Principales théories de la mesure et validation des mesures. Introduction aux études empiriques et techniques d'analyses empiriques. Principales définitions de patrons (patrons architecturaux, de conception, anti-patrons, idiomes). Principales théories liées à la compréhension de programmes et à l'utilisation de patrons. Principales méthodes d'utilisation des patrons pour le développement et la maintenance et pour faciliter la compréhension de programmes. Principales techniques d'application de patrons et d'identification d'occurrences dans divers artefacts logiciels (code source, modèles statiques, dynamiques, historiques). Impact des patrons sur la compréhension des programmes.
Manuel(s) :
Notes :
Responsable(s) : Guéhéneuc, Yann-Gaël
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Processus de la mise en production de logiciel : intégration, manufacture, tests en plusieurs étapes, emballage et livraison. Planification de la mise en production et problématiques liées. Définition et concepts de base de la fouille de référentiels logiciels. Différents types de référentiels : gestion des configurations, gestion de bogues, listes de diffusion, écosystèmes de projets et sites de collaboration. Techniques pour l'analyse empirique des référentiels: fouille de données, analyse statistique, traitement de la langue naturelle, analyse du code source et analyse manuelle. Intégration : gestion des configurations, impact des patrons de branchement sur la qualité du logiciel, patrons d'intégration dans des projets à grande échelle. Manufacture : maintenance et vérification de la manufacture, gestion de la variabilité logicielle. Tests en plusieurs étapes : prédiction de bogues, réduction/minimalisation/sélection de tests et assurance qualité en continu. Emballage : distributions de logiciels à grande échelle, provenance de code source et applications mobiles. Livraison : techniques de déploiement, magasins d'applications mobiles (« app stores ») et infonuagique.
Manuel(s) :
Notes :
Responsable(s) : Adams, Bram
Nombre de crédits : 3 (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LoG2410, LOG3210, LOG3430, ou l'équivalent
Corequis :
Méthodes de conception avancées de logiciels et choix d'architecture. Architectures logicielles : multi-niveaux, clients-serveurs, extensibles et dynamiques. Concepts et implantations avancées des bibliothèques et du chargement de composantes dynamiques. Cadres de référence et plugiciels. Composition et architecture par composantes. Patrons de conception avancés pour les systèmes distribués : accès aux services et configuration, traitement d'événements, synchronisation et accès simultanés. Approches émergentes de conception et d'architecture : conception orientée aspect, architecture orientée services et autres.
Manuel(s) :
Notes :
Responsable(s) : Guéhéneuc, Yann-Gaël
Polytechnique Montréal
Registrariat
C.P. 6079, succursale Centre-ville
Montréal (Québec) CANADA, H3C 3A7
Téléphone : 514 340-4724
Télécopieur : 514 340-5836
Courriel : registraire@polymtl.ca
Pavillon : Principal
Local : A-201
Le contenu de cette page est sous la responsabilité des études supérieures.