• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 76
  • 17
  • 10
  • 2
  • Tagged with
  • 108
  • 37
  • 23
  • 21
  • 20
  • 16
  • 14
  • 14
  • 12
  • 10
  • 10
  • 10
  • 9
  • 9
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Discrétisations spatiales de systèmes dynamiques génériques / Spatial discretizations of generic dynamical systems

Guihéneuf, Pierre-Antoine 26 June 2015 (has links)
Dans quelle mesure peut-on lire les propriétés dynamiques (quand le temps tend vers l’infini) d’un système sur des simulations numériques ? Pour tenter de répondre à cette question, on étudie dans cette thèse un modèle rendant compte de ce qui se passe lorsqu’on calcule numériquement les orbites d’un système à temps discret f (par exemple un homéomorphisme). L’ordinateur travaillant à précision numérique finie, il va remplacer f par une discrétisation spatiale de f, notée f_N (où l’ordre de la discrétisation N rend compte de la précision numérique). On s’intéresse en particulier au comportement dynamique des applications finies f_N pour un système f générique et pour l’ordre N tendant vers l’infini, où générique sera à prendre dans le sens de Baire (principalement parmi des ensembles d’homéomorphismes ou de C^1-difféomorphismes). La première partie de cette thèse est consacrée à l’étude de la dynamique des discrétisations f_N lorsque f est un homéomorphisme conservatif/dissipatif générique d’une variété compacte. L’étude montre qu’il est illusoire de vouloir retrouver la dynamique du système de départ f à partir de celle d’une seule discrétisation f_N : la dynamique de f_N dépend fortement de l’ordre N. Pour détecter certaines dynamiques de f il faut considérer l’ensemble des discrétisations f_N, lorsque N parcourt N.La seconde partie traite du cas linéaire, qui joue un rôle important dans l’étude du cas des C^1-difféomorphismes génériques, abordée dans la troisième partie de cette thèse. Sous ces hypothèses, on obtient des résultats similaires à ceux établis dans la première partie, bien que plus faibles et de preuves plus difficiles. / How is it possible to read the dynamical properties (ie when the time goes to infinity) of a system on numerical simulations ? To try to answer this question, we study inthis thesis a model reflecting what happens when the orbits of a discrete time system f (for example an homeomorphism) are computed numerically. The computer working in finite numerical precision, it will replace f by a spacial discretization of f, denotedby f_N (where the order N of discretization stands for the numerical accuracy). In particular, we will be interested in the dynamical behaviour of the finite maps f_N for a generic system f and N going to infinity, where generic will be taken in the sense of Baire (mainly among sets of homeomorphisms or C^1-diffeomorphisms). The first part of this manuscript is devoted to the study of the dynamics of the discretizations f_N, when f is a generic conservative/dissipative homeomorphism of a compact manifold. We show that it would be mistaken to try to recover the dynamics of f from that of a single discretization f_N : its dynamics strongly depends on the order N. To detect some dynamical features of f we have to consider all thediscretizations f_N when N goes through N.The second part deals with the linear case, which plays an important role in the study of C^1-generic diffeomorphisms, discussed in the third part of this manuscript. Under these assumptions, we obtain results similar to those established in the first part,though weaker and harder to prove.
52

Un cadre ontologique générique de modélisation, de capitalisation et de partage de Connaissances Métiers Situées en Ingénierie Système

