WikiDIT

Guest connection: login: Guest, password: anonymous

User Tools

Site Tools


ideesprojets

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
ideesprojets.txt · Last modified: 2015/11/25 18:47 (external edit)