Auswahl der wissenschaftlichen Literatur zum Thema „Calcul des métriques“

La dynamique de la végétation des secteurs phytogéographiques est un paramètre clé pour la gestion durable des ressources végétales au Burkina Faso. Cette étude vise à mettre en évidence les changements affectant la productivité de la végétation au Burkina Faso sur la période 1999-2019. Les métriques de la phénologie de la végétation dont la valeur du maximum (Vmx) et la valeur moyenne (Vav) ont été extraites sur une série temporelle d’images FAPAR pour le calcul des variables statistiques. Les variables statistiques utilisées pour l’appréciation globale du changement de la production de la végétation sont le coefficient de variation, la pente des droites de tendance et l’anomalie standardisée (Z-score). Les résultats indiquent que de forts gains de la productivité de la végétation ont été observés dans le domaine sahélien et le secteur nord-soudanien. Cela est lié à l’expansion des zones de cultures et à une faible persistance des années de déficit de la production végétale sur la période de la nouvelle normale de précipitation (1991-2020). Cependant, le secteur sud-soudanien marqué par des formations ligneuses abondantes a enregistré de faibles gains de la production de la végétation. La cartographie utilisant les métriques du maximum et de la moyenne donne une tendance globale, mais ne fournit pas assez de détail sur le changement affectant les différentes bandes de végétation. Une combinaison des métriques phénologiques de la végétation au moyen de modèle construit sur la base de biomasse végétale collectée sur le terrain pourrait améliorer ces résultats de la cartographie de zones de changement des secteurs phytogéographiques.

Sur la côte orientale de la baie d'Hudson, dans la région située entre Poste-de-la-Baleine et le golfe de Richmond, les dernières glaces wisconsiniennes se sont écoulées vers l'ouest; la déglaciation s'effectuant entre 8.100 ans 14C BP (Poste-de-la-Baleine) et 7,600 ans 14C BP (golfe de Richmond). L'altitude maximale atteinte par la mer postglaciaire de Tyrrell s'élève vers le sud-sud-ouest, passant de 230 m au nord du golfe de Richmond à 315 m à l'extrémité nord du détroit des Manitounuk. Au golfe de Richmond, 185 plages soulevées marquent l'émersion des terres depuis la déglaciation. On a pu mettre en évidence une périodicité de 45 ans dans leur construction. Les corrélations entre les années 14C et les années sidérales indiquent des variations du 14C atmosphérique semblables à celles mises en évidence par Suess (1970). La courbe d'émersion des terres, établie à partir des plages soulevées, dénote un relèvement isostatique composite. Le socle d'abord infléchi vers le sud-sud-ouest obéit à la disparition du centre de radiation glaciaire pléni-wisconsinien (allégement du sud-est de la baie d'Hudson), puis à celle du centre de radiation plus récent du Nouveau-Québec. Le relèvement glacio-isostatique décroît de 6,5 cm/an vers 6.000 ans 14C BP à 1,1 cm/an aujourd'hui. Une remontée eustatique de l'ordre de 20 m se produit entre la déglaciation et 6.000 ans 14C BP, où le niveau marin paraît identique à celui d'aujourd'hui. Le calcul des taux de variations eustatiques met en évidence des oscillations métriques du niveau de la mer, correspondant aux événements climatiques connus pendant cette période de l'Holocène.

Description du sujet. Les agroforêts à cacaoyer sont d’une grande importance économique, écologique et sociale. Le choix des essences forestières à associer aux cacaoyers dépend de leurs usages suivant les groupes ethnoculturels et de leur contribution dans la diversification des sources de revenus des populations locales. Objectifs. L’objectif de cette étude est d’analyser les perceptions locales des agriculteurs sur les services écosystémiques des agroforêts à base de cacaoyer. Méthode. Des enquêtes ethnobotaniques ont été menées auprès des cacaoculteurs dans l’aire géographique de production de cacao au Togo. Elles ont été couplées à des observations directes dans des parcelles de cacaoyers. L’étude a touché 702 cacaoculteurs répartis dans 50 cantons couvrant neuf préfectures. Les analyses statistiques ont consisté en des calculs de fréquences, de pourcentages et de moyennes, en plus de tests statistiques et d’une ordination non métrique des espèces selon les groupes ethnoculturels. Résultats. Les groupes ethnoculturels autochtones et allochtones ont cité 174 espèces associées aux cacaoyers. Ces espèces fournissent 18 services aux cacaoculteurs intérrogés. Les trois principaux critères de choix considérés pour maintenir une espèce ligneuse dans une agroforêt à cacaoyer sont l’ombrage offert aux cacaoyers (98,14 %), la contribution à la sécurité alimentaire et nutritionnelle des ménages (92,43 %), la diversification des sources de revenu du ménage (78,71 %). La diversité des espèces associées varie suivant les groupes ethnoculturels et suivant les caractéristiques socioéconomiques. Conclusions. Cette étude offre, aux instituts de vulgarisation et de recherche dans la cacaoculture, une évaluation de la diversité d’essences forestières dont il convient de maîtriser les techniques de culture pour aider les cacaoculteurs à rendre leurs productions plus durable au Togo. L’adoption de bonnes pratiques et des technologies durables pour accroitre la résilience des systèmes de production des cacaoculteurs nécessite des considérations particulières basées sur les perceptions des communautés locales.