Chourabi, Olfa 22 December 2009 (has links) (PDF)
Les travaux de cette thèse concernent la gestion de connaissances au sein des processus techniques d'Ingénierie Système (IS). Ces processus peuvent être considérés comme un espace de création continue de connaissances faisant appel à des savoir-faire multi-métiers et produisant de nombreux « artefacts », allant des spécifications aux composants logiciels et matériels jusqu'au système lui-même, et présentant des degrés très divers de formalisation. A ces éléments, il convient d'ajouter les alternatives de solutions et les justifications de décisions, pour constituer, au final, un ensemble der connaissances métiers implicites aujourd'hui très peu valorisées dans les organisations, et que ces dernières cherchent actuellement à réutiliser au mieux au cours de projets ultérieurs. Pour fournir des éléments de réponse à cette problématique nous proposons un cadre ontologique générique dédié à la modélisation formelle et consensuelle des savoir-faire métiers de l'IS. Nous analysons ensuite l'application de ce cadre à la description des expériences de projets d'ingénierie que nous dénommons Connaissances Métiers Situées (CMS). Pour gérer ces expériences nous proposons d'une part, un modèle de capitalisation de CMS sous forme d'annotations sémantiques des dimensions situation, but, choix et décisions d'ingénierie. Et d'autre part, un modèle de partage de CMS suggérant les expériences potentiellement utiles au cours de projets ultérieurs. Les propositions conceptuelles de cette thèse ont été opérationnalisées à l'aide du formalisme des Graphes Conceptuels et appliquées dans le domaine de l'Ingénierie de Systèmes de défense.
53

Méthodes et outils pour la conception et la fabrication des microsystèmes

Karam, Jean Michel 20 May 1996 (has links) (PDF)
Un des obstacles majeurs pour démarrer une activité dans le domaine des microsystèmes est le fait que des technologies particulières et donc coûteuses sont nécessairement requises. D'autre part, alors que les outils de CAO pour la microélectronique ont acquis un degré de maturité élevé, où toutes les séquences de fabrication sont simulées et le fonctionnement d'un composant ou systèmes peut être complètement prévu, l'art de la modélisation et de la conception des microsystèmes ne fait que débuter. Le développement de la Microélectronique vers la fin des années 70 a été rendu possible par l'utilisation d'outils CAO et par la mise à disposition de fonderies. Sans apports comparables, les Microsystèmes resteraient des curiosités de laboratoire, des prouesses techniques de chercheurs, mais ne deviendraient pas des produits industriels. Ainsi, l'objectif de cette thèse est d'assurer un accès à la technologie des microsystèmes en adaptant des lignes de production industrielles pour la microélectronique, de développer un environnement de conception et de simulation basé sur des outils existants étendus et de définir une architecture générique de microsystèmes
54

Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox

Pascal, Giorgi 20 December 2004 (has links) (PDF)
L'algèbre linéaire numérique a connu depuis quelques décennies des développements intensifs <br />autant au niveau mathématique qu'informatique qui ont permis d'aboutir à de véritable standard <br />logiciel comme BLAS ou LAPACK.<br />Dans le cadre du calcul exact ou formel, la situation n'est pas aussi avancée, en particulier<br />à cause de la diversité des problématiques et de la jeunesse des progrès théoriques.<br />Cette thèse s'inscrit dans une tendance récente qui vise à fédérer des codes performants<br />provenant de bibliothèques spécialisées au sein d'une unique plateforme de calcul.<br />En particulier, l'émergence de bibliothèques robustes et portables comme GMP ou NTL pour le calcul exact <br />s'avére être un réel atout pour le développement d'applications en algèbre linéaire exacte.<br />Dans cette thèse, nous étudions la faisabilité et la pertinence de la réutilisation de codes spécialisés pour <br />développer une bibliothèque d'algèbre linéaire exacte performante, à savoir la bibliothèque LinBox.<br />Nous nous appuyons sur les mécanismes C++ de programmation générique (classes abtraites, classes templates)<br /> pour fournir une abstraction des composantes mathématiques et ainsi permettre le plugin de composants externes.<br />Notre objectif est alors de concevoir et de valider des boîtes à outils génériques haut niveau dans LinBox pour <br />l'implantation d'algorithmes en algèbre linéaire exacte. <br />En particulier, nous proposons des routines de calcul hybride "exact/numérique" pour des matrices denses sur un corps finis permettant d'approcher les performances obtenues par des bibliothèques numériques comme LAPACK.<br />À un plus haut niveau, ces routines nous permettent de valider la réutilisation de codes spécifiques sur un problème <br />classique du calcul formel: la résolution de systèmes linéaires diophantiens.<br />La bibliothèque LinBox est disponible à www.linalg.org.
55

Multiprogrammation parallèle générique des méthodes de décomposition de domaine

