L'Analyse en Composantes Morphologiques est une nouvelle méthode pour la séparation des composantes sémantiques dans les signaux et les images. Typiquement, on peut chercher à décomposer une image en deux composantes : texturée et régulière (voir figure ci-dessous). La composante texturée a été obtenue en mettant une transformée en cosinus locaux (LDCT) et la composante régulière em mettant une transformée de Curvelets. De nombreuses applications peuvent tirer profit d'une telle approche notamment en astronomie, en milieu médical ou encore en post-édition.

La MCA requiert cependant une certaine invariance par rapport à des groupes de transformation notamment affine. Pour ce faire, les transformées utilisées doivent au moins être invariantes par translation.

Le présent sujet se propose d'étendre une toolbox existante en assurant que la DCT locale puisse jouir d'une telle propriété (invariance par translation). De nombreuses applications pour valider les résultats seront testées.

IPV6 est une nouvelle version du protocole IP disponible depuis quelques années. De nombreuses fonctionnalités ont été intégrées au protocole pour faciliter la gestion d'un réseau. Si certainesde ces fonctionnalités ne sont qu'une intégration au sein du protocole IPV6 de celles disponibles pour IPV4, il en est une qui est réellement novatrice : la mobilité. Le but de se stage sera d'installer la mobilité au sein l'Université de Caen en prenant deux sites pilotes, le GREYC et le CIT, la solution pouvant être étendue à d'autres sites dont notamment le campus III d'Ifs.

1. Comprendre l'architecture IPV6 existante à l'Université.
2. Etudier les mécanismes de mobilité IPV6.
3. Mettre en place la mobilité entre le site du CIT et le GREYC.
4. Sélectionner certains applicatifs et identifer les changements apportées sur ces applicatifs par la mobilité.

IPV6 est une nouvelle version du protocole IP disponible depuis quelques années. L'une de ces particularités est de fournir un nombre d'adresses conséquent. L'augmentation croissante de l'informatique embarquée tant à multiplier les périphériques directement accessibles par le réseau et par la même occasion les adresses IP. De fait, pour un industriel voulant effectuer des opérations de maintenance à distance sur les matériels qu'il vend, le nombres d'adresses IP privées fourni par IPV4 peut vite être insuffisant. Le Projet Paudac avec lequel le CERTIC est en collaboration a cette problématique. Le but du stage sera de :

1. Mettre en place la plateforme de validation définie avec l'entreprise basée sur IPV6.
2. Simuler un certain nombre de clients connecté à Internet via IPV4 ou IPV6.
3. Mettre en place les mécanismes de configuration des réseaux pour que l'administration des postes distants puisse être effectuée à partir d'un poste central.
4. Valider ou invalider le choix de zabbix comme outil d'e-maintenance pour des actifs utilisant IPV6.

Dans le cadre d'un partenariat avec la Société ProxyConcept qui propose des solutions intégrées de filtrage de flux de messagerie, le CERTIC réfléchit au problème majeur qui touche la messagerie à savoir le Spam. Spammassasin est l'outil utilisé principalement pour des raisons d'extensions de fonctionnalités aisées. Actuellement dans sa version 2.64, il est testé avec un corpus d'apprentissage important de 50 000 mails. La version 3.0 venant de sortir, il est nécessaire de tester l'outil pour évaluer son efficacité tant d'un point de vue qualitatif (détecte-t-il toujours les spams ?) que d'un point de vue efficacité (quelles sont les ressources utilisées ?). Le but du stage sera de :

1. Valider la plateforme de test en cours d'élaboration.
2. Vérifier que la nouvelle version reste efficace sur un corpus déjà identifié et classé (50 000 spams).
3. Tester les nouveaux types de spam pour voir comme réagit Spamassassin.
4. Intégrer les nouveaux développements dans la nouvelle architecture proposée par Spamassasin 3.0

