Logiciels

Déformation avec plasticité et auto-contact d'une pompe sous efforts externes

Bibliothèque pour les Discontinuous Skeletal Methods comme Galerkin discontinu (dG) ou hybrid-high order (HHO) par Matteo Cicuttin.

Méthode multigrille piloté par des estimateurs d’erreur algèbrique a posteriori, p-robuste par Jan Papež et Ani Miraçi.

Tutoriel a posteriori et scripts. Paquet a posteriori (par Zuqi Tang). Pour contrôle d’erreur et adaptivité.

PyNKRT est un code de transport réactif utilisant la méthode de Newton-Krylov pour coupler la chimie et le transport. Il est construit sur ComPASS pour le transport.

MODFRAC est un logiciel C/POSIX-threads/OpenMP pour la génération de maillages de réseaux de fractures (Discrete Fracture Networks, DFN).

NEF++ est un logiciel C++ qui permet de simuler les écoulements dans les roches fracturées à l’aide des méthodes hybrides d’ordre élevé (HHO). 

Paracirce est une bibliothèque parallèle C++17/MPI/OpenMP pour la génération de champs aléatoires gaussiens. L’algorithme est basé sur la méthode de Circulant Embedding.

SBM a est un ensemble d’outils en C visant à réaliser des tests de référence pour les algorithmes de diffusion dans des milieux discontinus unidimensionnels.

pruners est un langage dédié pour faciliter les études paramétriques.

Développements formels et preuves en Coq pour des problèmes d’analyse numérique. L’objectif actuel à long terme est de prouver formellement des parties d’une bibliothèque C++ mettant en œuvre la méthode des éléments finis.

Plateforme pour estimation de paramètres adaptive basée sur des indicateurs de raffinement(OCaml)

  • Sklml

    A functional parallel skeleton compiler and programming system for OCaml programs easy coarse grain parallelization (OCaml).

  • Skwer

    A state-oriented simulator for differential equations, possibly including conditionals and « idealized behaviors » resulting from passing to the limit over some parameters. More details coming soon!

Les commentaires sont fermés.