44 Sujets proposés

NB: Version du 26 May 2012, 7:55 pm.

1. Planification de Mouvement Robotique dans un Labyrinthe 

   
Encadrant(s): Koriche 
Spécialité(s):  
Pré-requis(s): intelligence artificielle, interaction humain-machine, algorithmes d’exploration et de mouvement, programmation 3D 
Résumé(s): Un problème récurrent dans les jeux est le mouvement « réaliste » de personnages, créatures et robots. Dans ce projets, l’objectif est de déplacer un robot mobile doté de quatre roues d’un point à un autre dans un labyrinthe 3D tout en évitant les obstacles (murs ou objets statiques). Il s’agit donc d’implémenter un algorithme de planification continue pour le robot. Notons qu’il ne s’agit pas d’un simulateur robotique, mais d’un moteur de jeux : donc les étudiants devront essentiellement se focaliser sur la modélisation du robot (3dsMax ou Maya), l’animation si nécessaire (tête, etc.), et l’implémentation du planificateur.  

2. Planification par contrainte de stratégies Min-Max 

   
Encadrant(s): Koriche 
Spécialité(s):  
Pré-requis(s): algorithmique, intelligence artificielle, algorithmes d’exploration et de mouvement 
Résumé(s): Les stratégies min-max sont très utilisées dans les jeux tour-par-tour (depuis les échecs jusqu’à Civilisation en passant par Heroes of Might and Magic). Or, même si le jeu se limite à deux joueurs (l’humain contre la machine), l’algorithme standard « alpha-beta » s’effondre très vite lorsque le nombre d’actions par joueur est grand. L’objectif de ce projet est d’utiliser le paradigme de la programmation par contraintes pour modéliser et résoudre les stratégies min-max avec grand nombre d’actions par joueur. Les étudiants devront modéliser le problème sous forme de contraintes, utiliser un algorithme générique de satisfaction de contraintes, et appliquer leur technique dans un jeu de stratégie tour-par-tour de leur choix. 

3. Gestion de plugins pour l'intégration d'outils d'alignements de génomes dans QodGui 

http://www.mancheron.infos.st/index.php?menu=1&item=5   
Encadrant(s): Alban Mancheron, Eric Rivals 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): Programmation C++ ANSI 
Résumé(s): Le TER proposé consiste à intégrer la gestion de plugins dans un programme développé au sein de l'équipe MAB. En effet, ce programme, intitulé « QOD », est un outil de génomique comparative qui utilise comme entrée les informations de similarités locales deux à deux entre génomes et qui permet notamment de transférer les annotations existantes pour un génome donné vers d'autres génomes « proches ». Afin de rendre l'outil encore plus convivial pour la communauté, nous souhaitons intégrer la possibilité de calculer les similarités locales deux à deux entre génomes directement à partir de l'interface graphique de notre programme QodGui. Le calcul des similarités locales étant effectué à partir d'applications externes, nous souhaitons que cette fonctionnalité suive une architecture de type hôte/greffon, chaque greffon -ou plugin- correspondant à une interface graphique dédiée à un outil externe spécifique. Nous proposons donc comme objectifs pour trois ou quatre étudiants de définir et de modéliser cette architecture et d'implémenter des plugins (librairies dynamiques) pour deux outils : Yass et Blast. 

4. Conception de Légendes Interactives pour la Visualisation d’Informations 

http://www.lirmm.fr/~artignan/sujet1_ter.pdf   
Encadrant(s): Guillaume Artignan 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): Aucun prérequis 
Résumé(s): La visualisation d'informations est une étape cruciale dans de nombreux domaines. Elle permet par exemple de faire ressortir des connaissances d'une grande quantité de données, par le biais du système visuel humain. Dans le but de réaliser cela, il est important de donner à l'utilisateur la possibilité de manipuler le codage graphique, c'est à dire l'association entre les données et la représentation graphique. Les légendes interactives constituent un excellent moyen pour un utilisateur de manipuler facilement la relation entre données et représentations graphiques. Un outil nommé STOOG a été développé permettant la visualisation de données. Il sera demandé aux étudiants d'étudier STOOG, de l'utiliser et de proposer des améliorations pour la gestion des légendes interactives. Ce sujet de TER se positionne au croisement entre différents domaines : modélisation objets, spécification de langages de programmation et interaction Homme Machine. Les étudiants motivés pourront donc développer de sérieuse connaissance dans ces domaines valorisable à la fois dans le monde de l'entreprise et dans le monde de la recherche.  

5. Refactorisation de programmes à objets pour l'injection automatique de dépendances 