Dans le cadre d'un partenariat avec la Société ProxyConcept qui propose des solutions intégrées de filtrage de flux de messagerie, le CERTIC réfléchit au problème majeur qui touche la messagerie à savoir le Spam. Spammassasin est l'outil utilisé pour traiter le Spam dans la plateforme développée par la société. Il est validé par un important corpus de spam de plus de 50 000 spams. La principale difficulté à laquelle se confronte actuellement la société est de quantifier les besoins matériels nécessaires pour valider sa plateforme de traitement de flux. Le but du stage sera de :

1. Mettre en place la plateforme de test déjà validée conjointement avec l'entreprise.
2. Effectuer les tests de mise en charge pour identifier précisémment le temps nécessaire pour traiter un message.
3. Déterminer une fonction de montée en charge permettant de calculer avec précision la puissance de traitement nécessaire pour traiter un flux de messagerie.

Une image numérique est un document difficile à controller. En effet on peut facilement copier une image, ce qui pose des problèmes de droit d'auteur. De plus, une image peut subir des opérations de filtrage, de compression ou elle peut être aisément retouchée sans que cela ne se voit. Le watermarking, (domaine trés récent --milieu des années 90-- ) tatouage en Français, a pour objectif d'insérer une information invisible dans une image.

Pour ce faire la signature doit être indélébile, de plus elle ne doit pas surcharger l'image, donc elle doit être invisible. Le tatouage doit être robuste à la compression, ainsi qu'à toutes les transformations géométriques d'une image digitale. L'objectif de ce projet sera de :

1. Faire une synthèse des différentes techniques existantes en insistant sur le tatouage des graphes.
2. Un ou plusieurs algorithmes de watermarking devront être implémentés.

Il s'agit d'un travail fort numérique dont le but est de simuler un amas de points qui subissent l'attraction gravitationnelle, et qui effectuent une rotation autour du centre (ce qui doit aplatir la configuration, créer un disque). On ne va pas résoudre des millions d'équations de Newton, mais appliquer plusieurs simplifications (champ moyen, fluctuations statistiques imposées par un "bruit" artificiel, etc.), donc rien à craindre, les calculs ne seront pas très difficiles. Les points : "étoiles" seront ensuite visualisées en OpenGL. On essaira de créer des galaxies de plusieurs types, et - si le temps le permet - essayer de simuler la collision entre galaxies.

Des travaux de ce genre existent, on peut les trouver sur l'Internet. Le projet reste néanmoins exploratoire, et la création de galaxies vraiment jolies et réalistes n'est pas assurée, vu les limites matérielles et temporelles du projet. Ce n'est pas grave, les galaxies réelles ne sont toujours pas très jolies non plus...

L'étudiant doit connaître/apprendre l'essentiel de l'OpenGL. Langage du calcul - à préciser. Ce qui compte ce n'est pas la vitesse, mais facilité de programmation et de bons moyens d'interfaçage. Pour l'instant je propose Python, mais on peut envisager Java ou C++ si l'étudiant les maîtrise bien.

Une des techniques de synthèse sonore, qui évolue rapidement, est basée sur les modèles "physiques", où l'on implémente des "guides-onde" - buffers (linéaires, circu- laires, etc.) pilotés par des algorithmes itératifs/récursifs, qui modélisent la propaga- tion des sons dans les cordes vibrantes, ou dans les colonnes d'air dans les instru- ments à vent.

La théorie (simplifiée) est très simple et lisible, et un programme de quelques lignes peut simuler le son d'une (mauvaise...) guitare (par exemple). On représente souvent ces algorithmes sous forme de "circuits" graphiques, avec des lignes de retardement et des nombreux filtres digitaux, qui "nettoient" les sons, qui ajoutent des effets spéciaux (echo, reverbération, etc.)

Le projet consistera à modéliser un petit nombre d'instruments en Matlab, en exploitant le sous-système graphique Simulink pour faire ces circuits. On construira également une interface permettant de jouer interactivement quelques notes musicales par l'utilisateur.

