This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
ideesprojets [2013/10/26 18:18] schwarzentruber [CVFP, PROG] |
ideesprojets [2015/11/25 18:47] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Idées de projets ====== | ||
+ | |||
+ | ==== CVFP, PROG ==== | ||
+ | * Algorithme du simplexe (avec affichage 2D/3D pour voir les étapes du calcul) | ||
+ | * Editeur d'algorithmes | ||
+ | * belief revision | ||
+ | * Compilateur d'un programme impératif avec appel de fonctions vers machine de Turing | ||
+ | * Instructions (dec x2), (inc x3) (return x1) (begin instr1 instr2...) (if (x4 = 0) instr1 instr2) (while (x1 != 0) instr) (define (f x1 x2) ... ) | ||
+ | * Machine de Turing avec un ruban. Les variables sont séparées par des 'espaces'. Les appels par des '#'. | ||
+ | |||
+ | |||
+ | Tout ça si possible en application web (javascript, ou java en utilisant un framework pour faire des appli web, ou Caml avec un framework pour faire du web) | ||
+ | |||
+ | ====CVFP ou projet M1 ==== | ||
+ | * Editeur UML (commencé) | ||
+ | * Langage Ping pong (commencé) | ||
+ | * model checker en utilisant les BDDs | ||
+ | * Logiciel pour apprendre un trombinoscope | ||
+ | * Logiciel pour faire des QCMs | ||
+ | * Editeur de preuve | ||
+ | * Logiciel pour affecter les stages (avec une carte et les photos des élèves) | ||
+ | * un éditeur de noeuds (rendu comme http://newweb.cecm.sfu.ca/cgi-bin/KnotPlot/getknot mais avec la simplicité de http://www.irisa.fr/prive/fschwarz/knots/) | ||
+ | * un éditeur intuitif de forme 3D (sculpture) | ||
+ | * Kermesse (les élèves esssaient des outils de verif et les présentent "façon session poster dans une conférence") | ||
+ | |||
+ | |||
+ | ====ALGO1 ==== | ||
+ | * Jeux et IA (A*, min/max, alpha/beta, heuristiques, apprentissage) (assez rôdé) | ||
+ | |||
+ | |||
+ | ====ALGO2 ==== | ||
+ | * Recuit simulé avec une application (voyage de commerce, traitement d'images, emploi du temps, etc.) | ||
+ | * réductions ? | ||
+ | * plein de présentation sur des algorithmes divers et variés | ||
+ | |||
+ | |||
+ | ====LC ==== | ||
+ | * mini-prouveur | ||
+ | * un simulateur de machine de Turing (compilateur C restreint vers machine de Turing ?) | ||
+ | * machine de Turing avec un robot (cf. département mécatronique ?) | ||
+ | * Binary decision diagram | ||
+ | * belief revision | ||
+ | * non-monotonic reasoning | ||
+ | * Ehrenfeucht-Fraissé games, http://www.math.cornell.edu/~mec/Summer2009/Raluca/lesson5.html | ||
+ | |||
+ | |||
+ | |||