The objective of the present study is to analyze four metric qualities of an assessment grid for internship placements used by professionals to evaluate a sample of 110 Franco-Ontarian student interns registered between 2006 and 2009 at Laurentian University in the School of Human Kinetics. The evaluation grid was composed of 26 criteria. The four metric qualities that were analyzed were: the degree of difficulty, the degree of discrimination, the internal consistency, and the concurrent validity. Each intern’s performance was assessed by three individuals: the professional supervisor, the intern (self-assessment) and the university professor who coordinates the internship placement. The analysis of the three assessments based on the Education Testing Service Method indicates that the assessment of the professional supervisors and intern self-assessment are too high (difficulty index, pi = 20) and produced a discrimination power of zero between the interns (discrimination index, Di = 0). The analysis of the internal consistency of the criteria indicates that a number are too highly interrelated (Cronbach’s alpha = 0.97) and that ten criteria can be removed from the evaluation grid, as they are redundant. Concurrent validity, determined by calculating three correlations between the three dimensions of the evaluation grid (before, during, and after the teaching session) and the overall rating of the intern, was demonstrated insofar as the lowest correlation between the assessment of the intern’s performance and the measurement criterion (overall rating of the intern’s performance) was significant (r (106) = .76, p < .001). L'objectif de la présente étude est d'analyser quatre qualités métriques de l'évaluation d’un échantillon de 110 étudiants stagiaires franco-ontariens inscrits entre 2006 et 2009 à l'Université Laurentienne à l'École des sciences de l'activité physique. La grille d'évaluation était composée de 26 critères. Les quatre qualités métriques sont: le degré de difficulté, le degré de discrimination, la consistance interne et la validité concomitante des critères. Les stages ont été évalués par trois personnes: le superviseur de stage, le stagiaire (auto-évaluation) et le professeur d'université qui coordonne le stage. L'analyse des items selon la méthode ETS (Educational testing service) indique que les évaluations des superviseurs de stage et l’auto-évaluation des stagiaires sont trop élevées (indice de difficulté, pi = 20) et ne sont pas discriminantes (indice de discrimination Di = 0). L'analyse de la consistance interne des critères indique qu'un certain nombre sont trop fortement corrélées entre eux (coefficient alpha de Cronbach = 0,97) et que dix critères peuvent être retirés de la grille d'évaluation car ils sont redondants. La validité concomitante, déterminée par le calcul de trois corrélations entre les trois dimensions de la grille d'évaluation (avant, pendant, et après la session d'enseignement) et la note globale du stagiaire, a été démontrée dans la mesure où la plus faible corrélation entre l'évaluation de la performance du stagiaire et le critère de mesure (note globale de la performance du stagiaire) était significative (r (106) = .76, p < .001).