La carte est une composante essentielle d'un atlas géographique. Dans le cadre de travaux portant sur l'analyse sémantique des documents géographiques, on souhaite pouvoir exploiter les informations exprimées dans les cartes. À cette fin, un modèle de contenu pour la carte a été développé. Ce modèle décrit la carte selon différents aspects qui rende compte de sa forme physique, de son aspect graphique et de son contenu sémiologique.

Les cartes sont disponibles sous différents formats selon deux catégories: vectorielles et rasters (image bitmap). On s'intéresse ici aux images bitmap. L'objectif de ce projet est de mettre en place un outil permettant d'exprimer des cartes données sous forme raster dans le formalisme XML découlant du modèle de contenu développé.

L'outil demandé est un ensemble d'opérateurs et de chaînes de traitement s'appliquant sur un certains nombre de cartes dont la forme est homogène. Cet outil devra être bien documenté, facilement configurable et extensible afin de pouvoir prendre en compte d'autres types de carte. Il doit aussi pouvoir s'intégrer à une plate-forme d'analyse de document géographique en développement. Les modalités d'interfaçage seront à définir.

L'apprentissage consiste à estimer (apprendre) une fonction f(x) à partir d'exemples (expérience). Une des méthodes d'apprentissage connues utilise les réseaux neuronaux artificiels (RN). Un neurone est un automate à seuil avec des entrées, une fonction de sommation, une fonction de transfert (ou activation) et une sortie. Les connexions entre les neurones sont représentées par des poids.L'algorithme d'apprentissage le plus efficace est la méthode de rétropropagation du gradient. Il s'agit de présenter une vecteur X à l'entrée du réseau, de comparer la sortie calculée avec la sortie désirée et de corriger les poids en fonction de l'erreur. L'opération est répétée pour une ensemble d'apprentissage. Lorsque f est une fonction de décision, on parle de classification ; la couche de sortie du RN est alors composée neurones représentant chacun une classe.

Les RN avec la méthode de rétropropagation ne sont pas adaptés pour traiter des données de très haute dimension telles que les textes et les images. De plus, de nombreux paramètres sont à fixer par l'utilisateur.

Pour répondre à ces problèmes, Une nouvelle méthode de classification est apparue en 1995 : les séparateurs à vaste marge (SVM). Pour les problèmes non classifiables, au lieu de chercher un hyperplan dans l'espace des entrées, on passe d'abord dans un espace de représentation intermédiaire de plus grande dimension. De plus, des fonctions à "noyau" (connues) permettent de calculer la similarité des exemples. L'algorithme d'apprentissage à implémenter revient à un problème d'optimisation quadratique.

Les techniques de retouches d'images trouvent des applications dans de nombreux domaines de l'imagerie numérique :

• Restauration d'images ou de videos (anciennes), interpolations ou zooms numériques en image ou video.
• Reconstruction des infomations manquantes dans des images comme c'est le cas après transmissions d'images par certaines techniques.
• Suppression de certaines zones de l'image ou de la vidéo sans changer l'apparence globale de l'image.

Il s'agit d'une application classique de traitement d'image en imagerie microscopique. Le but est d'utiliser ou eventuellement de programmer certains opérateurs de traitement d'images pour extraire, caractériser et puis classer des objets issus d'images microscopiques. Les données images proviennent de l'hôpital Pasteur de Cherbourg. Le choix des bases de données images reste à faire en fonction de l'intérêt de l'étudiant pour une application particulière.

Des présentations des avantages de Mobile IPv6 sous diverses formes (transparents Powerpoint ou autre) existent et sont disponibles sur le Web, mais restent souvent très "grand public", car n'expliquant pas les détails du mécanisme (utilisation des en-têtes suppléméntaires d'ipv6). L'idée est donc de réaliser une présentation très complète avec tous les cas de figure d'utilisation, et la possibilité de détailler plus ou moins le déroulement des scénarios.

La zone 2 est physiquement représentée par un ensemble de trois lignes noires sur le sol. La ligne verticale faisant la démarcation entre la zone 1 et la zone 2, les lignes horizontales faisant la démarcation entre la zone de chalandise et les couloirs de retour.

