Edito
Conseil en modélisation et optimisation stratégique, conception et développement de logiciels d'aide à la décision, analyse statistique, prévisions, gestion du risque et des aléas : au cours des six dernières années, Artelys a largement diversifié et développé ses services. Nous souhaitons, aujourd'hui, au travers de cette lettre d'information, partager avec vous des éléments de réflexion autour de ces activités : innovations technologiques, approches envisagées, méthodes mathématiques employées, choix informatiques, etc. Nous vous informerons également des nouveautés sur les composants logiciels, nécessaires aux solutions d'aide à la décision, qu'Artelys distribue ou développe et du calendrier de nos formations liées aux techniques d'optimisation, d'analyse statistique et de gestion du risque.

Dossiers

Pour que des fonctions d'aide à la décision puissent être efficaces, la modélisation apparaît comme étant un point clef. La représentation du problème effectivement prise en compte détermine non seulement les flux de données et les logiciels à mettre en place, mais est aussi fortement liée au mode d'utilisation de l'outil et au type d'organisation retenu pour la prise de décision. Des erreurs sur la modélisation auront donc des conséquences graves et souvent rédhibitoires lors de la mise en place de solutions en optimisation quantitative. Dans un tel contexte, on ne peut qu'être surpris de constater que nombre de projets sont lancés sans que le modèle retenu ne soit réellement validé. Un recensement du besoin, une analyse fonctionnelle qualitative suffisent à engager des développements et/ou la mise en place de logiciels. De telles décisions ne sont pourtant pas sans risques...
Lire la suite

Aujourd'hui largement utilisée pour régler l'ordonnancement de l'industrie manufacturière et ainsi faire d'importants gains de productivité, les notions de contrainte et de propagation de contraintes furent d'abord introduites pour décrire la cohérence géométrique d'objets graphiques et ainsi créer (en 1962 !) une interface utilisateur pour un système de dessin/conception assisté par ordinateur (Sketchpad). Dès 1978, le logiciel Alice apparaît comme le précurseur des systèmes de satisfaction de contraintes et, au début des années 80, la programmation par contraintes devient un outil fondamental de la programmation logique autour des langages de la famille Prolog. La propagation de contraintes vise en effet à opérer les déductions logiques réciproques d'un ensemble de contraintes lorsque l'information concernant l'une d'entre elles évolue, et joue donc un rôle majeur dans les systèmes formels. Mais les contraintes constituent également une réalité quotidienne des ingénieurs puisqu'elles modélisent de manière très fidèle les réalités de terrain (spécifications, …). Avec le développement de la puissance des machines informatiques des années 90, les technologies de programmation par contraintes font partie intégrante des activités de recherche opérationnelle à un niveau industriel (ordonnancement de production, affectation de personnel …) ou, dans un registre un peu différent, de design (conception de circuits intégrés). Au delà d'un formalisme déclaratif simple et séduisant, les enjeux deviennent les performances et les recherches s'articulent notamment autour des meilleures méthodes de propagation (mot-clé : cohérence d'arc) pour déterminer les meilleurs compromis pratiques entre puissance de calcul et rapidité du calcul effectué et ne plus se contenter de détecter les situations impossibles (mot-clé : backtrack). Parallèlement à ces activités aux enjeux économiques immédiats, de nouveaux horizons applicatifs se dessinent autour de la notion de contraintes : par exemple le séquençage de l'ADN, la composition musicale assistée par ordinateur, une contribution algorithmique au Web sémantique.
Une brève introduction à la PPC
Un exemple

Programme des formations 2006

Artelys propose un programme annuel de formations aux techniques de l'optimisation mathématique et du calcul statistique.
 Méthodes statistiques pour l'analyse du risque (17 et 18 mai) ;
 Optimisation stochastique et programmation dynamique (7 et 8 juin) ;
 Méthodes de régression, de classification et de prévision (4 et 5 octobre) ;
 Optimisation combinatoire : modèles et algorithmes (18 et 19 octobre) ;
 Optimisation combinatoire : décomposition et hybridation (22 et 23 novembre).
Ces cours ont lieu à l'Hôtel du Louvre.

Formations sur mesure
Artelys organise des cours sur mesure adaptés aux objectifs et aux connaissances préalables des participants. Ces formations peuvent être consacrées :
 aux techniques de l'optimisation et du calcul statistique ;
 à l'application de ces techniques dans un domaine métier particulier ;
 aux logiciels qu'Artelys développe ou distribue.
Le programme de formation est élaboré en concertation avec votre entreprise.