http://www.lirmm.fr/~tibermacin/ens/ter/   
Encadrant(s): Chouki Tibermacine et Christophe Dony 
Spécialité(s): AIGLE 
Pré-requis(s): Programmation par objets JAVA, Introspection et annotations 
Résumé(s): Sujet : Refactorisation de programmes à objets pour l'injection automatique de dépendances Objectif : Améliorer la qualité de programmes à base d'objets en séparant le code implémentant la logique métier de l'application du code représentant la structure de celle-ci. Démarche à suivre : - Faire un état de l'art sur le sujet - Proposer une spécification et l'implémenter sur des programmes JAVA en suivant le processus suivant : - Réifier le code de l'application (l'ensemble de ses classes et interfaces) - Identifier les interfaces requises dans une classe, et les générer le cas échéant - Mettre en place ces interfaces dans le code des classes - Repérer et extraire les dépendances noyées dans le code (les "=new XXX()" initialisant les interfaces requises identifiées) - Insérer les annotations nécessaires à l'injection automatique de dépendances (DI) ou générer les fichiers de configuration XML utilisables par les frameworks de DI - Générer le code nécessaire à l'amorçage de la DI - Intégrer cette solution comme plugin Eclipse - Expérimenter cette approche sur une application à source libre Pré-requis : - Indispensables : Programmation par objets et introspection - Nécessaires : Chargeurs de classes, annotations, analyse statique de code et refactoring - Apréciables : Analyse de documents XML et création de plugins Eclipse  

6. Outil d'analyse d'une base de règles 

http://www2.lirmm.fr/~mugnier/M1_2011/SujetTERRegles2011.pdf   
Encadrant(s): Marie-Laure Mugnier 
Spécialité(s): DECOL, MOCA 
Pré-requis(s): Intelligence Artificielle (GMIN101)  
Résumé(s): Les systèmes à base de règles sont très répandus en informatique, et en particulier dans les systèmes à base de connaissances, en bases de données ou dans le web sémantique. Nous nous intéressons ici à des règles positives en logique du premier ordre de la forme ''si hypothèse alors conclusion'', où l'hypothèse est une conjonctions d'atomes et la conclusion est un atome. A la différence des règles étudiées dans le module d'intelligence artificielle de M1, on autorise la présence de variables en conclusion de règle qui n'apparaissent pas en hypothèse, ces variables étant quantifiées existentiellement. L'objectif de ce TER est de construire un outil d'analyse d'une base de règles (construction du graphe de dépendance des règles, analyse des propriétés de ce graphe, visualisation, test sur des bases de règles existantes, ...).  

7. Modélisation 3D surfacique pour l’anthropologie 

http://www2.lirmm.fr/~subsol/STAGES.2012/TER.CLARCS.pdf   
Encadrant(s): Gérard Subsol (LIRMM) 
Spécialité(s): IMAGINA 
Pré-requis(s):  
Résumé(s): Dans le cadre de recherches en morphométrie (analyse quantitative de la forme) tridimensionnelle de structures anatomiques, nous souhaitons utiliser la bibliothèque logicielle CLARCS écrite en C++ (1). Cette bibliothèque propose des fonctions d’analyse et de traitement de surfaces 3D, en particulier des méthodes très récentes de : - Recalage rigide et non-rigide (comment trouver les points qui se correspondent entre deux surfaces 3D similaires ?) ; - Calcul d’un plan de symétrie 3D ; - Calcul d’une moyenne de surfaces 3D et analyse de la variabilité des points 3D par rapport à cette moyenne Le travail consistera en deux phases : - Une phase de développement qui consistera à faire fonctionner CLARCS sous Windows 7 64 bits. Le programme n’a pour l’instant été compilé que sous Linux et MacOS X. Les étudiants auront accès aux sources. - Une phase de recherche dans laquelle les étudiants utiliseront les fonctions de CLARCS pour différentes applications : o calcul du plan de symétrie sur des crânes d’enfants atteints de plagiocéphalie (déformation crânienne) dans le cadre d’une collaboration avec le Service de Chirurgie Pédiatrique du CHU de Montpellier (Dr. Guillaume Captier) ; o comparaison de crânes fossiles d’Australopithèque dans le cadre d’une collaboration internationale avec l’Université de Witswatersrand en Afrique du Sud (3). Si les résultats 3D sont probants, ils pourront être intégrés dans des publications scientifiques. 

8. Traitement d'images micro-tomodensitométriques 3D anatomiques à très haute résolution 

http://www2.lirmm.fr/~subsol/STAGES.2012/TER.microscan.pdf   
Encadrant(s): Gérard Subsol (LIRMM) et Guillaume Captier (Laboratoire d'Anatomie, Faculté de Médecine) 
Spécialité(s): IMAGINA 
Pré-requis(s):  
Résumé(s): La plate-forme de micro-tomodensitométrie par rayons X (1) disponible à l'Université Montpellier 2 permet d'obtenir des images tridimensionnelles à très haute résolution (20 microns) et de très grande taille (1600 x 1000 x 2000 voxels). Dans le cadre d'une étude de l'anatomie du foetus humain en collaboration avec le Laboratoire d'Anatomie de la Faculté de Médecine (Dr. Guillaume Captier), nous avons obtenu des images 3D de plusieurs échantillons anatomiques (2). Nous souhaitons analyser ces données et extraire en particulier une représentation 3D du réseau vasculaire et de la structure osseuse. Plusieurs problèmes se posent : - la taille des données (l'image 3D pèse plusieurs giga-octets), - le bruit d'acquisition qui ne permet pas d'utiliser un simple seuillage pour identifier les structures anatomiques. - la finesse des structures anatomiques à analyser. En particulier, la calcification de l'os n'est pas terminée et le contraste est quelquefois très faible. Dans ce projet, souhaitons mettre au point une procédure de traitement d'image 3D composée de différentes fonctions (lissage, seuillage adaptatif, reconstructions surfacique...) et de l'appliquer sur des sous-images qui seront raboutées pour obtenir un résultat sur l'image à pleine résolution. Les étudiants pourront utiliser en particulier ImageJ (3) qui inclut un langage de script et qui peut intégrer des plug-ins extérieurs écrits en Java ou la bibliothèque C++ ITK (4) qui propose de nombreuses fonctions de traitement d’images. Si les résultats 3D sont probants, ils pourront être intégrés dans une plate-forme Web destinée à l'enseignement de l'anatomie. Contact : gerard.subsol@lirmm.fr - http://www.lirmm.fr/~subsol (1) http://www.mri.cnrs.fr/index.php?m=18&i=80 (2) G. Captier, G. Subsol, R. Lebrun, F. Meyer, J.M. Gory, F. Canovas. "Dissection foetale virtuelle par micro tomodensitométrie". 93e Congrès de l'Association des Morphologistes, Rouen (France), March 2011. (3) http://rsbweb.nih.gov/ij (4) http://www.itk.og/ 

9. Web sémantique et données liée: application aux donnés de transport 

   
Encadrant(s): François Scharffe 
Spécialité(s): AIGLE, DIWEB 
Pré-requis(s):  
Résumé(s): PASSIM et NEPTUNE sont des format standards de représentation des données de transport (arrêts de bus ou de tram, horaires, lignes, etc). Afin de pouvoir développer des application intelligentes capables de prendre en compte le contexte de l'utilisateur pour lui proposer l'information la plus adaptée, on souhaite publier et interconnecter les données de ces standards dans le Web de données. Ce stage propose deux axes: 1) convertir des données PASSIM et NEPTUNE ainsi que des jeux de données géographique en RDF, représentés par une ontologie adaptée et les interconnecter avec d'autres jeux de données tels DBPedia ou Geonames. 2) Développer une ou des applications amusantes, utilisant intelligemment les données publiées. Les données de transport de la ville de Montpellier, ainsi que d'autres jeux de données de la ville disponibles sur le portail Montpellier Numérique seront fournies. Thèmes d'application: visualisation des données, navigation, statistique Mots clefs: Web sémantique, RDF, SPARQL, OWL développement Web, développement d'applications mobiles, journalisme de données, open data/ libération des données Description du problème et début de solution - http://www.cete-mediterranee.fr/tt13/www/article.php3?id_article=296 Exemples d'applications: - http://opendata.montpelliernumerique.fr/Les-applications  