Schwertner-Charão, Andréa 20 September 2001 (has links) (PDF)
Les applications de simulation numérique nécessitant la résolution de problèmes d'Équations aux Dérivées Partielles (EDP) sont souvent parallélisées à l'aide d'une méthode de décomposition de domaine. Ces méthodes mathématiques sont naturellement ouvertes au parallélisme, cependant leur exploitation efficace sur les machines parallèles devient difficile lorsque les applications ont un comportement irrégulier. C'est le cas par exemple lorsque les problèmes mathématiques sont résolus dans des domaines géométriques complexes ou lorsque l'on utilise des techniques d'adaptation de maillage. Une technique de programmation se prêtant bien à la mise en oeuvre d'applications irrégulières est la multiprogrammation basée sur des réseaux de processus légers communicants. Dans cette thèse nous réalisons une étude approfondie de l'apport de ce paradigme de programmation à la résolution de problèmes d'EDP par des méthodes de décomposition de domaine et nous montrons qu'il existe une écriture algorithmique générique de celles-ci. Une de nos principales contributions réside dans la conception et réalisation d'un harnais informatique, appelé Ahpik, permettant une programmation aisée d'applications reposant sur les méthodes de décomposition de domaine. Ce harnais fournit un support générique adaptable à de nombreuses méthodes mathématiques, qu'elles soient synchrones ou asynchrones, avec ou sans recouvrement. Une conception orientée objet permet d'encapsuler les détails de gestion des processus légers et des communications, ce qui facilite l'implantation de nouvelles méthodes. Nous avons utilisé l'environnement Ahpik dans le cadre de la résolution de problèmes d'EDP classiques et notamment pour un problème en mécanique de fluides de grande taille.
56

Combinaison de critères par contraintes pour la Recherche d'Information Géographique

Palacio, Damien 26 November 2010 (has links) (PDF)
Des études récentes montrent une part croissante de requêtes sur les moteurs de recherche du Web comportant des critères géographiques. Cette part est encore plus conséquente sur des corpus plus spécifiques tels que des documents patrimoniaux (récits de voyages par exemple). On admet que l'information géographique est composée de trois facettes : le spatial, le temporel et le thématique. Les travaux effectués dans notre laboratoire visent l'extraction et la construction d'index indépendants et spécifiques aux trois facettes (spatiales, temporelles et thématiques). L'objet de ce travail de thèse est de combiner les trois facettes pour effectuer des recherches multicritère. Ce travail s'intègre au croisement de plusieurs disciplines : Traitement Automatique des Langages Naturels (TALN), Systèmes d'Information Géographique (SIG), Recherche d'Information classique (RI) et Recherche d'Information Géographique (RIG). Notre première contribution porte sur une méthode originale de combinaison des index spécifiques. Lors de l'interrogation il s'agit de questionner de manières indépendantes les différents index puis de combiner les listes de résultats restitués lors de leur interrogation. De plus, nous proposons à un utilisateur de personnaliser cette combinaison par des contraintes. Pour pouvoir effectuer cette combinaison, nous proposons d'imiter les approches d'homogénéisation utilisées dans les stratégies de RI classiques portant sur des termes et les lemmes correspondants. Pour les informations géographiques il s'agit de les redécouper en tuiles et de travailler sur leur fréquence d'apparition. Notre deuxième contribution porte sur une approche d'uniformisation générique mise en œuvre sur l'information spatiale et l'information temporelle. Afin d'évaluer ces différentes propositions, nous les avons testées et validées via différents prototypes et expérimentations. La dernière contribution consiste en un cadre d'évaluation d'un système de recherche géographique. Grâce à ce cadre nous avons pu vérifier et quantifier l'apport de la combinaison de critères géographiques ainsi que comparer différentes approches de combinaisons.
57

Modélisation et optimisation de problèmes de synchronisation dans les documents hypermédia

