WikiDIT

Guest connection: login: Guest, password: anonymous

User Tools

Site Tools


ideesprojets

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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)