10. Jets de dés exotiques : probabilité, algorithmique et visualisation 

http://www.lirmm.fr/~arnaud/?page=ens1112-ter-prob   
Encadrant(s): Bérenger ARNAUD 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s):  
Résumé(s): Le but de ce TER est de proposer une solution au calcul de probabilités sur les jets de dés exotiques et une manière compréhensible de visualiser ces résultats. Les différents types de jets de dés sont ceux que l'on peut trouver dans les jeux de société, jeux de dés, jeux de rôle, ... Pour la partie code, les algos seront codés en PHP et la visualisation pourra être faite en HTML ou Flex ou Silverlight. 

11. Optimisation du test indirect de circuits radio-fréquence $(RF)$ 

http://www.lirmm.fr/~rgirou/stage/presentationM1.html   
Encadrant(s): giroudeau, 
Spécialité(s): MOCA 
Pré-requis(s): complexité, approximation recherche opérationnelle 
Résumé(s): voir page web 

12. Approximation complexity of min-max (regret) versions of shortest path, spnning tree, and knapsack 

http://www.lirmm.fr/~rgirou/stage/presentationM1.html   
Encadrant(s): giroudeau, 
Spécialité(s): MOCA 
Pré-requis(s): complexité, approximation  
Résumé(s): voir page web 

13. Sur le problème des Préflots 

http://www.lirmm.fr/~rgirou/stage/presentationM1.html   
Encadrant(s): giroudeau, 
Spécialité(s): MOCA 
Pré-requis(s): fltos 
Résumé(s): Les préflots sont des flots qui ne vérifient pas la loi de Kirchkoff. Le principe général ne porte pas sur la recherche de chaînes augmentante. La méthode générique des préflots permet d'améliorer la complexité pour trouver un flot maximum. Le but de ce stage est d'étudier le principe des préflots, et d'implémenter plusieurs variantes et de comparer les résultats par rapport à des méthodes déjà vues. 

14. Sur l'étude des algorithmes d'approximation de schéma polynomial (PTAS) et totalement polynomial (FPTAS) 

http://www.lirmm.fr/~rgirou/stage/presentationM1.html   
Encadrant(s): giroudeau, 
Spécialité(s): MOCA 
Pré-requis(s): complexité, approximation  
Résumé(s): Les algorithmes d'approximation de schéma polynomial et totalement polynomial sont des algorithmes d'appproximation de rapport aussi proche que l'on veut de la solution optimale. Le ratio de la performance relative est de 1+epsilon. Il est évident que ce ratio proche de un induit un surcoût sur la complexité de l'algorithme. Dans ce TER, nous étudierons les principes qui régissent ces algorithmes, et nous illustrerons par des exemples sur des problèmes classiques en optimisation combinatoire. Vous validerez vos observations par des tests. 

15. Transition animée vers des coordonnées parallèles 

http://www.lirmm.fr/~arnaud/?page=ens1112-ter-visu   
Encadrant(s): Bérenger ARNAUD 
Spécialité(s): AIGLE, IMAGINA 
Pré-requis(s):  
Résumé(s): Le but de ce TER est de créer une transition animée en Flex d'une série de listes simples en une visualisation en coordonnées parallèles. Cf. lien pour des exemples. La contrainte très importante est un codage en Flex (Adobe Flash). 

16. Conception d’un outil pour le partage et la visualisation multi-échelles de documents durant les réunions 

   
Encadrant(s): Mountaz Hascoët, Guillaume Artignan 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): Aucun 
Résumé(s): La visualisation multi-échelles d’informations est un type de visualisation permettant l’affichage de données à différents niveaux d’échelles. Différentes techniques de visualisations existent, les techniques par « zoom », les techniques déformantes utilisant des lentilles, etc. Ce genre de visualisations peut être utile au travail collaboratif et plus particulièrement l'appropriation coopérative d’ensembles de documents. Le sujet de TER comporte quatre parties : (1) l'écriture de scénarii de conception (2) l’analyse ergonomique d'outils existants qui permettent de réaliser ces scénarii, (3) la conception d'un outil alternatif qui pallie les limites des outils existants telles qu'elles auront été mises en évidence lors de l'analyse ergonomique, (4) l’implémentation et l'évaluation de certains aspects de cet outils.  

