groupe-dfo-bbo:projets:nomad:hot-restart

Hot Restart

Idée de base:

  • Interrompre NOMAD
  • Analyser
  • Modifier des paramètres
  • Continuer la résolution là où NOMAD était rendu.

Raisons:

  • Permet de continuer si NOMAD s'est interrompu pour des raisons externes.
  • Permet de piloter la résolution.

Exemples d'utilisation

  • Utiliser un algorithme jusqu'à ce qu'une solution réalisable soit trouvée, puis en utiliser un autre.
  • Changer la valeur d'un paramètre après un certain nombre d'itérations.
  • Changer les contraintes progressives PB en EB (mais pour l'instant, le paramètre BB_OUTPUT_TYPE a RESTART_ATTRIBUTE no donc ça ne fonctionnerait pas…)
  • Utilisation de l'intelligence artificielle pour ajuster les paramètres

Exemple hot restart:

  • L'usager suit la trace de NOMAD.
  • Il trouve que les valeurs d'une variable sont trop élevées.
  • Il interromp la résolution.
  • Il ajuste le paramètre UPPER_BOUND. (mais pour l'instant, ce paramètre a RESTART_ATTRIBUTE no donc ça ne fonctionnerait pas…)
  • La résolution continue avec la nouvelle valeur.

Exemple warm restart:

  • La résolution arrête après 100 évaluations.
  • L'usager modifie MAX_EVAL dans le fichier de paramètres.
  • La nouvelle exécution reprend là où NOMAD était rendu.

Voir aussi: Le test (internal) hot restart.

  • groupe-dfo-bbo/projets/nomad/hot-restart.txt
  • Dernière modification: 2021/07/09 21:03
  • par rochvivi