Campagne DOSSIER D HABILITATION. CURSUS Master Master Mathématiques et informatique. Annexes Extraits concernant la 2ème année MATIS

Transcription

1 UNIVERSITÉ DU HAVRE 25, rue Philippe Lebon B.P LE HAVRE CEDEX tél : télécopie : Site Internet : Campagne 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 -

2 Table des matières 1 Annexes concernant la spécialité MatIS Annexe 1 : Fiches descriptive des unités d enseignement (UE) Annexe 2 : Activités scientifiques des enseignants-chercheurs et des chercheurs membres de l équipe de formation Annexe 3 : Projet de Convention avec l'insa de Rouen...48 Campagne d habilitation 2008 Université du Havre - 2 -

3 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 «Conception d'applications pour le web» SIRES2 «Administration des systèmes et serveurs» SIRES3 «BD Distribuées» SIRES4 «Technologies Web et applications professionnelles» SIRES5 «Développement de projets informatiques et composants» SIRES6 «Sécurité» SIRES7 «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. Campagne d habilitation 2008 Université du Havre - 3 -

4 OCM «Optimisation Combinatoire et Métaheuristique Appliquées à l'ingénierie» : 2ème année, 1er semestre Tronc commun à tous les parcours Intitulé Vol. horaire Crédits ECTS Responsables OCM optimisation combinatoire et métaheuristique appliquées à l'ingénierie Total : 60h CM : 40h TD : 10h TP : 10h 6 A. Yassine, S. Gueye D. Olivier, S. Balev Participants A. Yassine, S. Gueye, D. Olivier, S. Balev 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. Notion d'optimisation linéaire 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. Campagne d habilitation 2008 Université du Havre - 4 -

5 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 : X Campagne d habilitation 2008 Université du Havre - 5 -

6 RPEDP «Résolution Pratique des EDP par différences finies et éléments finis» : 2ème année, 1er semestre UE optionnelle (à orientation mathématiques) Intitulé Vol. horaire Crédits ECTS Responsable RPEDP Résolution pratique des EDP par différences finies et éléments finis Total : 60h CM : 40h TD : 10h TP : 10h 6 M. Aziz-Alaoui P. Magal Participants M. Aziz-Alaoui et P. Magal 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 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 Campagne d habilitation 2008 Université du Havre - 6 -

7 IDOD «Informatique Distribuée et Objets Distribués» : 2ème année, 1er semestre UE optionnelle (à orientation Informatique) Intitulé Vol. horaire Crédits ECTS Responsable IDOD Informatique distribuée et objets distribués Total : 60h CM : 40h TD : 10h TP : 10h 6 L. Amanton J.-L. Ponty, B. Adouobo Participants L. Amanton, J.-L. Ponty, P. Person et B. Adouobo 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 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. Campagne d habilitation 2008 Université du Havre - 7 -

8 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 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. Campagne d habilitation 2008 Université du Havre - 8 -

9 AnHu «Anglais et humanités» 2ème année, 2ème semestre Tous parcours, obligatoire Intitulé Vol. horaire Crédits ECTS Responsable AnHu : Anglais et humanités Total: 60h CM : 30h TD : 20h TP : 10h 6 Dominique Nicolas Jacques Manoury Participants Dominique Nicolas, Jacques Manoury Intervention de Professionnels. 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. 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 Campagne d habilitation 2008 Université du Havre - 9 -

10 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. Campagne d habilitation 2008 Université du Havre

11 GP «Gestion de projet» 2ème année, 1er semestre parcours IMOI, UE obligatoire parcours SIRES, UE obligatoire Intitulé Volume horaire Crédits ECTS GP : Gestion de projet cours: 30h 3 Cet enseignement sera principalement assuré par des professionnels : M. Legras M Labarthe 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 Campagne d habilitation 2008 Université du Havre

12 Proj «Projet» 2ème année, 1er semestre IMOI, UE obligatoire SIRES, UE obligatoire Intitulé Volume horaire Crédits ECTS Proj : Projet TD: 30h Travail personnel 3 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. Campagne d habilitation 2008 Université du Havre

13 MIS1 «Modélisation des systèmes complexes» : 2ème année, 1er semestre MIS, UE obligatoire IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS1 : Modélisation des systèmes complexes CM : 16h 3 Cyrille Bertelle M. Aziz-Alaoui Participants Cyrille Bertelle, M. Aziz-Alaoui 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. 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 Campagne d habilitation 2008 Université du Havre