17. Compréhension et Application du Framework JOOMLA (WEB content management system) à un site réel. 

   
Encadrant(s): Christophe Dony 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): FMIN 107 - Ingénierie Logicielle 
Résumé(s): Le site web du club de plongée Objectif Bleu, ayant une centaine d'utilisateurs, vient d'être entièrement ré-architecturé. Il est réalisé avec le Framework JOOMLA, écrit majoritairement avec la technologie PHP/MySql. JOOMLA est à la base un framework à objets extensible par spécialisation. Il intègre différentes abstractions, "composant", "plug-in", "module", "templates", qui permettent d'architecturer les applications à un niveau d'abstraction supérieur. Le sujet du TER est d'étendre le framework, dans le contexte de son utilisation pour le site de ce club, par de nouveaux composants réalisant un ensemble de fonctionnalités nouvelles. Ces composants seront soit trouvés dans les bibliothèques de composants existants et devront alors être adaptés au contexte, soit réalisés entièrement. La première de ces nouvelles fonctionnalités sera de réaliser un système d'inscriptions aux plongées gérant les contraintes de niveaux et d'encadrement, avec un lien avec les mails des adhérents etavec possibilité de lien avec les agendas en ligne des participants (par exemple Google Agenda). D'autres fonctionnalités suivront. Ce sujet sera donc l'occasion : - de comprendre (docs.joomla.org) et d'expliciter de façon pédagogique l'architecture et les abstractions du framework JOOMLA, - de définir la spécification précise des nouvelles fonctionnalités attendues, en acquérant certaines connaissances métiers relatives à la règlementation et à l'organisation de la plongée (www.ffessm.fr), et en discutant les cas d'utilisation avec les utilisateurs réels, deux responsables du club et moi-même seront les interlocuteurs pour cette tâche. - de réaliser les fonctionnalités attendues sous la forme de composants et de plug-ins JOOMLA eux-mêmes adaptables et extensibles. Mr David Gautheron, ingénrieur informaticien et moi-même seront les interlocuteurs. Encadrement : David Gautheron (Ingénieur), Christophe Dony Nombre d'étudiants : 2-4 

18. Générateur de sites Internet personnalisés par des cartes Google Maps virtuelles 

   
Encadrant(s): POMPIDOR Pierre 
Spécialité(s): AIGLE 
Pré-requis(s): Avoir des connaissances en JQUERY / API Google Maps 
Résumé(s): Le but est de créer une application web qui générera des sites Internet sous la forme de cartes Google Maps. Par exemple je voudrais que toutes les ressources qui sont accessibles sur ma page web actuelle (énoncés des TP, polycopiés, diaporamas etc) soient accessibles par des marqueurs les géolocalisant sur une carte Google Maps qui représentera virtuellement mon bureau avec ses étagères, ses tiroirs... Le groupe idéal sera composé de 4 étudiants. 

19. Réalisation d'un proxy antivirus pour le protocole FTP 

   
Encadrant(s): Vivien RAOUL et Vincent BOUDET 
Spécialité(s): MOCA 
Pré-requis(s): programmation c++, programmation réseau 
Résumé(s): Dans le cadre de son partenariat avec le LIRMM, Pradeo propose deux sujets aux étudiants de Master 1ère année. L'objectif de ce projet consiste à développer un proxy sous Linux pour le protocole FTP, qui permettra d'analyser les fichiers transférés par un antivirus et de bloquer le téléchargement des fichiers potentiellement dangereux. 

20. Réalisation d'un générateur de rapports d'analyse de logs 

   
Encadrant(s): Vivien RAOUL et Vincent BOUDET 
Spécialité(s): MOCA 
Pré-requis(s): fouille de données, php, MySQL 
Résumé(s): Dans le cadre de son partenariat avec le LIRMM, Pradeo propose deux sujets aux étudiants de Master 1ère année. L'ensemble des modules de sécurité présents dans les solutions de sécurité Pradeo produisent des journaux d'évènement qui sont analysés et archivés en temps réel. Pour permettre aux administrateurs réseau d'établir des statistiques sur une période donnée et d'assurer un suivi de la sécurité auprès de leurs clients, Pradeo propose la réalisation d'un générateur de rapport au format PDF, basé sur l'ensemble des données qui ont été enregistrées par le système.  

21. Analyse et conception d'algorithmes économes en énergie dans les réseaux de capteurs 

http://www.lirmm.fr/~baert/Cours/Stages/TER2012.pdf   
Encadrant(s): Baert Anne-Elisabeth 
Spécialité(s): Toutes 
Pré-requis(s): Réseaux, Algos, Graphes 
Résumé(s): Les avancées faites dans la miniaturisation des systèmes électro-mécaniques ont permis l'apparition d'un nouveau type de réseaux mobiles : les réseaux de capteurs. Ce sont des appareils capables de recueillir et de communiquer des données de manière autonome. Chaque application doit prendre en compte les caractéristiques des capteurs comme la taille, la limitation d'énergie ou la mobilité. Ces réseaux sont un type particulier de réseaux ad-hoc. Ils ne dépendent d'aucune infrastructure globale et n'ont a priori aucune connaissance relative du réseau. De par leur fonctionnement en autonomie, il paraît évident que l'énergie va être une ressource précieuse, malheureusement cette mesure de performances est difficile à modéliser. Dans la littérature, il existe de nombreux travaux concernant les stratégies pour économiser l'énérgie lors de diffusion ou le routage de messages. Le sujet de ce TER consiste à travailler sur les algorithmes de communications économes en énergie et tolérants aux pannes dans les réseaux de capteurs. Dans ce sujet, les étudiants devront étudier puis analyser et tester/simuler les stratégies de communication permettant la maximisation de la durée de vie du réseau. Il s'agira ensuite d'étudier les problèmes de tolérances aux pannes pour d’éventuelles nouvelles propositions. 

22. Mise en oeuvre d’une application de segmentation thématique de textes 