Le but de cette these est de presenter des modeles d'evolution de domaines dont le comportement de type differentiel depend de la forme globale de la zone etudiee, comme, par exemple, les incendies, les epidemies. Le cadre de travail est donc les parties de r n. Nous nous sommes alors interesses au calcul differentiel dans les espaces metriques via le calcul mutationnel. Apres avoir introduit le concept d'equation mutationnelle a retard, nous avons obtenu des resultats d'existence, d'unicite et de stabilite de solutions de telles equations. L'introduction d'une nouvelle notion d'ensemble tangent a ete necessaire pour donner des conditions assurant l'existence de solutions viables. Enfin, une etude sur la regularite metrique a ete menee. A titre d'exemple, la theorie du calcul mutationnel a ete illustree dans le cas des parties de r n. Nous nous sommes ensuite interesses aux operations sur les parties de r n. Nous avons introduit une nouvelle difference ensembliste, munie d'un parametre, qui permet de retrouver la difference au sens classique, ainsi que la difference de minkowski. Des proprietes de cette difference ont ete etablies et, en particulier, un resultat de continuite par rapport aux operandes et au parametre. Le cas de la difference de minkowski a ete traite separement dans le cadre general des parties convexes d'un espace vectoriel norme de dimension quelconque. Le resultat majeur de cette etude est que l'application qui, a deux ensembles, associe leur difference de minkowski est localement lipschitzienne, dans les cas borne et non borne. Les outils mathematiques necessaires a notre etude mis en place, il nous a ete possible de presenter des modeles d'evolution de domaines, en utilisant comme champs d'evolution les operations decrites auparavant et en en donnant une interpretation biologique. Se basant sur une etude numerique de la difference de minkowski, nous avons pu representer numeriquement un modele dont le champ d'evolution utilise cette difference.

Cette thèse est consacrée essentiellement à l'étude des métriques sous-riemanniennes dites de contact en dimension 3. Bien que cette étude soit faite localement, on observe des différences fondamentales avec les métriques riemanniennes. En particulier, les lieux conjugue et cut d'un point p contiennent p dans leur adhérence. Ce travail se divise en deux parties : 1. On montre, dans un premier temps, qu'on peut associer à toute métrique sous-riemannienne de contact formelle une forme normale formelle. Ensuite, dans un deuxième temps, on montre que cette forme normale est actuellement lisse (i. E. C, c) si la métrique l'est. Aussi, cette forme normale permet de définir des invariants associés aux métriques sous-riemanniennes de contact. 2. A l'aide de cette forme normale on prouve que l'application exponentielle d'une métrique sous-riemannienne de contact générique est déterminée par un certain jet fini de la métrique. Et on en déduit une classification générique de ces singularités (i. E. Lieux conjugués).

L'objectif de la recherche est d'avancer dans la connaissance des effets liés à la dissipation et d'établir des modèles afin de prévoir le comportement dynamique de systèmes dissipatifs. Le mémoire se compose de deux parties. Partie I. Opérateur hystérésis : Un modèle opérateur d'hystérésis original est présenté. Il peut notamment s'appliquer aux boucles force-déflexion de tout système mécanique. Tout d'abord est présentée une généralité sur les modélisations des amortissements visqueux et sec générés qui peuvent être internes ou externes à la structure. Les modèles d'hystérésis existants sont présentés. Par la suite est proposé le modèle opérateur d'hystérésis original avec son fondement mathématique et ses applications. Enfin la prévision des réponses harmoniques et transitoires d'une structure sur deux types de plots amortisseurs avec le modèle proposé. Partie IL Phénomènes métriques : Ici il est montré que de l'amortissement peut intervenir quand le mouvement déforme le système de coordonnées utilisées. Puis en utilisant le concept de la relativité restreinte est modélisé l'effet dissipatif induit par une excitation de fréquence variable. L'idée fondamentale est que chaque système a son propre temps qui dépend d'événements externes. Pour cela un axe supplémentaire représentant la fréquence d'excitation est pris en considération. Ensuite il s'agit d'évaluer l'amortissement dû à un phénomène transitoire en utilisant la géométrie des espaces de Riemann où la métrique ne dépend que des coordonnées de l'espace. La démarche s'appuie sur les concepts de la relativité générale. La solution au problème variationnel de la métrique donne les équations des géodésiques pour le système étudié. Les applications concernent la réponse forcée de 3 types de systèmes mécaniques. Elles permettent la validation expérimentale des modèles proposés
The objective of the research is to improve the knowledge of dissipative effects and to establish models for predicting the dynamic behavior of mechanical Systems equipped with localized non-linearities or subjected to variable forcing frequency. The manuscript contains two parts. Part I. Hysteresis operator : An original hysteresis operator is proposed. It is employed for modelling localized non-linearities and in particular the load deflection loop of mounts used in vibration isolation. First, an overview on viscous and dry friction models and on existing hysteresis operator models is perfomed. Then, the proposed model is described in details, a particular attention is paid on its mathematical formulation. The applications concern an elastomer and a dry friction mounts. Finally the measured harmony and transient responses of a flexible structure equipped with such mounts permit the validation of the proposed model. Part II. Metric phenomenon : It is shown that a variable forcing frequency applied to a mechanical System creates a damping effect. Broadly speaking, the parameters of the equations of the motion are modified when the motion deforms the reference frame. First, using the concept of the special relativity and an additional axis representing the forcing frequency, it is shown that each degree of freedom of a mechanical System has its proper time. The metric is experimentally identified. The application concerns a one-degree of freedom System subjected to variable harmony excitation. The model is experimentally validated. Then, the concept of the general relativity is used for avoiding the experimental identification of the metric, which depends on the co-ordinates of the Riemannian space. The solution of the variational problem of the metric gives the equations of the geodesy, which are the equations of the motion. The proposed method is experimentally validated using three different mechanical Systems (one-DOF, multi-DOF and continuous Systems)

