Le Laboratoire d'Optimisation Globale (LOG) a cessé d'exister en tant que structure commune entre le Centre d'Etudes de la Navigation Aérienne (CENA) et l'Ecole Nationale de l'Aviation Civile (ENAC) depuis février 2007, suite à la réorganisation des services de la Navigation Aérienne.

Vous pouvez consulter la page du pôle POM de la DTI/R&D, qui accueille désormais les personnels de l'ex-LOG qui appartenaient au CENA et la page du LOTA qui accueille les personnels de l'ENAC.

Logiciels

This page is also available in english.

La plupart des logiciels développés au LOG ne sont pas dans le domaine public. Pour plus d'informations sur nos projets, rendez-vous à la page projets du laboratoire.

Nous avons cependant développé quelques paquetages génériques d'optimisation qui sont disponibles ci-dessous. Tous ces paquetages sont écrits en Ocaml, et donc susceptibles de fonctionner sur toute machine supportant ce langage.

Paquetages

• FaCiLe: Une librairie fonctionnelle de programmation par contraintes.
• GA: un algorithme génétique en Ocaml. Ce paquetage est utilisé intensivement depuis de nombreuses années. Il est très stable, et totalement configurable. Il implémente une méthode de nuées dynamiques et de nombreuses techniques de mise à l'échelle.
• ocamlpvm: Une interface Ocaml pour PVM (Parallel Virtual Machine).
• ASTAR: Un algorithme A* en Ocaml. L'implantation utilise des queues prioritaires et est efficace et générique.

Liens utiles

• La page de présentation de Ocaml.
• La page des projets du LOG.

Last Update: Sunday, 11-May-2008 09:50:05 CEST WARNING: This web page is no longer maintained. See POM and LOTA [LOG Home] [The Lab] [Research topics] [Publications] [Software] [Partnerships] [Addresses] [Gamezone] Contact .