http://www2.lirmm.fr/~lopez/enseignements/TER/Sujet_TER.pdf   
Encadrant(s): Cédric Lopez, Mathieu Roche 
Spécialité(s): DECOL 
Pré-requis(s):  
Résumé(s): La segmentation thématique a pour objectif le découpage des textes en parties thématiquement homogènes. Ce découpage peut être réalisé en recherchant les ruptures de thèmes dans le texte, afin de déduire et de trouver les zones de texte ayant une sémantique de thèse commune. L’objectif de ce TER est de mettre en place un outil de segmentation thématique. De nombreuses applications peuvent voir le jour grâce à un tel outil. En particulier, nous nous intéresserons au cas de la génération automatique de sommaire : à partir d’un texte brut, puisque l’outil de segmentation permet de découper le texte en plusieurs segments, et que chaque segment peut être titré automatiquement1 (travaux de Cédric Lopez), un sommaire peut être généré automatiquement. 

23. Visualisation de tétraèdres dans un modèle 3D 

   
Encadrant(s): Emeric Gioan 
Spécialité(s):  
Pré-requis(s): programmation d'applet graphique, géométrie 3D 
Résumé(s): Le projet consiste à concevoir et programmer une applet pour visualiser un ensemble de points en 3D et une liste de tétraèdres formés par des points de cet ensemble. Au delà du travail de programmation graphique interactive (rotations possibles par exemple) pour lequel on pourra s'inspirer d'applets existantes, le problème est de visualiser de façon parlante cette liste de tétraèdres qui peuvent avoir des points, des segments ou des faces en commun, ce qui suppose d'utiliser ou d'inventer des moyens adéquats, soit graphiques (dégradés de couleurs par exemple), soit théoriques (enveloppes convexes bien choisies par exemple). Cette applet sera intégrée à un logiciel en ligne actuellement en développement (Gioan, Sol, Subsol) qui consiste à classifier des modèles anatomiques (médecine, anthropologie) via les positions de leurs tétraèdres. Le code devra donc etre particulièrement propre est bien conçu pour permettre son développement ultérieur. En outre, divers prolongements sont envisageables qui posent des problèmes à la fois en programmation et en théorie (déformations interactive du modèle sous certaines contraintes, reconstruction d'un modèle partiellement connu). 

24. Composants et réutilisation pour les applications WEB avec Smalltalk/Seaside 

   
Encadrant(s): Christophe Dony 
Spécialité(s): Toutes spécialités 
Pré-requis(s): FMIN 107 Ingénierie Logicielle 
Résumé(s): Le TER consiste à expérimenter un framework différent (Seaside- http://www.seaside.st/) pour la réalisation d'applications web. * Le principe de Seaside est de fournir dans un langage de programmation où toutes les abstractions au dessus de HTTP et de HTML qui permettent de voir un site comme un arbre de composants (d'objets) et de le réaliser sans jamais faire autre chose que du développement par objets et avec la possibilité d'appliquer tous les schémas de réutilisation connus. Une bibliothèque de composants prédéfinis est associée au framework. Seaside permet également, de par l'utilisation de fonctions d'ordre supérieur, d'associer directement des fonctions plutôt que des noms aux liens et aux boutons d'une page, ce qui réduit considérablement la difficulté de mise à jour des sites. Il propose enfin une gestion des "sessions" intuitive et rationnelle qui permet d'exprimer un workflow multi-pages dans une seule méthode. * L'application à réaliser pourra se faire dans le contexte du développement d'un nouveau langage de programmation par composants: SCL-EXIL. Prérequis : Objets, WEB, typage dynamique, programmation applicative, programmation "agile". # Nombre d'étudiants : 2-4. # Encadrement : C. Dony, P. Spacek  

25. Implémentation de JavaScript dans le framework Prototalk 

http://www.lirmm.fr/~dony/enseig/IL/TER-M1-S4-12.html   
Encadrant(s): Christophe Dony, Petr Spacek 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): FMIN107 
Résumé(s): JavaScript est le nouveau langage bien connu qui sert à programmer des applications WEB. C'est un langage à prototypes, c'est-à-dire un langage à objets sans classes. Prototalk est un framework écrit en Smalltalk, qui permet d'implanter facilement de nouveaux langages à prototypes. Il s'agit d'implantations prototypiques qui permettent de tester les constructions des langages. Prototalk est décrit dans l'article suivant : http://www.lirmm.fr/~dony/postscript/prot-esug04.pdf. Le sujet du TER est d'implanter Javascript en étendant le framework Prototalk puis de comparer Javascript avec d'autres langages à prototypes connus puis d'écrire un article décrivant cette implantation et cette comparaison. 

26. Réalisation d'une ligne de produits logiciels (Framework) : application aux jeux d'arcades. 

http://www.lirmm.fr/~dony/enseig/IL/TER-M1-S4-12.html   
Encadrant(s): Christophe Dony 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s): FMIN107 
Résumé(s): # Le TER consiste à réaliser une ligne de produit logicielle, c'est à dire un framework, soit sur un domaine d'application que vous choisirez, soit dédié à la réalisation de jeux d'arcade de type "objets-mobiles-obstacle-collision" tel que celui décrit en cours (FMIN 107). Ce type de jeux continue à avoir un grand succès sur divers sites internet comme support à l'affichage d'écrans publicitaires, voir par exemple : http://apps.facebook.com/goobox_en/home.aspx?ref=nf. qui pourra être pris comme modèle à réaliser, soit avec une interface standard, soit avec une interface WEB. Ce TER a déjà été réalisé avec succès par des groupes précédents et la validité du concept de framework appliqué à cet exemple démontrée. # Ce TER nécesite des compétences diverses (algorithmique - détection des collisions; graphique et IHM; Mise en oeuvre du MVC; Mise en oeuvre des patterns et des schémas de réutilisation objet) et est propice à la réalisation de groupes ou chacun peut avoir sa responsabilité. # La validité de la réalisation sera jugée sur : * la présentation d'une conception du problème visant à séparer les entités réutilisables des autres, * l'existance d'un coeur d'application commun, extensible et paramétrable selon les schémas présentés en cours, * l'existance d'au moins deux applications différentes effectivement réalisées par extension du coeur, * la qualité des points d'extensions choisis. * Réussir à faire tourner une application en ligne sur une page sera un plus # La réalisation peut être faite avec le langage à objet de votre choix. # Encadrement : C.Dony # Nombre d'étudiants : 3-4 