Bachelet, Bruno 24 February 2003 (has links) (PDF)
Les formats actuels de diffusion de documents sur Internet apportent sans conteste de nouvelles possibilités par rapport aux supports traditionnels. Mais les exigences deviennent toujours plus grandes et de nouveaux langages font régulièrement leur apparition pour tenter d'améliorer encore la structure et l'interactivité des documents. Parmi ces langages, certains offrent la possibilité d'animer et synchroniser des composants multimédia. Mais la variété de ces composants (audio, vidéo, texte, image...) font de l'animation un problème compliqué. L'auteur d'un document synchronisé fournit une liste de contraintes temporelles sur les composants de manière à décrire le déroulement de la présentation. Ces composants ont chacun une durée de présentation qui est flexible dans une certaine limite. Tout le problème consiste à trouver un bon ajustement des durées pour que la présentation se déroule au plus proche de ce que souhaite l'auteur tout en évitant les pauses. <br /><br />Le problème peut se modéliser, après quelques restrictions, comme un problème de tension de coût minimal dans un graphe. Pour le résoudre avec des coûts convexes linéaires par morceaux, nous avons étudié différentes approches (programmation linéaire, mise à conformité - out-of-kilter, mise à l'échelle du dual - cost-scaling). Nous proposons également une adaptation de la mise à conformité pour des coûts convexes dérivables. Toutes ces méthodes sont comparées sur des aspects théoriques et pratiques, en considérant des graphes quelconques. <br /><br />Les graphes représentant les contraintes temporelles sont en réalité très structurés et très proches de la classe des graphes appelés série-parallèles, et les méthodes élaborées pour une structure de graphe quelconque ne s'avèrent pas toujours très efficaces. Nous proposons une méthode polynômiale, en opérations, plus adaptée pour résoudre le problème sur des graphes série-parallèles, et que nous appelons agrégation. Mais ces graphes, bien que très proches de la réalité, restent encore une idéalisation. Nous proposons de mesurer l'aspect série-parallèle d'un graphe en définissant la notion de graphe presque série-parallèle, basée sur la décomposition du graphe en composantes série-parallèles. En exploitant l'efficacité de la méthode d'agrégation sur cette décomposition, nous proposons une méthode dite de reconstruction permettant de résoudre le problème pour des graphes presque série-parallèles plus efficacement que les méthodes étudiées précédemment. <br /><br />Lors de cette étude, nous avons développé une bibliothèque de composants réutilisables pour les problèmes de graphes. Nous expliquons en quoi ce type de développement ne peut pas toujours suivre les règles classiques du génie logiciel. Nous montrons comment le paradigme objet peut néanmoins être employé pour la création d'outils efficaces de recherche opérationnelle. Et nous proposons des patrons de conception pour élaborer des composants logiciels (algorithmes et structures de données) génériques, c'est-à-dire indépendants des structures de données qu'ils manipulent et des algorithmes qu'ils emploient, tout en étant fortement extensibles, et cela avec une perte d'efficacité minimale.
58

Incidence de la torsion sur la résistance sismique de bâtiments courants avec diaphragmes horizontaux rigides. Application aux structures en bois