Dans la zone de départ (zone 1), aucun marquage au sol n'est présents, les robots n'ont pas de zone de départ fixe.

Dans la zone de chalandise (zone 2a), il n'existe, là encore, aucun marquage au sol. Les cubes sont placés à différents endroits au bon vouloir d'expérimentateur.

Dans la zone de dépôt (zone 2b), la position finale des cubes est physiquement marquées sur le sol. Ce marquage est formé par une tâche de la couleur du cube entourée par un marquage noir.

Ce type de marquage permet de faire rapidement la discrimination entre un marquage au sol (2D) et un objet physique (3D) (ce problème est important car il ne faut pas oublier que lors du traitement de l'image en provenance de la caméra, il est très difficile de faire la différence entre un marquage et un objet. Cela permet ainsi de simplifier le problème).

Situation initiale

Situation finale

Le déroulement du scénario est le suivant :

• La situation initiale S_i est définie par :
  • Les robots sont alignés dans la zone de départ (zone 1).
  • Les cubes sont placés dans la zone de chalandise (zone 2a).
  • les zones 2b (dépôt), 4a et 4b sont dégagées.
• La situation finale S_f est définie par :
  • Les robots sont dans la zone de départ (zone 1).
  • Les cubes sont placés dans la zone de dépôt (zone 2b), chaque cube à sa place.
  • les zones 2a (chalandise), 4a et 4b sont dégagées.

Les seules connaissances des robots au départ sont :

• la reconnaissance des objets ;
• la reconnaissance des marquages au sol ;
• qu'il faut placer les cubes sur les zones marquées.

Les Processus Décisionnels de Markov (PDM) [ Puterman1994 ] sont depuis quelques années communément utilisés dans la communauté de l'Intelligence Artificielle pour modéliser et résoudre des problèmes de décision séquentielle dans l'incertain. Leur capacité à prendre en compte à la fois l'aspect dynamique et incertain des processus modélisés les placent comme bon candidats pour modéliser et résoudre des problèmes complexes (gestion de risques industriels et environnementaux, robotiques, applications aérospatiales, ...). Cette technique, très efficace pour modéliser les environnements dynamiques et incertains, est largement utilisée pour une variété de problèmes de décision stochastique et séquentielle. Des algorithmes permettant de résoudre ces processus sont mis en oeuvre et ils permettent de déterminer un comportement optimal. Mais, ces processus sont aussi connus par leurs limites dont la plus importante est la grande taille de l'espace d'états issue d'une description fine de l'environnement. Cette limite réduit le champ d'application réelles de cette technique.

Ce projet est destiné surtout à un étudiant qui a suivi - en Maîtrise - mon cours de compilation et mon cours d'imagerie, car il s'agit d'assembler un paquetage _fonctionnel_ de création des objets 3D paramétriques, donc on aura besoin de techniques de programmation fonctionnelle et des éléments un peu avancés de syntèse d'images.

L'étudiant construira une interface à plusiers fenêtres où on pourra visualiser les objets créés. Il ne s'agit pas d'un modeleur "professionnel" , (pas encore), mais d'une exploration des techniques de programmation génériques, avec des compositions des fonctions d'ordre supérieur, etc. Une partie du projet sera consacrée à l'analyse de la possibilité d'intégrer OpenGL avec Clean. On travaillera sous Windows, car l'interfaçage graphique du Clean sous Linux n'est pas encore complet. Clean ressemble beaucoup à Haskell.

La plupart des moteurs de recherche donnent leur réponse sous la forme de fichiers html présentant une liste de liens sur des documents.

Le grain est le document (1 URL); la liste est ordonnée (c'est un de leurs secrets de fabrication), fractionnée par paquets de quelques liens, et peut contenir des milliers de liens. Chaque lien est accompagné de quelques informations sur le document. Pour accéder aux réponses, l'utilisateur va voir des documents 1 par 1, en commençant par le début de la liste. Il n'a aucune vue globale sur ces réponses. En particulier les documents classés après les premières pages ne seront pratiquement jamais atteints.

Dans la recherche d'information classique, on s'intéresse particulièrement à la détection des thèmes et des mots-clés dans des documents, le plus souvent par des méthodes statistiques. Ces méthodes donnent des résultats acceptables dans des corpus hétérogènes et très étendus, mais elles ne sont pas du tout adaptées à la recherche ciblée sur des documents peu nombreux.

La plupart des analyseurs ont pour éléments atomiques de l'analyse des mots qui sont vus uniquement dans la phrase, ce qui rend difficile l'affectation de valeurs sémantiques fiables. Par exemple, on ne peut pas savoir si le mot "intégration" concerne les mathématiques ou la cuisine ou la politique, d'où le bruit imputé à la polysémie des mots. On constate par ailleurs que les techniques actuelles ne permettent pas de répondre de manière satisfaisante à des demandes du type : "rechercher la définition du concept intégration" ou "une explication sur l'ESB" ou "une synthèse sur la loi de Nash".

On cherche à combler le vide entre la méthode courante d'indexation des documents et l'analyse syntaxique à grain très fin. Pour apporter une valeur ajoutée à la recherche d'information, on propose de caractériser des segments de texte et des textes.

Le travail demandé consiste à faire le point sur les recherches actuelles à l'interface de la recherche documentaire et de l'analyse syntaxique (Voir par exemple Hirst, Karlgren). Dans la partie exploratoire on propose d'implémenter des modèles d'analyse textuelle. Le travail s'organise sur plusieurs plans. D'une part, il faut établir une typologie des textes : exposés, narrations, explications, modes d'emploi etc. Il importe pour cela de tenir compte de la mise en forme, de la longueur et de la complexité des documents. D'autre part, dans l'analyse interne au document, il s'agit d'annoter les passages pouvant correspondre à une requête sur le type d'information recherchée (explication, définition, synthèse etc.) Enfin, il faut pouvoir pondérer ces parties de discours entre elles, pour donner une description plus fine du document.

Cette recherche s'inscrit dans la lignée des traitements robustes du GREYC. L'accent est mis sur l'interprétation explicite des règles macro-syntaxiques. Le modèle proposé est basé sur une méthode robuste d'analyse de textes et de segments textuels, à différents niveaux de la hiérarchie de mise en forme matérielle (chapitres, parties, paragraphes).

Du point de vue méthodologique, il est demandé de valider des opérations et leur expression informatique. Les opérations utilisées actuellement dans l'équipe sont de même type que celles qui sont implémentées pour l'analyse syntaxique robuste de phrase, plus deux ajouts. On a défini la subordination, la coordination, la complémentation, plus la superordination et la factorisation.

Deux directions sont possibles : d'un point de vue opératoire ces opérations doivent pouvoir s'appliquer à des segments de niveau quelconque de la hiérarchie textuelle, il s'agit donc de consolider et valoriser cette option. D'un point de vue théorique, ces opérations doivent pouvoir être exposées et validées du point de vue algorithmique.

Les outils d'aide à la décision sont de plus en plus utilisés dans les entreprises, principalement pour réduire les risques inhérents aux tâches réalisées. Ces outils se retrouvent dans les domaines de la bourse, la gestion de stock, la gestion du risque, etc ... Ces outils prennent des formes diversent tant au niveau des modèles utilisés pour réaliser l'aide à la décision qu'au niveau des interfaces de présentation des résultats.

Les processus décisionnels de Markhov sont l'un des modèles utilisé dans ces outils. Le projet Paudac, entreprise en création au sein de Normandie Inbubation, dispose d'un outil d'aide à la décision d'achats de DVD.

Écrit en C++, la première version de cet outil répond a la problématique et calcule l'optimum d'achats en fonction du budget et d'autres contraintes liées au système telles que le nombre de nouveaux films disponibles ou bien le nombre de machines de locations disponibles, toutefois certaines fonctionnalités nécessitent d'être modifiée.