27. Questionnaires psychologiques pour l'aide au diagnostic 

   
Encadrant(s): A. Laurent, S. Martin 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s):  
Résumé(s): Le travail d’évaluation des psychologues repose à la fois sur le recueil de données subjectives et objectives. Dans ce dernier cas, la passation de questionnaires et de tests s’avère une étape indispensable afin de proposer un diagnostic et de proposer un pronostic d’évaluation des troubles. Le stage proposé consiste à développer un logiciel : 1) permettant aux patients de répondre à un questionnaire de personnalité de façon simple et dynamique et 2) permettant le traitement des données de façon automatique avec prise en compte d’une normalisation afin de situer le patient sur une population générale de référence. Ce logiciel devra être suffisamment flexible pour que l’utilisateur puisse implémenter de nouveaux questionnaires en fonction de ses besoins. 

28. Simulation dans AUSTIN d'un modèle des dynamiques territoriales 

http://mon.univ-montp2.fr/claroline/document/document.php?cmd=exChDir&file=L1RFUl9NMV8yMDExLTEy&cidReset=true&cidReq=FMIN109   
Encadrant(s): Stefano Cerri et Philippe Lemoisson 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s):  
Résumé(s):

Les sciences des territoires s'appuient sur des modèles dynamiques sous forme de graphes orientés reliant des variables et des jeux de données par une relation « se calcule à partir de ».
AUSTIN est une machine abstraite développée en Java qui permet de simuler ces graphes par des objets conversationnels (les variables et les jeux de données) communiquant entre eux par des actes de langage.
Le stage consistera à produire avec le Cirad un modèle dynamique de territoire qui jouera le rôle de modèle-test, puis à effectuer le calcul pour différentes variantes de jeux d’indicateurs en utilisant AUSTIN.

 

29. OPERA EX MACHINA, une création transmédia qui s'appuie sur le test de Turing 

   
Encadrant(s): William Puech, Mathieu Lafourcade 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s):  
Résumé(s): OPERA EX MACHINA sera présenté en aout 2012 dans le cadre du congrès européen sur l'IA, ECAI 2012, année anniversaire du mathématicien, Alan Turing. L'objectif de ce TER est de réaliser un jeu en réseau. Ce jeu s'articule autour d'une entité virtuelle appelée OpERA, qui mimétise, modélise et interroge ses interlocuteurs. Le jeu est développé au sein de la plateforme multi-joueurs 3D temps réel, OpenSpace3D. L'objectif d'OpERA est de construire des connaissances pour pouvoir interagir avec ses interlocuteurs, les identifier, garder trace et restituer les différentes facettes et sensibilités rencontrées. Le robot virtuel OpERA, objet-mémoire qui parle, devra se construire et interagir en faisant appel à deux types d'analyses : - d'une part une gestion des connaissances, textuelles, tels que le font classiquement les chatbot, mais plus inspirée par l' "approche centrée sur la personne " (APC) de l'agent conversationnel ELIZA à partir d'une base de connaissances lexicales qui sera celle utilisée dans le cadre du projet JeuxDeMots (M. Lafourcade) - d'autre part une gestion de la communication non verbale et analyse possible des émotions, des expressions faciales et gestuelles perçues sur l'interlocuteur telles les recherches de Catherine Pelachaud sur les agents virtuels expressifs.  

30. Des fonctions qui croissent toujours plus vite ! 

http://mathdl.maa.org/mathDL/22/?pa=content&sa=viewDocument&nodeId=2940   
Encadrant(s): Gregory Lafitte 
Spécialité(s): TOUTES SPECIALITES 
Pré-requis(s):  
Résumé(s): Quand on est petit, on joue à essayer de donner le nombre le plus grand. On essaye d'abord de donner un nombre avec le plus grand nombre de 9 et ensuite quand on connaît différentes opérations, on essaye de les utiliser pour construire des nombres toujours plus grands. Quand on est plus grand, on peut jouer à trouver la fonction sur les entiers qui croît le plus vite possible. Et en fait cette question est liée à notre question d'enfance. Dès que l'on connaît de nouvelles fonctions croissant toujours plus vite, on peut générer des nombres qui sont difficilement accessibles par les fonctions antérieurement connues. Toutes ces questions sont détaillées dans un article de J. Spencer (dont la référence est donnée dans la rubrique "URL descriptive du sujet"). Le but de ce TER est d'étudier cet article et les résultats référencés dans cet article. Il y a un grand nombre de façons de générer une fonction croissante et des nombres très grands. Si on utilise des fonctions non-récursives, on peut aller encore bien au délà et il y a donc deux catégories : les fonctions récursives et les fonctions non-récursives. Il est toujours facile de gagner à ce jeu si on joue tour à tour, il est plus intéressant de jouer en un seul tour avec des enchères secrètes.  

31. Syllabus pour l'enseignement universitaire 

   
Encadrant(s): M. Hascoët, B. Arnaud, G. Artignan 
Spécialité(s): Toutes spécialités 
Pré-requis(s): IHM 
Résumé(s):

Le but de ce TER est de réfléchir à la création et à la mise à jour coopérative de curriculum dans le cadre de formations universitaires. Un curriculum ou syllabus est l'objet de tensions entre acteurs ayant des objectifs parfois convergents et parfois divergents. Parmi les acteurs, on peut identifier par exemple: les étudiants, l'industrie, les enseignants, la recherche.

