LES DÉVELOPPEMENTS LOGICIELS A l'IMB
pour les équipes :
Calcul scientifique et Modélisation (CSM)
L’équipe EDP et Physique mathématique (EDP)
L’équipe Image (IMAGE)
L’équipe Mathématiques pour la dynamique des populations (MDP)
L’équipe Probabilités et Statistique (PROBA-STAT)
L’équipe Recherche opérationnelle (RO)
L’équipe Théorie des Nombres (TDN)
Identification des logiciels en 3 catégories :
✔ Catégorie 2 : développements intermédiaires, « hybrides » avec visées applicatives, en zone de transition, « presque prêts » pour passer à la catégorie 1, pas encore intégrés à du génie logiciel et à une plate-forme
✔ Catégorie 3 : logiciels « expérimentaux », prototypes, codes de calcul « indépendants » pour commencer à tester des idées, certains d'entre eux, une fois validés, visent à intégrer un logiciel de catégorie 1 ou 2
Logiciels de catégorie 1
Logiciel et lien vers la page officielle si existante | Description | Langages - Bibilothèques | Nombre de lignes | Nombre de développeurs dont le principal | Diffusion | Licence | Plate-forme | Equipe IMB | Equipe INRIA | Lien vers la fiche technnique |
AEROSOL
| Bibliothèque d'éléments finis d'ordre élevé | C++ MPI | 95000 | 6 Mario Ricchiutto | Non | Non | SVN | CSM | CARDAMOM | |
CADMOS | Simulation et assimilation de données de modèles en cancérologie | C++ 2011 RUBY, EIGEN | 15000 | 17 Olivier Saut | Non
| Privée | GIT BITBUCKET | CSM | MONC | |
CEPS
| Modélisation de l'électrophysiologie cardiaque | C++ PETSC, MPI | 13000 | 17 Yves Coudière | Non | Non | GIT | CSM | CARMEN | |
Mailleur automatique tétraédrique | C | 50000 | 2 Cécile Dobrzynski | Oui
| APP | SVN | CSM | CARDAMOM | ||
REALFLUIDS | Ecoulements compressibles, réactifs, multiphasiques, … | F90 SCOTCH, MPI | 76000 | 7 Rémi Abgrall |
|
| SVN | CSM | CARDAMOM | |
| Débruitage d'images radar SAR
| C
| 10000 | 1 Charles-Alban Deledalle | Oui | CECILL (CNRS-CEA-INRIA) | SVN (Télécom Paris) | IMAGE |
| |
SUGAR
| Recherche automatique de paramètres qui interviennent dans des énergies | MATLAB
| 6000 | 1 Charles-Alban Deledalle | Oui | Open Source | GitHub | IMAGE |
| |
RealTiTracker | Toolbox en temps réel pour des écoulements optiques 2D/3D basés sur l'enregistrement d'images médicales | C++
| 15000 | 1 IMB + en Hollande Baudouin Denis de Senneville |
|
| SVN (serveur en Hollande) | IMAGE |
| |
ClustOfVar
| Package R dédié au clustering de variables | R | 1700 | 5 Marie Chavent | Oui
| Open Source | GitHub, CRAN | PROBA-STAT | CQFD | |
PCAmixdata | Package R dédilé à l'analyse multidimentionnelle de données mixtes | R | 2500 | 5 Marie Chavent | Oui
| Open Source | GitHub, CRAN | PROBA-STAT | CQFD | |
DIVCLUS-T
| Méthode descendante de clustering hiérarchique | R | 1200 | 2 Marie Chavent | Oui | Open Source | Forge INRIA | PROBA-STAT |
| |
FracLab | Toolbox pour le traitement de signal et d'image basée sur des méthodes fractales | MATLAB C |
| 22 et + Pierrick Legrand | Oui | Open Source | Forge INRIA | PROBA-STAT |
| |
BIIPS | Inférence bayésienne avec des systèmes de particules en interaction |
C++ R |
| 2 Adrien Todeschini |
|
| Forge INRIA | PROBA-STAT | CQFD | |
HEVEA | Réglage de prothèses auditives. | C sharp, embedded C++, visual.net |
| 1 Pierrick Legrand |
|
|
| PROBA-STAT |
| |
VCN | Analyse automatique de données issue de l’acquisition de l’activité cérébrale | MATLAB |
| 3 Pierrick Legrand |
|
|
| PROBA-STAT |
| |
| Code prototype qui résout des programmes mixtes entiers (Mixed Integer Programs, MIP) | C++
| 100000 | 3 François Vanderbeck | Non
| APP | GIT sur PLM | RO | REALOPT | |
| Système de calcul formel très répandu, conçu pour des calculs rapides en arithmétique | C GNU MP
| 220000 | 9 Karim Belabas | Oui | GPLv2+ | GIT serveur PARI | TDN | LFANT | |
Bibliothèque pour le calcul arithmétique de nombres complexes | C GNU MP GNU MPFR | 18000 | 3 Andreas Enge | Oui | LGPLv3+ | GIT forge INRIA | TDN | LFANT | ||
Bibliothèque C pour la précision arbitraire pour l'arithmétique en nombres flottants | C | 150000 | 1 Fredrik Johansson | Oui | GPLv2+ | GITHUB | TDN | LFANT |
Logiciels de catégorie 2
Logiciel et lien vers la page officielle si existante | Description | Langages - Bibilothèques | Nombre de lignes | Nombre de développeurs dont le principal | Diffusion | Licence | Plate-forme | Equipe IMB | Equipe INRIA | Lien vers la fiche technnique |
CORBIS, version séquentielle | Ecoulements de gaz raréfié, maillage structuré
| F90 OpenMP | 10000 | 1 Luc Mieussens | Non | Non |
| CSM | CARDAMOM | |
CORBIS, version parallèle | Ecoulements de gaz raréfié, maillage non structuré
| F90 MKL MPI / OpenMP | 20000 | 2 Luc Mieussens | Non | Non | GIT | CSM | CARDAMOM | |
NS2D, version parallèle | Ecoulements internes et externes incompressibles 2D | F90 MPI | 62000 | 2 Charles-Henri Bruneau |
| En cours | SVN | CSM | MEMPHIS | |
NS3D, version parallèle | Ecoulements incompressibles 3D autour de véhicules terrestres | F90 MPI / OpenMP | 78400 | 2 Charles-Henri Bruneau |
| En cours | SVN | CSM | MEMPHIS | |
COCOFLOW
| Ecoulements compressibles, matériau complexe hyperélastique
| F90 MPI | 10000 | 3 Angelo Iollo | Non | Non |
| CSM | MEMPHIS | |
| Ecoulements incompressibles autour de corps déformables, 3D | C PETSC MPI | 25000 | 1 Michel Bergmann | Non
| Non |
| CSM | MEMPHIS | |
ROBUQ | Quantification de l'incertitude et optimisation robuste | C++ MPI | 2000 | 6 Pietro Marco Congedo |
|
|
| CSM | CARDAMOM | |
SLOWS
| Simulation de vagues 2DH à l’aide d’un modèle de type Boussinesq | C MUMPS | 10000
| 1 MarioRicchiuto | Non | Non | SVN | EDP | CARDAMOM | |
TUCWAVE
| Simulation de vagues 2DH à l’aide d’un modèle de type Boussinesq | F90-F77 SPARSKIT
| 5000 | 1 MariaKazolea | Non | Non |
| EDP |
| |
WAVEBOX | Simulation de vagues 2DH à l’aide d’un modèle de type Green-Naghdi | C++ EIGEN UMFPACK OpenMP | 10000 | 3 David Lannes | Non | Non |
| EDP |
|
Logiciels de catégorie 3
Logiciel et lien vers la page officielle si existante | Description | Langages - Bibilothèques | Nombre de lignes | Nombre de développeurs dont le principal | Diffusion | Licence | Plate-forme | Equipe IMB | Equipe INRIA | Lien vers la fiche technnique |
| Analyse de données issues de la VSDI (Voltage Sensitive Dye Imaging) | F90, MATLAB | 3451 | 3 Afaf Bouhargane | Non | Non |
| CSM |
| |
PABLO | Bibliothèque (maillage adaptatif) | C++, MPI |
| 1 Marco Cisternino | Non | Non |
| CSM |
|
|
| Suivis d'interfaces | F90 | 7000 | 1 Francky Luddens | Non | Non |
| CSM |
| |
| Problèmes elliptiques 2D et 3D | F90 | 1500 – 2300 | 1 Lisl Weynans | Non | Non |
| CSM |
| |
| Navier-Stokes incompressible 2D bifluide | F90 | 6000 | 1 Lisl Weynans | Non | Non |
| CSM |
| |
| Traitement des images médicales et calculs géométriques | PYTHON |
| 1 Ingénieur INRIA | Non | Non |
| CSM |
| |
| Schémas numériques pour des systèmes de lois de conservation hyperbolique avec terme source | F90 , OpenMP, LAPACK, BLAS, MKL | 7700 | 1 Rodolphe Turpault | Non | Non |
| CSM |
| |
| Schéma volumes finis d'ordre 4 | F90, BLAS, LAPACK | 2000 | 2 Rodolphe Turpault | Non | Non |
| CSM |
| |
| Logiciels de post-traitement de données numériques issues du logiciel NS2D pour l'analyse de la turbulence, analyse des signaux et des champs (calcul de spectres, de flux, …) | MATLAB |
| 1 Patrick Fischer | Non | Non |
| CSM |
|
|
| Modélisation de l'électroporation à l'échelle cellulaire | C++, MPI, PETSC, VTK | 10000 | 1 ex-doctorant Michael Leguebe | Non | Non |
| CSM |
| |
CAKE | Cutcell Algorithm for Kinetic Equation : simulation d'écoulements de gaz raréfié autour d'obstacles mobiles | F90, MPI | 3900 | 1 ex-doctorant Guillaume Dechriste | Non | Non |
| CSM |
| |
| Calcul plasmas | F2008 | 1000 | 4 Denise Aregba | Non | Non |
| EDP |
| |
| Calcul d'ondes électromagnétiques | F90 | 1300 | 1 Denise Aregba | Non | Non |
| EDP |
| |
| Calculs en mécanique des fluides par des méthodes de relaxation en volumes finis 2D | F90 | 4200 | 1 Denise Aregba | Non | Non |
| EDP |
| |
| Inférence de modèles de mélanges Gaussiens dans différents contextes de statistiques. | MATLAB |
| 1 Alexandre Lourme | Oui | Open Source |
| PROBA-STAT |
| |
COLOCIEL | Coloriser une image à partir d'une référence et d'une intervention utilisateur. | MATLAB fastmarching de Gabriel Peyré. | 2600 | 4 1 doctorant Fabien Pierre | Non | Non |
| IMAGE |
| |
DynaPopFlow | Agroécologie des vignobles, interaction plantes insectes phytoplasmes ; croissances des populations structurées en age physiologique et des mouvements en espace. | F90 MATLAB SCILAB | 1600 | 1 Ahmed Noussair | Non | Non |
| MDP |
|