IA et Recherche Opérationnelle pour la Défense et les Réseaux de Télécommunications

Optimisation tactique des opérations

Ils nous font confiance
Armée de l'air Airbus Thales naval-group Terma European Space Agency


OptaForce : Optimisation de la planification des activités et de la maintenance des flottes Mirage 2000

Après avoir remporté le défi OptiPlan, Cosling et Airbus ont conjointement développés la solution OptaForce pour permettre une planification optimisée des flottes de Mirage 2000. Les algorithmes de Cosling basés sur la Programmation Par Contraintes permettent d’optimiser différentes contraintes capacitaires, budgetaires et opérationnelles pour tirer le meilleur parti du potentiel de chaque aéronef. Il permet une amélioration du taux de disponibilité des aéronefs et donc une meilleure capacité pour les forces à remplir leurs missions.

OptaForce
airbus logo
Nicolas R.
Chef de Projet
Airbus Defence and Space
❝ Travailler avec Cosling nous a permis de créer un produit répondant totalement aux attentes de nos clients. Grace à leur expertise, ils ont su analyser nos contraintes et ont transformé des tâches complexes et répétitives en un moteur de planification performant. Ne se limitant pas à une expertise technique, leur présence à nos cotés nous a permis de conseiller le client afin d’obtenir un produit permettant de faire évoluer les pratiques actuelles de planification de la maintenance d’aéronefs. Le résultat de notre collaboration est un réel succès, la victoire d’un challenge d’innovation puis la création du produit Optaforce. ❞



Configuration de réseaux et ordonnancement de télécommunications

Dans les systèmes de télécommunications, la configuration optimale du réseau et l’ordonnancement efficace des communications sont essentiels pour garantir une connectivité fiable et résiliente. Parmi les différents techniques qui existent en Intelligence Artificielle et en Recherche Opérationnelle, La programmation par contraintes et la théorie des graphes offrent des outils puissants pour modéliser et résoudre ces problèmes complexes.


Modélisation de réseaux résilients avec contraintes topologiques

Un réseau de télécommunications repose sur un graphe de connexions entre nœuds (stations, satellites, antennes, relais, etc.). Pour garantir une connectivité optimale, plusieurs contraintes doivent être respectées :

Choco Solver disposant d’un module de graphes, ces contraintes peuvent être exprimées sous forme de variables et contraintes de graphe, permettant une modélisation au bon niveau d’abstraction. Le solveur de contraintes permet de tester différentes configurations et d’optimiser la résilience tout en minimisant les coûts en ressources.


Ordonnancement des communications avec fenêtres de temps


Ground stations

Les communications satellite nécessitent un alignement temporel précis entre stations au sol et satellites, avec des contraintes comme :

  • Fenêtres de visibilité : chaque station ne peut communiquer avec un satellite que pendant des plages horaires spécifiques.
  • Bande passante limitée : les transmissions doivent être planifiées en fonction des ressources disponibles.
  • Attribution de fréquences dynamiques : pour éviter les interférences et maximiser l’efficacité du spectre radio.
Grâce à la programmation par contraintes, il est possible d’assurer un ordonnancement optimal des communications tout en respectant les contraintes physiques et opérationnelles.


ESA logo
Martin U.
ESTRACK Ground Operation Engineer
European Space Agency
❝ Nous avons travaillé avec Cosling dans le cadre d‘une étude sur l’optimisation de notre outil de planification de l’ESTRACK (Réseau de station sol de l’ESA). En moins de trois mois, l’équipe de Cosling a été capable de comprendre le design de nos logiciels et de nous proposer des améliorations possibles. Nous avons été impressionnés par leur compétence et leur méthode de travail adéquate. Cosling offre une combinaison de compétences difficiles à trouver en termes de formation théorique dans le domaine de l’optimisation et du génie logiciel. ❞