Objet: Rencontre 11
Participants : Charles Audet, Sébastien Le Digabel et Xavier Lebeuf
Lieu : Bureau à Charles au GERAD
Dernière version du mémoire: Mémoire_XL

1. Mémoire: révision de l'intro et de la revue
2. Mémoire: chapitre 3 terminé? (un peu court)
3. Profiles de donnés et graphes de convergence sur des optimisations à partir d'un point réalisable.

1. Validation meilleur point solar 4 et nouveau src
2. Nouveaux graphiques : Figures
3. Commentaires sur les chapitres 1 et 2 du mémoire : Commentaires_Charles
4. Chapitre 3 du mémoire
5. Preuve I ← Î
6. Varia (rappel article solar)

1. Lancer solar avec -v pour voir la version (devrait être 11 novembre) et tester points longs (peuvent encore prendre quelques centaines de secondes)
2. Modèle: imitation de la bb qui vise à la répliquer le plus possible (ex: modèle quadratique)
3. Substitut: imitation de la bb. Peut être délibérément mauvais mais rapide.
4. Définir différence entre modèle et substitut dans le mémoire.
5. Remplacer partition et couplage par assignation.
6. Algo 3.2: boucle i, boucle j, condition si, Interruption.
7. Dans la preuve I ← Î, ne pas indiquer « proposition » s'il est déjà écrit lemme ou théorème.
8. Même si c'est dans un preuve, ne pas commencer de phrase avec un charachtère mathématique.

1. Revoir la preuve I ← Î
2. Revoir chapitre 3
3. Valider le nouveau src de solar
4. Profile de donnée avec 20 points de départs ou plus

Retour à la page principale