Attributes | Values |
---|
type
| |
Thesis advisor
| |
Author
| |
alternative label
| - Arborescent data structures and lazy evaluation, a new approach for solving partial derivative equations
|
dc:subject
| - Matrices
- Calculs numériques
- Thèses et écrits académiques
- Équations aux dérivées partielles -- Solutions numériques
- Parallélisme (informatique)
- Programmation fonctionnelle (informatique)
- Itération (mathématiques)
- Grilles (analyse numérique)
- Hyperbole
- Algorithmes -- Évaluation
|
preferred label
| - Structures de données arborescentes et évaluation paresseuse, une nouvelle approche pour la résolution des équations aux dérivées partielles
|
Language
| |
Subject
| |
dc:title
| - Structures de données arborescentes et évaluation paresseuse, une nouvelle approche pour la résolution des équations aux dérivées partielles
|
Degree granting institution
| |
note
| - Cette thèse traite de la résolution de problèmes de calcul numérique suivant une approche fonctionnelle paresseuse, fondée sur des structures de données arborescentes ; il s'agit en fait d'obtenir des valeurs de champs solutions d'équations aux dérivées partielles. Nous nous situons dans le cadre du projet de recherche MaRS, de l'ONERA-CERT, qui consiste à développer un modèle de calcul parallèle dédié à l'exécution de logiciels fonctionnels paresseux. L'idée de départ consiste à remplacer les structures de données régulières utilisées en calcul numérique par des structures irrégullières, arborescentes. En conséquence, nous avons modélisé le domaine de calcul par une structure d'arbre, en faisant ressortir l'infinité et l'irrégularité de cette structure, ainsi que la sémantique qui lui est associée. Puis nous aons défini la notion de matrice arborescente, indépendante des notions de tableau et d'indice usuellemnt associées aux matrices. Résoudre le problème revient alors à inverser paresseusement une matricearborescente à l'aide de fonctions récursives. Les résultats ainsi obtenus montrent une très forte réduction du temps de calcul.
|
dc:type
| |
http://iflastandar...bd/elements/P1001
| |
rdaw:P10219
| |
has content type
| |
is primary topic
of | |
is rdam:P30135
of | |