Vu, Thanh Kien 08 December 2011 (has links) (PDF)
Les secousses sismiques sont des catastrophes naturelles, affectant la croûte terrestre, qui peuvent avoir des effets destructeurs majeurs dans les zones urbanisées. Même si des méthodes précises de calcul d'ouvrages en situation sismique existent, il est nécessaire de disposer de méthodes adaptées aux ingénieries mises en oeuvre. L'évolution de la réglementation parasismique (Eurocode 8 et annexes nationales) et du zonage sismique en France fait évoluer de manière significative la nécessité de prise en compte de l'action sismique dans la conception des bâtiments. Dans un calcul sismique, il est indispensable de prendre en compte des effets de la torsion qui peuvent conduire à des conséquences graves, en termes de dommages affectant les ouvrages de génie civil. Le présent travail expose une démarche incluant différents niveaux d'approches pour prendre en compte ce phénomène. Les structures particulièrement visées par ce travail sont les ossatures dites souples et plus spécifiquement les constructions en bois. Une étude paramétrique est menée avec une méthode de combinaison multidimensionnelle pour analyser l'influence de différentes configurations de contreventement sur la sensibilité de l'ouvrage aux phénomènes de torsion. Cette étape est basée sur l'adaptation pour des structures en bois, dans le contexte des Eurocodes (torsion structurale et torsion accidentelle), d'une méthode néozélandaise développée par Priestley et Paulay initialement proposée pour des bâtiments en béton armé. L'étude du comportement des bâtiments en bois en situation sismique s'inscrit dans une approche utilisant la méthode de linéarisation équivalente par coefficient de comportement. L'action sismique peut ainsi être modélisée par des forces statiques équivalentes qui sont ensuite transmises aux éléments structuraux verticaux par des diaphragmes horizontaux. Ce travail permet de définir des distributions d'efforts sismiques sur chaque contreventement avec la prise en compte de la torsion à partir d'une cartographie d'implantation des contreventements et des masses. Cette méthode originale de prise en compte de la torsion est mise en application et l'ensemble des résultats obtenus conduit à la réalisation d'une base de données conséquente sur les effets de la torsion, pour une situation sismique, dans le cas d'un dimensionnement en capacité, avec contreventements ductiles à comportement linéarisé par coefficient de comportement et diaphragmes horizontaux rigides. Après mise en application de cette méthode, une approche numérique du comportement de structures génériques est conduite afin d'illustrer les effets de différents niveaux de simplification inhérents à la méthode originale mise en place. Dans cette étape, les calculs utilisent la méthode des éléments finis en s'appuyant sur le logiciel Cast3m. Les calculs dynamiques sont réalisés sur la base de comportements linéaires ou linéarisés afin d'analyser les effets de différentes méthodes de calcul proposées par l'Eurocode 8, partie 1. Les calculs menés dans cette phase permettent notamment de valider des conditions d'application de méthodes simplifiées pour des structures en bois, et d'approcher les effets de la torsion sur ces structures avec différents degrés de précision.
59

Méthode d'évolution de modèles produits dans les sytèmes PLM

Izadpanah, Seyed-Hamedreza 28 September 2011 (has links) (PDF)
Le système PLM est l'un des outils stratégiques de l'entreprise. Ces systèmes sont sujets à des changements récurrents dans l'entreprise. Les évolutions organisationnelles, le changement de l'offre produit ou encore le remplacement de logiciels PLM peuvent déclencher l'évolution du système d'information PLM. Une des structures les plus importantes dans les systèmes PLM est le modèle du produit, autour duquel s'articule les informations et processus. C'est autour du modèle produit que se concentrent nos recherches. Les causes d'évolution des modèles produits sont des éléments signifiants qui différencient les étapes de la démarche à suivre. Les méthodes d'IDM sont utilisées afin de formaliser la transformation des modèles. En plus, cette démarche bénéfice d'un cadre de similarité spécialement développé pour la configuration de produit. Un exemple industriel est illustré et résolu en appliquant cette démarche. Il s'agit de l'évolution d'un système gérant les modèles spécifiques de produit vers un système qui est capable de construire et d'utiliser les modèles génériques de produit. Un outil informatique support à nos travaux est développé dans le cadre d'Eclipse.
60

Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBox

Boyer, Brice 21 June 2012 (has links) (PDF)
Dans ce mémoire de thèse, nous développons d'abord des multiplications matricielles efficaces. Nous créons de nouveaux ordonnancements qui permettent de réduire la taille de la mémoire supplémentaire nécessaire lors d'une multiplication du type Winograd tout en gardant une bonne complexité, grâce au développement d'outils externes ad hoc (jeu de galets), à des calculs fins de complexité et à de nouveaux algorithmes hybrides. Nous utilisons ensuite des technologies parallèles (multicœurs et GPU) pour accélérer efficacement la multiplication entre matrice creuse et vecteur dense (SpMV), essentielles aux algorithmes dits /boîte noire/, et créons de nouveaux formats hybrides adéquats. Enfin, nous établissons des méthodes de /design/ générique orientées vers l'efficacité, notamment par conception par briques de base, et via des auto-optimisations. Nous proposons aussi des méthodes pour améliorer et standardiser la qualité du code de manière à pérenniser et rendre plus robuste le code produit. Cela permet de pérenniser de rendre plus robuste le code produit. Ces méthodes sont appliquées en particulier à la bibliothèque de calcul exact LinBox.

Page generated in 0.1101 seconds