Spelling suggestions: "subject:"dométrique"" "subject:"asymétrique""
21 |
Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniquesTurki, Skander 02 October 2008 (has links) (PDF)
La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc.), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées-objet, en l'occurence l'ingénierie guidée par les modèles MDE, pour construire une méthodologie permettant d'entreprendre cette approche systématique supportant les activités d'ingénierie décrites dans le standard ISO/IEC/IEEE 15288. Dans cette thèse, nous proposons une méthodologie qui répond à ces besoins intitulés MISSyM. Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profils supportant le standard IEEE 15288. De plus, MISSyM intègre le support d'éléments de modélisation spécifiques aux systèmes mécatroniques. Nous avons aussi intégrer dans MISSyM une extension à SysML supportant les Bonds Graphs et permettant d'entreprendre une analyse énergétique. Nous avons par la suite enrichi la méthodologie MISSyM par une méthode de vérification de la qualité de l'architecture qui repose sur un algorithme utilisant des métriques et un algorithme de partitionnement de la matrice de dépendances ou DSM. Nous avons en plus ajouté la génération de codes vers le langage de simulation Modelica. Finalement, nous avons décrit le processus global de la méthodologie basé sur l'architecture de modèles MDA et en concordance avec le standard IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingénieurs système de mieux utiliser le langage SysML à travers cette méthodologie.
|
22 |
Courbes à Hodographe Pythagorien en Géométrie de Minkowski et Modélisation GéométriqueAit Haddou, Rachid 06 September 1996 (has links) (PDF)
La construction des courbes parallèles est fondamentale pour différentes applications en modélisation géométrique, telles que l'étude des trajectoires d'outils pour les machines à commande numérique ou pour la définition des zones de tolérance. En général, la courbe parallèle d'une courbe rationnelle n'est pas rationnelle, ce qui conduit à déterminer une approximation de cette courbe parallèle par une courbe spline. Récemment, J. C. Fiorot et T. Gensane et indépendamment H. Pottmann ont donné la forme générale de toutes les courbes rationnelles à parallèles rationnelles (courbes à hodographe pythagorien). Dans cette dernière famille figurent les quartiques de Tschirnhausen. Ces courbes ont même flexibilité que les coniques, leurs courbes parallèles sont rationnelles de degré quatre et sont exactement les développantes des cubiques de Tschirnhausen. En se basant sur cette caractérisation, nous présentons un algorithme d'approximation, avec un contact d'ordre deux, d'une courbe et de ses parallèles par des quartiques de Tschirnhausen préservant la variation de la courbure. Par ailleurs, le caractère judicieux de la représentation Bézier duale des courbes à hodographe pythagorien et de leurs parallèles, nous a permis de construire des ovales et des rosettes rationnelles à largeur constante qui jouent un rôle important en mécanique des cames. Enfin, suite aux travaux de H. Busemann et H. Guggenheimer sur la géométrie plane de Minkowski, nous généralisons la notion de courbes parallèles ainsi que les résultats de H. Pottmann (concernant la caractérisation Bézier duale et la caractérisation géométrique des courbes à hodographe pythagorien) au plan de Minkowski
|
23 |
L'espace des modules des espaces complexes compacts hyperboliquesKHALFALLAH, Adel 26 October 2001 (has links) (PDF)
Dans ce travail, on étudie les espaces des modules dans le cadre de la géométrie hyperbolique complexe. L'espace des modules des variétés hyperboliques a été auparavant construit par Brody et Wright. On montre l'existence de l'espace des modules des espaces complexes hyperboliques, en considérant des déformations localement triviales et des déformations équisingulières et que ces dernières ne dépendent pas de la résolution choisie en utilisant le théorème de factorisation faible des applications birationelles entre variétés projectives. La construction utilise un critère de représentabilité des foncteurs analytiques par un espace de modules grossier, du à Schumacher et Kosarew-Okonek. Les deux ingrédients principaux de la construction sont l'existence d'une déformation semi-universelle et le théorème de stabilité sur les fibres proches de l'hyperbolicité à travers des morphismes propres. Enfin, en appliquant le même critère, on obtient l'espace des modules des variétés hyperboliquement plongées. Les objets des déformations sont des couples $(X,D)$ où $X$ est une variété compacte et $D$ un diviseur à croisement normaux dans $X$ tel que $X \setminus D$ soit hyperboliquement plongé dans $X$. Les déformations considérées ici sont les déformations logarithmiques.
|
24 |
Tropical orbit spaces and moduli spaces of tropical curvesHerold, Matthias 25 January 2011 (has links) (PDF)
Un principal résultat de la thèse est une preuve conceptionnelle du fait que le nombre pondéré de courbes tropicales de degré et genre donnés qui passent par le bon nombre de points en position générale dans $\RR^2$ (resp., qui passent par le bon nombre de points en position générale dans $ \RR^r $ et représentent un point fixé dans l'espace de modules de courbes tropicales abstraites de genre g ) ne dépend pas du choix de points. Un autre principal résultat est un nouveau théorème de correspondance entre les cycles tropicaux plans et les courbes algébriques elliptiques planes.
|
25 |
Contribution à l'analyse par diffractométrie X des déformations et des contraintes à l'échelle des grainsHuang, Wenjun 06 March 2007 (has links) (PDF)
Une nouvelle méthodologie d'analyse monocristalline par diffraction des rayons X (DRX) a été développée pour combler une lacune de l'analyse des contraintes d'ordre II (à l'échelle du grain) dans un matériau cristallin à structure non cubique. Cette méthode est basée sur la méthode d'Ortner I en introduisant le tenseur métrique qui lie le tenseur des déformations et les distances inter réticulaires mesurées par DRX. Avec cette nouvelle méthodologie, lorsque le repère cristallin direct n'est ni nécessairement orthogonal ni nécessairement normé, un repère orthonormé associé au repère cristallin direct est défini, où la majorité des calculs sont exécutés avec les règles de calcul usuelles. La méthode des moindres carrés nous permit de prise en compte de plus de 6 mesures minimum pour obtenir une meilleure estimation de G et déterminer les incertitudes statistiques. L'application expérimentale dans un bi cristaux cuivre nous a permit d'avoir validé cette nouvelle méthode. Par cette méthode, des contraintes résiduelles d'ordre II dans une couche galvanisé à gros grains sur l'acier sont déterminées après un traitement thermique de recuit. Les 4 grains orientés différemment sont été aussi quantitativement caractérisés in situ sous une sollicitation extérieure. Les résultats ont bien démontré le mécanisme de déformation élastique et plastique à l'échelle des grains et entre les grains. Par conséquent, cette méthode développée est donc adaptable et significative pour détermination des déformations et des contraintes à l'échelle des grains dans un monocristaux ou multicristaux à cristalline structure quelconque.
|
26 |
Qualité de service et routage dans les réseaux maillés sans fil.Ashraf, Usman 08 April 2010 (has links) (PDF)
Ce travail de thèse présente trois contributions qui portent sur le routage et la fourniture de qualité de service dans les réseaux maillés sans fil basés sur IEEE 802.11. La première contribution définit une métrique de routage qui permet de sélectionner les chemins empruntant des liens avec de bonnes performances exprimées en termes d'interférences physiques (qui causent des pertes), d'interférences logiques (qui causent des délais) et de capacité. L'évaluation de cette métrique par rapport aux principales métriques de la littérature scientifique montre une amélioration des performances du réseau. La deuxième contribution concerne l'amélioration du mécanisme de maintenance de route le plus souvent utilisé par les protocoles de routage réactifs. Ce mécanisme considère qu'une route est coupée si l'un de ses liens observe plusieurs échecs successifs de retransmission. Nos études montrent que ces échecs sont assez souvent dûs à de problèmes transitoires sur les liens (bruit, interférence etc.). Nous avons donc proposé des algorithmes de maintenance de route qui appréhendent mieux les problèmes ponctuels ou soutenus sur les liens ce qui permet de prendre une décision cohérente et réfléchie quant à la coupure d'un lien (et donc d'une route). Les études de performances montrent une amélioration conséquente des performances globales du réseau. La dernière contribution propose un cadre pour la fourniture de la Qualité de Service (garantie de bande passante) dans les réseaux maillés multi-interfaces, multi-canaux. Ce cadre intègre un protocole de routage réactif couplé à un mécanisme de contrôle d'admission et de partage de charge. Ces derniers exploitent la diversité des liens entre nSuds voisins afin d'améliorer le taux d'admission des flux avec garantie de bande passante.
|
27 |
Le plan d'architecture: procédures de forme Relevés à Pienza, Sumvitg, Helsinki, Venise, BruxellesDu Four, Gaëtan 07 July 2004 (has links)
Notre méthode se fonde sur le relevé, tâche habituelle de l'architecte, ici orienté comme un outil d'analyse différé de l'élaboration des formes architecturales. Le relevé engage la géométrie, la perception de celui qui le mène (on devine l'importance de cette interaction), l'histoire et le lieu dans lesquels s'inscrit l'objet étudié.
A travers cinq études de cas principales :
- Galeries Saint-Hubert de Bruxelles, architecte J.-P. Cluysenaar ;
- Pavillon italien pour la biennale de Venise, architecte A. Anselmi ;
- Hall Finlandia, Helsinki, architecte A. Aalto ;
- Chapelle Sogn Benedetg, Sumvitg, architecte P. Zumthor ;
- Pienza, architecte B. Rossellino,
d'une part, nous mettons à jour des particularités locales ; d'autre part se crée un fil conducteur général capable de relier l'échantillon disparate des projets.
Sous les contraintes géométriques et topologiques ad hoc, le schéma provisoire ainsi que le nombre de mesures nécessitées par le relevé rendent compte d'une cohérence interne des formes étudiées. Cet enseignement sur la forme vient compléter la théorie des proportions.
|
28 |
Adaptation de Maillage anisotrope 3D et application à l'aéro-thermique des <br />bâtimentsDobrzynski, Cécile 28 November 2005 (has links) (PDF)
L'objet de cette thèse est la mise en place d'une boucle automatique pour le calcul de flux d'air conditionné dans des géométries complexes. Ce problème est régie par les équations de Navier-Stokes incompressible corrigées par un terme de Boussinesq et couplées avec une équation de température à flux convectif. <br />Nous avons utilisé une méthode d'adaptation de maillage anisotrope basée sur les longueurs d'arêtes avec respect d'une métrique discrète. Une méthode de remaillage local, avec une version anisotrope de l'insertion d'un point par une méthode de Delaunay, a été implémentée pour adapter les maillages.
|
29 |
Multi-modal similarity learning for 3D deformable registration of medical images / Titre français non fourniMichel, Fabrice 04 October 2013 (has links)
Alors que la perspective de la fusion d’images médicales capturées par des systèmes d’imageries de type différent est largement contemplée, la mise en pratique est toujours victime d’un obstacle théorique : la définition d’une mesure de similarité entre les images. Des efforts dans le domaine ont rencontrés un certain succès pour certains types d’images, cependant la définition d’un critère de similarité entre les images quelle que soit leur origine et un des plus gros défis en recalage d’images déformables. Dans cette thèse, nous avons décidé de développer une approche générique pour la comparaison de deux types de modalités donnés. Les récentes avancées en apprentissage statistique (Machine Learning) nous ont permis de développer des solutions innovantes pour la résolution de ce problème complexe. Pour appréhender le problème de la comparaison de données incommensurables, nous avons choisi de le regarder comme un problème de plongement de données : chacun des jeux de données est plongé dans un espace commun dans lequel les comparaisons sont possibles. A ces fins, nous avons exploré la projection d’un espace de données image sur l’espace de données lié à la seconde image et aussi la projection des deux espaces de données dans un troisième espace commun dans lequel les calculs sont conduits. Ceci a été entrepris grâce à l’étude des correspondances entre les images dans une base de données images pré-alignées. Dans la poursuite de ces buts, de nouvelles méthodes ont été développées que ce soit pour la régression d’images ou pour l’apprentissage de métrique multimodale. Les similarités apprises résultantes sont alors incorporées dans une méthode plus globale de recalage basée sur l’optimisation discrète qui diminue le besoin d’un critère différentiable pour la recherche de solution. Enfin nous explorons une méthode qui permet d’éviter le besoin d’une base de données pré-alignées en demandant seulement des données annotées (segmentations) par un spécialiste. De nombreuses expériences sont conduites sur deux bases de données complexes (Images d’IRM pré-alignées et Images TEP/Scanner) dans le but de justifier les directions prises par nos approches. / Even though the prospect of fusing images issued by different medical imagery systems is highly contemplated, the practical instantiation of it is subject to a theoretical hurdle: the definition of a similarity between images. Efforts in this field have proved successful for select pairs of images; however defining a suitable similarity between images regardless of their origin is one of the biggest challenges in deformable registration. In this thesis, we chose to develop generic approaches that allow the comparison of any two given modality. The recent advances in Machine Learning permitted us to provide innovative solutions to this very challenging problem. To tackle the problem of comparing incommensurable data we chose to view it as a data embedding problem where one embeds all the data in a common space in which comparison is possible. To this end, we explored the projection of one image space onto the image space of the other as well as the projection of both image spaces onto a common image space in which the comparison calculations are conducted. This was done by the study of the correspondences between image features in a pre-aligned dataset. In the pursuit of these goals, new methods for image regression as well as multi-modal metric learning methods were developed. The resulting learned similarities are then incorporated into a discrete optimization framework that mitigates the need for a differentiable criterion. Lastly we investigate on a new method that discards the constraint of a database of images that are pre-aligned, only requiring data annotated (segmented) by a physician. Experiments are conducted on two challenging medical images data-sets (Pre-Aligned MRI images and PET/CT images) to justify the benefits of our approach.
|
30 |
Flot de Yamabe avec courbure scalaire prescrite / Yamabe flow with prescribed scalar curvatureAmacha, Inas 30 November 2017 (has links)
Cette thèse est consacrée à l'étude d'une famille des flots géométriques associés au problème de la courbure scalaire prescrite sur une variété riemannienne compacte. Plus précisément, si on désigne par (M,g0) une variété riemannienne compacte de dimension n≥3, et si F∈C∞ (M) est une fonction donnée, le problème de la courbure scalaire prescrite consiste à trouver une métrique g conforme à g0 telle que F soit sa courbure scalaire. Ce problème est équivalent à la résolution de l'EDP suivante :-4 (n-1)/(n-2) ∆u+R0 u=Fu((n+2)/(n-2 )) , u>0 , (E), Où R0 est la courbure scalaire de la métrique initiale g0 et ∆ est le laplacien associé à g0. Il s'agit d'une équation elliptique non-linéaire dont la difficulté principale provient du terme u((n+2)/(n-2 )). Hormis le cas de la sphère standard Sn , tous les travaux consacrés à l'étude de l'équation (E) sont basés sur la méthode variationnelle. Dans cette thèse, on développe une autre approche basée sur l'étude d'une famille de flots géométriques qui permet, entre autres, de résoudre l'équation (E). La question dépend bien entendu de la métrique initiale g0 et en particulier du signe de sa courbure scalaire R0. Les flots introduits sont des flots de gradient associés à deux fonctionnelles distinctes dépendant du signe de R0. La première partie de cette thèse est consacrée au cas R0<0 et dans la deuxième partie on traite le cas R0>0. Dans les deux cas, on démontre l'existence globale du flot et on étudie son comportement asymptotique à l'infini. / This thesis is devoted to the study of a family of geometric flows associated with the prescribed scalar curvature problem. More precisely, if we denote by (M,g0) a compact riemannian manifold with dimension n≥3, and if F∈C∞ (M) is a given function, the prescribed scalar curvature problem consists of finding a conformal metric g to g0 such that F is its scalar curvature. This problem is equivalent to the resolution of the following PDE : -4 (n-1)/(n-2) ∆u+R0 u=Fu((n+2)/(n-2 )) , u>0 , (E), Where R0 is the scalar curvature of the initial metric g0 and ∆ is the laplacian associated with g0.It is a nonlinear elliptic equation, whose the main difficulty comes from the term u((n+2)/(n-2 )). Apart from the case of the standard sphere Sn all the works that study the equation (E) are based on the variational method. In this thesis, we develop another approach based on the study of a family of geometric flows which allows to solve equation (E).The flows introduced are gradient flows associated with two distinct functional functions depending on the sign of R0.The first part of this thesis is devoted to the case R0<0 and in the second part we treat the case R0>0. In both cases, our aim is to proof the global existence of the flow and study its asymptotic behavior at infinity.
|
Page generated in 0.061 seconds