Participants : Jean-Daniel Boissonnat, Eelco de Lange, Monique Teillaud
L'aménagement géométrique d'un satellite consiste à positionner les équipements spécifiés par un schéma logique sur une plate-forme, en prenant en compte des contraintes physiques imposées par l'environnement (par exemple : la protection contre les rayons solaires) et par les équipements entre eux (par exemple : l'interférence électro-magnétique et le respect du champ de vue d'un instrument d'observation). Le bureau d'études produit une conception initiale, qui sera raffinée de manière itérative en concertation avec des équipes plus spécialisées qui font des analyses électromagnétiques, thermiques, mécaniques, etc. Ce processus dure en général plusieurs mois, selon la nature et la complexité du satellite.
Notre objectif est de démontrer, en développant un prototype d'une application, qu'il est possible d'automatiser (au moins partiellement) le processus de la conception en appliquant des méthodes de géométrie algorithmique et d'intelligence artificielle. Nous avons abordé deux types de problèmes, l'un très sous-contraint, où le but est d'optimiser le positionnement suivant un certain critère, l'autre au contraire très contraint, où on cherche principalement à trouver une solution.
Le recuit simulé a été appliqué sur un problème d'optimisation avec des résultats satisfaisants, quoique cette méthode ne fournisse pas de diagnostic et n'est donc pas applicable dans certains cas.
D'un autre côté, pour résoudre les problèmes très contraints qui se présentent généralement, nous avons abordé le développement d'un aménageur constructif, qui place les équipements un par un, à chaque étape raisonnant sur l'ensemble de solutions possibles pour cet équipement. Cet ensemble est calculé par des méthodes géométriques exactes (la différence de Minkowski), tandis que pour les choix des positionnements des équipements, nous espérons appliquer des techniques de recherche heuristiques pour échapper à la nature exponentielle du problème.