AG51: Algorithmique avancée.

Analyse de coût, étude de structures de données (arbre binaire de recherche, tas binaire, tas binomial, tas de fibonacci, table de hashage, représentation de graphes…), étude d’algorithmes (tri, parcours d’arbre et de graphes, arbres coubrants minimums, plus court chemin, opérations de maintenance des structures ci-avant…).

C’est aussi l’UV la plus mal placée de tout le cursus de GI de l’UTBM. AG51 est enseignée en avant-dernier ou dernier semestre d’études de GI, et est globalement facultative, si les étudiants ne souhaitent pas la faire. Elle devrait à mon avis être la [i]première[/i] UV d’informatique qu’on touche dès notre arrivée en GI. Ces enseignements ne sont pas quelque chose dont on peut se passer pur devenir ingénieur en informatique. Sans connaissance de l’analyse d’algorithmes, des notions sur les coûts, et des bases dans des structures de données autres que les tableaux, je ne crois pas qu’on peut réellement se dire ingénieur en informatique.

L’un dans l’autre, c’était marrant comme UV, et j’ai découvert quelques structures avancées que j’avais toujours un peu évité (B-arbres, tas binomiaux, tas de fibonacci). Au niveau évaluation, des TPs notés d’analyse qui se sont bien passés, et un final simple fini en une vingtaine de minutes.

HE09: Histoire des sciences.

Une découverte de la progression de la connaissance scientifique à travers les ages, mais aussi et surtout de l’intéraction du scientifique avec son époque. Extrêmement intéressant: l’enseignant est en totale maitrise de son sujet, et sait déployer ses connaissances pour nous donner une vue des grands enjeux des ages, et des moments décisifs des sciences dans notre passé. l’évaluation comprend un exposé, ou nous nous sommes aparemment très bien débrouillés pour expliquer et contextualiser les résistances à la Révolution Scientifique du XVIIe siècle; un médian que j’ai accidentellement majoré; et un final assez fourbe, puisqu’il nous a été demandé un commentaire composé historique… Mais sur un texte actuel, datant de 2007! Attention donc à éviter le piège de répondre de façon militante, et de se focaliser sur l’intérêt historique du document. Difficile, et je ne suis pas vraiment content de ce que j’ai fait.

IA52: Systèmes à bases de connaissances, logique floue, réseaux de neurones et traitement automatisé du langage naturel

Miam, de l’IA. Les sujets abordés sont très intéressants. On commence par un peu de traitement du langage naturel: analyse grammaticale, grammaire de cas, logique des frames. Puis on fait un séjour au pays des bases de connaissances. Ontologies, logique des prédicats, treillis de concepts, raisonnement sur la base pour établir de nouveaux faits ou en vérifier d’autres. Sans transitions, on passe à d’autres outils qui servent dans divers coins du monde de l’IA: réseaux de neurones, logique floue, alorithmes évolutionnistes, métaheuristiques pour l’optimisation de systèmes.

Contenu fascinant s’il en est, qui n’est égalé que par la débacle organisationelle du déroulement de l’UV. Ca avait bien commencé, mais au cours du semestre, on apprend que le responsable de l’UV s’est fait remercier de l’école! Il a fait de son mieux pour assurer une transition sans accrocs, mais malheureusement ca ne s’est pas tout à fait passé comme ca. Notre projet, la réalisation d’un jeu d’aventure mélangeant traitement du langage naturel et opérations sur une base de connaissances avait été approuvé par le responsable de l’UV, mais le réaliser et le présenter nous avons du gérer seuls, sans personne pour nous guider de son expérience. Je vais m’arrêter la sur la description de cette débacle, ca m’énerve. Mais bon, même si humainement c’était pas terrible, on aura au moins appris des trucs marrants.

L’évaluation était en partie sur le projet (variante freestyle pour ce semestre, cf. au dessus), et en partie sur un final balayant assez large, de la logique floue aux métaheuristiques en passant par les réseaux de neurones. Je suis assez content de la performance, reste à voir si j’ai raison d’être content!

IA54: Systèmes et simulations multi-agents

Kwaiiiiiiin. C’est un peu mon impression à la sortie de cette UV. Intitulé alléchant, et notions d’avenir, puisqu’avec la démocratisation des machines multi-processeur et des clusters de calcul, la conception orienté agent risque d’avoir des utilités un peu partout.

Un peu décu par le contenu effectif de l’UV. Ca se résumait beaucoup à faire des diagrammes assez vaporeux censé faciliter la conception du système agent. Vu mon avis sur l’UML en général (un outil fantastique pour s’assurer que toute une équipe a exactement la même incompréhension du problème - j’avoue volontiers qu’on peut faire d’excellentes modélisations en UML, mais je soutiens que 99% de l’UML dans le monde a pour seule fonction de prolonger les missions de consultants), j’ai trouvé l’UV assez improductive. Par contre, notre projet j’ai trouvé très intéressant: déploiement semi-automatisé d’un réseau maillé sur une zone de désastre. L’idée, c’est de pouvoir dire a 50 drones équipés de wifi/gsm “couvrez moi ces 3 points objectif, et reliez les à ce Point of Presence qui peut relayer les communications”, et que les agents (drones) se démerdent pour le faire, en ne voyant que localement ce que font les drones voisins. Ca marchait pas magnifiquement, mais c’était plutôt bien pour un projet de quelques semaines!

Le final par contre… Oulalalala. Le but du jeu, ca va être de ne pas taper en dessous de la note éliminatoire, et en plus que la moyenne de ca et du projet suffise à l’obtenir. On verra.

RE51: Systèmes distribués et algorithmes

Sujet similaire à IA54, mais sans les méthodologies et paradigmes lourdingues. Étude de problèmes inhérents aux systèmes distribués, des bases des algorithmes distribués (transmission, comptage, plus court chemin, élection, arbitrage distribué…). Pas grand chose à dire dessus, UV intéressante et bien menée. Une seule tache sur le tableau, l’utilisation de PVM pour illustrer les enseignements, au lieu d’un truc plus moderne comme MPI. Mais l’un dans l’autre, c’est pas bien grave. Des TPs évalués plus un final, les deux assez bien faits, ca derait aller pour l’évaluation.

TO52: Développement d’un système d’exploitation embarqué.

Bien trop de choses à dire sur cette UV. Techniquement, c’est la continuation de la TX du semestre dernier sous un autre nom. J’ai travaillé avec Sam et Jflesch pour continuer le développement de notre système d’exploitation embarqué pour la brique Lego Mindstorms NXT. J’en ai tellement à dire sur le sujet que je ne dirai finalement rien. Je vous propose d’aller visiter le site de NxOS pour plus d’infos sur le projet. Au niveau déroulement de l’UV, évaluation sur l’assiduité (aucun problème!), un rapport et une soutenance. Le tout s’est très bien passé, excellente expérience.

TR52: Principes, langages et formalises du temps-réel

Introduction aux systèmes d’exploitation temps réel, les défis tout particuliers du scheduling temps réel, les défis des systèmes embarqués, les formalismes permettant de modéliser un système temps-réel, et des outils pour travailler en temps réel (Ada, extensions Java Realtime, …). L’un dans l’autre une UV rondement menée, intéressante et assez approfondie malgré le vaste tableau à balayer. L’évaluation est assez classique, un rapport de TP, un examen médian et un examen final, le tout s’est bien passé.

Reste donc l’avis du jury, qui ne devrait pas être trop surprenant. Mais à part ca, c’est [b]schluss mit[/b], en avant le stage de fin d’études, et je serai grand!