Programe » Programme Master - Systèmes Intelligents & Multimédia

Master 1 - Tronc commun

Responsable du programme : Nguyen Hong Quang

Liste des cours

 

UE fondamentales
Initiation à Unix
Génie logiciel avancé
Intelligence artificielle & systèmes multi-agent
Bases de données avancées
Gestion de projet
Conception et architecture des réseaux
Fouille de données et recherche d'information
Traitement d'images
TPE (Travaux Personnels Encadrés)
 
UE optionnelles (4 modules à choisir parmi 6)
Recherche opérationnelle
Ontologie et web sémantique
Théorie de la complexité et algorithmes approchés
Programmation par contraintes
Calcul haute performance
Evaluation des performances
 
UE complémentaires pour Master 1 & 2
Séminaires de recherche
Français
Anglais
Philosophie

UE fondamentales

 

 

 

Initiation à UNIX

 

Description du module

Il s´agit d´un cours préparatoire intensif. Le but du cours est d´initier les nouveaux auditeurs de l´ IFI à leur environnement de travail : réseau de stations sous GNU/Linux avec logiciels libres et à code source ouvert. Les principaux thèmes étudiés dans ce cours sont les suivants :

Contenu

Chaque séance de cours est suivie par un TD ou TP noté

 

Génie logiciel avancé

Description du module

Ce module permet à l'étudiant d'approfondir les fondements méthodologiques et techniques du génie logiciel. Il a pour but de présenter les aspects avancés du génie logiciel et de fournir aux étudiants les moyens d’introduire ces techniques dans leur environnement professionnel. De plus, il vise à fournir une ouverture sur la recherche dans le domaine du génie logiciel. Le cours est divisé en plusieurs parties théoriques et en ateliers. Les ateliers s'organisent autour d'un projet à réaliser en équipe permettant une opportunité pédagogique axée sur la mise en pratique des concepts théoriques.

Contenu

 

Intelligence artificielle et systèmes multi-agent

Description du module

SMA

Ce cours se divise en deux parties : une partie théorique permettant d'appréhender les notions d'agent et de système multi-agents et une partie pratique permettant de maîtriser la conception de système à base d'agents sur une plate-forme de type Netlogo sur la base de projets de difficulté graduelle. La partie théorique mettra l'accent sur l'organisation interagents, sur le raisonnement et sur la communication entre agents afin de montrer comment un ensemble d'entités peut interagir afin de résoudre un problème complexe.

IA

Ce cours a pour but d’introduire les notions de base de l’intelligence artificielle - IA. Différentes approches de l’IA sont abordées ici. La représentation de sconnaissances du problème à résoudre par la logique est développée sous plusieurs aspects : logique des propositions, des prédicats, floue, temporelle…. La résolution naïve de problèmes est ainsi traitée à l’aide d’algorithmes de recherche comme la recherche aveugle, la recherche heuristique. De là, dans des cas complexes, une telle résolution de problèmes peut être mise en évidence en inférant les connaissances acquises représentées par la logique de propositions et de prédicats. Ce module aborde également les notions de Systèmes Experts et de Planification pour un agent rationnel.

Contenu

SMA

IA

 

 

Bases de données avancées

Description du module

Une évolution constante de la technologie des bases de données consiste à exprimer une part toujours plus importante de la sémantique des domaines d’application directement comme des fonctions fournies par le logiciel de gestion de bases de données et invoquées par les programmes d’application, au lieu de devoir programmer ces fonctions dans les programmes d’applications construits par les développeurs d’applications.

Le cours illustre cette évolution et ses avantages, en présentant les principes des bases de données actives, temporelles et basées sur les objets.

Contenu

 

Gestion de projet

Description du module

Principes et méthode de gestion de projet et leur application au génie logiciel. Le processus de gestion de projet : faisabilité, planification, réalisation, évaluation a posteriori. Les études de faisabilité : principes et techniques d'évaluation des coûts et des bénéfices; mesure des tailles fonctionnelles des logiciels; techniques d'analyse financière et de la limitation des risques. La planification et ses aspects structurels, organisationnels, opérationnels et financiers : organigramme des tâches, ordonnancement, évaluation du coût des tâches, méthodes de nivellement des ressources; leur application aux projets en génie logiciel. La réalisation : direction, coordination, contrôle de l'avancement, des coûts et de la qualité; gestion des changements; clôture du projet. Rôle et responsabilités du chef de projet. Plan de documentation du projet.

Contenu

 

Conception et architecture des réseaux

 

Description du module

L’objectif de base de ce cours est de renforcer les compétences en réseaux, rappeler et approfondir les connaissances des étudiants sur les principes théoriques de la transmission de données dans les réseaux informatiques, les différents types des supports de communication, les principes des réseaux locaux et les éléments liés à l'infrastructure physique d'un réseau local (Ethernet, Token Ring, norme IEEE 802.3), les principes de routage, les couches réseau, transport et application et les protocoles correspondants de l’Internet. Le cours prévoit également la lecture et l'analyse des articles scientifiques sur les technologies de communication, les protocoles et les aspects de gestion et d’administration des réseaux actuels.

Contenu

 

Fouille de données et recherche d'information

Description du module

Ce cours enseigne les fondements de la recherche d’informations sur le Web, les intranets, les bibliothèques numériques, ainsi que pour la fouille de données et les outils d’analyse de données. La recherche d’informations et la fouille de données regroupent les technologies pour chercher, analyser et organiser automatiquement les documents texte ou multimédia, structurés ou semi-structurés

Contenu

 

Traitement d'images

Description du module

Ce module est une introduction, ou une remise à niveau, sur les méthodes et techniques de base utilisées pour le traitement des images. Il fournit une vue d’ensemble des différents aspects liés à ce domaine. En plus des techniques existantes, les étudiants sont amenés à réfléchir sur les difficultés liées à ce domaine. Les notions de ce cours seront approfondies par la suite dans les cours de l’option Intelligence Artificielle & Multimédia en Master 2.

Contenu

 

Travaux personnels encadrés (TPE)

Description du module

Ce module de Travaux Personnels Encadrés (TPE) a pour but de développer un sens de l’autonomie, de l’initiative et du travail individuel chez les auditeurs. L’auditeur doit démontrer qu’il est capable de comprendre un domaine pointu, structurer la connaissance, maîtriser et présenter un sujet scientifique et tout cela de façon individuelle et personnelle. Il s’agit d’un module très important dans la réussite des études à l’IFI.Chaque auditeur doit approfondir de façon individuelle un sujet choisi sous l’encadrement d’un professeur. Le travail se déroule sur deux semestres et comporte à la fois un volet théorique, où l’auditeur doit étudier tous les documents relatifs à son sujet, et un volet pratique, où l’auditeur doit faire une réalisation pratique sur son sujet.

Contenu

Ce module est essentiellement un travail personnel que l'auditeur doit mener pendant 2 semestres. Quelques séances de cours (environ 10h au total) auront lieu pendant l'année pour expliquer les différentes étapes de la méthodologie scientifique.

 

 

 

 

 

UE optionnelles (4 modules à choisir parmi 6)

 

Recherche opérationnelle

 

Description du module

Problèmes d’optimisation sur les graphes : problème d’ordonnancement et méthode de Pert, et flots dans les réseaux et  algorithme de Ford – Fulkerson, problème du plus courts chemins. Programmation linéaire : modélisation des problèmes, de la resolution graphique au algorithme du simplexe. Problème de la dualité et méthode dual-simplexe. Modèle de Markov : Simulation, illustrations et applications. Théorie des jeux : jeux non-coopératifs et jeux coopératifs, méthodes modéliser et d’analyser de problèmes.

Contenu

 

Ontologie et web sémantique

 

Description du module

Les ontologies ont des origines variées, de la philosophie à l'ingénierie des connaissances en passant par les sciences cognitives. L'utilisation d’ontologies, ou connaissances, est de plus en plus importante dans les systèmes d’information (SI). Ce cours permet à l'étudiant d'approfondir les fondements méthodologiques et techniques de l’ingénierie des connaissances à base d’ontologies. Il a pour but de présenter les notions de base sur l’ingénierie ontologique, des langages de formalisation, des méthodologies pour la construction d'une ontologie et la validation d'une ontologie, ainsi des applications à base d’ontologies. De plus, ce cours vise à fournir une ouverture sur la recherche dans le domaine du web sémantique. Différentes facettes relatives aux langages et modèles de données pour le web sémantique seront introduits : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies.

Contenu

 