En s'appuyant sur des travaux pass?et en se concentrant sur un cas d'étude spécifique, l'objectif de ce TER sera de concevoir et de développer l'IHM d'un outil dédié à la gestion coopérative de curriculum d'enseignement.

La conférence internationale www'2012 accueille cette année un workshop sur ce thème et une présentation du travail réalisé au sein de ce TER dans le cadre de ce workshop sera encouragée.

 

32. Recensement des besoins ontologiques dans la communauté environnementale. 

https://www.sugarsync.com/pf/D379091_6134077_6039734   
Encadrant(s): Clement Jonquet et Thérese Libourel (LIRMM, UM2) 
Spécialité(s): AIGLE, DECOL, GEOMATIQUE 
Pré-requis(s):  
Résumé(s): Sur le modèle de ce qui existe dans le domaine biomédical, le LIRMM s’intéresse à déployer une plateforme d’outils sémantiques (ontologies, annotation, indexation) pour le domaine de l’environnement (agronomie, écologie, biodiversité, climat, etc.). Dans le cadre de ce TER, il s’agit de faire un état de l’art de ce qui existe dans ce domaine et un recensement des acteurs à la fois locaux (Montpellier) et internationaux avec qui les collaborations seraient envisageable. Une synthèse et ne analyse des verrous scientifiques (spécificité du domaine, etc.) est attendue. 

33. Conscience artificielle 

   
Encadrant(s): Violaine Prince, Guillaume Tisserant 
Spécialité(s): DÉCOL 
Pré-requis(s): aucun 
Résumé(s): Le but de ce TER est d'implémenter un modèle de "conscience artificielle".
La conscience est vue ici comme un processus de réflexivité de l'intelligence :   il (le processus) prend en entrée les résultats des autres processus cognitifs  (acquisition, mémorisation, raisonnement) et les retraite, en les évaluant, créant ainsi un mécanisme de "double boucle". Une première boucle au niveau des perceptions (bas niveau) : elles sont rendues conscientes lorsqu'une prise de décision les concerne pour les processus ultérieurs. Une deuxième boucle au niveau des processus plus haut niveau (mémorisation, raisonnement, jugement), qui réexamine les sorties mêmes de ces processus.
Les processus cognitifs simulent des "niveaux" d'intelligence (au sens d'appréhension). Et la conscience artificielle, correspond donc à la phase ultime de ces niveaux.
Le programme devra être capable d'apprendre des concepts sémantiques grâce à son environnement. Pour cela, il faudra développer une série d'algorithmes permettant de simuler les différents niveaux d'intelligence, et de montrer que chaque niveau est capable de se construire grâce aux niveaux inférieurs. Le programme sera basé sur le chapitre 4 de ce travail de recherche : https://docs.google.com/open?id=16EfVBoKKYIg3JuucglmBNTfx3VgzJPA_BGTClW9dJ8V0grtYy0IFMGwRXoUx.
 

34. Migration d'une Application Java vers une Application J2EE 

http://www.lirmm.fr/~seriai/encadrement/ter/m1/2011-2012/migration.pdf   
Encadrant(s): Abdelhak-Djamel Seriai 
Spécialité(s): AIGLE 
Pré-requis(s): prog JAVA  
Résumé(s): L’objectif de ce travail est de proposer une approche de migration d’un système existant à base d'objets JAVA vers un système J2EE (Java 2 Enterprise Edition) à base de composants EJB (Enterprise JavaBeans). 

35. Transformation d'une Interface web en PHP en Web Services 

http://www.lirmm.fr/~seriai/encadrement/ter/m1/2011-2012/serviceweb.pdf   
Encadrant(s): Abdelhak-Djamel Seriai, Chouki Tibermacine 
Spécialité(s): AIGLE 
Pré-requis(s): PHP, XML 
Résumé(s): L’objectif de ce travail est de proposer une approche permettant de transformer une interface web développée en PHP en une interface proposant des services web (Web service) disponibles à d'autres applications.  

36. Développement d'une Application de vidéo Surveillance à partir de Telephone Mobile sur Android et windows mobile 7. 

http://www.lirmm.fr/~seriai/encadrement/ter/m1/2011-2012/v-surveillance.pdf   
Encadrant(s): Abdelhak-Djamel Seriai 
Spécialité(s): AIGLE 
Pré-requis(s): java 
Résumé(s): L’objectif de ce travail est de proposer une architecture générale pour vidéo surveillance sur mobile et projection de cette architecture sur deux plateformes : Android et Windows Mobile 7.  

37. Identification de Patron de Conception à partir de l'Analyse d'un code source JAVA 

http://www.lirmm.fr/~seriai/encadrement/ter/m1/2011-2012/patron.pdf   
Encadrant(s): Abdelhak-Djamel Seriai 
Spécialité(s): AIGLE 
Pré-requis(s): java 
Résumé(s): L’objectif de ce travail est de proposer une approche permettant d'analyser un code source écrit en Java pour identifier l'utilisation de certains patrons de conception.  

38. Adaptation dynamique d'une application context-aware à partir de l'adaptation de son modèle de processus métier 

http://www.lirmm.fr/~seriai/encadrement/ter/m1/2011-2012/pais.pdf   
Encadrant(s): Abdelhak-Djamel Seriai 
Spécialité(s): AIGLE 
Pré-requis(s): java ou C++ 
Résumé(s): L’objectif de ce travail est de proposer une approche permettant d'adapter une application sensible au contexte à partir de l'adaptation de son processus métier.  