14 MIS2 «Modélisation non linéaire et systèmes dynamiques» 2ème année, 1er semestre parcours MIS, UE optionnelle parcours IMOI,UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS2 : Modélisation non linéaire et systèmes dynamiques CM : 16h 3 M. Aziz Alaoui Participants M. Aziz Alaoui 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). 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. Campagne d habilitation 2008 Université du Havre

15 MIS3 «Problèmes de type parabolique, elliptique et applications» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Coef. Responsable MIS3 Problèmes de type parabolique, elliptique et applications CM : 16h 3 3 Rabah Labbas Stéphane Maingot Participants Rabah Labbas Stéphane Maingot 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. 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 Campagne d habilitation 2008 Université du Havre

16 MIS4 «Problèmes d'évolution hyperboliques et applications» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Coef. Responsable MIS4 Problèmes d'évolution hyperboliques et applications CM : 16h 3 3 M. Aziz-Alaoui P. Magal Participants M. Aziz-Alaoui, P. Magal 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 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) Campagne d habilitation 2008 Université du Havre

17 MIS5 «Réseaux d'interaction et complexité» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS5 Réseaux d'interaction et complexité CM : 16h 3 F. Guinand Participants Frédéric Guinand 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 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). Campagne d habilitation 2008 Université du Havre

18 MIS6 «Systèmes d'aide à la décision et SMA» 2ème année, 1er semestre parcours MIS, UE optionelle parcours IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS6 Systèmes d'aide à la décision et SMA CM : 16h 3 T. Galinho, F. Serin, D. Fournier Participants T. Galinho, F. Serin et D. Fournier Cette unité d'enseignement concerne les modèles et les méthodes de conception de systèmes multiagents. Programmation orientée objets Intelligence artificielle 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 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 Campagne d habilitation 2008 Université du Havre

19 MIS7 «Modèles discrets : évolution, auto-organisation» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Coef. Responsable MIS7 Modèles discrets : évolution, autoorganisation CM : 16h 3 3 C. Bertelle M. Nakechbandi Participants C. Bertelle, M. Nakechbandi 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 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, Les applications du calcul parallèle, pratique et outils, coordonnateur Bernard Philippe, Hermès Algorithmique parallèle, A. Legrand, Y. Robert, Dunod, Campagne d habilitation 2008 Université du Havre

20 La Simulation distribuée et parallèle, Florent NOLOT, Polycopiés, Cours de DEA Univ. de Lille, A new kind of sciences, Stephen Wolfram, Wolfram Media, Modélisation et Simulation d'ecosystèmes, Coquillard et Hill, Masson 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) Morphogenèse : L'origine des formes, Paul Bourgine, Annick Lesne, Belin 2006 Campagne d habilitation 2008 Université du Havre

21 MIS8 «Agents et mobilité de codes» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS8 Agents et mobilité de codes CM : 16h 3 D. Olivier Participants D. Olivier, A. Dutot Programmation objet, réseau, java 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, Campagne d habilitation 2008 Université du Havre

22 2.Fuggetta et al., Understanding Code Mobility, IEEE TSE, 24, Denis Caromel and Ludovic Henrio, A Theory of Distributed Object, Springer-Verlag, Campagne d habilitation 2008 Université du Havre

23 MIS9 «Simulations discrète et distribuée» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS9 Simulation discrète et distribuée CM : 16h 3 H. Abdulrab 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. Savoir modéliser des systèmes discrets en vue de leur simulation, à fin d'évaluation ou d'aide à la décision - 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 Campagne d habilitation 2008 Université du Havre

24 MIS10 «Ingénierie des connaissances» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS10 Ingénierie des connaissances CM : 16h 3 J.-P. Kotowitz 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 J.-P. Kotowitz. 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. 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 Campagne d habilitation 2008 Université du Havre

25 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 Campagne d habilitation 2008 Université du Havre

26 MIS11 «Résolution de problèmes en IA» 2ème année, 1er semestre MIS, UE optionnelle IMOI, UE optionnelle Intitulé Vol. horaire Crédits ECTS Responsable MIS11 Résolution de problèmes en IA CM : 16h 3 N. Chaignaud 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 N. Chaignaud. Connaître les méthodes et les architectures classiques du domaine de l'ia. 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 Campagne d habilitation 2008 Université du Havre