L'espace de Wasserstein est l'ensemble des mesures de probabilité définies sur un domaine fixé et muni de la distance de Wasserstein quadratique. Dans ce travail, nous étudions des problèmes variationnels dans lesquels les inconnues sont des applications à valeurs dans l'espace de Wasserstein.Quand l'espace de départ est un segment, c'est-à-dire quand les inconnues sont des courbes à valeurs dans l'espace de Wasserstein, nous nous intéressons à des modèles où, en plus de l'action des courbes, des termes pénalisant les configurations de congestion sont présents. Nous développons des techniques permettant d'extraire de la régularité à partir de l'interaction entre l'évolution optimale de la densité (minimisation de l'action) et la pénalisation de la congestion, et nous les appliquons à l'étude des jeux à champ moyen et de la formulation variationelle des équations d'Euler.Quand l'espace de départ n'est plus seulement un segment mais un domaine de l'espace euclidien, nous considérons seulement le problème de Dirichlet, c'est-à-dire la minimisation de l'action (qui peut être appelée l'énergie de Dirichlet) parmi toutes les applications dont les valeurs sur le bord du domaine de départ sont fixées. Les solutions sont appelées les applications harmoniques à valeurs dans l'espace de Wasserstein. Nous montrons que les différentes définitions de l'énergie de Dirichlet présentes dans la littérature sont en fait équivalentes; que le problème de Dirichlet est bien posé sous des hypothèses assez faibles; que le principe de superposition est mis en échec lorsque l'espace de départ n'est pas un segment; que l'on peut formuler une sorte de principe du maximum; et nous proposons une méthode numérique pour calculer ces applications harmoniques
The Wasserstein space is the space of probability measures over a given domain endowed with the quadratic Wasserstein distance. In this work, we study variational problems where the unknowns are mappings valued in the Wasserstein space. When the source space is a segment, i.e. when the unknowns are curves valued in the Wasserstein space, we are interested in models where, in addition to the action of the curves, there are some terms which penalize congested configurations. We develop techniques to extract regularity from the minimizers thanks to the interplay between optimal density evolution (minimization of the action) and penalization of congestion, and we apply them to the study of Mean Field Games and the variational formulation of the Euler equations. When the source space is no longer a segment but a domain of a Euclidean space, we consider only the Dirichlet problem, i.e. the minimization of the action (which can be called the Dirichlet energy) among mappings sharing a fixed value on the boundary of the source space. The solutions are called harmonic mappings valued in the Wasserstein space. We prove that the different definitions of the Dirichlet energy in the literature turn out to be equivalent; that the Dirichlet problem is well-posed under mild assumptions; that the superposition principle fails if the source space is no longer a segment; that a sort of maximum principle holds; and we provide a numerical method to compute these harmonic mappings

On appelle résilient un système capable de conserver ses propriétés de sûreté de fonctionnement en dépit des changements (nouvelles menaces, mise-à-jour,…). Les évolutions rapides des systèmes, y compris des systèmes embarqués, implique des modifications des applications et des configurations des systèmes, en particulier au niveau logiciel. De tels changements peuvent avoir un impact sur la sûreté de fonctionnement et plus précisément sur les hypothèses des mécanismes de tolérance aux fautes. Un système est donc résilient si de pareils changements n’invalident pas les mécanismes de sûreté de fonctionnement, c’est-à-dire, si les mécanismes déjà en place restent cohérents malgré les changements ou dont les incohérences peuvent être rapidement résolues. Nous proposons tout d’abord dans cette thèse un modèle pour les systèmes résilients. Grâce à ce modèle nous pourrons évaluer les capacités d’un ensemble de mécanismes de tolérance aux fautes à assurer les propriétés de sûreté issues des spécifications non fonctionnelles. Cette modélisation nous permettra également de définir un ensemble de mesures afin de quantifier la résilience d’un système. Enfin nous discuterons dans le dernier chapitre de la possibilité d’inclure la résilience comme un des objectifs du processus de développement

Cette thèse est dédiée à l'étude des problèmes de transport optimal, alternatifs au problème de Monge-Kantorovich : ils apparaissent naturellement dans des applications pratiques, telles que la conception des réseaux de transport optimal ou la modélisation des problèmes de circulation urbaine. En particulier, nous considérons des problèmes où le coût du transport a une dèpendance non linèaire de la masse : typiquement dans ce type de problèmes, le côut pour déplacer une masse $m$ pour une longueur $\ell$ est $\varphi(m)\, \ell$, où $\varphi$ est une fonction assignée, obtenant ainsi un coût total de type $\sum\varphi(m) \ell$. \par Deux cas importants sont abordés en détail dans ce travail : le cas où la fonction $\varphi$ est subadditive (transport branché), de sorte que la masse a intérêt à voyager ensemble, de manière à réduire le coût total; le cas où $\varphi$ est superadditive (transport congestionné), où au contraire, la masse tend à diffuser autant que possible. \par Dans le cas du transport branché, nous introduisons deux nouveaux modèles: dans le premièr, le transport est décrit par des courbes de mesures de probabilité que minimisent une fonctionnelle de type géodésique (avec un coefficient que pénalise le mesures qui ne sont pas atomiques). Le second est plus dans l'esprit de la formulation de Benamou et Brenier pour les distances de Wasserstein : en particulier, le transport est décrit par paires de ``courbe de mesures--champ de vitesse'', liées par l'équation de continuité, qui minimisent une énergie adéquate (non convexe). Pour les deux modèles, on démontre l'existence de configurations minimales et l'équivalence avec d'autres formulations existantes dans la littèrature. \par En ce qui concerne le cas du transport congestionné, nous passons en revue deux modèles déjà existants, afin de prouver leur équivalence: alors que le premier de ces modèles peut être considéré comme une approche Lagrangienne du problème et il a des liens intéressants avec des questions d'équilibre pour la circulation urbaine, le second est un problème d'optimisation convexe avec contraintes de divergence. \par La preuve de l'équivalence entre les deux modèles constitue le corps principal de la deuxième partie de cette thèse et contient différents éléments d'intérêt, y compris: la théorie des flots des champs de vecteurs peu réguliers (DiPerna-Lions), la construction de Dacorogna et Moser pour les applications de transport et en particulier les résultats de régularité (que nous prouvons ici) pour une équation elliptique très dégénérés, qui ne semble pas avoir été beaucoup étudiée.

Nous étendons la théorie des espaces de tentes, définis classiquement sur R^n, à différents espaces métriques. Pour les espaces doublant nous montrons que la théorie usuelle «globale» reste valide, et pour les espaces «non-uniformément localement doublant» (y compris R^n avec la mesure gaussienne) nous établissons une théorie locale satisfaisante. Dans le contexte doublant nous prouvons des résultats de plongement du type Hardy–Littlewood–Sobolev pour des espaces de tentes a poids, et dans le cas particulier des espaces métriques non-bornes AD-réguliers nous identifions les espaces d’interpolation réelle (les «espaces-Z») des espaces de tentes a poids. Les espaces de tentes a poids et les espaces-Z sur R^n sont ensuite utilises pour construire les espaces de Hardy–Sobolev et de Besov adaptes a des opérateurs de Dirac perturbes. Ces espaces jouent un rôle clé dans la classification des solutions de systèmes du premier ordre de type Cauchy–Riemann (ou de manière équivalente, la classification des gradients conormaux des solutions de systèmes elliptiques de second ordre) dans les espaces de tentes à poids et les espaces-Z. Nous établissons cette classification, et en corollaire nous obtenons une classification utile des cas ou les problèmes de Neumann et de Régularité; sont bien poses, pour des systèmes elliptiques de second ordre avec coefficients complexes et données dans les espaces de Hardy–Sobolev et de Besov d’ordre s en (-1,0)
We extend the theory of tent spaces from Euclidean spaces to various types of metric measure spaces. For doubling spaces we show that the usual `global' theory remains valid, and for `non-uniformly locally doubling' spaces (including R^n with the Gaussian measure) we establish a satisfactory local theory. In the doubling context we show that Hardy–Littlewood–Sobolev-type embeddings hold in the scale of weighted tent spaces, and in the special case of unbounded AD-regular metric measure spaces we identify the real interpolants (the `Z-spaces') of weighted tent spaces.Weighted tent spaces and Z-spaces on R^n are used to construct Hardy–Sobolev and Besov spaces adapted to perturbed Dirac operators. These spaces play a key role in the classification of solutions to first-order Cauchy–Riemann systems (or equivalently, the classification of conormal gradients of solutions to second-order elliptic systems) within weighted tent spaces and Z-spaces. We establish this classification, and as a corollary we obtain a useful characterisation of well-posedness of Regularity and Neumann problems for second-order complex-coefficient elliptic systems with boundary data in Hardy--Sobolev and Besov spaces of order s in (-1,0)

Dans ce travail, on étudie la projection métrique (la solution optimale de la fonction distance) dans les espaces de Banach. On énonce une caractérisation de la projection grâce aux propriétés du semi-produit scalaire et de l'application de dualité. On précise les relations, entre la projection et les sous-différentiels généralises de la fonction distance (à un ferme), via un procédé de régularisation (utile pour le traitement d'image) et une notion généralisée de sous-gradient métrique. Des résultats d'existence de meilleure approximation sont obtenus sous des hypothèses de régularité. Enfin, la continuité uniforme et la dérivabilité directionnelle de la projection sont étudiés. Plusieurs applications sont présentées, telles que les treillis de Banach et les inéquations variationnelles.

