User Tools
ideesprojets
Differences
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 | ||
| + | |||
| + | |||
| + | |||
ideesprojets.txt · Last modified: 2015/11/25 18:47 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