39. Remodularisation de logiciel 

   
Encadrant(s): R. Ducournau, R. Giroudeau, M. Huchard, R. Wattrigant 
Spécialité(s): Toutes spécialités 
Pré-requis(s):  
Résumé(s): Dans le domaine du génie logiciel, l'analyse de code source a de nombreuses applications, par exemple pour visualiser l'architecture générale du code, contrôler sa qualité par des indicateurs (métriques) ou le réorganiser en respectant des patrons récurrents (refactoring).
Cette analyse se fait le plus souvent sur un modèle intermédiaire (modèle de code) qui conserve du code les entités principales (par exemple les paquetages, les classes, les attributs, les méthodes) et certaines relations (telles que l'héritage, l'appel d'une méthode, le typage d'un attribut).
Ce modèle est obtenu par extraction du code et se conforme à un langage de modélisation dédié (ou métamodèle). Il existe plusieurs métamodèles de représentation du code source, dont le métamodèle FAMIX (http://www.moosetechnology.org/docs/famix).

Nous proposons un projet d'exploration du métamodèle FAMIX qui comprendra les étapes suivantes :

- Etude du métamodèle FAMIX

- Construction d'un exemple type de code Java comprenant les principaux éléments de ce langage

- Etude des outils et formats d'échanges associés à FAMIX, application à l'exemple type à l'aide de l'extracteur VerveineJ (http://www.moosetechnology.org/docs/importers/importJavaWithVerveineJ)

- Réalisation d'un tutoriel détaillé basé sur l'exemple

- Proposition d'une structure de données Java pour représenter des graphes étiquetés aux sommets et aux arcs qui contiendront une partie du modèle de code

- Ecrire un programme paramétrable extrayant certains éléments et certaines relations du modèle de code afin de garnir le graphe

- suivant la taille du groupe : programmer en Java, sur le graphe, quelques métriques logicielles qui vous seront proposées  

40. Transformation de modèles et génération de code 

   
Encadrant(s): M. Huchard, C. Nebut 
Spécialité(s): Toutes spécialités 
Pré-requis(s):  
Résumé(s):

L'ingénierie des modèles est un domaine dans lequel le développement se centre sur la production et la transformation de modèles. Un certain nombre de standards de modélisation (UML, MOF, etc.) et de langages de transformations (ATL, Kermeta, QVT) permettent de réaliser ces modèles et ces transformations.
Dans ce projet, nous proposons de compléter une transformation consistant à passer d'un modèle de diagramme d’activité  à un modèle d’automate ATN, puis à générer un modèle de code Java et le code Java proprement dit correspondant au modèle ATN.

 

41. Reconstruction 3D à l'aide d'un système de stéréovision sous marine 

   
Encadrant(s): Jean TRIBOULET 
Spécialité(s): IMAGINA 
Pré-requis(s): traitement des images, Vision, C++ 
Résumé(s): Dans le cadre d'un projet de recherche axé sur la fusion multimodales d'images Sonar et caméra, ce dernier capteur stéréoscopique permettra de renforcer la précision de relevé sur des sites archéologiques.
La reconstruction 3D est envisagé dans un premier temps de manière classique et calibrée avant d'être étendue à une approche non calibrée (méthode employée par Pollefeys).
Le travail du stagiaire consistera dans un premier temps à réaliser cette reconstruction 3D calibrée sur des objets photographiés sur site archéologique sous marin; La contrainte de cette environnement est forte pour reconstruction optimale. Cette reconstruction pourra se faire sur un modeleur vrlm avec projection de la texture sur le modèle maillé de l'objet.  

42. Organisations multi-niveaux dans dans l'IA des jeux. 

   
Encadrant(s): Jacques Ferber, Lois Vanhée 
Spécialité(s):  
Pré-requis(s):  
Résumé(s):

Principe modéliser des actions coordonnées à différents niveaux de jeux (micro, meso, macro) dans un jeu mettant en oeuvre de la coopération et de la coordination.

On utilisera le jeu Star Ruler (http://starruler.blind-mind.com/ http://starruler.blind-mind.com/features.php) et le logiciel AngelScript qui permet de scripter des comportements d'agents dans le jeu.

Les différents niveaux seront : planète, système, constellation, empire. Chaque niveau suppose des modes d'action différents et chaque niveau n agit sur le niveau n+1 par émergence, et le niveau n-1 par immergence (contraintes sur les agents par l'environnement ou le système social).

 

43. Environnement de développement graphique pour coder des comportements multi-agents coopératifs 

   
Encadrant(s): Jacques Ferber 
Spécialité(s):  
Pré-requis(s):  
Résumé(s): La programmation de techniques multi-agents est complexe. L'idée est de produire un langage simplifié et un environnement graphique permettant de coder simplement des comportements d'agents visant à la coordination et à la coopération. L'idée est de définir des briques de base et de pouvoir assembler graphiquement ces briques de base pour créer des comportements collectifs multi-agents. On utilisera le langage Java et l'outil Warbot sous Madkit (www.madkit.net) Ce langage d'assemblage doit pouvoir être utilisé par quelqu'un sans avec besoin de connaissances de programmation spécifique. 

44. Ecriture virtuelle 

   
Encadrant(s): William Puech 
Spécialité(s):  
Pré-requis(s):  
Résumé(s):

Avec l’évolution des nouvelles interfaces Homme-machine basées sur la reconnaissance de mouvements, ce sujet vise à développer un tel système permettant
d’écrire sur un tableau virtuel.

Il s’agit donc de reconnaître un mouvement d’un certain repère (qui peut
être une forme ou alors une couleur), pour écrire en conséquence sur un tableau
virtuel. Une webcam permettra de filmer, et le logiciel reconnaîtra les mouvements à partir des images successives. Nous pouvons développer un système basé sur une reconnaissance de forme (ce qui est compliqué), ou alors une certaine couleur qui pourra être représentée par une pastille rouge, ou verte colée sur la main, et qui servira de repère.

Suivant l’avancement l’idée est de développer un certain nombre d’outils pour
compléter ce tableau virtuel : un système permettant de simuler une gomme,
une annulation d’un mouvement, la création de nouveaux documents, et éventuellement la possibilité d’éditer un document à plusieurs simultanément.