Relevant bibliographies by topics / Calcul de dérivée de formes / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Calcul de dérivée de formes.

Dissertations / Theses on the topic 'Calcul de dérivée de formes'

Author: Grafiati
Published: 23 September 2022
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Calcul de dérivée de formes.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Sadik, Azeddine. "Étude théorique et approximation numérique d’une nouvelle formule de dérivée de forme et applications." Thesis, Nantes Université, 2022. http://www.theses.fr/2022NANU4027.

Full text
Abstract:
Dans cette thèse, nous nous intéressons à l’étude théorique et numérique d’une formule de calcul de la dérivée de forme utilisant une déformation de type Minkowski. Nous proposons une généralisation d’une formule de dérivation de fonctionnelles coûts intégrales volumiques par rapport à une famille de domaines non convexes. Nous commençons par proposer une première approche qui consiste à étendre les résultats des travaux antérieurs à une famille de domaines admissibles étoilés, en se basant sur leurs caractérisations via les fonctions jauges. Ensuite nous établissons un résultat d’existence de
APA, Harvard, Vancouver, ISO, and other styles
2

Briançon, Tanguy. "Problème de régularité en optimisation de formes." Rennes 1, 2002. http://www.theses.fr/2002REN10047.

Full text
Abstract:
Ce travail porte sur les problèmes de régularités en optimisation de forme. Précisément nous étudions la régularité d'un ouvert qui minimise l'énergie du problème de Dirichlet pour le Laplacien parmi tous les ouverts de mesure fixée inclus dans un grand ouvert (par exemple l'espace tout entier). La première étape consiste à regarder la régularité de la fonction d'état optimale: on montre que, là où elle garde un signe constant, elle est localement lipschitzienne. La deuxième étape consiste à étudier la régularité du bord de l'ouvert optimal. Si la fonction d'état est lipschitzienne, on montre
APA, Harvard, Vancouver, ISO, and other styles
3

Briançon, Tanguy. "Problemes de régularité en optimisation de formes." Phd thesis, Université Rennes 1, 2002. http://tel.archives-ouvertes.fr/tel-00002013.

Full text
Abstract:
Ce travail porte sur les problèmes de régularités en optimisation de forme. Précisément nous étudions la régularité d'un ouvert qui minimise l'énergie du problème de Dirichlet pour le Laplacien parmi tous les ouverts de mesure fixée inclus dans un grand ouvert (par exemple l'espace tout entier). La première étape consiste à regarder la régularité de la fonction d'état optimale (la solution du problème de Dirichlet sur l'ouvert minimal): on montre que, là où elle garde un signe constant, elle est localement lipschitzienne (dans tout l'espace et pas seulement dans l'ouvert optimal). La deuxième
APA, Harvard, Vancouver, ISO, and other styles
4

Szeftel, Jérémie. "Calcul pseudodifférentiel et paradifférentiel pour l'étude de conditions aux limites absorbantes et de propriétés qualitatives d'équations aux dérivées partielles non linéaires." Paris 13, 2004. http://www.theses.fr/2004PA132001.

Full text
Abstract:
Nous construisons dans ce travail des conditions aux limites absorbantes pour des équations aux dérivées partielles non linéaires. Il s'agit d'une méthode permettant d'approcher les solutions de telles équations posées sur des domaines non bornés. La pertinence de ce travail est justifiée en particulier par l'intérêt pratique de telles méthodes et par l'absence de résultat pour les problèmes non linéaires dans la littérature scientifique jusqu'à présent. Dans un premier temps, nous construisons des conditions aux limites absorbantes pour l'équation de Schrödinger. Puis nous abordons les problè
APA, Harvard, Vancouver, ISO, and other styles
5

Belhadef, Abdessamad. "Factorisation des polynômes à plusieurs variables." Littoral, 2007. http://www.theses.fr/2007DUNK0184.

Full text
Abstract:
Dans cette thèse, on développe une méthode permettant de factoriser les polynômes à plusieurs variables sur un corps quelconque. Dans un premier temps, on établit un lien entre la dimension d’un espace vectoriel de formes différentielles fermées et le nombre de facteurs absolument irréductibles d’un polynôme à deux variables. Ensuite, on généralise les résultats de Ruppert et de Gao qui caractérise le nombre de facteurs absolument irréductibles et qui teste l’irréductibilité absolue respectivement aux polynômes à plusieurs variables. Cette généralisation est basée sur l’utilisation d’un systèm
APA, Harvard, Vancouver, ISO, and other styles
6

Giacomini, Matteo. "Quantitative a posteriori error estimators in Finite Element-based shape optimization." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX070/document.

Full text
Abstract:
Les méthodes d’optimisation de forme basées sur le gradient reposent sur le calcul de la dérivée de forme. Dans beaucoup d’applications, la fonctionnelle coût dépend de la solution d’une EDP. Il s’en suit qu’elle ne peut être résolue exactement et que seule une approximation de celle-ci peut être calculée, par exemple par la méthode des éléments finis. Il en est de même pour la dérivée de forme. Ainsi, les méthodes de gradient en optimisation de forme - basées sur des approximations du gradient - ne garantissent pas a priori que la direction calculée à chaque itération soit effectivement une d
APA, Harvard, Vancouver, ISO, and other styles
7

Scotti, Simone. "Applications of the error theory using Dirichlet forms." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00349241.

Full text
Abstract:
This thesis is devoted to the study of the applications of the error theory using Dirichlet forms. Our work is split into three parts. The first one deals with the models described by stochastic differential equations. After a short technical chapter, an innovative model for order books is proposed. We assume that the bid-ask spread is not an imperfection, but an intrinsic property of exchange markets instead. The uncertainty is carried by the Brownian motion guiding the asset. We find that spread evolutions can be evaluated using closed formulae and we estimate the impact of the underlying un
APA, Harvard, Vancouver, ISO, and other styles
8

SHIH, JIRUNG-ALBERT. "Sur la saturation, la stabilité des systèmes d'équations aux dérivées partielles et le calcul formel." Paris 7, 1994. http://www.theses.fr/1994PA077091.

Full text
Abstract:
Le sujet de cette these est l'etude a l'aide du calcul formel du probleme de cauchy pour un systeme d'equations aux derivees partielles. Plus precisement, nous recherchons des conditions pour que des donnees de cauchy definies sur un hypersurface soient bien posees. Notre objectif est l'obtention d'un algorithme repondant a ce probleme de decision, puis construisant explicitement le developpement de taylor des solutions. Sur un systeme vu comme zero d'une fonction definie sur un espace de jet d'ehresmann, il est possible d'effectuer une operation de saturation. Nous demontrons qu'il y a un lie
APA, Harvard, Vancouver, ISO, and other styles
9

Bach, Samuel. "Formes quadratiques décalées et déformations." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS013/document.

Full text
Abstract:
La L-théorie classique d'un anneau commutatif est construite à partir des formes quadratiques sur cet anneau modulo une relation d'équivalence lagrangienne. Nous construisons la L-théorie dérivée, à partir des formes quadratiques $n$-décalées sur un anneau commutatif dérivé. Nous montrons que les formes $n$-décalées qui admettent un lagrangien possèdent une forme standard. Nous montrons des résultats de chirurgie pour la L-théorie dérivée, qui permettent de réduire une forme quadratique décalée en une forme plus simple équivalente. On compare la L-théorie dérivée avec la L-théorie classique.On
APA, Harvard, Vancouver, ISO, and other styles
10

Szulc, Katarzyna. "Quelques méthodes numériques en optimisation de formes." Thesis, Nancy 1, 2010. http://www.theses.fr/2010NAN10031/document.

Full text
Abstract:
La dérivée topologique évaluée pour une fonctionnelle d'énergie définie dans un domaine et dépendante d'une solution d'un problème aux limites, est l'outil principal de l'optimisation de formes. Elle représente le taux de variation de la fonctionnelle d'énergie quand le domaine est modifié par une création de trou. La forme de la dérivée topologique est fournie par une analyse asymptotique d'un problème aux dérivées partielles et d'une fonctionnelle d'énergie. La définition de la dérivée topologique a été introduite dans [4] et [5]. Quelques notions d'analyse asymptotique qui permetent d'évalu
APA, Harvard, Vancouver, ISO, and other styles
11

Le, Roux Nicolas. "Solutions formelles d'équations aux dérivées partielles." Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/08f78789-a341-49a2-8977-56724f3c63d0/blobholder:0/2006LIMO0058.pdf.

Full text
Abstract:
Dans ce travail, nous construisons des algorithmes de calcul de solutions formelles de systèmes d'équations aux dérivées partielles (EDP). La thèse se divise en deux parties. Dans une première partie, nous proposons une nouvelle méthode du type Newton pour le calcul en un point régulier des séries formelles solutions d'une famille de systèmes d'EDP non linéaires qui a été définie par F. Boulier et ses collaborateurs. Ces systèmes apparaissent dans les algorithmes d'élimination différentielle. Cette méthode de Newton est une alternative à la méthode par dérivation-évaluation de F. Boulier et se
APA, Harvard, Vancouver, ISO, and other styles
12

Doyen, Luc. "Évolution, contrôle et optimisation de formes." Paris 9, 1993. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1993PA090025.

Full text
Abstract:
L'élaboration d'un calcul différentiel dans l'espace des formes s'avère nécessaire dès lors que l'on souhaite optimiser des formes, contrôler et réguler l'évolution de domaines géométriques dépendant du temps. Malgré l'absence de structure linéaire, on peut adapter, à l'espace métrique des formes, des théorèmes tels que ceux de Filippov, des fonctions inverses sous contraintes ou encore la méthode de Lyapunov. Des applications au contrôle visuel en découlent
APA, Harvard, Vancouver, ISO, and other styles
13

Thevenon, Frédéric. "Application de la méthode des dérivées d'ordre élevé à la résolution de problèmes linéaires ou non linéaires." Toulouse, INSA, 2000. http://www.theses.fr/2000ISAT0046.

Full text
Abstract:
L'utilisation des dérivées d'ordre élevé dans le domaine de la simulation numérique est assez récente. En considérant comme variables les paramètres de définition du phénomène étudié, elles permettent par exemple de construire une fonction d'approximation autour de la solution du problème initial. Ce document présente une mise en oeuvre de cette méthode dans différents contextes, principalement celui de la simulation en électromagnétisme. Cette mise en oeuvre a fait l'objet de travaux réalisés en partenariat avec plusieurs centres de recherche industriels. On s'attache notamment à étudier la p
APA, Harvard, Vancouver, ISO, and other styles
14

Gabet, Lionel. "Modélisation de la diffusion de médicaments à travers les capillaires et dans les tissus à la suite d'une injection et esquisse d'une théorie décompositionnelle et application aux équations aux dérivées partielles." Châtenay-Malabry, Ecole centrale de Paris, 1992. http://www.theses.fr/1992ECAP0252.

Full text
Abstract:
Après un tour d'horizon des connaissances actuelles sur les phénomènes biologiques mis en jeu, nous avons élaboré un premier modèle de diffusion des médicaments à travers les capillaires et dans les tissus à la suite d'une injection dans le système circulatoire. Pour résoudre les équations obtenues, nous avons utilisé de nombreuses méthodes d'analyse numérique classiques ou originales. Nous avons ensuite validé qualitativement et quantitativement le modèle et nous l'avons utilisé pour déterminer la valeur de certains paramètres biologiques. Nous avons aussi élaboré un modèle plus complet, tena
APA, Harvard, Vancouver, ISO, and other styles
15

Jeannerod, Claude-Pierre. "Formes normales de perturbations de matrices : étude et calcul exact." Phd thesis, Grenoble INPG, 2000. http://tel.archives-ouvertes.fr/tel-00006747.

Full text
Abstract:
Cette thèse étudie les formes normales rationnelles de perturbations de matrices en vue de la résolution du problème de perturbations pour les valeurs propres : le comportement asymptotique des valeurs propres d'une perturbation de matrice pouvant être entièrement décrit à partir de seulement quelques monômes du polynôme caractéristique, il s'agit essentiellement d'arriver à "lire" ces invariants matriciels directement sur la matrice de départ (perturbations quasi-génériques) ou, à défaut, sur une perturbation qui lui soit semblable (forme réduite). Partant des travaux de Moser et de Lidskii,
APA, Harvard, Vancouver, ISO, and other styles
16

Morin, Guillaume. "Calcul moulien et théorie des formes normales classiques et renormalisées." Phd thesis, Observatoire de Paris, 2010. http://tel.archives-ouvertes.fr/tel-00521709.

Full text
Abstract:
La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensu
APA, Harvard, Vancouver, ISO, and other styles
17

Morin, Guillaume. "Calcul moulien et théorie des formes normales classiques et renormalisées." Phd thesis, Observatoire de Paris (1667-....), 2010. https://theses.hal.science/tel-00521709.

Full text
Abstract:
On présente dans une première partie le cadre des équations différentielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale "classique". On étend ensuite ce rés
APA, Harvard, Vancouver, ISO, and other styles
18

Mazure, Marie-Laurence. "Analyse varationnelle des formes quadratiques convexes." Toulouse 3, 1986. http://www.theses.fr/1986TOU30109.

Full text
Abstract:
Ce travail a pour motivation le principe variationnel de maxwell: lorsque deux réseaux électriques sont disposés en parallèle, la distribution du courant, soumise à la loi de Kirchhoff, se fait de façon a minimiser la puissance totale dissipée. Ce principe se présente donc comme une manifestation de l'inf-convolution des fonctions puissances associées aux deux réseaux. Si les résistances généralisées de ces réseaux sont les matrices symétriques semi-définies positives a et b, cette constation conduit au fait que la résistance généralisée équivalente, appelée somme parallèle de a et b, est la m
APA, Harvard, Vancouver, ISO, and other styles
19

Pican, Nathalie. "Problèmes statistiques dans le calcul en fiabilité des plates-formes pétrolières." Paris 11, 1989. http://www.theses.fr/1989PA112261.

Full text
Abstract:
On se propose de préciser et d'améliorer les modèles statistiques nécessaires au calcul en fiabilité des systèmes. Le support d'application est l'évaluation de la probabilité de ruine d 'une plate-forme de type treillis "jacket", soumise à des conditions océano-météo extrêmes. On recherche les séquences de rupture des composants les plus probables qui mènent à la ruine totale du système. Les entrées du modèle pour l'analyse en fiabilité sont des forces nodales équivalentes au chargement continu, on justifie une caractérisation stochastique du second ordre, qui a permis de réaliser le logiciel
APA, Harvard, Vancouver, ISO, and other styles
20

Ozello, Patrick. "Calcul exact des formes de Jordan et de Frobenius d'une matrice." Phd thesis, Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376086557.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Ozello, Patrick Della Dora Jean. "Calcul exact des formes de Jordan et de Frobenius d'une matrice." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00323705.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Simon, Bertrand. "Ordonnancement de graphes de tâches sur des plates-formes de calcul modernes." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSEN022/document.

Full text
Abstract:
Cette thèse porte sur trois thématiques principales liées à l'ordonnancement de graphes de tâches sur des plates-formes de calcul modernes. Un graphe de tâches est une modélisation classique d'un programme à exécuter, par exemple une application de calcul scientifique. La décomposition d'une application en différentes tâches permet d'exploiter le parallélisme potentiel de cette application sans adapter le programme à la plate-forme de calcul visée. Le graphe décrit ces tâches ainsi que leurs dépendances, certaines tâches ne pouvant être exécutées avant que d'autres ne soient terminées. L'exécu
APA, Harvard, Vancouver, ISO, and other styles
23

Pénet, Ludovic. "Développement d'un logiciel de calcul par éléments finis fondé sur les formes différentielles." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ57422.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Laporte, Emmanuel. "Optimisation de formes pour ecoulements instationnaires." Palaiseau, Ecole polytechnique, 1998. http://www.theses.fr/1998EPXX0046.

Full text
Abstract:
Dans ce travail, nous etudions et exploitons les proprietes du gradient des proprietes d'un ecoulement fluide par rapport a la forme du domaine de l'ecoulement pour mettre au point des strategies d'optimisation de formes independantes du mailleur. Nous nous interessons plus specialement aux criteres calcules sur des ecoulements instationnaires. Nous presentons d'abord un cadre formel de differentiation de fonctions de formes et une propriete fondamentale de leur localisation sur la frontiere. Ensuite, nous decrivons les outils utilises : parametrage de formes, adaptateur de maillage, algorithm
APA, Harvard, Vancouver, ISO, and other styles
25

Salque, Bruno. "Décomposition de domaines pour le calcul de la radiosité en simulation d'éclairage." Nancy 1, 1998. http://www.theses.fr/1998NAN10305.

Full text
Abstract:
Le travail présenté dans cette thèse concerne l'étude de l'équation de la radiosité. Cette équation modélise les échanges d'énergie lumineuse dans un environnement diffus ; sa résolution permet de réaliser des calculs de simulation d'éclairage. Nous présentons d'abord le cadre physique puis mathématique de cette équation. C’est une équation intégrale, qui admet une unique solution dans les cas réalistes. Nous examinons les classes de méthodes de résolution existantes. Pour chacune d'elles se pose une difficulté majeure : le calcul de la visibilité, de complexité supérieure a la résolution du s
APA, Harvard, Vancouver, ISO, and other styles
26

De, angelis cordeiro Daniel. "Impact de la coopération dans les nouvelles plates-formes de calcul à hautes performances." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00767078.

Full text
Abstract:
L'informatique a changé profondément les aspects méthodologiques du processus de découverte dans les différents domaines du savoir. Les chercheurs ont à leur disposition aujourd'hui de nouvelles capacités qui permettent d'envisager la résolution de nouveaux problèmes. Les plates-formes parallèles et distribués composées de ressources partagés entre différents participants peuvent rendre ces nouvelles capacités accessibles à tout chercheur et offre une puissance de calcul qui a été limitée jusqu'à présent, aux projets scientifiques les plus grands (et les plus riches). Dans ce document qui regr
APA, Harvard, Vancouver, ISO, and other styles
27

Angelis, Cordeiro Daniel de. "Impact de la coopération dans les nouvelles plates-formes de calcul à hautes performances." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENM007/document.

Full text
Abstract:
L'informatique a changé profondément les aspects méthodologiques du processus de découverte dans les différents domaines du savoir. Les chercheurs ont à leur disposition aujourd'hui de nouvelles capacités qui permettent d'envisager la résolution de nouveaux problèmes. Les plates-formes parallèles et distribués composées de ressources partagés entre différents participants peuvent rendre ces nouvelles capacités accessibles à tout chercheur et offre une puissance de calcul qui a été limitée jusqu'à présent, aux projets scientifiques les plus grands (et les plus riches). Dans ce document qui regr
APA, Harvard, Vancouver, ISO, and other styles
28

Novruzi, Arian. "Contribution en optimisation de formes et applications." Nancy 1, 1997. http://docnum.univ-lorraine.fr/public/SCD_T_1997_0224_NOVRUZI.pdf.

Full text
Abstract:
Ce travail est une contribution en problèmes d'optimisation de formes (P. O. F. ) et ses applications. On s'intéresse en particulier à l'analyse et la mise en oeuvre de méthodes de Newton pour le calcul de formes. En général, les P. O. F. Sont posés sur un ensemble O P(Rn), a priori dépourvu d'une structure particulière. En identifiant O à un sous-ensemble d'un espace de Banach , les P. O. F. Deviennent des problèmes classiques posés dans un espace de Banach. On a etudié la structure des dérivées par rapport a la forme (D. R. R. ) en utilisant un résultat qui exprime que, modulo un glissement
APA, Harvard, Vancouver, ISO, and other styles
29

Lu, Yi. "Calcul fonctionnel non-anticipatif et applications aux processus stochastiques." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066418/document.

Full text
Abstract:
Cette thèse est consacrée à l’étude du calcul fonctionnel non-anticipatif, qui est basé sur la notion de dérivée verticale d'une fonctionelle. Nous étendons le cadre classique de ce calcul à des fonctionnelles ne possédant pas de dérivée directionnelle classique. Dans la première partie, nous montrons comment une classe importante de fonctionelles, définie par une espérance conditionnelle, peuvent être approchées de façon systématique par des fonctionnelles régulières. Dans la deuxième partie, nous introduisons une notion de dérivée verticale faible qui couvre une plus grande classe de fonctio
APA, Harvard, Vancouver, ISO, and other styles
30

Gil, Isabelle Della Dora Jean. "Contribution à l'algèbre linéaire formelle formes normales de matrices et applications /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00343648.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Mascot, Nicolas. "Calcul de représentations galoisiennes modulaires." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0108/document.

Full text
Abstract:
J.-P. Serre a conjecturé à la fin des années 60 et P. Deligne a prouvé au début des années 70 que pour toute newform f = q + ∑ n⩾2 a n q n 2 S k (N; "), k ⩾ 2, et tout premier l du corps de nombres Kf = Q(a n ; n ⩾ 2), il existe une représentation galoisienne l-adique pf;l : Gal(Q=Q) ! GL2 (ZKf;l) qui est non-ramifiée en dehors de ℓN et telle que le polynôme caractéristique du Frobenius en p ∤ ℓN est X2 a pX + "(p)p k 1 .Après réduction modulo l et semi-simplification, on obtient une représentation galoisienne pf;l : Gal(Q=Q) ! GL2 (Fl) modulo l, non-ramifiée en dehors de ℓN et telle que lepol
APA, Harvard, Vancouver, ISO, and other styles
32

Coquide, Jean-Luc. "Contrôles et preuves dans les systèmes clos : automates à piles d'arbres et calcul de formes normales." Lille 1, 1990. http://www.theses.fr/1990LIL10122.

Full text
Abstract:
La réécriture est, à plusieurs titres, un paradigme bien connu de la programmation. Notre but est de contribuer à mieux comprendre les structures algébriques complexes manipulées. Nous prouvons que les systèmes clos munis d'un contrôle reconnaissable ont la même puissance que les systèmes généraux. Nous montrons que les ensembles d'arbres de dérivation dans les problèmes d'accessibilité peuvent être vus comme des forêts reconnaissables. Enfin, nous introduisons une notion qui permet d'éclairer et de généraliser les études antérieures sur les liens entre systèmes de réécriture et automates à pi
APA, Harvard, Vancouver, ISO, and other styles
33

Bogosel, Beniamin. "Optimisation de formes et problèmes spectraux." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM066/document.

Full text
Abstract:
Nous étudions dans cette thèse des problèmes d'optimisation de formes associés à des fonctionnelles spectrales et géométriques. L’étude porte à la fois sur des points de vue théoriques et numériques. L’idée générale est ici de proposer des résultats de Gamma-convergence qui permettent de construire des approximations numériques pour des quantités que l'on cherche à optimiser. En particulier, ces méthodes numériques sont appliquées à l’étude des minimiseurs des valeurs propres de l’opérateur Laplacien-Diriclet sous contrainte de périmètre en dimension deux et trois. Une autre classe de problème
APA, Harvard, Vancouver, ISO, and other styles
34

Gil, Isabelle. "Contribution à l'algèbre linéaire formelle : formes normales de matrices et applications." Phd thesis, Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00343648.

Full text
Abstract:
Cette thèse se rattache à l'algèbre linéaire formelle. Elle est composée de deux parties: la première, consacrée à l'étude des formes normales de matrices, constitue un ensemble d'outils utilisés dans la seconde qui, pour sa part, présente des méthodes matricielles de résolution de deux types de systèmes différentiels: les systèmes différentiels à coefficients constants et les systèmes différentiels ayant un point singulier régulier isolé. Dans la première partie, nous avons étudié, implémentés dans le système de calcul formel AXIOM, et comparés tant de manière théorique qu'expérimentale des a
APA, Harvard, Vancouver, ISO, and other styles
35

Quintin, Jean-noël. "Equilibrage de charge dynamique sur plates-formes hiérarchiques." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00661447.

Full text
Abstract:
La course à l'augmentation de la puissance de calcul qui se déroule depuis de nombreuses années entre les différents producteurs de matériel a depuis quelques années changé de visage: nous assistons en effet désormais à une véritable démocratisation des machines parallèles avec une complexification sans cesse croissante de la structure des processeurs. À terme, il est tout à fait envisageable de voir apparaître pour le grand public des architecture pleinement hétérogènes composées d'un ensemble de cœurs reliés par un réseau sur puce. La parallélisation et l'exécution parallèle d'applications s
APA, Harvard, Vancouver, ISO, and other styles
36

Privat, Yannick. "Quelques problèmes d'optimisation de formes en sciences du vivant." Phd thesis, Université Henri Poincaré - Nancy I, 2008. http://tel.archives-ouvertes.fr/tel-00331243.

Full text
Abstract:
Dans cette thèse, nous nous demandons si certaines formes présentes dans la nature résultent de l'optimisation d'un critère. Plus précisément, nous considérons un organe ou une partie du corps humain et tentons de deviner un critère que la nature aurait pu chercher à optimiser. Nous résolvons alors le problème d'optimisation de formes résultant afin de comparer la forme obtenue, théoriquement ou numériquement, avec la forme réelle de l'organe. Si ces deux formes sont proches, on pourra en déduire que le critère est convaincant. <br />Dans la première partie de cette thèse, nous considérons l'e
APA, Harvard, Vancouver, ISO, and other styles
37

Poly, Guillaume. "Formes de Dirichlet et applications en théorie ergodique des chaînes de Markov." Phd thesis, Université Paris-Est, 2011. http://tel.archives-ouvertes.fr/tel-00690724.

Full text
Abstract:
En utilisant le calcul de Malliavin et la théorie des formes de Dirichlet à travers la propriété de densité de l'énergie image, nous menons une étude de la régularité des mesures invariantes. Les cas discret et continu sont traités. Nous en déduisons des vitesses de convergence à l'équilibre, grace à un renforcement "quantitatif" de la propriété de densité de l'énergie image, qui permet d'établir des convergences en variation totale de mesures. De nombreuses conséquences sont déduites de cette propriété, comme le caractère Rajchman des variables non dégénérées au sens de l'opérateur carré du c
APA, Harvard, Vancouver, ISO, and other styles
38

Ahamadi, Malidi. "Méthode numérique pour le calcul des variétés centrales et des formes normales appliquée à des équations de réaction-diffusion." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ52232.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Pilla, Laércio L. "Équilibrage de charge prenant en compte la topologie des plates-formes de calcul parallèle pour la portabilité des performances." Phd thesis, Université de Grenoble, 2014. http://tel.archives-ouvertes.fr/tel-00981136.

Full text
Abstract:
Cette thèse présente nos travaux de recherche qui ont comme principal objectif d'assurer la portabilité des performances et le passage à l'échelle des applications scientifiques complexes exécutées sur des plates-formes multi-coeurs parallèles et hiérarchiques. La portabilité des performances est obtenue lorsque l'ordonnancement des tâches d'une application permet de réduire les périodes d'inactivité des coeurs de la plate-forme. Cette portabilité des performances peut être affectée par différents problèmes tels que des déséquilibres de charge, des communications coûteuses et des surcoûts prov
APA, Harvard, Vancouver, ISO, and other styles
40

Wazner, Alain. "Formes canoniques invariantes d'un système linéaire différentiel homogène, polygone de Newton, calcul de la partie exponentielle des solutions formelles." Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10233.

Full text
Abstract:
Dans cette thèse nous cherchons à calculer la partie exponentielle des solutions formelles de systèmes différentiels linéaires homogènes. Au premier chapitre nous revenons sur les cas des équations différentielles à travers la méthode de cassure des pentes du polygone de Newton d'un opérateur différentiel et donnons des résultats de convergence des solutions formelles. Au deuxième chapitre nous donnons une définition du polygone de Newton d'un système différentiel linéaire homogène et en établissons l'invariance à l'aide d'une forme canonique de la matrice du système différentiel qui a pour pr
APA, Harvard, Vancouver, ISO, and other styles
41

Bayen, Térence. "Optimisation de formes dans la classe des corps de largeur constante et des rotors." Paris 6, 2007. http://www.theses.fr/2007PA066010.

Full text
Abstract:
Au cours de cette thèse, on s’est intéressé à des problèmes de minimisation de fonctionnelles géométriques. Nous étudions les corps de largeur constante en dimension 2 et nous redémontrons le théorème de Blaschke-Lebesgue par la théorie du contrôle. Nous étudions aussi en dimension 3, le problème de minimisation du volume dans la classe des corps de largeur constante et à symétrie de révolution. Nous abordons ce problème par la théorie du contrôle et l'utilisation du principe de Pontryagin fournit des conditions nécessaires sur un minimiseur. Nous étudions ensuite le problème de minimisation d
APA, Harvard, Vancouver, ISO, and other styles
42

Martinez-Rodriguez, Fernando. "Mmt : un système de stéréovision anthropomorphe pour le calcul de cartes denses de profondeurs." Toulouse, INPT, 1993. http://www.theses.fr/1993INPT115H.

Full text
Abstract:
Nous présentons un système informatique, baptisé MMT, capable d'obtenir de façon fiable et précise une carte dense des profondeurs d'une scène observée par un capteur binoculaire anthropomorphe. Notre modèle de reconstruction d'une scène 3D se divise en deux sous-modèles : l'un pour le positionnement du capteur vis-à-vis de la scène observée et l'autre pour la mise en correspondance des deux images stéréoscopiques obtenues à partir d'un tel positionnement. Ce dernier est formalisé comme un problème d'optimisation combinatoire avec contraintes dont la solution représente la mise en correspondan
APA, Harvard, Vancouver, ISO, and other styles
43

Mercuriali, Pierre. "Sur les systèmes de formes normales pour représenter efficacement des fonctions multivaluées." Electronic Thesis or Diss., Université de Lorraine, 2020. http://www.theses.fr/2020LORR0241.

Full text
Abstract:
Dans ce document, nous étudions les représentations efficaces, en termes de taille, d'un contenu sémantique donné. Nous étendons tout d'abord une spécification équationnelle du domaine des fonctions Booléennes à celui des polynômes latticiels sur des treillis distributifs, domaines cruciaux en intelligence artificielle. Cette spécification est correcte et complète : elle nous permet de simplifier des formules médianes de manière algébrique en des formes normales médianes (MNF), que nous définissons comme des formules médianes minimales par rapport à un ordre structurel sur les expressions. Nou
APA, Harvard, Vancouver, ISO, and other styles
44

Privat, Yannick. "Quelques problèmes d’optimisation de formes en sciences du vivant." Thesis, Nancy 1, 2008. http://www.theses.fr/2008NAN10045/document.

Full text
Abstract:
Dans cette thèse, nous nous demandons si certaines formes présentes dans la nature résultent de l'optimisation d'un critère. Plus précisément, nous considérons un organe ou une partie du corps humain et tentons de deviner un critère que la nature aurait pu chercher à optimiser. Nous résolvons alors le problème d'optimisation de formes résultant afin de comparer la forme obtenue, théoriquement ou numériquement, avec la forme réelle de l'organe. Si ces deux formes sont proches, on pourra en déduire que le critère est convaincant. Dans la première partie de cette thèse, nous considérons l'exemple
APA, Harvard, Vancouver, ISO, and other styles
45

Giersch, Arnaud. "Ordonnancement sur plates-formes hétérogènes de tâches partageant des données." Phd thesis, Université Louis Pasteur - Strasbourg I, 2004. http://tel.archives-ouvertes.fr/tel-00008222.

Full text
Abstract:
Nous étudions des stratégies d'ordonnancement et d'équilibrage de charge pour des plates-formes hétérogènes distribuées. Notre problème est d'ordonnancer un ensemble de tâches indépendantes afin d'en réduire le temps total d'exécution. Ces tâches utilisent des données d'entrée qui peuvent être partagées : chaque tâche peut utiliser plusieurs données, et chaque donnée peut être utilisée par plusieurs tâches. Les tâches ont des durées d'exécution différentes, et les données ont des tailles différentes. Toute la difficulté est de réussir à placer sur un même processeur des tâches partageant des d
APA, Harvard, Vancouver, ISO, and other styles
46

Yousfi, Nabil. "Contribution à l'optimisation aérodynamique des formes des véhicules de tourisme et utilitaires à l'aide des critères d'angles privilégiés entre arêtes." Valenciennes, 2000. https://ged.uphf.fr/nuxeo/site/esupversions/d3a343b6-be81-4c58-a9bf-d13019371942.

Full text
Abstract:
De nos jours, les véhicules terrestres doivent répondre parfaitement aux attentes de l'utilisateur, qui devient de plus en plus exigeant, obligeant ainsi les constructeurs à entamer une rude concurrence dans le domaine de l'aérodynamique. En effet, les gains en performances dynamique et aérodynamique se réduisent très sensiblement depuis quelques années. Le champ d'écoulement autour de ces véhicules est très complexe, caractérisé par une tridimensionnalité : le décollement, le plaquage et la génération de vortex. Nous présentons une étude concernant l'optimisation aérodynamique des formes de v
APA, Harvard, Vancouver, ISO, and other styles
47

Riteau, Pierre. "Plates-formes d'exécution dynamiques sur des fédérations de nuages informatiques." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00651258.

Full text
Abstract:
Les besoins croissants en ressources de calcul ont mené au parallélisme et au calcul distribué, qui exploitent des infrastructures de calcul large échelle de manière concurrente. Récemment, les technologies de virtualisation sont devenues plus populaires, grâce à l'amélioration des hyperviseurs, le passage vers des architectures multi-cœur, et la diffusion des services Internet. Cela a donné lieu à l'émergence de l'informatique en nuage, un paradigme qui offre des ressources de calcul de façon élastique et à la demande, en facturant uniquement les ressources consommées. Dans ce contexte, cette
APA, Harvard, Vancouver, ISO, and other styles
48

Balat, Vincent. "Une étude des sommes fortes : isomorphismes et formes normales." Phd thesis, Université Paris-Diderot - Paris VII, 2002. http://tel.archives-ouvertes.fr/tel-00007880.

Full text
Abstract:
Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour aborder le cas avec somme et zéro, j'ai commencé par restreindre l'étude au cas des isomorphismes linéaires, dans le cadre de la logique linéaire, ce qui a conduit à une caractérisation remarquablement simple de ces isomorphismes, obtenue grâce à une méthode syntaxique sur les réseaux de preuve. Le cadre
APA, Harvard, Vancouver, ISO, and other styles
49

Lodygensky, Oleg. "Contribution aux infrastructures de calcul global : délégation inter plates-formes, intégration de services standards et application à la physique des hautes énergies." Phd thesis, Université Paris Sud - Paris XI, 2006. http://tel.archives-ouvertes.fr/tel-00147815.

Full text
Abstract:
La généralisation et les puissances aujourd'hui disponibles des ressources informatiques, ordinateurs, espaces de stockages, réseaux, permettent d'imaginer de nouvelles méthodes de travail ou de loisir, inconcevables, il y a encore peu. Les ordinateurs monolithiques centralisés, ont peu à peu laissé place à des architectures distribuées "client/serveur" qui se trouvent elles mêmes concurencées par de nouvelles organisations de systèmes distribués, les systèmes "pair à pair". Cette migration n'est pas le fait de spécialistes; les utilisateurs les moins avertis utilisent tous les jours ces nouve
APA, Harvard, Vancouver, ISO, and other styles
50

Toch, Lamiel. "Contributions aux techniques d’ordonnancement sur plates-formes parallèles ou distribuées." Electronic Thesis or Diss., Besançon, 2012. http://www.theses.fr/2012BESA2045.

Full text
Abstract:
Les travaux présentés dans ce document portent sur l'ordonnancement d'applications parallèles sur des plates-formes parallèles (cluster) ou distribuées (grilles de calcul). Dans nos travaux de recherche nous nous sommes concentrés sur l'ordonnancement d'applications modélisées par un DAG, graphe orienté sans cycle, pour les grilles de calcul et sur l'ordonnancement pour les (cluster, machines multiprocesseurs) de programmes parallèles (jobs parallèles) représentés sous la forme de surface rectangulaire dont les deux dimensions sont le nombre de processeurs requis et la durée d'exécution. Les r
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Calcul de dérivée de formes' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography