- Liste des cours
Nom EC | Niveau LMD | Période | Langue | Référence | Heures |
---|
Conception et Architecture des Systemes d InformationARCHITECTURE DES SYSTÈMES D'INFORMATION Conception et Architecture des Systemes d Information- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-CASI | Nombre d'heures : 42 h FR
A l'issue de ce cours, vous saurez identifier dans vos projets les éléments pertinents au sens de l'architecture pour sélectionner les standards et solutions technologiques les plus adaptés au contexte applicatif.
Ce cours n'a pas vocation à aborder de manière exhaustive toutes les technologies mais plutôt d'enseigner une démarche pour adopter les nouvelles technologies dont vous aurez besoin sur vos projets.
En accompagnement des enseignements technologiques, ce cours se consacrera aux méthodes de conception, de construction (génération de code) et d'exploitation de système logiciel à forte composante architecturale.
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel INSA : Faire une analyse fonctionnelle (externe et interne)[3P] Faire une analyse technique[3P]
Maîtriser la modélisation orienté-objet et/ou par composants[3P] Adapter un modèle en fonction de contraintes (physiques, systèmes, temps, complexité, etc.)[1P] Documenter et intégrer une architecture modulaire[3P] Utiliser un serveur d'applications[3P]
Référentiel CNISF : J10A[1P] J40C[1P] J40E[1P] J40G[1P] T40N[3P] J80P[3P] J80S[1P] V10J[1P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
In this course, you gain the ability to identify the key elements in your software projects for selecting the standards and technologies that will let you design the right architecture.
By reviewing the most adopted standards and technologies, an approach for adopting the emerging standards and technologies will be formalised.
The technology course will give the opportunity to illustrate design, build and run methodologies adapted to architectural-intensive project .
- Prérequis
* Technologie Web.
* Programmation Avancée.
* UMLP&BD.
* Réseau.
* Informatique Répartie.
* Web technologies
* Advanced programming
* Computer Network
* Distributed programming
* UMLP
* DataBase
- Programme
-
* Architecture : discipline et métier.
** Rappel de systémique, niveaux d'abstraction.
** Influence des facteurs de McCall (ISO9126 - FURPSE).
* Patterns d'architecture structurants.
** Layers, Blackboard, Pipe & Filter, ...
** Inversion of Control (IoC), Dependency Injection (DI).
** MVC, MVP.
* Architectures concrètes.
** Java EE, Web 2.0, .NET.
** SCA, OSGi.
* ORM : patterns, solutions (Propel, Doctrine, Hibernate.)
* REST (au sens de R. T. Fielding) : concept, méthode de conception, framework et serveur.
* Web Services (au sens du W3C).
** SOAP.
** La pile de standard WS-*.
** WS-Security, WS-Policy.
** WS-ReliableMessaging.
* EAI : patterns, MOM, ESB.
* BPM : BPEL, BPEL4PEOPLE, outillage .
* BRMS : principes, outillage.
* MDM (Master Data Management) : principes, outillage.
* Alignement des SI : théorie et pratique.
* Architecture : definition and expertise
* Architectural patterns
** Layers, Blackboard, Pipe&Filter, ...
** Inversion of control (IoC), Dependency Injection (DI)
** MVC, MVP
* Concrete architectures
** Java EE, Web 2.0, .NET
** SCA, OSGi
* ORM : patterns, solutions (Propel, Doctrine, Hibernate)
* REST (R.T.Fielding) : concept, design method, framework and server
* Web Services (W3C)
** SOAP
** WS-* standard-stack
** WS-Security, WS Policy
** WS-ReliableMessaging
* EAI : patterns, MOM, ESB
* BPM : BPEL, BPEL4PEOPLE, tools
* BRMS : principles, tools
* MDM (Master Data Management) : principles, tools
* IT Systems alignment : theory and tools
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : ASI51-CASI
- Calcul de la note finale
-
- Lectures conseillées
-
* Aucune.
none
Liste des intervenants- Responsable
- FREDERIC BAUCHER - Enseignant en ASI
- LUC MAZON - VACATAIRE
| | | FR | ASI51-CASI | 42 | Automotive et Systemes de Transport IntelligentARCHITECTURE DES SYSTÈMES D'INFORMATION Automotive et Systemes de Transport Intelligent- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-ASTI | Nombre d'heures : 42 h FR
- Faire la synthe_se des dernie_res e_volutions des applications des nouvelles technologies (TIC) aux ve_hicules autonomes et aux syste_mes de transport intelligent du futur.
- Comprendre les enjeux des syste_mes d¿aides a_ la conduite (ADAS).
- Aborder les de_veloppements R & D les plus re_cents du domaine dans le
cadre de se_minaires donne_s par des intervenants industriels ou chercheurs
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel INSA : Caractériser des systèmes de vision[3P] Réaliser des circuits numériques[3P] Appréhender la méthodologie générale de conception d'un système embarqué[2P]
Référentiel CNISF : T10A[1P] J10J[1P] J10P[3P] J10Q[1P] J10S[3P] J40Q[1P] J50E[1P] J50T[3P] H30T[3P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
- Synthesize the latest developments in the applications of new technologies (ICT) to autonomous vehicles and intelligent transport systems of the future.
- Understand the challenges of driver assistance systems (ADAS).
- Addressing the latest R & D developments in the field through seminars
given by industrials or researchers;
- Prérequis
Recommandés :
* Systèmes de vision.
* Traitement d'Images
* Image processing
* Static Signal processing
* sensors
* electronics
- Programme
-
* Introduction aux systèmes de transport intelligent (STI).
* Le véhicule intelligent :
** Les systèmes de navigation.
** Le contrôle longitudinal du véhicule.
** Le contrôle latéral.
** Les Systèmes d'aide à la conduite (ADAS).
** La communication inter-véhicule (V2V).
* La route intelligente :
** Les TIC sur l'infrastructure routière.
**Les systèmes d'information routière pour l'aide au déplacement.
** La communication Véhicule-Infrastructure (V2I).
* Introduction to intelligent transportation systems (ITS)
* Intelligent vehicles:
**Navigation systems
** Vehicle longitudinal control
** Side control
** Control assistance systems (CAS)
** Inter-vehicle communication
* Intelligent road:
** ICT of Road infrastructure
** Road information systems for displacement assistance
** Vehicle to Infrastructure communication (V2I)
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : ASI51-ASTI
- Calcul de la note finale
-
- Lectures conseillées
-
* Le siècle de la voiture intelligente, Claude Laurgeau
Press des Mines, 2010.
* Des transports intelligents ? Comment y parvenir. Janin J.F., Lyon : CERTU. 2003.
* Systèmes et méthodes de détection automatique des incidents routiers.
Paris : DSCR-INRETS, GRETIA (Cohen S.), 2005.
* Positioning Systems in Intelligent Transportation Systems by Chris Drane, Chris Rizos 369 pages (January 1998)
* Introduction to Transportation Systems by Joseph Sussman 508 pages (May 2000)
* Vehicle Location and Navigation Systems by Yilin Zhao 345 pages (April1997)
Liste des intervenants- Responsable
- ABDELAZIZ BENSRHAIR - Enseignant chercheur ASI / LITIS
| | | FR | ASI51-ASTI | 42 | Apprentissage en ContexteARCHITECTURE DES SYSTÈMES D'INFORMATION Apprentissage en Contexte- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-APPC | Nombre d'heures : 42 h EN
* Découvrir un panorama des méthodes récentes d'apprentissage statistique
* Maitriser l'apprentissage de dictionnaires pour la représentation des signaux et images (débruitage)
* Connaitre la factorisation de matrices (exemple des systèmes de recommandation)
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel INSA : Concevoir un système de reconnaissance de formes[3P] Diagnostiquer des erreurs dans des données[3P]
Référentiel CNISF : J10P[2P] J40K[1P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
This course aims at providing advanced notions in machine learning related to dictionary learning for signal and image representation, matrix factorization for recommendation system and adapted recent convex optimization methods. adapted to
this task
- Prérequis
* Data Mining.
* Statistiques.
* Traitement du Signal.
* Data Mining
* Statistics
* Signal Processing
- Programme
-
* Introduction.
** Démélange de sources audio
* Apprentissage, Régularisation et optimisation
** Régularisation L2 vs L1
** Exemple pénalité L1
** Sous gradient et dualité de Fenchel
* Dualité lagrangienne
* Régression parcimonieuse
** Ridge regression
** Lasso
* Méthode proximale pour l'optimisation
* Apprentissage de dictionnaires ou factorisation de matrices
** Méthodes alternées (MOD)
** Contraintes sur la décomposition (Alternate ISTA)
* Domaines d'application vus en cours
** Restauration d'images
** Systèmes de recommandation (factorisation de matrices)
** Débruitage de signaux (approximation parcimonieuse)
* Introduction
** Audio source separation
* Regularization techniques
** L2 vs L1 Regularisation
** Illustration example of L1 regularization or penalty
** Notions of subgradient and Fenchel duality
* Lagrangian duality
* Sparse regression
** Ridge regression
** Lasso problem
* Introduction to proximal methods
* Dictionary learning and matrix factorization
** Alternate methods of optimization
** Alternate ISTA algorithm as a particular example
* Explored application domains during the course
** Image restoration
** Recommendation systems
** Signal denoising and inpainting applications
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : ASI51-APPC
- Calcul de la note finale
-
- Lectures conseillées
-
* "Convex optimization" S;Boyd and L;Vandenberghe
* "Proximal algorithms" N;Parikh and S.Boyd dans Foundations and Trends in optimization, 1(3) :123-231, 2013
* "Convex optimization" S. Boyd and L. Vandenberghe
* "Proximal algorithms" N. Parikh and S.BoyddansFoundations and Trends in Optimization, 1(3):123-231, 2013
Liste des intervenants- ALAIN RAKOTOMAMONJY - Enseignant chercheur Université - Membre LITIS - VAC ASI
- Responsable
- STEPHANE CANU - Enseign. en Génie Informat., Automatique et Trait. du Signal
- ROMAIN PICOT-CLEMENTE
| | | EN | ASI51-APPC | 42 | Estimation et Decision pour le Traitement du SignalARCHITECTURE DES SYSTÈMES D'INFORMATION Estimation et Decision pour le Traitement du Signal- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-EDTS | Nombre d'heures : 42 h FR
* Utiliser le paradigme de l'apprentissage machine pour aborder les problématiques du traitement du signal.
* Acquérir des notions solides de traitement statistique du signal.
* Maitriser les problèmes d'estimation et de détection de signaux pertubés par un bruit aléatoire.
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel INSA : Obtenir une description statistique d'un ensemble de données[3P] Filtrer et modéliser des signaux[3P]
Référentiel CNISF : H30T[3P] J40K[1P] J10P[3P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
In this lecture, signal processing problems will be addressed in a machine learning point of view.
- Prérequis
Notion d'analyse et de probabilite_, Traitement du Signal, Programmation sous Python ou Numpy
Statistics and Numerical Analysis, Signal Processing, Numpy, Python programmation
- Programme
-
- Signaux Ale_atoires
- Syste_mes line_aires stochastiques
- Filtre et estimation bayesiens
- Filtre de Kalman
- Filtre particulaire
- Chaine de Markov cache_e
- De_tection de rupture
- Projet base_ sur la lecture et l'imple_mentation d'un article scientifique
* Random Signals
* Stochastic Linear Systems
* Bayesian filtering and smoothing
* Kalman filtering and smoothing
* Particle filtering and smoothing
* Hidden Markov Model
* Change point detection
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : ASI51-EDTS
- Calcul de la note finale
-
- Lectures conseillées
-
mo Sa_rkka_ (2013). Bayesian Filtering and Smoothing. Cambridge University Press.
- R.E. Elliott, L. Aggoun and J.B. Moore, Hidden Markov Models: Estimation and Control, Springer-Verlag, 1995
- mo Sa_rkka_ (2013). Bayesian Filtering and Smoothing. Cambridge University Press.
- R.E. Elliott, L. Aggoun and J.B. Moore, Hidden Markov Models: Estimation and Control, Springer-Verlag, 1995
Liste des intervenants- Responsable
- ROMAIN HERAULT - Enseignant en Informatique
- AHMAD TAY - Enseignant chercheur contractuel
| | | FR | ASI51-EDTS | 42 | Interactions Homme Machine EvolueesARCHITECTURE DES SYSTÈMES D'INFORMATION Interactions Homme Machine Evoluees- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-IHME | Nombre d'heures : 42 h EN
* Acquérir les compétences essentielles au développement d'applications permettant des interactions hommes-machines intuitives et adaptées à l'utilisateur et au contexte.
* Illustrer la notion de proactivité d'une IHME qui proposerait un comportement et/ou de l'information adaptée, alors même que l'utilisateur n'en fait pas la demande explicite.
* Illustrer ces concepts sur des exemples concrets
- Introduction a_ la recherche (synthe_se bibliographique, mode_lisation et
re_solution d'un proble_me scientifique, ...)
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel CNISF : J10A[3P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
Aim and objective:
- To acquire the essential skills for developing applications that allow intuitive interactions according to the user and to the context
- To illustrate the concepts of a proactive behavior and/or adapted information that would propose an advanced HMI, even without any explicit user request
- To illustrate these concepts on concrete examples
- Introduction to research (state of the art, modelling and solving a scientific
problem, ...)
- Programme
-
- Mode_les formels pour l'interaction (automates, HMM, SMA, seq2seq, graphes, ...)
- Re_alite_ virtuelle et augmente_e (Interaction humain-agent/robot, communaute_s mixtes, informatique ubiquitaire, ...)
- Captation de comportements (reconnaissance d'expressions faciales ou de gestes, cate_gorisation de comportements, ...)
- Interactions (chatbots, agents conversationnels anime_s, analyse d'opinion et de sentiment, re_seaux sociaux, ...)
- Formal models for interaction (automata, HMM, MAS, seq2seq, graphs, ...)
- Virtual and Augmented Reality (human-agent/robot interaction, mixed communities, ubiquitous computing, ...)
- Behavioral capture (gesture and facial expression recognition, learning of user profile, ...)
- Interactions (chatbots, embodied conversational agents, opinion mining, sentiment analysis, social network analysis)
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : ASI51-IHME
- Calcul de la note finale
-
- Lectures conseillées
-
aucune
Liste des intervenants- Responsable
- ALEXANDRE PAUCHET - Enseignant en Informatique
- CAROLINE CHOPINAUD
- MUHAMMAD USMAN MALIK - ETUDIANT
- CLEMENT CHATELAIN - Enseignant en Genie informatique, Automatique et Traitement du Signal
| | | EN | ASI51-IHME | 42 | Systemes EmbarquesARCHITECTURE DES SYSTÈMES D'INFORMATION Systemes Embarques- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-SEM | Nombre d'heures : 42 h FR
* Décrire l'architecture des systèmes embarqués et détailler leurs caractéristiques
* Définir la méthodologie de conception des systèmes embarqués
* Compétences - RNCP (Répertoire National des Compétences Professionnelles) :
Référentiel INSA : Appréhender la méthodologie générale de conception d'un système embarqué[3P]
Référentiel CNISF : T10A[1P] J10J[3P] J10Q[1P] J10S[3P] J50E[3P] J50T[3P] H30T[3P]
Lien vers URL site CNISF : http://www.iesf.fr/gestion/affiche_repertoire.php?action=spe1
The aim of this course is to describe the architecture of embedded systems, to detail their characteristics and to define the design methodology of their own.
- Prérequis
* Architecture des ordinateurs et systèmes d'exploitation.
Operating Systems
- Programme
-
# Généralités sur les systèmes embarqués.
* Définition, marché de l'embarqué, exemples de systèmes embarqués, caractéristiques des systèmes embarqués (modélisation, architecture typique, temps réel, codesign, contraintes (coût, consommation, poids, ...).
# Architecture des systèmes embarqués.
* SoC (System on Chip), Microprocesseur, microcontrôleur, DSP, FPGA/ ASIC, VHDL, Mémoires, I/O, bus.
# Systèmes temps réel.
* Définition, classification (hard, firm soft real time), contraintes sur les tâches, ordonnancement des tâches, systèmes. d'exploitation temps réel.
# Conception des systèmes embarqués.
* Codesign, spécification, sélection matérielle et logicielle, décision de partition, développement, outils de debug, test, analyse des performances.
# Les systèmes embarqués dans l'automobile.
1. Overview of Embedded Systems
- Definition, the embedded market, examples of embedded systems, characteristics of embedded systems (modeling, typical architecture, real time, codesign, constraints (cost, power consumption, weight, ...)
2. Embedded systems architecture
- SoC (System on Chip), microprocessor, micro-controller, DSP, FPGA / ASIC, VHDL, Memory, I / O bus
3. Real Time Systems
- Definition, classification (hard, firm soft real time), constraints on tasks, task scheduling, real-time operating systems.
4. Design of embedded systems
- Codesign, specification, selection of hardware and software partition decision, development, debugging tools, testing, performance analysis.
5. Embedded systems in automobiles
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
TD
TD : ASI51-SEM
- Calcul de la note finale
-
- Lectures conseillées
-
* Embedded Systems Handbook
** Auteur : R. Zurawski and all.
** Edition : CRC Press. 2005.
** ISBN: 0849328241
* Embedded Systems Design.
** Auteur : S. Heath.
** Editions : Newnes. 2003
** ISBN : 0750655461
* Embedded Systems Architecture.
** Auteur : T. Noergaard.
** Editions Newnes. 2005.
** ISBN : 0750677929.
* Embedded Systems Design.
** Auteur : A S. Berger.
** Editions CMP Books 2002.
** ISBN :1578200733
* The Art of Designing Embedded Systems.
** Auteur : J. Ganssle.
** Edition : Butterworth-Heinemann. 2000.
** ISBN: 0-7506-9869-1
* MicroC/OS-II, The Real-Time Kernel.
** Auteur : J. Labrosse.
** Edition : CMP Books 2002.
** ISBN: 1-57820-103-9
* Embedded Systems Handbook
** Author : R.Zurawski and all
** Edition : CRC Press 2005
**ISBN : 0849328241
* Embedded Systems Design
** Author :S.Heath
** Publisher : Newnes 2003
** ISBN : 0750655461
* Embedded Systems Architecture
** Author : T.Noergaard
** Publishing Newnes 2005
** ISBN : 0750677929
* Embedded Systems Design
** Author : S.A Shepherd
** CMP Books Editions 2002
** ISBN : 1578200733
* The Art of Designing Embedded Systems
** Author : J.Ganssle
**Edition : Butterworth-Heinemann 2000
** ISBN : 0-7506-9869-1
* MicroC/OS-II The Real Time Kernel
** Author : J.Labrosse
** Edition : CMP Book 2002
** ISBN : 1-57820-103-9
Liste des intervenants- RICHARD GRISEL - Enseignant ASI-STPI
- Responsable
- ABDELAZIZ BENSRHAIR - Enseignant chercheur ASI / LITIS
| | | FR | ASI51-SEM | 42 | Web des objets et des servicesARCHITECTURE DES SYSTÈMES D'INFORMATION Web des objets et des services- Semestre 9
- Parcours Commun
- Specialite
| Référence : ASI51-WOS | Nombre d'heures : 42 h FR
- Connai_tre les diffe_rents protocoles d¿acce_s a_ des objets connecte_s et leur caracte_ristique
- Savoir de_finir une architecture d¿inte_gration d¿objets connecte_s et de services web
- Savoir inte_grer des capteurs le_gers dans un pattern gateway avec une carte type Raspberry Pi ou Arduino
- Appre_hender une proble_matique de recherche sur la repre_sentation se_mantique des donne_es d¿un web des objets, a_ l¿aide d¿ontologies spe_cifiques, pour une prise de de_cision intelligente
- Re_aliser un rapport bibliographique sur un projet de recherche lie_ au web des objets
- Knowledge about the different protocols for connected objects and their characteristics
- Knowledge about how to define an integration architecture for connected objects and web services
- Knowledge about how to integrate lightweight sensors into a gateway pattern with a Raspberry Pi or Arduino card
- Understanding a research problem on the semantic representation of data from a web of things, using specific ontologies, for intelligent decision making
- Producing a bibliographic report on a research project related to the web of things
- Prérequis
Re_seaux, Informatique re_partie, Technologies web
Computer network, distributed programming, web technologies
- Programme
-
- Introduction au web des objets
- Typologie d¿objets connecte_s
- Protocoles de communication bas niveau pour l'Internet des Objets (SigFox,
LoRa, Bluetooth, Zigbee, Z-Wave, ...)
- Plateformes de gestion d'un Internet des objets (Jeedom, Webthings, ...)
- Langages de de_veloppement web (Node.js, API REST) pour le web des
objets
- De_veloppement de serveurs web sur Raspberry Pi
- Patterns d¿architecture d'un web des objets
- Protocoles le_gers pour un pattern gateway (CoaP, MQTT)
- Ontologies pour le web des objets (SSN, Thing'in, ...)
- Se_ances de re_alisation d'un projet
- Introduction to the web of things
- Typology of smart devices
- Low-level communication protocols for the Internet of Things (SigFox, LoRa,
Bluetooth, Zigbee, Z-Wave, ...)
- Platforms for managing an Internet of Things (Jeedom, Webthings,...)
- Web development languages (Node.js, REST API) for the web of things
- Development of web servers on Raspberry Pi
- Architecture patterns for the web of things
- Lightweight protocols for a gateway pattern (CoaP, MQTT)
- Ontologies for the web of things (SSN, Thing'in, ...)
- Project implementation sessions
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
TD
TD : ASI51-WOS
- Calcul de la note finale
-
- Lectures conseillées
-
« Building the web of things », D. Guinard, V. Trifa, Manning eds, 2016
« Building the web of things », D. Guinard, V. Trifa, Manning eds, 2016
Liste des intervenants- Responsable
- LAURENT VERCOUTER - Professeur en Informatique
- GILLES PRIVAT
- CLAUDE DUVALLET
- FRANCO GIUSTOZZI - Enseignant contractuel
| | | FR | ASI51-WOS | 42 | *CryptographieARCHITECTURE DES SYSTÈMES D'INFORMATION *Cryptographie- Semestre 9
- Parcours Commun
- Specialite
| Référence : GMAT51-Sc-Crypt | Nombre d'heures : 15 h FR
- Prérequis
- Programme
-
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : *Crypto
- Calcul de la note finale
-
- Lectures conseillées
-
Liste des intervenants- Responsable
- NATALIE FORTIER - Chargée de mission Handicap - Enseignante en Mathématiques Appliquées et Application des Maths
| | | FR | GMAT51-Sc-Crypt | 15 | Optimisation en grande dimensionARCHITECTURE DES SYSTÈMES D'INFORMATION Optimisation en grande dimension- Semestre 9
- Parcours Commun
- Specialite
| Référence : GMAT51-Sc-OptimGD | Nombre d'heures : 30 h EN
The course is about mathematical methods and tools for modeling and solving optimisation problems with a high number of variables or constraints, such as those frequently met in Operational Research, Machine Learning and other fields. We present a panorama of the main classes of mathematical programs (linear, quadratic, non-linear, stochastic, integer) and mathematical programming techniques, a review of the main general theorems and the way there are used to design solving methods. Some of the methods are practiced using the professional solver IBM Ilog CPLEX.
- Prérequis
- Programme
-
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : Optim. en grande dimension
- Calcul de la note finale
-
- Lectures conseillées
-
Liste des intervenants- Responsable
- ARNAUD KNIPPEL - Enseignant en Mathématiques Appllquées et Application des Maths
- GUILLAUME ERBS
| | | EN | GMAT51-Sc-OptimGD | 30 | *Optimisation dans les RéseauxARCHITECTURE DES SYSTÈMES D'INFORMATION *Optimisation dans les Réseaux- Semestre 9
- Parcours Commun
- Specialite
| Référence : GMAT51-Sc-OptimRes | Nombre d'heures : 15 h EN
* Le cours aborde des problèmes d'optimisation rencontrés par les industriels dans les domaines des télécommunications, des transports ou de la distribution de l'énergie. Pour beaucoup de ces problèmes, des méthodes de résolution efficaces n'existent que depuis quelques années, ou sont encore à l'étude. Le cours insiste sur des méthodes désormais bien établies s'appuyant sur l'optimisation combinatoire, mais présente aussi quelques développements récents du domaine.
This course deals with optimisation problems encountered by industrialists in the fields of Telecommunications, Transport, Energy distribution or Social networks. The course emphasizes well-established methods based on combinatorial optimization, but also presents some recent developments in the field.
- Prérequis
* Connaissances de base en théorie des graphes et optimisation combinatoire.
- Programme
-
* Rappels d'optimisation sous contrainte, dualité lagrangienne.
* Compléments théoriques sur les multiflots et les méthodes de décomposition pour les problèmes de grande taille.
* Problèmes de localisation.
* Problèmes de routage dans les réseaux de télécommunication.
* Problèmes de dimensionnement. /synthèse des réseaux (avec ou sans contraintes de résistance aux pannes, prise en compte de l'incertitude des demandes de trafic, de périodes temporelles...).
* Problèmes de tarification dans les réseaux de télécommunication.
* Problèmes d'allocation de fréquences.
* Multiflots avec multiplicateurs (réseaux électriques).
Une formation aux deux solveurs commerciaux de programmes linéaires les plus répandus complète ce cours. Le logiciel CPLEX sera brièvement présenté. Quatre séances de 2h seront effectuées en salle machine pour résoudre des problèmes d'optimisation avec le solveur XPress MP, et donneront lieu à une évaluation.
Une ou deux séances peuvent être animées par des intervenants extérieurs (les intervenants des années passées venaient de FTR&D, Gaz de France Suez, Amadeus...).
- Évaluation
-
ECRIT
E2
ECRIT : Examen écrit
E2 : ECRIT SESSION 2
- Types d'enseignement
-
CM
CM : *Optimisation dans les Réseaux
- Calcul de la note finale
-
La note GM5 est calculée de la façon suivante :
* résolution de problèmes en salle machine à l'aide d'un solveur commercial, sur quatre séances de 2h : coefficient 0,25,
* présentation à partir d'un article de recherche : coefficient 0,25,
* examen final (3h), tous documents autorisés : coefficient 0,5,
La note Master (si le cours est choisi comme option du second semestre) est calculée en prenant comme coefficients 0,1 pour l'épreuve pratique, 0,25 pour la présentation, et 0,65 pour l'examen final.
- Lectures conseillées
-
* Graphes et Algorithmes, de Gondran et Minoux (Dunod 1995 pour la 3e édition).
* Programmation mathématique, de Michel Minoux (Dunod 2008).
* Optimisation discrète, d'Alain Billionnet (Dunod 2007).
* Recherche opérationnelle et réseaux, sous la direction de Gerd Finke (Lavoisier 2002).
* Network Optimization: continuous and discrete models, de Dimitri Bertsekas (Athena Scientific 1998).
* Routing, Flow, and Capacity Design in Communication and Computer Networks, de Michal Pioro et Deepankar Medhi (Elsevier 2004).
Liste des intervenants- Responsable
- ARNAUD KNIPPEL - Enseignant en Mathématiques Appllquées et Application des Maths
- MATTHIEU CHARDY
| | | EN | GMAT51-Sc-OptimRes | 15 | Réalité virtuelle et augmentéeARCHITECTURE DES SYSTÈMES D'INFORMATION Réalité virtuelle et augmentée- Semestre 9
- Parcours Commun
- Specialite
| Référence : GMAT51-Sc-RVA | Nombre d'heures : 30 h EN
Le but de la réalité virtuelle est d'immerger les utilisateurs dans des environnements artificiels à travers un ensemble de techniques empruntées à un large éventail de disciplines : psychologie, design graphique, informatique, électronique... Dans ce cours, l'objectif est triple : comprendre et mettre en pratique la conception d'environnements de RV riches, contenant des entités autonomes en interaction ; avoir une vision réflexive des différents types de paramètres - matériels, logiciels et psychologiques - qui permettent des interactions avec les utilisateurs et leur immersion ; et les étendre à d'autres types de milieux : Réalité augmentée et réalité mixte.
The aim of virtual reality is to immerse users in artificial environments through a set of techniques borrowed from a wide range of disciplines: psychology, graphic design, computer science, electronics... In this course, the objective is threefold: to understand and practice the design of rich VR environments, containing autonomous entities in interaction; to have a reflexive view of the different types of settings -hardware, software and psychological- that enable interactions with the users and their immersion; and to extend these to other kinds of environments: Augmented Reality and Mixed Reality.
- Prérequis
* Bases de programmation orientée objet
- Programme
-
* Introduction à la réalité virtuelle / Modélisation 3D : Blender
* Création de monde virtuel : Prise en main Unity3D / C#
* Animations et interfaces classiques
* Modélisation de comportements d'entités virtuelles (2 séances)
* Casques de réalité Virtuelle; interfaces gestuelles
* Interfaces vocales, tactiles
* Réalité augmentée
- Évaluation
-
PROJ
PROJ
PROJ : Projet
- Types d'enseignement
-
TD
TD : Réalité virtuelle et augmentée
- Calcul de la note finale
-
- Lectures conseillées
-
* Le traité de la réalité virtuelle (Tomes 1 à 4):
Premier volume : « l'Homme et l'environnement virtuel », sous la coordination d'Alain Berthoz et de Jean-Louis Vercher ;
Deuxième volume : « Interfaçage, immersion et interaction en environnement virtuel », sous la coordination de Sabine Coquillart et de Jean-Marie Burkhardt ;
Troisième volume : « Outils et modèles informatiques des environnements virtuels », sous la coordination de Jacques Tisseau et de Guillaume Moreau ;
Quatrième volume : « Les applications de la réalité virtuelle », sous la coordination de Bruno Arnaldi et de Pascal Guitton.
Liste des intervenants- Responsable
- JULIEN SAUNIER - Maître de conférences - Chargé de Mission Parité
- MATHIEU BOURGAIS - ETUDIANT
| | | EN | GMAT51-Sc-RVA | 30 |
ARCHITECTURE DES SYSTÈMES D'INFORMATION / Liste des enseignements du semestre 9 / Parcours Commun / UE Specialite
|