La théorie des pavages apériodiques a connu des développements rapides depuis les années 1980, avec la découvertes d'alliages métalliques cristallisant dans une structure quasi-périodique.Dans cette thèse, on étudie particulièrement deux méthodes de construction de pavages : par coupe et projection, et par substitution. Deux angles d'approche sont développés : l'étude de la fonction de complexité, et l'étude métrique de l'espace de pavages.Dans une première partie, on calcule l'asymptotique de la fonction de complexité pour des pavages coupe et projection, généralisant ainsi des résultats connus en dynamiques symbolique pour la dimension 1. On montre que pour un pavage coupe et projection canonique N sur d sans période, la complexité croît (à des constantes près) comme n à la puissance a, où a est un entier compris entre d et N-d.Ensuite, on se base sur une construction de Pearson et Bellissard qui construisent un triplet spectral sur les ensembles de Cantor ultramétriques. On suit leur construction dans le cas d'ensembles de Cantor auto-similaires. Elle s'applique en particulier aux transversales d'espaces de pavages de substitution.Enfin, on fait le lien entre la distance usuelle sur l'enveloppe d'un pavage et la complexité de ce pavage. Les liens entre complexité et métrique permettent de donner une preuve directe du fait suivant : la complexité des pavages de substitution apériodiques de dimension d croît comme n à la puissance d.La question de liens entre la complexité et la topologie (et pas seulement avec la distance) reste ouverte. Nous apportons cependant des réponses partielles dans cette direction.

Le but est de développer d'un cadriciel permettant de définir les transformations de code source que nous jugeons judicieuses et sur la base de métriques dynamiques.Ce cadriciel sera ensuite intégré à la suite d'outil MAQAO, développée à l'UVSQ/ECR.Nous présentons des transformations source-à-source automatique guidées par l'utilisateur ansi que par les métriques dynamiques qui proviennent des différents outils d'analyse de MAQAO, afin de pouvoir travailler à la fois sur des objets sources et binaires.Ce cadriciel peut aussi servir de pré-processeur pour simplifier le développement en permettant d'effectuer certaines transformations simples mais chronophage et sources d'erreurs (i.e.: spécialisation de boucle ou fonction)
Our goal is to develop a framework allowing the definition of source code transformations based on dynamic metrics.This framework be integrated to the MAQAO tool suite developed at the UVSQ / ECR.We present a set of source-to-source transformations guidable by the end user and by the dynamic metrics coming from the various MAQAO tools in order to work at source and binary levels.This framework can also be used as a pre-processor to simplify the development by enabling to perform cleanly and automatically some simple but time-consuming and error-prone transformations (i.e .: loop/function specialization, ...)