Théorie de la complexité et de l'algorithme approchés

 

Description du module

Effectivité et efficacité pour résoudre un problème. Le modèle des machines de Turing et les problèmes demi-décidables. Les problèmes décidables. La réduction de problèmes.Un premier problème indécidable : l’arrêt des machines de Turing. Par réductions, d’autres problèmes indécidables : Rice, PCP, ... Les problèmes polynomiaux P, non-déterministes polynomiaux NP, et NP-complets. Un premier problème NP-complet (Cook) : SAT. Par réductions polynomiales, d’autres problèmes NP-complets : transversale, voyageur de commerce, chemin hamiltonien, partition, mariages à trois, ...,. Evaluation de la complexité de programmes itératifs et récursifs : sommations et récurrences.

Contenu

Introduction. Machines et problèmes. Existence de problèmes indécidables. Machines de Turing. Exemples et exercices. Machines de Turing. Modèle multi-bandes. Machine de Turing universelle. Langages acceptés, calculés, énumérés. Demi-décidabilité. Machines de Turing non déterministes. Problèmes décidables et langages récursifs. Indécidabilité de l’arrêt. Réduction de problèmes. Exemples. Théorème de Rice. Problème de correspondance de Post. D’autres problèmes indécidables. Exemples et exercices. Machines de Turing de complexité polynomiale. Réduction polynomiale. Circuit hamiltonien (HC) et voyageur de commerce (TS). Machines de Turing non dérministes de complexité polynomiale. Problèmes NP-complet. Théorème de Cook : SAT. 3SAT, transversale (VC), chemin hamiltonien (HC), clique, mariages à trois (3DM), partition, ..., . Ordres de grandeur. Equivalents asymptotiques. Exemples.Programmes itératifs. Coefficients binomiaux. Programmes récursifs. Récurrences. Sommation par parties. Séries génératrices. Résolution de récurrences. Méthode symbolique. Exemples et exercices.

 

Programmation par contraintes

 

Description du module

Introduction aux techniques de recherche locale, et plus particulièrement à la recherche locale basée sur les contraintes.

Contenu

 

Calcul haute performance

Description du module

Ce module est une introduction à la conception, l'analyse et le déploiement des applications de calcul scientifique et technique de haute performance. Le contenu présentera essentiellement les architectures des calculateurs avancés, les algorithmes et langages parallèles, et le calcul orienté haute performance.

Contenu

 

Evaluation des performances

 

Description du module

Sensibiliser les étudiants aux problèmes rencontrés dans la modélisation et l'évaluation des performances et des limites des systèmes et des réseaux informatiques, les familiariser avec les techniques de simulation des systèmes et avec les méthodes et les outils de conception des modèles crédibles, leur donner une expérience pour évaluer les propriétés des systèmes par simulation et par démarche analytique. Le cours prévoit la lecture et l'analyse des articles scientifiques sur la modélisation et l'évaluation des performances des systèmes et des réseaux informatiques.

Contenu

 

 

 

UE complémentaires pour Master 1 & 2

 

Séminaires de recherche

 

Description du module

Ce module se compose de plusieurs séminaires couvrant différents sujets de la recherche et des applications d’aujourd’hui. Les conférenciers aborderont des thèmes difficilement abordables dans un contexte académique classique. Différents conférenciers seront invités à présenter leurs travaux tout au long du semestre. Cesconférenciers peuvent être :

Contenu

Chaque auditeur doit produire deux résumés de séminaires pendant l'année. Chaque résumé vaut pour 50% de la note du module. Lorsqu'un auditeur choisit un séminaire qu'il veut résumer, le résumé est à rendre pour la semaine suivante (7 jours maximum après le séminaire). Les deux séminaires à résumer doivent être choisis à des dates différentes.

 

 

Français

 

 

Description du module

Les cours de français en Master 1 sont des cours de perfectionnement. Les étudiants doivent s'approcher d'un niveau B2 en fin de Master 1. Les cours et le travail en auto-apprentissage viseront à :

 

Cours LE122 – Anglais

 

Description du module

This course is designed to help the students work efficiently in an English-speaking environment.

It aims at improving the IFI students’ English, both general English and business English by providing them with necessary skills namely : Listening, Speaking, and Business Correspondence Writing.

Contenu

Listening and Speaking

Grammar & Writing

Methodology