Annexe descriptive des UE du M2 MATIS - LITIS

Transcription

UNIVERSITÉ DU HAVRE
25, rue Philippe Lebon – B.P. 1123 76063 LE HAVRE CEDEX –
tél : 02 32 74 40 00 – télécopie : 02 35 21 49 59
Site Internet : www.univ-lehavre.fr
Campagne 2008 - 2011
DOSSIER D’HABILITATION
Date et avis de la composante : 4 SEPTEMBRE 2007 – AVIS FAVORABLE
Date et avis du CS : 24 OCTOBRE 2007 – AVIS FAVORABLE
Date et avis du CEVU : 14 NOVEMBRE 2007 – AVIS FAVORABLE
Date et avis du CA : 15 NOVEMBRE 2007 – AVIS FAVORABLE
CURSUS Master
Master Mathématiques et informatique
Annexes
Extraits concernant la 2ème année MATIS
Campagne d’habilitation 2008 – Université du Havre
-1-
Table des matières
1 Annexes concernant la spécialité MatIS............................................................................................3
1.1 Annexe 1 : Fiches descriptive des unités d’enseignement (UE)................................................3
1.2 Annexe 2 : Activités scientifiques des enseignants-chercheurs et des chercheurs membres de
l’équipe de formation.......................................................................................................................41
1.3 Annexe 3 : Projet de Convention avec l'INSA de Rouen.........................................................48
-2-
1 ANNEXES CONCERNANT LA SPÉCIALITÉ MATIS
1.1 ANNEXE 1 : FICHES DESCRIPTIVE DES UNITÉS D’ENSEIGNEMENT (UE)
On trouvera ci-après les fiches descriptives des UE spécifiques au master mathématiquesinformatique :
Master 2ème année:
•OCM « Optimisation combinatoire et métaheuristique appliquées à l'ingénierie »
•IDOD Informatique distribuée, objets distribués »
•RPEDP « Résolution Pratique des EDP, Différences finies et éléments finis »
•AnHu « Anglais et Humanités »
•GP « Gestion de projets »
•Proj « Projet »
•MIS1 « Modélisation des systèmes complexes »
•MIS2 « Modélisation non linéaire et systèmes dynamiques »
•MIS3 « Problèmes de type parabolique, elliptique et applications »
•MIS4 « Problèmes d'évolution hyperboliques et applications »
•MIS5 « Réseaux d'interaction et complexité »
•MIS6 «Systèmes d'aide à la décision et SMA»
•MIS7 «Modèles discrets d'évolution»
•MIS8 «Agents et mobilité de code»
•MIS9 «Simulation discrète et distribuée»
•MIS10 «Ingénierie des connaissances»
•MIS11 «Résolution de problèmes en IA»
•MIS12 «E-learning»
•MIS13 «Temps réel et bases de données»
•MIS14 «Valeurs extrêmes et applications»
•IMOI1 « Modélisation stochastique »
•IMOI2 «Ingénierie mathématique et programmation»
•SIRES1
•SIRES2
•SIRES3
•SIRES4
•SIRES5
•SIRES6
•SIRES7
«Conception d'applications pour le web »
« Administration des systèmes et serveurs »
« BD Distribuées »
« Technologies Web et applications professionnelles »
« Développement de projets informatiques et composants »
« Sécurité »
«Fouille de données»
Remarques:
- Les modalités pédagogiques de contrôle de connaissances ont été définies de manière uniforme
pour l'ensemble des UE dans le document principal.
- La capacité d'accueil pour chaque UE est de 48 étudiants.
-3-
Fiche descriptive de l'UE
OCM « Optimisation Combinatoire et Métaheuristique Appliquées à
l'ingénierie »
Master sciences et technologies
Mention Mathématiques-Informatique
Spécialité MatIS
Semestre : 2ème année, 1er semestre
Parcours
•Tronc commun à tous les parcours
Intitulé
OCM “optimisation combinatoire
et métaheuristique appliquées à
l'ingénierie”
Vol. horaire
Crédits ECTS
Responsables
Total : 60h
CM : 40h
TD : 10h
A. Yassine, S. Gueye
D. Olivier, S. Balev
TP : 10h
6
Participants
A. Yassine, S. Gueye, D. Olivier, S. Balev
Objectifs
L'objectif est de montrer comment des problèmes d'optimisation combinatoire apparaissent dans de
nombreux problèmes pratiques : planification d'actions, ordonnancement de tâches, affectation de
ressources, conception de systèmes, diagnostic de pannes, reconnaissance de situations etc.
- de présenter les principaux formalismes utilisés pour représenter des problèmes
d'optimisation combinatoire : graphes, logique propositionnelle, problèmes de satisfaction de
contraintes etc.
- de décrire les principales techniques utilisées pour résoudre ces problèmes.
Pré-requis (le cas échéant)
Notion d'optimisation linéaire
Contenu de l'UE
Optimisation combinatoire
Rappel sur les méthodes exactes
Méthodes approchées
Méthodes de résolutions
Constructions
Recherches locales
Évolution
Hybridation
Recherches basées sur la notion de population
Recherche dispersée
Colonie de fourmis
Essaims particulaires
Bibliographie
Glover, F. W. ; Kochenberger, G. A. ; 2003 :
Handbook of Metaheuristics, Kluwer Academic Publishers, International series in operations research
and management science, Boston Hardbound.
Teghem, J. ; Pirlot, M. ; 2002 :
Optimisation approchée en recherche opérationnelle. Recherches locales, réseaux neuronaux et
satisfaction de contraintes, Hermès.
-4-
Pham, D.T. ; Karaboga, D. ; 2000 :
Intelligent optimisation techniques. Genetic Algorithms, Tabu Search, Simulated Annealing and Neural
Networks, Springer.
Saït, S.M. ; Youssef, H. ; 1999 :
Iterative computer algorithms with applications in engineering, IEEE Computer Society Press.
Reeves, C.R., 1995 :
Modern Heuristic Techniques for Combinatorial Problems, Mc Graw-Hill, Advances topics in computer
science.
Dréo, J. ; Petrowski, A. ; Taillard, E. ; Siarry, P. ;
Metaheuristics for Hard Optimization Methods and Case Studies, Springer, 2006, XII, 369 p., 140
illus., Hardcover. ISBN : 3-540-23022-X
-5-
RPEDP « Résolution Pratique des EDP par différences finies et
éléments finis »
Spécialité MatIS
Parcours
•UE optionnelle (à orientation mathématiques)
Intitulé
RPEDP “Résolution
pratique des EDP par
différences finies et
éléments finis”
Vol. horaire
Crédits ECTS
Responsable
Total : 60h
M. Aziz-Alaoui
CM : 40h
P. Magal
TD : 10h
TP : 10h
6
Participants
M. Aziz-Alaoui et P. Magal
Objectifs
A partir d'exemples concrets de problèmes aux dérivées partielles simples, nous en donnons ensuite
des méthodes pour leur résolution numérique.
Cours des méthodes de bases d'analyse numérique
Contenu de l'UE
1.Résolution numérique des équations d'ordre 2 par des méthodes de différences finies :
•Schémas explicites,
•Schémas implicites,
•Résolution des équations modèles elliptiques, paraboliques et hyperboliques
2.Méthode des éléments finis
•Formulation variationnelle
•Maillage
•Décomposition en éléments simples
•Algorithmes de résolution
Bibliographie
1.M. Bezard : Equations aux Dérivées Partielles, Techniques Avancées,
2.A.S. Bonnet-Bendhia : Résolution numérique des EDP, Techniques Avancées
3.D. Betounes : Partial Differential Equations for Computational Science with Maple. Springer-Verlag
Telos
4.F. Jedrzejewski : Introduction aux méthodes numériques, springer, 2001
-6-
IDOD « Informatique Distribuée et Objets Distribués »
Spécialité MatIS
Parcours
•UE optionnelle (à orientation Informatique)
Intitulé
IDOD “Informatique
distribuée et objets
distribués”
Vol. horaire
Crédits ECTS
Responsable
Total : 60h
L. Amanton
CM : 40h
J.-L. Ponty,
TD : 10h
TP : 10h
6 B. Adouobo
Participants
L. Amanton, J.-L. Ponty, P. Person et B. Adouobo
Objectifs
Connaissance des protocoles et de la technologie de base du Web dynamique.
Etude détaillée des systèmes de communication à objets dans les systèmes distribués (CORBA,
JAVA RMI, JNDI).
•Eléments de théorie des graphes
•Algorithmique séquentielle
•Programmation concurrente (Sockets, etc.)Adret&Ubac
•
•Maîtrise C++/Java
•Notions de réseau
•Structure de données avancées
•Concept objet
Contenu de l'UE
•Protocoles et technologies de base
•HTTP, HTML, les URL , les Applets et Scripts.
•Web 2.0 et AJAX
•Du coté du client
•Middleware objet
•JAVA/RMI et CORBA
•Applications distribuées, commerce électronique, etc.
•CORBA Temps-réel
Bibliographie
•Advanced CORBA Programming with C++, Michi Henning & Steve Kinoski, Addison
Wesley Pub. Co.
•CORBA3 Fundamentals and Programming (OMG), J. Siegel, John Wily of Sons.
•Client/Server Programming with JAVA and CORBA, R. Orfali & D. Harkey, John Wily of
Sons.
-7-
•CORBA des concepts à la pratique, J.M. Geib, C. Gransant & P. Merle, InterEditions.
•Mastering RMI Developing Entreprise Application.
•In Java and EJB R.O. Wiley mars 2001.305 p
•Client/Server Programming with JAVA and CORBA, R. Orfali &D.Harley, John Wily of
Sons.
•CORBA des concepts à la pratique, J.M. Geib, C. Grassant & P. Merle, InterEditions.
-8-
AnHu « Anglais et humanités »
Spécialité MatIS
Semestre
2ème année, 2ème semestre
Parcours
•Tous parcours, obligatoire
Intitulé
AnHu : Anglais et
humanités
Vol. horaire
Crédits ECTS
Responsable
Total: 60h
CM : 30h
Dominique Nicolas
Jacques Manoury
TD : 20h
TP : 10h
6
Participants
Dominique Nicolas, Jacques Manoury
Intervention de Professionnels.
Objectifs
Perfectionner l'apprentissage de l'anglais pour des activités de recherche, aider les apprenants dans
leur démarche vers l'autonomie face à l'apprentissage de l'anglais. Techniques d'expression.
•Découvrir l'entreprise et son fonctionnement
•Compléter et renforcer la réflexion sur les choix d'orientation en vue d'un projet professionnel
•Sensibiliser et préparer les étudiants de cette spécialité à une recherche active d'emploi
•leur donner les outils nécessaires à cette recherche
•leur faire découvrir les différents postes ou fonctions auxquels ils pourront poser leurs
candidatures.
Contenu de l'UE
•L'enseignement d'humanités a pour but essentiel d'apporter une meilleure connaissance des
entreprises et de leur environnement économique et social.
•Une présentation du droit du travail, droit de l'informatique, CNIL.
•L'enseignement d'anglais porte à la fois sur l'écrit et l'oral.
•Préparation à la recherche : langue écrite
•Approche de documents scientifiques en compréhension écrite, lecture d'articles publiés,
lecture de portions de thèses de doctorat en anglais ;
•Atelier d'écriture : l'abstract, l'article, la bibliographie ;
•La langue scientifique : style, grammaire, syntaxe.
•Préparation à la recherche : langue orale
•Prise de parole en public ;
•Compréhension de la langue lorsque les étudiants sont dans la situation d'écoute d'exposés
scientifiques (séminaires, conférences) ;
•Expression orale et gestion d'un exposé scientifique lorsque les étudiants sont dans la situation
de faire eux-mêmes cet exposé (séminaires, conférences).
Une partie portera aussi sur l'insertion professionnelle avec des interventions ponctuelles de
spécialistes (10h):
•Le Marché de l'emploi et les jeunes diplômés. La stratégie de Recherche d'Emploi
-9-
Intervenant : Nicole LECOINTRE , Responsable de l'Agence A.P.E.C, Association Pour l'Emploi
des Cadres du Havre. (Il existe une convention de partenariat entre l'APEC et l'Université du
Havre).
•La gestion des Ressources Humaines et le processus de recrutement d'un cadre.
Intervenant : Marie-Annick QUINTY , Responsable du recrutement à la caisse d'épargne de
Haute-Normandie.
Les cabinets de recrutement . Intervenant : Alain VINATIER , Conseil en Ressources Humaines.
Les outils d'aide à la Recherche d'Emploi : Elaboration d'un projet professionnel, CV, lettres,
entretien. Intervenant : Délégué à l'Insertion Professionnelle et à l'Emploi.
- 10 -
GP « Gestion de projet »
Spécialité MatIS
Semestre
2ème année, 1er semestre
Parcours
•parcours IMOI, UE obligatoire
•parcours SIRES, UE obligatoire
Intitulé
GP : Gestion de projet
Volume horaire
Crédits ECTS
cours: 30h
3
Cet enseignement sera principalement assuré par des professionnels : M. Legras – M Labarthe
Objectifs
Contenu de l'UE
Qu'est-ce qu'un projet
Notion de projet
Vie d'un projet
L'équilibre « technique-coûts-délais »
Cadrage du projet
Les découpages
La planification
Aspects techniques
Aspects psychologiques
Les tâches, les ressources et les coûts
Caractérisation et répartition des coûts
Nivellement des ressources
Management du projet
Structure de management de projet
Le chef de projet
L'équipe de projet
Méthode de coordination de projet
Méthodes
Méthodes générales
Méthodes de préparation
Utilisation d'un logiciel de gestion de projet
Méthode de documentation
Analyse du risque
Théorie du risque
Méthode et analyse
Suivi de projet
Suivi technique
Suivi des délais
Suivi des coûts
Bibliographie
L'art du management de projet de S. Berkun O'Reilly
- 11 -
Proj « Projet »
Spécialité MatIS
Semestre
Parcours
•Parcours IMOI, UE obligatoire
•Parcours SIRES, UE obligatoire
Intitulé
Proj : Projet
Volume horaire
Crédits ECTS
TD: 30h
Travail personnel
3
Objectifs
Un projet se déroule sur un semestre complet et permet aux étudiants d'élaborer un travail
conséquent en petit groupe.
Les sujets des projets sont en rapport avec les différents modules de cours qui ont lieu au premier
semestre.
- 12 -
MIS1 « Modélisation des systèmes complexes »
Spécialité MatIS
Parcours
•Parcours MIS, UE obligatoire
•Parcours IMOI, UE optionnelle
Intitulé
MIS1 : Modélisation des
systèmes complexes
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
Cyrille Bertelle
3 M. Aziz-Alaoui
Participants
Cyrille Bertelle, M. Aziz-Alaoui
Objectifs
Ce cours a pour but d'expliquer ce qu'est un système complexe, du point de vue de l'informatique et
de celui des mathématiques. On présentera les concepts sous-jacents à la complexité. Partant
essentiellement de problèmes issus du monde du vivant, on décrira pas à pas le processus de
construction d'un modèle mathématique. La conception de modèles discrets, continus (EDO ou EDP),
avec retard, ou réguliers par morceaux, est développée. On présentera également des approches de
conceptions informatiques capables de respecter la nature complexe, notamment adaptative et
évolutive des systèmes étudiés.
Contenu de l'UE
Cette unité d'enseignement se compose de deux parties :
1.Modèles conceptuels des systèmes complexes adaptatifs
•Modélisation équationnelle et modélisation calculable,
•Systèmes ouverts, systèmes adaptatifs et auto-adaptatifs,
•De la conception à l'analyse du comportement des systèmes,
•Auto-organisation et émergence,
•Application aux écosystèmes.
2.Modélisation mathématique et simulation des systèmes complexes
•Généralités, complexité du monde réel et du vivant,
•Méthodologie de la modélisation et de la simulation,
•Evénements et modèles discrets (exemples issus de la biologie ou écologie)
•Modèles continus (exemples : des modèles EDO aux modèles de réaction-diffusion, puis
autres modèles),
•Modèles discontinus (EDO régulières par morceaux), traitement des discontinuités,
•Exemples de cas avec retard.
Bibliographie
• J.-L. Lemoigne « Modélisation des systèmes complexes », Dunod.
• TRJ Bossomaier et David G. Green « Complex systems », Cambridge university press
- 13 -
MIS2 « Modélisation non linéaire et systèmes dynamiques »
Spécialité MatIS
Semestre
Parcours
•parcours MIS, UE optionnelle
•parcours IMOI,UE optionnelle
Intitulé
MIS2 : Modélisation non linéaire et
systèmes dynamiques
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
M. Aziz Alaoui
3
Participants
M. Aziz Alaoui
Objectifs
Le but de ce cours est de fournir une introduction à l'étude de la théorie des systèmes dynamiques
non linéaires et déterministes. L'étude de l'évolution de systèmes non linéaires, la théorie de la
stabilité, des bifurcations et celle du chaos seront théoriquement abordées et illustrées par des
exemples issus du monde du vivant, biologie ou écologie (modèles proies-prédateurs, ...). La notion
de synchronisation du chaos sera présentée et aussi illustrée sur des exemples de même type.
Notions de base (niveau M1) sur les problèmes différentiels (EDO, EDP).
Contenu de l'UE
−Introduction aux systèmes dynamiques discrets (mappings en D1, D2, ensembles limites et
attracteurs chaotiques, ...)
−Equations différentielles (flots et espace des phases ; Systèmes non linéaires autonomes ou non ;
points fixes ; stabilité et fonctions de Lyapunov ; modèles de Lotka-Volterra et comportement globale
des solutions, extinction d'espèces, coexistence, ... ; cycles limites, système de VanDerPol ; lien avec
les mappings et applications de premier retour).
−Orbites périodiques et ensembles limites (ensembles limites pour les systèmes différentiels du plan ;
Propriétés des ensembles omega-limites ; théorème de Poincaré-Bendixon ; exemples issus de la
biologie).
−Sensibilité
aux conditions initiales et chaos dans les systèmes différentiels
(attracteur de Lorenz, dissipativité, instabilité locale, stabilité et trapping région ; autres exemples ;
exposants de Lyapunov pour les flots).
−Variétés stables ou instables (théorème de la variété stable ; Points et orbites homoclines et
hétéroclines, théoreme de Shilnikov, ...).
−Théorie des bifurcations (cascade de dédoublement de périodes et bifurcation col-noeud ; bifurcation
de Hopf ; théorème de la variété centre, ...).
− Introduction aux systèmes de Filippov
(systèmes différentiels à second membre discontinus et études des points fixes, ...)
Bibliographie
−`Nonlinear Oscillations, Dynamical Systems and Bifurcation of Vector Fields', Springer-Verlag,
Guckenheimer J., Holmes, P.
−`Equations differentielles ordinaires', V.I. Arnold
−`Nonlinear Differential Equations and Dynamical Systems', F. Verhulst
−`A first course in chaotic dynamical systems', R. Devaney Perseus Publishing Co.
- 14 -
MIS3 « Problèmes de type parabolique, elliptique et applications »
Spécialité MatIS
Semestre
Parcours
•Parcours MIS, UE optionnelle
Intitulé
MIS3 “Problèmes de type
parabolique, elliptique et
applications”
Vol. horaire
Crédits ECTS
Coef.
Responsable
CM : 16h
Rabah Labbas
Stéphane Maingot
3
3
Participants
•Rabah Labbas
•Stéphane Maingot
Objectifs
De nombreux problèmes concrets régis par des équations différentielles ou aux dérivées partielles de
type parabolique nécessitent un traitement par la théorie des semi-groupes. On présente dans cette
option les bases élémentaires essentielles de cette théorie et on montre comment on l'applique
concrètement.
Analyse fonctionnelle et théorie spectrale de base.
Contenu de l'UE
•Présentation de quelques problèmes concrets motivant l'étude des EDA (Équations Différentielles
Abstraites).
•Outils pour la résolution des EDA : semi-groupes fortement continus, semi-groupes analytiques,
théorie des sommes d'opérateurs, espaces d'interpolation.
•Applications aux problèmes paraboliques et elliptiques.
Bibliographie
1.'Semigroups of linear operators and applications to partial differential equations', A. Pazy, (Springer,
New York Berlin Heidelberg Tokyo, 1983).
2.'Equations of evolution, volume 6 of Monographs and studies in Mathematics', H. Tanabe, (Pitman,
London, 1979).
3.'Sommes d'opérateurs linéaires et équations différentielles opérationelles', G. Da Prato et P.
Grisvard, J. Math Pures Appl. IX Ser. 54 (1975), pp 305-387.
- 15 -
MIS4 « Problèmes d'évolution hyperboliques et applications »
Spécialité MatIS
Semestre
Parcours
Intitulé
Vol. horaire
Crédits ECTS
MIS4 “Problèmes
CM : 16h
d'évolution hyperboliques et
applications ”
Coef.
Responsable
M. Aziz-Alaoui
3
3
P. Magal
Participants
M. Aziz-Alaoui, P. Magal
Objectifs
De nombreux problèmes d'évolution en biologie et en physique sont régis par des équations aux
dérivées partielles de type hyperbolique. L'objectif de ce cours est de décrire les notions de base sur
ces problèmes en utilisant la théorie des semigroupes. Ces outils de base pourront être utilisés
notamment pour étudier la stabilité des solutions d'équilibre ainsi que les bifurcations. On fera des
applications aux équations différentielles à retard ainsi qu'aux modèles de dynamique de population
structurés.
Théorie des équations différentielles ordinaires
Théorie de base sur les équations aux dérivées partielles
Contenu de l'UE
Eléments de bases sur les semi-groupes intégrés
Problèmes non-homogénes à domaines denses ou non denses
Eléments de théorie spectrale
Problèmes semi-linéaires à domaines denses ou non denses
Equations linéariséee et éléments sur la stabilité et bifurcation
Applications aux équations à retards
Applications aux modèles de dynamique de populations structurées en âges et en taille
Bibliographie
K-J. Engel, R. Nagel, One-parameter Semigroups for Linear Evolution Equations, Springer-Verlag
(2000)
W. Arendt, C.J.K. Batty, M. Hieber, F. Neubrander, Vector-Valued Laplace Transforms and Cauchy
Problems, Birkhauser, (2001)
J.K. Hale, S.M. Verduyn Lunel, Introduction to Functional Differential Equations, (1993)
G.F. Webb, Theory of Nonlinear Age-Dependent Population Dynamics, Marcel Dekker, (1985)
- 16 -
MIS5 « Réseaux d'interaction et complexité »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS5 “Réseaux
d'interaction et complexité”
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
F. Guinand
3
Participants
Frédéric Guinand
Objectifs
Cette unité d'enseignement est une introduction aux graphes dynamiques et à leur traitement par des
méthodes distribuées.
Thèorie des graphes
Informatique distribuée
Contenu de l'UE
1. Modélisation par graphes
2. Graphes dynamiques : état de l'art
3. Les dynamiques
4. Plus court chemin
* Dynamic Shortest Path Problem (DSPP)
* algorithme de Dijkstra
* calcul dynamique du plus court chemin
* calcul dynamique et décentralisé du plus court chemin
5. Coloration
* Algorithme de Welsh et Powell.
* algorithme dynamique et décentralisé de coloration.
6. Arbre couvrant
* Prim et Kruskal.
* algorithme dynamique et décentralisé à jeton de
Casteigts et Chaumette.
7.Recherche de communautés
* Approches agglomératives
* Approches séparatives
•Autres approches
•
Bibliographie
Mark Newman, Albert-László Barabási, & Duncan J. Watts, The Structure and Dynamics of Networks,
Princeton University Press (2006).
- 17 -
MIS6 « Systèmes d'aide à la décision et SMA »
Spécialité MatIS
Semestre
Parcours
•parcours MIS, UE optionelle
•parcours IMOI, UE optionnelle
Intitulé
Vol. horaire
Crédits ECTS
MIS6 “Systèmes d'aide à la CM : 16h
décision et SMA”
Responsable
T. Galinho, F. Serin, D. Fournier
3
Participants
T. Galinho, F. Serin et D. Fournier
Objectifs
Cette unité d'enseignement concerne les modèles et les méthodes de conception de systèmes multiagents.
Programmation orientée objets
Intelligence artificielle
Contenu de l'UE
1.Modèles d'agents et modèles de systèmes multi-agents.
1.1.Etude d'opportunité : Indications ou les systèmes représentables à l'aide d'une approche SMA
1.2.Démarche d'analyse et de conception d'un SMA
1.3.Cycle de vie : Etude d'opportunité, de faisabilité, analyse, conception, validation...
1.4.Outils méthodologiques
- de recueil de composants représentables en terme d'agents,
- Structures d'agents disponibles,
- Protocoles,...
- Interfaces
2.Apprentissage et Systèmes multi-agents
2.1. Apprentissage dans les agents (supervisé ou non-supervisé)
2.2. Apprentissage au sein d'un système multi-agents
2.3. Les modèles d'apprentissage disponibles :
ex: Raisonnement à partir de cas, auto-adaptation, clustering dynamique, génétique d'agents...
3.Coopération de composants connaissances par des agents
3.1. Une classification des connaissances et des modes de raisonnements
3.2. Modèles de représentation des connaissances
3.3. Un modèle d'agent cognitif
3.4. Systèmes multi-agents d'aide à la décision
3.5. Analyse des processus décisionnels : aspects psychologiques et comportementaux de la
décision humaine
Bibliographie
•J. Ferber, « Les systèmes multi-agents », InterEditions, 1995
•G. Weiss ed., « Multiagent Systems », MIT Press, 1999
•J.-P. Muller, « The design of intelligent agents : a layered approach », LNAI, Springer, 1996
- 18 -
MIS7 « Modèles discrets : évolution, auto-organisation »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS7 “Modèles discrets :
évolution, autoorganisation”
Vol. horaire
Crédits ECTS
Coef.
Responsable
CM : 16h
C. Bertelle
3
3
M. Nakechbandi
Participants
C. Bertelle, M. Nakechbandi
Objectifs
A partir de la notion de simulation discrète, nous nous intéressons aux mécanismes dynamiques qui
conduisent à l'émergence de propriétés spatialisées pouvant modéliser des phénomènes d'autoorganisation
Introduction à la modélisation des systèmes complexes
Contenu de l'UE
Simulation distribuée de grands systèmes à événements discrets :
Rappels sur la simulation des systèmes à événements discrets.
La simulation à événements discrets distribuée :
- présentation générale,
- problèmes de cohérence des échéanciers.
- Méthodes de synchronisation conservatrices :
· problèmes d'inter-blocages,
· méthodes des messages nuls.
Itération asynchrone : modèle mathématique, étude de la convergence : espace continu, espace
discret
Evolution et adaptation
Classifieurs génétiques
Méthodes discrètes d'auto-organisation
Automates cellulaires
formalisation, modèles spatiaux, diffusion
émergence de patterns, émergence de lois
applications (Tas de sable, Schelling, ...)
Algorithmes fourmis
classification non supervisée
répartition de tâches
Applications aux systèmes urbains et à l'intelligence territoriale
Bibliographie
−Parallel and Distributed Simulation Systems, Richard M. Fujimoto , Edition: Hardcover, 1999.
−Les applications du calcul parallèle, pratique et outils, coordonnateur Bernard Philippe, Hermès 1999.
−Algorithmique parallèle, A. Legrand, Y. Robert, Dunod, 2003.
- 19 -
−La Simulation distribuée et parallèle, Florent NOLOT, Polycopiés, Cours de DEA Univ. de Lille, 2003.
−A new kind of sciences, Stephen Wolfram, Wolfram Media, 2002.
−Modélisation et Simulation d'Ecosystèmes, Coquillard et Hill, Masson 1997.
−Modélisation et simulation multi-agents: applications aux Sciences de l'Homme et de la Société
Amblard et Phan Hermès (Coll. Science informatique et SHS) 2006.
−Morphogenèse : L'origine des formes, Paul Bourgine, Annick Lesne, Belin 2006
- 20 -
MIS8 « Agents et mobilité de codes »
Spécialité MatIS
Semestre
Parcours
Intitulé
Vol. horaire
Crédits ECTS
MIS8 “Agents et mobilité de CM : 16h
codes”
Responsable
D. Olivier
3
Participants
D. Olivier, A. Dutot
Objectifs
Programmation objet, réseau, java
Contenu de l'UE
Présentation
- Besoins
- Exemple : Placement
- Exemple : Recherche et collecte de données
Types de mobilité
- Code à la demande
- Exemple : Applets
- Évaluation distante
- Exemple : Grilles de calcul
- Agents mobiles
- Le problème des ressources
Agents mobiles, activité et pro-activité
- Types d'agents
- Notion d'activité
- Mobilité forte et faible
- Infrastructure
- Agences
- Services
Application et outils
- RMI
- Objets distribués, comment migrer ?
- ProActive
- Objets distribués
- Objets distribués mobiles
- Objets distribués mobiles et actifs
Bibliographie
1.Harrison et al., Mobile Agents: Are they a good idea?, Resarch Report, IBM T.J. Watson
Research Center, 1995 http://www.research.ibm.com/iagents/paps/mobile_idea.ps
- 21 -
2.Fuggetta
et
al.,
Understanding
Code
Mobility,
IEEE
TSE,
24,
1998
http://www.elet.polimi.it/~vigna/pub/understanding.ps.gz
3. Denis Caromel and Ludovic Henrio, A Theory of Distributed Object, Springer-Verlag, 2005.
- 22 -
MIS9 « Simulations discrète et distribuée »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS9 “Simulation discrète
et distribuée ”
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
H. Abdulrab
3 M. Itmi
Participants
Ce cours est présenté dans le cadre de l'accord de convention entre l'université du Havre et l'INSA de
Rouen. Il s'adresse spécifiquement aux étudiants inscrits en parallèle à l'INSA de Rouen. Il est assuré
par H. Abdulrab et M. Itmi.
Objectifs
Savoir modéliser des systèmes discrets en vue de leur simulation, à fin d'évaluation ou d'aide à la
décision
Contenu de l'UE
- Principes généraux : concepts, étapes d'une étude de simulation
- Modèles mathématiques et informatiques
- Simulation distribuée : introduction à l'HLA et à la simulation multi-agents
- Programmation logique avec contraintes et simulation
- Inférence logique
- Résolution avec contraintes : domaines finis, contraintes arithmétiques, ...
- Analyse des résultats : étude des entrées/sorties, vérification et validation d'un modèle de simulation
- Applications de la programmation logique avec contraintes en simulation discrète
- 23 -
MIS10 « Ingénierie des connaissances »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS10 “Ingénierie des
connaissances ”
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
J.-P. Kotowitz
3
Participants
par J.-P. Kotowitz.
Objectifs
Amener les étudiants à aller au-delà des systèmes d’information en les sensibilisant aux problèmes
posés par la connaissance, sa modélisation, sa gestion, son partage.
Contenu de l'UE
Ce cours est basé sur la découverte de l’état de l’art dans ces domaines avec d’une part le point sur la
recherche actuelle qui concerne la représentation et la gestion des connaissances. D’autre part les
outils et méthodes de gestion de l’information et de la connaissance dans les milieux industriels.
I. Introduction
1 Historique
2 Définitions (Donnée, information, connaissance, savoir-faire)
3 La gestion des connaissances
II. Modélisation des connaissances
•Les différentes approches
•Les principales étapes
•L’acquisition des connaissances
•Le modèle conceptuel
•Validation du modèle
III. Représentation des connaissances
•Problématique
•Historique
•Exemples d’ontologies
•Méthodologie de conception
•Perspectives
IV. Le Web Sémantique
•Le Web sémantique : une vision
•Le W3C (langages de représentation : RDF, RDF Schéma)
•Web sémantique et ontologies (langages de représentation : DAML + OIL)
•Outils, projets en cours et applications
- 24 -
V. Knowledge Management
•Définitions
•Le KM de 1ère génération
•Le KM de 2ème génération (nouvelles clés de segmentation)
•Les boucles de maturation
•Les technologies du KM
VI. Mises en œuvre du « Knowledge Management » dans des grands groupes français
- 25 -
MIS11 « Résolution de problèmes en IA »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS11 “Résolution de
problèmes en IA”
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
N. Chaignaud
3
Participants
par N. Chaignaud.
Objectifs
Connaître les méthodes et les architectures classiques du domaine de l'IA.
Contenu de l'UE
Initiation à l'Intelligence Artificielle et survol de son histoire.
Etudier les évolutions des systèmes en fonction de la complexité grandissante des problèmes.
1. Introduction
1.1. Historique et évolution de l’IA
1.2. Thématiques couvertes
2. La résolution de problèmes
2.1. Espace d’états versus graphe et/ou
2.2. Algorithme A*
2.3. Algorithme AO*
3.3. Algorithme min-max (coupure alpha-beta)
3. La planification de l'action
3.1. Représentation de l’action
3.2. Planification linéaire
3.3. Planification non-linéaire
3.4. Planification hiérarchique
3.5. Planification opportuniste, réactive…
4. Les architectures de tableau noir (TN)
4.1. Contrôle procédural
4.2. Contrôle hiérarchique
4.3. Contrôle à base de TN
- 26 -
MIS12 « E-learning »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS12 “E-learning”
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
J.-P. Pécuchet
3 H. Boukachour et P. Person
Participants
Cette unité est proposée à la fois aux étudiants de l'université du Havre et de l'INSA de Rouen :
Les cours sont assurés par J.P. Pécuchet, H. Boukachour, P. Person et P. Gravé
Objectifs
Le e-learning est un processus d'apprentissage à distance s'appuyant sur des ressources multimédia,
qui permet à une ou plusieurs personnes (apprenants) de se former à partir de leur ordinateur. Un
Environnement Informatique d'Apprentissage Humain (EIAH) est un système informatique qui a pour
objectif de favoriser l'apprentissage d'un domaine de connaissance par un apprenant.
Il est nécessaire de concevoir aujourd'hui des EIAH qui prennent en compte la mobilité des
apprenants, leur assurent un suivi individualisé afin de respecter leur rythme d'apprentissage et
mettent à leur disposition la présence humaine parmi l'ensemble des ressources pédagogiques
accessibles.
Le contenu du cours est le résultat d'une rencontre interdisciplinaire entre sociologues et didacticiens
d'une part et informaticiens d'autre part. Il s'articule autour de la mise en commun des compétences
de deux laboratoires de recherche de l'université du havre : le LITIS et le laboratoire CIRTAI-NTIC qui
a expérimenté des outils d'apprentissage et relevé leurs limites. Notre contribution dans le domaine de
la formation à distance consiste à concevoir et réaliser un système informatique capable d'initier
l'apprentissage et de gérer un enseignement et un suivi individualisé.
Les objectifs sont donc de présenter aux étudiants les bases technologiques et les problématiques de
recherche du e-learning et du e-training et de leur proposer d'approfondir une problématique de
recherche en cours à travers l'étude d'un article.
Contenu de l'UE
•Objectifs comparés du e-learning et du e-training
•Architecture classique d'un ITS
•Modélisation de scénarios
•Architecture classique d'un LMS
•Modélisation des connaissances
•Modélisation de l'apprenant
•Standards LOM et IMS
- 27 -
MIS13 « Temps réel et bases de données»
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS13 : Temps réel et
bases de données
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
Bruno Sadeg
3
Participants
•Laurent Amanton, Claude Duvallet, Bruno Sadeg
Objectifs
Les applications actuelles deviennent de plus en plus complexes. Quelques aspects soulignant cette
complexité sont la distribution des données et/ou des traitements, et les contraintes temporelles
auxquelles ils sont soumis. Les systèmes d'information, notamment les SGBD, qui sont à la base de
ces applications doivent donc tenir compte de ces nouvelles caractéristiques. Dans ce cours, nous
nous intéressons particulièrement à la manière dont s'expriment ces contraintes temporelles, sur quoi
elles portent, par quels mécanismes elles peuvent être respectées. Le cours de cette option a pour
objectif de fournir aux étudiants les éléments de bases pour poursuivre des recherches dans le cadre
d'un doctorat.
Cours de bases de données
Contenu de l'UE
1.Systèmes d'information : caractéristiques
2.SGBD temps réel distribués
3.Exemple de systèmes à temps contraint pour les applications multimédia (BeeHive)
4.Prise en compte des contraintes temporelles dans :
- le contrôle de concurrence distribué
- les modèles de transactions étendus
- la validation des transactions distribuées
5.Ordonnancement causal et COMMIT temps réel
6.Ordonnancement et ordonnançabilité
7.Qualité de service etqQualité des données dans les SGBD multimédia
8.Problèmes ouverts
Bibliographie
1.A. Bestavros, K-J. Lin and S.H. Son, Real-Time Database Systems: Issues and Applications, Kluwer
Academic Publishers, 1997.
2.A. Bestavros and V. Wolfe eds., Real-Time Database and Information Research Advances, Kluwer
3.C. Duvallet, Z. Mammeri et B. Sadeg, Les SGBD temps réel, revue Technique et Science
Informatique (TSI), Vol. 18, Num. 5, pp. 479-517, 1999.
4.K-Y. Lam and T-W. Kuo eds., Real-Time Database Systems: Architecture and Techniques, Kluwer
- 28 -
5.K. Ramamritham, Real-Time Databases, Journal of Distributed and Parallel Databases, Vol. 1, Num.
2, pp. 199-226, 1993.
- 29 -
MIS14 « Valeurs extrêmes et applications »
Spécialité MatIS
Semestre
Parcours
Intitulé
MIS14 : Valeurs extrêmes
et applications
Vol. horaire
Crédits ECTS
CM : 16h
Responsable
Alexandre Berred
3
Participants
Alexandre Berred
Objectifs
Le problème de la détection d'unités atypiques ou de valeurs extrêmes se pose à tous ceux qui ont à
analyser des données réelles. La détection des unités atypiques est nécessaire avant l'analyse des
résultats, les raisons en sont à la fois théoriques et pratiques. Notamment, on peut se poser les
questions suivantes : faut-il éliminer ces observations, leur donner un poids judicieux ou utiliser des
méthodes robustes qui en tiennent compte ?
Processus stochastiques de M1 Math
Contenu de l'UE
Phénomènes extrêmes : Environnement, Météorologie, Assurance, Finance, etc.
Domaines d'attractions
Statistiques des extrêmes
Bibliographie
`- P. Embrechts, C. Klüppelberg, T. Mikosch. Modelling Extremal Events.
Springer.
- Extreme Values in Finance, Telecommunications and the Environment. Bärbel
Finkenstädt, H. Rootzén Eds.
- E. Castillo. Extreme Value Theory in Engineering. Academic Press
- 30 -
IMOI1 « Modélisation stochastique »
Spécialité MatIS
Semestre
Parcours
•parcours IMOI, UE obligatoire
Intitulé
IMOI1 Modélisation
stochastique
Vol. horaire
Total : 30h
CM: 20h TD: 10h
Crédits ECTS
Responsable
Alexandre Berred
3
Participants
Alaxandre Berred, Sylviane Racadot.
Objectifs
Renforcer les éléments de théorie de probabilités.
Probabilités L2 MI
Contenu de l'UE
Chaînes de Markov
Martingales
Processus de Poisson
Files d'attente
Simulations Monte Carlo
Bibliographie
1. W. Feller. An Introduction to Probability Theory and its Applications. Volume I & II. Wiley
Academic Press
2.S. Karlin and H. M. Taylor. A First and Second Course in Stochastic Processes. Academic
Press.
3.N. Bouleau. Processus Stochastiques et Applications. Hermann.
- 31 -
IMOI2 « Ingénierie mathématique et programmation »
Spécialité MatIS
Semestre
Parcours
•Parcours IMOI, UE obligatoire
Intitulé
IMOI2 “Ingénierie
mathématique et
programmation”
Vol. horaire
Crédits ECTS
Responsable
TOTAL : 60h
CM : 40h TD : 10h TP : 10h
6
Participants
Principalement des professionnels, responsable de projets en industrie ou bureaux d'études : Yann
Roux, Bernard Adouobo (ABTOO), Alain Hémon, ...
Objectifs
Comprendre et connaître les méthodes d'ingénierie mathématiques et leur traitement informatique
dans le milieu professionnel. Connaître les outils utilisés dans les bureaux d'études et les centres de
recherche et développement.
Contenu de l'UE
- Modélisation d'un problème concret posé dans l'industrie, dans les bureaux d'études:
- Quel formalisme choisir ?
- Quel méthode de résolution ?
- Quels outils ?
- Gestion du développement de projet
- Apprentissage de logiciels dédiés à des thématiques spécifiques
- Fluent, ArcGIS, ...
- 32 -
SIRES1 « Conception d'applications pour le web »
Spécialité MatIS
Semestre
Parcours
•Parcours SIRES, UE obligatoire
Intitulé
Vol. horaire
Crédits ECTS
SIRES1 “Conception
TOTAL : 30h
d'applications pour le web ”
CM : 20h TD : 5h TP : 5h
Responsable
3
D. Olivier, P. Person, A.
Dutot, V. Jay, C. Duvallet
Participants
D. Olivier, P. Person, A. Dutot, V. Jay, C. Duvallet
Professionels : M. Besancenot
Objectifs
Développer des applications dans des environnements distribués.
Programmation objet, programmation Java, connaissances génèrales en middleware
Contenu de l'UE
−Autour des serveurs d'applications
−Définition des applications Web
−Conception d'une application Web
−Architecture et services d'un serveur d'application
−La technologie Servlet et JSP
−Les objets côté serveur : EJB, CCM. Le déploiement.
−Les plates-formes du marché : J2EE, .NET, Struts ...
−Web services.
Bibliographie
1.Patzer, Andrew, Programmation Java coté serveur servlets, JPS et EJB - éd. Eyrolles – 2000
2.Deepak Alur, John Crupi, Dan Malks, Core J2EE Patterns: Best Practices and Design Strategies
éd. Sun Microsystem
3.McLaughin B., Building Java Enterprise Application, vol1 : Architecture, Editions O’Reilly 2002
4.Monson-Haefel R., Enterprise JavaBeans, Editions O’Reilly 2001
5.McLaughin B., Java & XML, Editions O’Reilly 2001
6.Farley J., Java Enterprise in a Nutshell, Editions O’Reuilly 2002
7.Chappell D.-A., Java Web Services, Editions O’Reilly 2002
8.Drayton P., C# in a Nutshell, Editions O’Reilly 2002
9.Archer T., Inside C#, Microsoft Press 2002
10.Sharp J., Microsoft Visual C# .NET, Microsoft Press 2002
11.Thai T., .NET Framework Essential, Editions O’Reilly 2002
- 33 -
SIRES2 « Administration des systèmes et serveurs »
Spécialité MatIS
Semestre
Parcours
•parcours SIRES, UE optionnelle
Intitulé
SIRES2 “Administration des systèmes
et serveurs”
Volume horaire
Total : 30h
CM: 20h TD : 5h
TP: 5h
Crédits ECTS
Responsables
C. Duvallet,
3 B.Mermet
Objectifs
Conception et configuration d'un réseau local, mise en place de serveurs web, nfs, oracle.
•Maîtrise d'un langage de commande (Shell/Perl)
Contenu de l'UE
•Serveurs web, serveur de courrier, serveur de listes ...
•Installation, administration, gestion
•Services d'annuaire
•DNS et BIND
•LDAP
•Partage de fichiers
•NFS, Samba
•Réseau
•Les différentes architectures
•Gestion d'une DMZ
•VPN
Bibliographie
•Apache : installation et mise en œuvre, Ben et Peter Laurie, O'reilly, 2eme édition, nov. 1999.
•Les bases d'administration système, O'reilly.
•Administration réseau sous Linux, Gregor N. Purdy, Tony Bautts, Terry Dawson, O'reilly, 2005
- 34 -
SIRES3 « Bases de Données Distribuées »
Spécialité MatIS
Semestre
Parcours
•parcours SIRES, UE optionnelle
Intitulé
SIRES3: Bases de Données
Distribuées
Volume horaire
Total : 30h
CM: 20h TD : 5h
Crédits ECTS
TP: 5h
Responsable
B. Sadeg
3 G. Simon, M. Nakechbandi
Objectifs
Administration d'un système de gestion de bases de données distribuées.
•Langages SQL, PLSQL, C, Java.
•Modèle de conception Entité-Association, relationnel
•Eléments d'architecture d'un SGBD
•Conception d'une base de données
•Notions d'administration
Contenu de l'UE
•Installation de Oracle
•Administration d’une base de données Oracle. Paramétrage, sauvegarde, restauration,
optimisation, surveillance
•JDBC – Objets relationnels, JDO, PLSQL
• Bases de données distribuées
Bibliographie
•“ Oracle : Administration, Architecture et Optimisation” de Hatem Smine, ed. Eyrolles,
1991-92.
•“ Database Modeling & Design ” de Toby J. Teorey, 3rd ed., Morgan Kofmann ed.1999.
•“ Management of Heterogeneous and Autonomous Database Systems ” ed. by A.
Elmagarmid, M. Rusinkiewicz and A. Sheth, Morgan Kofmann ed., 1999.
•“ Real-Time Databases. Issues and Applications ” ed. by A. Bestavros, K.J. Lin, S.H.
Son, Kluwer Academic Publishers, 1997.
•“ Documentation Oracle RDBMS: Database Administrator’s guide ”
•Oracle9i sous Linux, G. Briard, Ed. Eyrolles.
•JDBC et Java, G. Reese, O'reilly.
- 35 -
SIRES4 « Technologies WEB et applications professionnelles »
Spécialité MatIS
Semestre
Parcours
•parcours SIRES, UE optionnelle.
Intitulé
Volume horaire
SIRES4 : Technologies WEB Total : 30h
et applications
CM: 20h TD : 5h
professionnelles
Crédits ECTS
Responsable
TP: 5h
3 V. Frebourg, G. Prevost
Participants
Cette UE est orientée vers le monde professionnel et elle sera dédiée à l'intervention de responsables
ou de chargés de projets qui présenteront leurs approches de l'utilisation des technologies web dans
leur environnement professionnel.
Objectifs
Utilisation des nouvelles technologies orientées objet pour Internet dans le cadre d'appications
professionnelles.
•Maîtrise de SQL et de Java.
•Notions générales sur le Web
•Utilisation d'environnements Unix en réseau
Contenu de l'UE
•Présentation de l'utilisation des technologies web dans le cadre des entreprises.
Bibliographie
•Programmation en PHP, L. Atkinson, CampusPress, mai 2000.
•PHP professionnel, Ed. Eyrolles, août 2000.
•Java servlets, J. HUNTER, O'Reilly
•Programmation JAVA côté serveur, A. Patzer, Eyrolles
•XML, R. Eckstein & M. Casabianca, 1ere édition, avril 2000.
•Java Beans, R. Englander, O'reilly.
•JSP Professionnel – Wrox Tean Eyrolles, février 2001
•JSP – Java Sever Pages Développement de sites web dynamiques
•D.Fields M. Kolls Eyrolles nov.2000 465 p.
•XML, le guide de l’utilisateur, Osman Eyrolles, E.R. Harold
- 36 -
SIRES5 « Développement de projets informatiques et composants »
Spécialité MatIS
Semestre
Parcours
•parcours SIRES, UE obligatoire
Intitulé
SIRES5 : Développement de
projets informatiques et
composants
Volume horaire
Total : 30h
CM: 20h TD : 5h
Crédits ECTS
Responsable
TP: 5h
3 B. Mermet
Participant
B. Mermet
Objectifs
Utilisation des outils de conception de logiciels, étude de l'organisation en composants des logiciels.
initiation à la conduite de projets.
•Notion d'objet
•Notion de programmation
•Notions de recherche opérationnelle
•Notions d'aide à la décision
•Connaissance des techniques de base de l'informatique (algorithmique numérique et
non numérique, parallélisation )
Contenu de l'UE
•Méthodes d'analyse et de conception
•Certification validation du logiciel
•Ateliers de Génie Logiciel
•plates-formes de développement, versionning, documentation ....
•EJB, composants
Bibliographie
•UML en action, P. ROQUES, Eyrolles
•UML, P. LAI, Dunod
•B is a method for specifying, designing, and coding software systems." J.R. Abrial, The
B-Book, Cambridge University Press
•Software Abstractions: Logic, Language, and Analysis. Daniel Jackson. MIT Press.
Cambridge, MA. March 2006
•Java Beans, guide du programmeur. Robert Englander. O'Reilly 2004.
•Creating JavaBeans Components for Distributed Applications. Mark Watson. Ed.
Morgan Kaufmann Publishers, 1997.
- 37 -
SIRES6 « Sécurité »
Spécialité MatIS
Semestre
Parcours
•Parcours SIRES, UE optionnelle
Intitulé
SIRES6 “Sécurité”
Vol. horaire
Total : 30h
CM: 20h TD : 5h
Crédits ECTS
TP: 5h
Responsable
3
Participants
L. Amanton ainsi que des professionnels V. Frebourg et D. Le Bray
Objectifs
Former les étudiants aux différents problèmes liés à la sécurité informatique. En faire des
interloccuteurs privilégiés auprès d'intervenants spécialisés et leur permettre de mener et mettre en
place une politique.
Contenu de l'UE
Sécurisation des systèmes et des réseaux
•Sécurité : présentation générale, qu'est-ce que la sécurité en informatique ? Quels sont les
risques et les enjeux ? Rapide historique
•Sécurité des accès physiques (protection des matériels et
•environnement humain)
•Sécurité des accès logiques (protection des ervices et
•environnement logiciel)
•Tour d'horizon des menaces générales : failles de programmation,faiblesses d'un système
d'exploitation, d'un protocole ou d'un logiciel, comportements humains
•Tour d'horizon des menaces techniques : virus, vers, chevaux de Troie, ...
•Relever un incident : obfuscation ou divulgation ? contrer ou contourner ?
•Prise en charge de la sécurité : acteurs et PSSI (politique de sécurité du système d'information)
•Mise en oeuvre de la sécurité d'un service
Sécurisation des bases de données
•Sécurité avec PHP Objet (sessions, problèmes d'injection de code, attaques XSRF, déni de
service, configuration du serveur Apache, ...).
•Sécurité des différentes bases de données "web" : mysql, sqlite, postgres (injection sql, droits
des utilisateurs, ...).
Bibliographie
Sécurité PHP 5 et MySQL, auteurs : D. Seguy, P. Gamache, édition Eyrolles.
Sécurité des architectures web, auteurs : Ploin, Soyer, Trioullier, édition Dunod
- 38 -
MySQL 5 : Guide de l'administrateur et du développeur, auteur M. Kofler, édition Eyrolles.
PostgreSQL 8.1 : Administration et exploitation d'une base de données, auteur :S. Lardière, édition
ENI
- 39 -
SIRES7 « Fouille de données »
Spécialité MatIS
Semestre
Parcours
•Parcours SIRES, UE optionnelle
Intitulé
SIRES7 : Fouille de données
Volume horaire
Total : 30h
CM: 20h TD : 5h
Crédits ECTS
Responsables
D. Fournier, G. Simon
TP: 5h
3
Participants
D. Fournier, G. Simon
Objectifs
Techniques de fouille de données.
Contenu de l'UE
1. ECD : définitions, généralités, exemples d'application
2. Pré-traitement des données
3. Fouille de données
a. Introduction : apprentissage automatique
b. Fouille de données supervisée
- induction d'abres de décision
- induction de règles
- réseaux de neurones
c. Fouille de données non supervisée
- "clustering" (cartes de Kohonen)
- recherche d'associations
4. Optimisation de la fouille de données
a. Evaluation des résultats de la fouille
b. Gestion de l'accès aux bases de données
5. Visualisation
6. Systèmes d'ECD
Bibliographie
- René Lefébure et Gilles Venturi, "Data Mining", Eyrolles, 2001.
- J. Han and M. Kamber, "Data mining - Concepts and Techniques", Morgan Kaufmann, 2001.
- Sites Internet : www.kdnuggets.com
- 40 -
1.2 ANNEXE 2 : ACTIVITÉS SCIENTIFIQUES DES ENSEIGNANTS-CHERCHEURS ET DES
CHERCHEURS MEMBRES DE L’ÉQUIPE DE FORMATION
Nom Prénom
Amanton
Laurent
Qualité
Section
CNU
MC, 27
Laboratoir
e
LITIS
Publications
S. Semghouni, B. Sadeg, L. Amanton and A. Berred : "Probability Density
Function of Firm Real-Time Transactions Success Ratio". Proceedings of the
8th Brazilian Workshop on Real-Time Systems (WTR2006), Curitiba, Brazil,
June 2. (2006).
S-R. Semghouni, B. Sadeg, L. Amanton and A. Berred : '' Stochastic Study of
Real-Time Transactions Success Ratio'', Post. In 21st ACM Symposium of
Applied Computing (SAC'06), Dijon, France. (2006).
M. Abdouli, B. Sadeg, L. Amanton and A. Alimi, : ''Using Imprecise
Concurrency Control and Speculative Lending of Prepared Data-item'' in
Distributed Real-Time Nested Transactions, Proc. of Intl. IEEE International
Distributed Systems and Real-Time Simulations (DS-RT-05), Montréal,
Quebec, Canada., (2005)
Aziz Alaoui
Moulay
PU, 27
LMAH
Nindjin A.F. and Aziz-Alaoui M.A : ''Persistence and global stability in a
delayed Leslie-Gower type three species food chain'' in JMAA, Journal of
Mathematical Analysis and Applications, 18 pages. In press. (2007)
Aziz-Alaoui M.A : ''Synchronization of chaos'' Invited paper for
Encyclopedia of Mathematical Physics, Elsevier, Vol. 5, pp :213-226, (2006).
Aziz-Alaoui M.A. and Daher O.M : ''Boundedness and global stability for a
predator-prey model with modified Leslie-gower and Holling-type II
schemes''; Applied Math. Lets. Vol. 16(7), pp. 1069-1075, (2003).
Balev Stefan
MC, 27
LITIS
Andonov R., Balev S., Yanev N. : "Protein threading: from mathematical
models to parallel implementations"; INFORMS Journal on Computing
16(4); pp 393-405 (2004)
Andonov R., Balev S., Yanev N. : "High-Performance Alignment Methods
for Protein Threading"; Parallel Computing for bioinformatics and
computational biology; pp 427-457 (2006)
Wilbaut C., Hanafi S., Fréville A., Balev S. : "Tabu search: global
intensification using dynamic programming"; Control and Cybernetics 35(3);
pp 579-598 (2006)
Benaini
Adbelhamid
PU, 27
Benaini A, Laiymani D., Multiphase parallel algorithm for the eigenelement
problem, J. Informatica 24 pp. 370-377 (2000)
Benaini A, Laiymani:D. : ''Compile-Time Task Scheduling for Multi-Phase
Programming''. Euro-Par, Vol. II,:pp 535-538 (1996)
Benaini A., Laiymani D., Perrin:G-R. : ''A Reconfigurable Parallel algorithm
for Sparse Cholesky Factorization''. IRREGULAR pp 261-274, (1995)
Berred
Alexandre
PU, 26
LMAH
Semghouni S., Amanton L., Sadeg B., Berred A.. “On new scheduling policy
for the improvement of firm RTBSs performances” Data & Knowledge
Engineering (2006).
Akhundov I., Berred A., Nevzorov, V “On the influence of record terms in
the addition of independent random variables”, Communications in Statistics:
Theory and Methods, V. 7, 1291--1303.(2007).
Abdous B.and Berred A, ''Mean residual life estimation''. Journal of
Statistical Planning and Inference, Vol. 132, pp. 3-19, (2004).
- 41 -
Nom Prénom
Bertelle Cyrille
Qualité
Section
CNU
PU, 27
Laboratoir
e
LITIS
Publications
Bertelle C., Dutot A., Guinand F., Olivier D. : "Organization Detection for
Dynamics Load Balancing in Individual-Based Simulations"; Int. Journal
Multi-Agent and Grid Systems, Special Issue "Nature-Inspired Systems for
Parallel, Asynchronous and Decentralized Environments"; 42 p. (2006)
M.A. Aziz Alaoui and Cyrille Bertelle (eds) : "Emergent Properties in
Natural and Artificial Dynamical Systems" Springer, Understanding Complex
Systems series, (2006).
Bertelle C, Olivier D., Prévost G., and Tranouez P.: "Simulation of a
Compartmental Multiscale Model of Predator-Prey Interactions". Dynamics
of Continuous, Discrete and Impulsive Systems, series B, July, (2005).
Boukachour
Hadoum
MC, 27
LITIS
Person P., Boukachour H., Coletta M., Galinho T.,Serin F. : "Data
representation layer in a MultiAgent decision support system"; Multiagent
and Grid Systems, Volume 2, Number 3, 2006; pp 223-235 (2006)
Ennaji M, Boukachour H., Grave P. : "A Multi-Agent Architecture for
Mobile Self-Training"; 8th International Conference on Enterprise
Information Systems, ICEIS 2006, Paphos, Cyprus, May 2006; pp 343-350
(2006)
Person P., Boukachour H., Coletta M., Galinho T., Serin F. : "From Three
MultiAgent Systems to One Decision Support System"; Indian International
Conference on Artificial Intelligence, IICAI'05, Pune, Inde, 20-22 decembre
2005; pp 2856-2875 (2005)
DeBoyssonFlouret
Marianne
MC, 27
LITIS
Simon G., Mermet B. Fournier D. Flouret M. : "Specifying Validating and
Generating an Agent Behaviour Using a Goal Decomposition Tree"
Declarative Agent Languages and Technologies (DALT'05) Utrecht (PaysBas) juillet 2005 (2005) pp 102-117 (2005)
Flouret M. Simon G. Mermet B. : "Implanter des comportements d'agents
prouvés via des automates" Reconnaissance des Formes et Intelligence
Artificielle (RFIA'06) Tours (France) janvier 2006 9 pages, (2006)
Mermet B. Simon G. Fournier D. Flouret M. : "SPACE a method to increase
traceability in MAS development" Post Proceedings of First International
Workshop PROMAS 2003 (Selected and Revised Papers) Lecture Notes in
Artificial Intelligence Vol. 3067 Springer-Verlag pp 201-220 (2004)
Coletta Michel
MC, 27
LITIS
Person P., Boukachour H., Coletta M., Galinho T., Serin F. : "A Multiagent
System for Monitoring and Analysing the Game of Risk"; 9th International
Conference on Computer Games: Artificial Intelligence and Mobile Systems,
CGAMES06, Dublin, Irlande, 20-22 novembre 2006; pp 116-120 (2006)
Galinho T., Coletta M., Person P., Serin F. : "Dynamic representation of
information for a decision support system"; 8th International Conference on
Enterprise Information Systems, Proceedings of Artificial Intelligence and
Decision Support Systems, Paphos, Cyprus, Mai 2006; pp 156-163 (2006)
- 42 -
Nom Prénom
Dutot Antoine
Qualité
Section
CNU
MC, 27
Laboratoir
e
LITIS
Publications
Bertelle C., Dutot A., Guinand F., Olivier D.: "Dynamic placement using ants
for objects based simulations"; In DOA 2003 Conf., Catania (Sicily, Italy),
November 2003. In book : R. Meersman, Z. Tari and D.C. Schmidt ed. "On
the move to meaningful internet systems 2003"LNCS 2888, Springer Verlag;
pp 1263-1274 (2003)
Bertelle C., Dutot A., Guinand F., Olivier D. : "Organization Detection using
Emergent Computing"; Int. Journal Transactions on Systems Science and
Applications, Special Issue "Self-Organizing, Self-Managing Computing and
Communications"; 11 (2006)
Duvallet Claude MC, 27
LITIS
Bouazizi E, Duvallet C and Sadeg B.: ''Improvement of QoD and QoS in
RTDBS.'' Proceedings of 14th International Conference on Real-Time and
Network System (RTNS'2006), Poitiers, France, May 30-31, pages 87-95,
(2006).
Bouazizi E, Duvallet C and Sadeg B.: ''Multi-Versions Data for improvement
of QoS in RTDBS''. Proceedings of 11th IEEE International Conference on
Real-Time and Embedded Computing Systems and Applications (IEEE
RTCSA'2005), Hong Kong, China, pages 293-296, August 17-19, 2005.
Bouazizi E, Duvallet C and Sadeg B.: ''Using Feedback Control Scheduling
and Data Versions to enhance Quality of Data'' in RTDBSs. Proceedings of
International Computer System and Information Technology (IEEE
ICSIT'2005), Alger, Algérie, pages 322-327, July 19-21, (2005).
Fournier
Dominique
MC, 27
LITIS
Lezoray O., Fournier D., Cardot H. : "Neural Network Induction Graph for
Pattern Recognition"; Neurocomputing Journal, Elsevier, volume 57; pp
257-274 (2004)
Simon G., Mermet B., Fournier D. : "Goal Decomposition Tree: An Agent
Model To Generate A Validated Agent Behaviour"; Post Proceedings of
Third International Workshop DALT 2005 ( Selected Revised Papers),
Lecture Notes in Computer Science Vol. 3904; pp 124-140 (2006)
Mermet B., Fournier D., Simon G. : "An agent Compositional Proof System";
Fifth International Symposium "From Agent Theory to Agent
Implementation" at the 18th European Meeting on Cybernetics and Systems
Research (EMCSR 2006); pp 1-10 (2006),
Galinho Da
Silva Thierry
MC, 27
LITIS
- 43 -
Nom Prénom
Gueye Serigne
Qualité
Section
CNU
MC, 26
Laboratoir
e
LMAH
Publications
Gueye S, Michelon P, "Miniaturized Linearizations for Quadratic 0/1
Problems '', Annals of Operations Research (AOR), Vol. 140, pp. 235-261,
(2005).
Gueye S, Michelon P, A branch-and-bound algorithm for the graph
partitioning problem. ISMP 2003, Copenhague, Danemark, 18-22 Août
(2003)
Gueye S, Michelon P, ''Constraint Programming and Linear Programming for
Quadratic O-1 problems''. ISMP 2006, Rio, Brazil, 4-8 Août (2006)
Guinand
Frédéric
PU, 27
LITIS
Drozdowski M, Lawena M, Guinand F.: "Scheduling Multiple Divisible
Loads" International Journal on High Performance Computers and
Application, 20(1), pp 19-30 (2006)
Guinand F., Moukrim A., Sanlaville E. "Sensitivity analysis of scheduling
UECT trees on two processors" Parallel Computing, 30(1); pp 103-120
(2004)
Bertelle C., Dutot A., Guinand F., Olivier D. "Colored ants for distributed
simulations" ANTS 2004; pp 326-333 (2004)
Jay Véronique
MC, 27
LITIS
Bertelle C, Flouret M., Jay V., Olivier D., Ponty J-L., ''Automata with
multiplicities as behaviour model in multi-agent simulations'', SCI'2001,
(2001).
Bertelle C, Flouret M, Jay V., Olivier D., Ponty J-L., ''Adaptive behaviour for
prisoner dilemma strategies based on automata with multiplicities'', ESS
2002, Dresden (2002)
Bertelle C., Jay V., Lerebourg S., Olivier D., Tranouez P., ''Dynamic
clustering for auto-organized structures in complex fluid flows'', ESS 2002,
Dresden (2002).
Labbas Rabah
PU, 26
LMAH
Favini A., Labbas R., Maingot S. and Lemrabet K. : ''Study of The limit of
Transmission Problems in a Thin Layer by The Sum Theory of Linear
Operators.'' Revista Matematica Complutense, Vol. 18(1), pp. 143-176
(2005)..
Favini A, Labbas R, Maingot Tanabe H. and Yagi A. : ''Study of Elliptic
Differential Equation in UMD Spaces, Evolution Equation, Inverse and
Direct Problems 251'', Chapman & Hall, pp. 73-89. (2006)
Favini A., Labbas R., Maingot S., Tanabe H. and Yagi A., ''Complete
Abstract Differential Equations of Elliptic Type in UMD Spaces'', Funkcialaj
Ekvacioj, Vol. 49, pp. 193-214. (2006) .
Lemaire AnneSophie
MC, 26
LMAH
Lemaire A.S., Foudrinier D. : ''Estimation under L_1-symmetry.'' Journal of
Multivariate Analysis, pp. 303-323, (2002).
Taïbi S., Lemaire A.S., Estimation non-paramétrique du taux de transfert des
éléments traces du sol vers les graines de lin oléagineux. Colloque Statistique
des processus-Application au traitement de signal et de l’image, Angers,
septembre (2005).
Magal Pierre
MC HDR,
26
LMAH
Webb G. F., D'agata E., Magal P., Ruan S, ''A model of antibiotic resistant
bacterial epidemics in hospitals.'' Proceedings of the National Academics of
Sciences of the USA, Vol. 102, N° 37, pp. 13343-13348, (2005).
Magal P, Zhao X.-Q., ''Global attractors in uniformly persistent dynamical
systems.'' SIAM J. Math. Anal. Vol. 37, N° 1, pp. 251 – 275, (2005).
Prévost K, C. Beaumont, Magal P: ''A Model of Salmonella infection within
hens herd''. Journal of Theoretical Biology, 242, pp. 755-763, (2006)
- 44 -
Nom Prénom
Maingot
Stéphane
Qualité
Section
CNU
MC HDR,
25, 26
Laboratoir
e
LMAH
Publications
Favini A., Labbas R., Maingot S. and Lemrabet K. : ''Study of The limit of
Transmission Problems in a Thin Layer by The Sum Theory of Linear
Operators.'' Revista Matematica Complutense, Vol. 18(1), pp. 143-176
(2005).
Favini A, Labbas R, Maingot Tanabe H. and Yagi A. : ''Study of Elliptic
Differential Equation in UMD Spaces, Evolution Equation, Inverse and
Direct Problems 251'', Chapman & Hall, pp. 73-89. (2006)
Favini A., Labbas R., Maingot S., Tanabe H. and Yagi A., ''Complete
Abstract Differential Equations of Elliptic Type in UMD Spaces'', Funkcialaj
Ekvacioj, Vol. 49, pp. 193-214. (2006) .
Menard Étienne MC, 26
LMRS
Ménard E. : ''Semigroupes faiblement irréductibles de contractions linéaires
sur $\scr C(X)$'' Semigroup Forum 58, no. 3, 452-462 (1999).
Ménard, E.; Troallic, J.-P : ''Semigroupes de contractions linéaires sur $\scr
C(X)$: irréductibilité et théorèmes de convergence'' Semigroup Forum 47,
no. 1, 87--95 (1993).
Ménard, E.; Troallic, J.-P.: '' Représentations de semigroupes par des
opérateurs linéaires positifs sur ${\scr C}(X)$. Semigroup Forum 46, no. 3,
322—328, (1993)
Mermet Bruno
MC, 27
GREYC
Simon G., Fournier D.Mermet B. : '' A Dynamic Clustering Algorithm for
Mobile Objects'', PKDD, 8 pages, (2007).
Mermet B, Simon G., Zanuttini B. Saval A. : ''Specifying, Verifying and
Implementing a MAS: A Case Study'' ProMAS, 12 pages, (2007).
Research (EMCSR 2006); pp 1-10 (2006),
Nakechbandi
Moustafa
MC HDR,
27
LITIS
Nakechbandi M., Colin J-Y, Delaruelle C.: "Bounding the makespan of best
pre-schedulings of task graphs with fixed communication delays and random
execution times on a virtual distributed system ", OPODIS02, Reims. (2002).
Colin J-Y., Nakechbandi M., Colin P. : "A multi-valued DAG model and an
optimal PERT-like Algorithm for the Distribution of Applications on
Heterogeneous Computing Systems",, PDPTA'05, Las Vegas, Nevada, USA.
(2005).
Nakechbandi M., Colin J-Y, Gashumba J-B. : "An efficient fault-tolerant
scheduling algorithm for precedence constrained tasks in heterogeneous
distributed systems"‘International Joint Conferences on Computer,
Information, and Systems Sciences, and Engineering’ CIS2E 06, (2006).
Olivier Damien
PU, 27
LITIS
Bertelle C, Olivier D., Prévost G., and Tranouez P.: "Simulation of a
Compartmental Multiscale Model of Predator-Prey Interactions". Dynamics
of Continuous, Discrete and Impulsive Systems, series B, July, (2005).
D'agata E., Magal P, Olivier D., Ruan S. Webb G. : ''Modeling antibiotic
resistance in hospitals: The impact of minimizing treatment duration'', Journal
of Theoritical Biology, 40p, (2007)
- 45 -
Nom Prénom
Person Patrick
Qualité
Section
CNU
MC, 27
Laboratoir
e
LITIS
Publications
Ponty Jean-Luc MC, 27
LITIS
D. Giammarresi, Ponty J-L., Wood D., Ziadi D. : "A characterization of
Thompson digraphs"; Discrete Applied Mathematics 134(1-3); pp 317-337
(2004)
Bertelle C, Flouret M., Jay V., Olivier D., Ponty J-L., ''Automata with
multiplicities as behaviour model in multi-agent simulations'', SCI'2001,
(2001).
Bertelle C, Flouret M, Jay V., Olivier D., Ponty J-L., ''Adaptive behaviour for
prisoner dilemma strategies based on automata with multiplicities'', ESS
2002, Dresden (2002)
Sadeg Bruno
MC HDR,
27
LITIS
S. Semghouni, B. Sadeg, L. Amanton and A. Berred : "Probability Density
Function of Firm Real-Time Transactions Success Ratio". Proceedings of the
8th Brazilian Workshop on Real-Time Systems (WTR2006), Curitiba, Brazil,
June 2. (2006).
S-R. Semghouni, B. Sadeg, L. Amanton and A. Berred : '' Stochastic Study of
Real-Time Transactions Success Ratio'', Post. In 21st ACM Symposium of
Applied Computing (SAC'06), Dijon, France. (2006).
Bouazizi E, Duvallet C and Sadeg B.: ''Improvement of QoD and QoS in
RTDBS.'' Proceedings of 14th International Conference on Real-Time and
Network System (RTNS'2006), Poitiers, France, May 30-31, pages 87-95,
(2006).
Serin Frédéric
MC, 27
LITIS
Kebair F., Serin F. : "Multiagent Approach for the Representation of
Information in a Decision Support System"; 12e conférence Artificial
Intelligence: Methodology, Systems and Applications; pp 98-107 (2006)
Simon Gaële
MC, 27
GREYC
Simon G., Fournier D.Mermet B. : '' A Dynamic Clustering Algorithm for
Mobile Objects'', PKDD, 8 pages, (2007).
Mermet B, Simon G., Zanuttini B. Saval A. : ''Specifying, Verifying and
Implementing a MAS: A Case Study'' ProMAS, 12 pages, (2007).
Research (EMCSR 2006); pp 1-10 (2006)
Troallic JeanPierre
PU, 25
LMRS
Bouziad A., Troallic J-P. : '' Left and right uniform structures on functionally
balanced groups'', Topology Appl. 153 Vol. 13, pp 2351-2361 (2006)
Bouziad, A.; Troallic, J.-P : ''Nonseparability and uniformities in topological
groups. Proceedings of the 18th Summer Conference on Topology and its
Applications.'' Topology Proc. 28 no. 2, 343--359. (2004)
Troallic, J. P : ''Equicontinuity and balanced topological groups'', Topology
Appl. 135, no. 1-3, 63--71. (2004)
- 46 -
Nom Prénom
Verdière
Nathalie
Qualité
Section
CNU
MC, 26
Laboratoir
e
LMAH
Publications
Verdière N, Denis-Vidal L., Joly-Blanchard G., Domurado D. :
''Identifiability and estimation of pharmacokinetic parameters of ligands of
macrophage mannose receptor.'' International Journal of Applied
Mathematics and Computer Science, Vol.15, N°.4, pp.101-110, (2005).
Verdière N., Joly-Blanchard G., Denis-Vidal L. : ''Identifiability of a
Pollution Source: The Distributed Model and the Semi-Discretized
Differential Model'', IEEE/CCA, Octobre 4-6, Munich, (2006).
Verdière N. : ''Identifiability and identification of a pollution source : a semidiscretization method, MTNS'' 2004, 5-9 juillet, Louvain, Belgique, (2004)
Wey-Racadot
Sylviane
MC, 26
LMAH
Berred A., Nevzorov V. B and Racadot-Wey S :, ''Normalizing Constants for
Record Values in Archimedean copula processes''. J. Statist. Plann. Inference,
(2004).
Wey, S.: ''Un théorème limite local'' C. R. Acad. Sci. 320 no. 8, 997–1002.
(1995).
Yassine Adnan
PU, 26
LMAH
Roumili H, Keraghel A., Yassine A, ''Infeasible Primal-Dual Algorithm For
Minimizing Convex Quadratic Problems.'' Studia univ Babes-Polyai,
Informatica, Vol. XLIX, N° 2, pp. 81-90, (2004).
Kadiri A., Yassine A, ''Une procédure de purification pour les problèmes de
complémentarité linéaire, monotones''. RAIRO Operations Research, Vol. 38,
pp. 63-83, (2004).
Yassine A., Bourazza S.: ''A population heuristic method used for resolving
Aircraft Landing Problem (ALP)''. The 2006 International Conference on
Artificial Intelligence (ICAI’06), Las Vegas – USA (2006)
- 47 -
1.3 ANNEXE 3 : PROJET DE CONVENTION AVEC L'INSA DE ROUEN
Projet de
Convention de collaboration
entre l’université du Havre et l’INSA de Rouen
définissant la contribution de l’INSA de Rouen à la formation du parcours
recherche du
Master Mathématiques et Informatique,
spécialité : MATIS – Mathématiques et Informatique des Systèmes complexes
et distribués
habilité à l’université du Havre
Préambule
Cette convention s’appuie sur les principes énoncés dans le texte adopté le 11
février 2004 par le comité de suivi des Masters (www.sup.adc.education.fr/lmdsuivi/) et
annexé à cette convention. Elle vise à énoncer les règles qui seront mises en place
entre les deux établissements souhaitant collaborer à la formation du parcours
recherche de la spécialité MATIS du Master Mathématiques et Informatique de
l'Université du Havre.
Cette convention est motivée par la volonté d’adosser le parcours recherche du
master MATIS aux activités de l’axe Interactions et Systèmes Complexes du
laboratoire LITIS EA 4108. Cet axe qui regroupe des enseignants chercheurs des
deux établissements (INSA de Rouen et Université du Havre), souhaite proposer aux
étudiants de l’université du Havre et aux élèves ingénieurs de l’INSA une formation
d’initiation à la recherche dans le cadre du Spécialité MATIS.
Article 1 : domaine d’intervention
Les enseignants chercheurs de l’axe Interactions et Systèmes Complexes du
laboratoire LITIS contribuent à la formation du parcours recherche dans les modules
d’enseignement d’option identifiant le parcours recherche du Master MATIS.
Article 2 : Moyens des établissements
Les établissements s’engagent à prendre à leur charge les services d’enseignement
de leurs personnels intervenant dans la formation. Ils s'engagent aussi à mettre à
disposition les locaux et à assurer le fonctionnement de la partie de la formation qui
sont à leur charge, en respect des règles de compensation (cf. article 5).
Article 3 : Jury du Master MATIS parcours recherche
Le jury du Master MATIS est composé de tous les enseignants intervenant dans la
formation.
Article 4 : Commission de recrutement par demande d’équivalence
Chaque année une commission de recrutement des étudiants est constituée. Cette
commission examine les demandes d’inscriptions en deuxième année de Master des
- 48 -
étudiants n’ayant pas validé la première année du Master MATIS. Cette commission
est constituée des enseignants des deux établissements intervenant dans le
parcours recherche ou de leur représentant.
Article 5: Règles de compensation entre modules, parcours des élèves ingénieurs
Les élèves ingénieurs de l’INSA de Rouen acquièrent au cours des deux premières
années de leur formation, les pré requis nécessaires à une inscription en deuxième
année du Master MATIS à l’université du Havre. Après avis de la commission de
recrutement, ils peuvent être autorisés à s’inscrire en deuxième année du MASTER
MATIS, tout en suivant en parallèle la formation de troisième année d’ingénieur. Des
règles de compensation entre certains enseignements du parcours d’ingénieur et
certains enseignements du parcours du Master recherche sont définies par une
commission pédagogique qui se réunira lors du jury d'admission et précisera à
l'étudiant ces compensations possibles en l'autorisant à s'inscrire. Les notes
obtenues dans les enseignements faisant l’objet de compensation sont prises en
compte dans les deux parcours.
A titre indicatif et si les résultats des étudiants le justifient, on pourra proposer les
équivalences suivantes de la formation ingénieur de l'INSA de Rouen.
- l'UE OCM (Optimisation Combinatoire et Métaheuristique appliquée à l'ingénierie)
pourra être validée par les élèves ingénieurs de l'INSA ayant validé le cours
“Optimisation Combinatoire” de Génie Mathématiques.
- l'UE IDOD (Informatique Distribuée, objets distribués) pourra être validée par les
élèves ingénieurs de l'INSA ayant validé le cours “Objets distribués et Technologies
Web” de Génie Mathématiques.
- l'UE RPEDP (Résolution Pratique des EDP par différences finies et éléments finis)
pourra être validée par les élèves ingénieurs de l'INSA ayant validé les cours
“Eléments finis” et “Introduction aux EDP” de Génie Mathématiques.
L'INSA de Rouen prendra en charge la responsabilité des enseignements
- Simulation Discrète et Distribuée
- Ingénierie des connaissances
- Résolution de problèmes en IA
- 49 -

Annexe descriptive des UE du M2 MATIS - LITIS

Transcription

Documents pareils

CULTURE NUMÉRIQUE UE 10 - PROJET DE L - ged

Techniques d`expression, persuasion orale

Élection à la commission administrative paritaire académique des

LE HAVRE SPÉCIAL IMMOBILIER

Systèmes à Energies Renouvelables et Alternatives

aircelle le havre - Comité d`établissement Aircelle Gonfreville l

RESSOURCES HUMAINES

Télecharger en PDF

Lycée Emilie du Chatelet

DUT Techniques de Commercialisation