Logiciels développés par l'Enseignement Supérieur et la Recherche en modélisation

Cette liste présente les logiciels développés dans un laboratoire ou une université et indexés avec le mot-clé 'modélisation'.

Logiciel Description Fonctionnalités Origine (laboratoire/service)
TimeSquare

simulation de temps logique et physique en CCSL (Clock Constraint Specification Language)

modélisation, visualisation INRIA Sophia
Séparation de signaux

génération et séparation de signaux numériques

modélisation, traitement de données LIGM
R2STATS

interface graphique sous R pour tester et comparer des GLM(M)

modélisation, statistiques Univ Rennes 2
HEALPix

analyse de données, simulation et visualisation sur la sphère

modélisation, statistiques, traitement de données, visualisation APC, IAP, IRAP, Labo à l'étranger
massXpert

simulation de données de biochimie et de spectrométrie de masse

modélisation, traitement de données Régulations et dynamique des génomes
PLAS3D-COQUE

formulation d'éléments finis non-linéaires avec contact et frottement

modélisation LaMCoS
Icasoft

détermination de champs de déplacements plans par corrélation d'images numériques

modélisation, visualisation LaMCoS
MatGeom

bibliothèque de calcul géométrique en 2D et 3D sous Matlab

modélisation, traitement d'images GMPA
Mefisto

résolution de problèmes physiques par la méthode des éléments finis

modélisation LJLL
MULTIGRILLE HETEROGENE

calcul des contraintes dans un milieu hétérogène

modélisation LaMCoS
CONTACT

programme 3D de résolution du contact en milieu d'épaisseur finie

modélisation LaMCoS
AMORC

prédiction amorçage fissures de fatigue

modélisation LaMCoS
CRACK

calcul des facteurs d'intensité de contrainte kI, kII en tête de fissure

modélisation LaMCoS
PROPA

directions de propagation de fissures de fatigue sous chargement non proportionel

modélisation LaMCoS
Neper

génération et maillage de microstructures polycristallines aléatoires

modélisation LGF
Stanlax

calcul de structures par éléments finis

modélisation LaMCoS
DRY2d

calcul de solution d'un contact sec de géométrie quelconque à 2D

modélisation LaMCoS
STRESS3d

calcul des contraintes dans un massif semi-infini 3D

modélisation LaMCoS
MGdemo

vitesse de convergence des méthodes multigrille

modélisation LaMCoS
MG2d

initiation aux techniques multigrilles 2D

modélisation LaMCoS
EHL2dt

calcul de solution de problèmes transitoires EHL en 2D

modélisation LaMCoS
Celine

prédiction de l’épaisseur de film compressible, géométrie de contact généralisée

modélisation, traitement de données LaMCoS
Dycal-Came

lubrification des cames (moteur à combustion, véhicule de tourisme et F1)

modélisation LaMCoS
Atlas sémantique

modélisation en sémantique lexicale

base de données, modélisation, traduction L2C2
PRINCE

comportement quasi-statique des engrenages cylindriques en métal

modélisation LaMCoS
ROUVIS

comportement quasi-statique des engrenages roue et vis

modélisation LaMCoS
KREPI

comportement quasi-statique des engrenages pignon-crémaillère

modélisation LaMCoS
GANDALF

comportement quasi-statique des engrenages faces en métal

modélisation LaMCoS
FullSWOF_2D

simulation 2D en hydrologie

modélisation BRGM, MAPMO
Seal

simulation du contact entre un joint d'étanchéité et une chemise

modélisation LaMCoS
HydForm

calcul des simulations de formage hydrodynamique

modélisation LaMCoS
BBearing

calcul des caractéristiques statiques et dynamiques de paliers et butées hydrodynamiques

modélisation LaMCoS
ASLAN

comportement quasi-statique des engrenages spiro-coniques en métal

modélisation LaMCoS
PRINCE POLYMERE

comportement quasi-statique des engrenages cylindriques en matière plastique

modélisation LaMCoS, MATEIS
JAMES

comportement dynamique d’ensemble de direction automobile

modélisation LaMCoS
ELFE_3D

éléments finis étendus, simulation des phénomènes de fissuration

modélisation LaMCoS
RenDateModel

datation, calibration, modélisation chronologique

modélisation IRAMAT
Okada

déformations élastiques dues à une source finie rectangulaire [Okada, 1985]

modélisation IPGP
BioRica

décrire et simuler les systèmes multi-modèles en biologie

modélisation INRIA Bordeaux, LABRI
pDynamo

modélisation moléculaire et simulation des protéines

modélisation IBS
TORSION

prévision du comportement dynamique des rotors en torsion

modélisation LaMCoS
MULTIROTOR

prévision du comportement dynamique des multirotors

modélisation LaMCoS
ROTORINSA

prévision du comportement dynamique des rotors en flexion

modélisation LaMCoS
MIC2M

modélisation et identification du comportement mécanique non linéaire des matériaux

