[[groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page|Retour à la page principale]]

==== Rencontre 16-11-2022 9h ====
Objet: Rencontre 11 \\
Participants : [[groupe-dfo-bbo:acteurs:profs:charles-audet:main-page|Charles Audet]], [[groupe-dfo-bbo:acteurs:profs:sebastien-le-digabel:main-page|Sébastien Le Digabel]] et [[groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page|Xavier Lebeuf]] \\
Lieu : Bureau à Charles au GERAD \\
Dernière version du mémoire: {{ :groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page:masterpoly_memoire_xavierle.pdf | Mémoire_XL}}

=== Avancements depuis la dernière rencontre ===
  - Mémoire: révision de l'intro et de la revue
  - Mémoire: chapitre 3 terminé? (un peu court)
  - Profiles de donnés et graphes de convergence sur des optimisations à partir d'un point réalisable.

=== Ordre du jour ===
  - Validation meilleur point solar 4 et nouveau src
  - Nouveaux graphiques : {{ :groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page:presentation1.pptx | Figures}}
  - Commentaires sur les chapitres 1 et 2 du mémoire : {{ :groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page:masterpoly_me_moire_xavierl-12_ca.pdf | Commentaires_Charles}}
  - Chapitre 3 du mémoire
  - Preuve I <- Î
  - Varia (rappel article solar)

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

=== Pour la prochaine rencontre ===
  - Revoir la preuve I <- Î
  - Revoir chapitre 3
  - Valider le nouveau src de solar
  - Profile de donnée avec 20 points de départs ou plus
 \\
 \\
[[groupe-dfo-bbo:acteurs:students:master:xavier-lebeuf:main-page|Retour à la page principale]]