modélisation FEMTO-ST
Gabedit

interface graphique pour différentes applications de chimie computationnelle

modélisation, visualisation LASIM
Muses3D

simulation de la dynamique de brouillards de gouttes polydispersées

modélisation EM2C
Free-D

reconstruction, visualisation et analyse de modèles 3D générés à partir d'images 2D ou 3D (biologie)

modélisation, traitement d'images Autre
VLE

Virtual Laboratory Environment - plate-forme de multi-modélisation et de simulation

environnement logiciel, modélisation LIL, UBIA
Tina

édition et analyse de réseaux de Petri et de réseaux temporels

modélisation LAAS
GMTE

moteur de matching et transformation de graphes

modélisation LAAS
OASIS

logiciel de couplage de codes géophysiques

modélisation CERFACS
CASSIS

analyse et traitement de données astrophysiques

base de données, modélisation, traitement de données, visualisation IRAP
SHTns

transformée en harmoniques sphériques, performante et flexible

modélisation Autre
SWUMM

résolution des équations de Saint-Venant à l'aide d'une méthode de volumes finis multiniveaux

modélisation Labo Maths Orsay
NAUtil

von Neumann Analysis Utilities

modélisation LJK
GAGG

algorithme (codé en R) qui permet le clustering de gènes

modélisation, statistiques, traitement de données IGF
Manlab

continuation interactive et analyse de bifurcation de problèmes non-linéaires

modélisation LMA Marseille
ChemAzTech

logiciel de type chimiothèque

base de données, dessin, gestion de contenu, modélisation, visualisation IBMM
Stochastic Downscaling Method

méthode stochastique pour le raffinement d’échelle en mécanique des fluides

modélisation INRIA, INRIA Grenoble, INRIA Sophia, LJK
MiGAL

simulation de l'effet Leidenfrost

modélisation LJK
BOMBEC

simulation du couplage fluide-structure en coordonnées eulériennes

modélisation LJK, SPECTRO
FLEXIBLE

déformation et changement de conformation biomolécules par excitations externes (Modes Statiques)

modélisation LAAS
OXCAD

simulation multi-échelle de l’oxydation du silicium : surface, multicouches et mésoscopique

modélisation DAM, LAAS
VIBRATOM

dynamique vibrationnelle des systèmes désordonnés. Simulation des spectres IR et Raman

modélisation LAAS
HIKAD

simulation à l’échelle atomique du dépôt des matériaux fortes permittivités par le procédé ALD

modélisation DAM, LAAS
SPARCC

croissance hétéroépitaxiale des semiconducteurs avec caractérisation in situ RHEED et photoémission

modélisation LAAS
Monolix

analyse de modèle non-linéaire à effets mixtes

modélisation, statistiques INRIA Saclay, Labo Maths Orsay, NeuroSpin
Ariane

analyse lagrangienne de la dynamique de modèles numériques de circulation océanique

modélisation LPO
COMAPI

simulation numérique des phénomènes couplés magnétique - électrique - mécanique

modélisation LGEP
MARS

outil pour l'évaluation du vieillissement et de l'efficacité de la maintenance

modélisation, statistiques, traitement de données EDF R&D, LJK
Causalito

génération automatique de graphe causal pour les systèmes à modes de fonctionnement multiples

modélisation LAAS
elle

simulation numérique de l’évolution microstructal des roches

modélisation LMTG
NEMO

plateforme de modélisation de l'océan (dynamique, glace de mer, biogéochimie marine)

modélisation, surveillance LOCEAN
Chemotaxis

approximation de modèles EDP (parabolique, hyperbolique et cinétique)

modélisation ICJ
FEEL++

Finite Element Embedded Library in C++

biblio. informatique, modélisation LJK
EM-SWELL

bibliothèque de codes pour la simulation des phénomènes de propagation d'ondes électromagnétiques

modélisation LGEP
SIMAP

plateforme logicielle de conception de Machines Synchrones à Aimants Permanent

modélisation LGEP
OpenFLUID

Plate-forme de modélisation du fonctionnement intégré du paysage

environnement logiciel, modélisation LISAH
pMRILab

toolbox Matlab pour la reconstruction d'images pour l'Imagerie par Résonance Magnétique parallèle

modélisation, traitement d'images, visualisation LIGM, NeuroSpin
Explo 2D

résolution du problème de l’explosion thermique dans des fluides

modélisation ICJ
DOLMEN

outil de simulation numérique 3D pour le contrôle non destructif par courants de Foucault

modélisation LGEP
DomainFinder

détermination et caractérisation des domaines dynamiques dans les protéines

modélisation CBM
Molecular Modelling Toolkit

bibliothèque de simulation moléculaire

biblio. informatique, modélisation CBM
RTSS

simulateur de système temps réel

modélisation LIGM
Saburo

environnement de développement de serveurs Internet

environnement logiciel, modélisation LIGM