Teses / dissertações: "Vues sur les modèles"

1

Ahmad, Houda. "Une approche matérialisée basée sur les vues pour l'intégration de documents XML". Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10086.

Texto completo da fonte

Resumo:

Les données semi-structurées occupent une place croissante dans l'évolution du Web par le biais du langag, XML. La gestion de telles données ne s'appuie pas sur un schéma prédéfini, comme dans le cas de données structurées, gérées par exemple par le modèle relationnel. Le schéma de chaque document est auto-contenu dans le document même, et des documents similaires peuvent être représentés par des schémas différents. C'est pourquoi les algorithmes et les techniques d'intégration et d'interrogation de telles sources de données sont souvent plus complexes que ceux définis pour l'intégration et l'interrogation de sources de données structurées. L'objectif de notre travail est l'intégration de données XML en utilisant les principes d'Osiris, un prototype de SGBD¬BC, dont le concept central est celui de vue. Dans ce système, une famille d'objets est définie par une hiérarchie de vues, où chaque vue est définie par ses vues mères, ses attributs et contraintes propres. Osiris appartient à la famille des logiques de description, la vue minimale d'une famille d'objets étant assimilée à un concept primitif et ses autres vues à des concepts défmis. Vn objet d'une famille satisfait certaines de ses vues. Pour chaque famille d'objets, Osiris construit, par analyse des contraintes définies dans toutes ses vues, un espace de classement n-dimensionnel. Cet espace sert de support au classement d'objets et aussi à leur indexation. Dans cette thèse nous avons étudié l'apport des principales fonctionnalités d'Osiris - classement, indexation et optimisation sémantique des requêtes - à l'intégration de documents XML. Pour cela nous produisons un schéma cible (XML schema abstrait), qui représente un schéma Osiris; chaque document satisfaisant un schéma source (XML schema concret) est réécrit en termes du schéma cible avant de subir l'extraction des valeurs de ses entités. Les objets correspondant à ces entités sont alors classés et indexés. Le mécanisme d'optimisation sémantique des requêtes d'Osiris peut dès lors être utilisé pour extraire les objets d'intérêt pour une requête. Nous avons réalisé un prototype, nommé OSIX (Osiris-based System for the Integration ofXML sources) et nous l'avons appliqué à l'intégration et l'interrogation de documents XML simulant les données d'un hôpital
Semi-structured data play an increasing role in the development of the Web through the use ofXML. However, the management of semi-structured data poses specific problems because semi-structured data, contrary to classical databases, do not rely on a predefined schema. The schema of a document is contained in the document itself and similar documents may be represented by different schemas. Consequently, the techniques and algorithms used for querying or integrating this data are more complex than those used for structured data. The objective of our work is the integration of XML data by using the principles of Osiris, a prototype of KB-DBMS, in which views are a central concept. Ln this system, a family of objects is defined by a hierarchy of views, where a view is defined by its parent views and its own attributes and constraints. Osiris belongs to the family of Description Logics; the minimal view of a family of objects is assimilated to a primitive concept and its other views to defined concepts. An object of a family satisfies sorne ofits views. For each family of objects, Osiris builds a n-dimensional classification space by analysing the constraints defined in all of its views. This space is used for object classification and indexation. Ln this the sis we study the contribution of the main features of Osiris - classification, indexation and semantic query optimization - to the integration ofXML documents. For this purpose we produce a target schema (an abstract XML schema), who represents an Osiris schema; every document satisfying a source schema (concrete XML schema) is rewritten in terrns of the target schema before undergoing the extraction of the values ofits entities. The objects corresponding to these entities are then classified and indexed. The Osiris mechanism for semantic query optimization can then be used to extract the objects of interest of a query

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Ahmad, Houda. "Une approche matérialisée basée sur les vues pour l'intégration de documents XML". Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00957148.

Texto completo da fonte

Resumo:

Les données semi-structurées occupent une place croissante dans l'évolution du Web par le biais du langage XML. La gestion de telles données ne s'appuie pas sur un schéma pré-dé fini, comme dans le cas de données structurées, gérées par exemple par le modèle relationnel. Le schéma de chaque document est auto-contenu dans le document même, et des documents similaires peuvent être représentés par des schémas différents. C'est pourquoi les algorithmes et les techniques d'intégration et d'interrogation de telles sources de données sont souvent plus complexes que ceux défi nis pour l'intégration et l'interrogation de sources de données structurées. L'objectif de notre travail est l'intégration de données XML en utilisant les principes d'Osiris, un prototype de SGBD-BC, dont le concept central est celui de vue. Dans ce système, une famille d'objets est défi nie par une hiérarchie de vues, où chaque vue est défi nie par ses vues mères, ses attributs et contraintes propres. Osiris appartient à la famille des logiques de description, la vue minimale d'une famille d'objets étant assimilée à un concept primitif et ses autres vues à des concepts définis. Un objet d'une famille satisfait certaines de ses vues. Pour chaque famille d'objets, Osiris construit, par analyse des contraintes dé finies dans toutes ses vues, un espace de classement n-dimensionnel. Cet espace sert de support au classement d'objets et aussi à leur indexation. Dans cette thèse nous avons étudié l'apport des principales fonctionnalités d'Osiris - classement, indexation et optimisation sémantique des requêtes à l'intégration de documents XML. Pour cela nous produisons un schéma cible (XML schema abstrait), qui représente un schéma Osiris ; chaque document satisfaisant un schéma source (XML schema concret) est réécrit en termes du schéma cible avant de subir l'extraction des valeurs de ses entités. Les objets correspondant à ces entités sont alors classés et indexés. Le mécanisme d'optimisation sémantique des requêtes d'Osiris peut dès lors être utilisé pour extraire les objets d'intérêt pour une requête. Nous avons réalisé un prototype, nommé OSIX (Osiris-based System for the Integration of XML sources) et nous l'avons appliqué à l'intégration et l'interrogation de documents XML simulant les données d'un hôpital.

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Morgand, Alexandre. "Un modèle géométrique multi-vues des taches spéculaires basé sur les quadriques avec application en réalité augmentée". Thesis, Université Clermont Auvergne‎ (2017-2020), 2018. http://www.theses.fr/2018CLFAC078/document.

Texto completo da fonte

Resumo:

La réalité augmentée (RA) consiste en l’insertion d’éléments virtuels dans une scène réelle, observée à travers un écran ou en utilisant un système de projection sur la scène ou l’objet d’intérêt. Les systèmes de réalité augmentée peuvent prendre des différentes formes pour obtenir l’équilibre désiré entre trois critères : précision, latence et robustesse. Il est possible d’identifier trois composants principaux à ces systèmes : localisation, reconstruction et affichage. Les contributions de cette thèse se concentrent essentiellement sur l’affichage et plus particulièrement le rendu des applications de réalité augmentée. À l’opposé des récentes avancées dans le domaine de la localisation et de la reconstruction, l’insertion d’éléments virtuels de façon plausible et esthétique reste une problématique compliquée, mal-posée et peu adaptée à un contexte temps réel. En effet, cette insertion requiert une reconstruction de l’illumination de la scène afin d’appliquer les conditions lumineuses adéquates à l’objet inséré. L’illumination de la scène peut être divisée en plusieurs catégories. Nous pouvons modéliser l’environnement de façon à décrire l’interaction de la lumière incidente et réfléchie pour chaque point 3D d’une surface. Il est également possible d’expliciter l’environnement en calculant la position des sources de lumière, leur type (lampe de bureau, néon, ampoule, ….), leur intensité et leur couleur. Pour insérer un objet de façon cohérente et réaliste, il est primordial d’avoir également une connaissance de la surface recevant l’illumination. Cette interaction lumière/matériaux est dépendante de la géométrie de la surface, de sa composition chimique (matériau) et de sa couleur. Pour tous ces aspects, le problème de reconstruction de l’illumination est difficile, car il est très complexe d’isoler l’illumination sans connaissance a priori de la géométrie, des matériaux de la scène et de la pose de la caméra observant la scène. De manière générale, sur une surface, une source de lumière laisse plusieurs traces telles que les ombres, qui sont créées par l’occultation de rayons lumineux par un objet, et les réflexions spéculaires ou spécularités qui se manifestent par la réflexion partielle ou totale de la lumière. Bien que ces spécularités soient souvent considérées comme des éléments parasites dans les applications de localisation de caméra, de reconstruction ou encore de segmentation, ces éléments donnent des informations cruciales sur la position et la couleur de la source lumineuse, mais également sur la géométrie de la surface et la réflectance du matériau où elle se manifeste. Face à la difficulté du problème de modélisation de la lumière et plus particulièrement du calcul de l’ensemble des paramètres de la lumière, nous nous sommes focalisés, dans cette thèse, sur l’étude des spécularités et sur toutes les informations qu’elles peuvent fournir pour la compréhension de la scène. Plus particulièrement, nous savons qu’une spécularité est définie comme la réflexion d’une source de lumière sur une surface réfléchissante. Partant de cette remarque, nous avons exploré la possibilité de considérer la spécularité comme étant une image issue de la projection d’un objet 3D dans l’espace. Nous sommes partis d’un constat simple, mais peu traité par la littérature qui est que les spécularités présentent une forme elliptique lorsqu’elles apparaissent sur une surface plane. À partir de cette hypothèse, pouvons-nous considérer un objet 3D fixe dans l’espace tel que sa projection perspective dans l’image corresponde à la forme de la spécularité ? Plus particulièrement, nous savons qu’un ellipsoïde projeté perspectivement donne une ellipse. Considérer le phénomène de spécularité comme un phénomène géométrique a de nombreux avantages. (...)
Augmented Reality (AR) consists in inserting virtual elements in a real scene, observed through a screen or a projection system on the scene or the object of interest. The augmented reality systems can take different forms to obtain a balance between three criteria: precision, latency and robustness. It is possible to identify three main components to these systems: localization, reconstruction and display. The contributions of this thesis focus essentially on the display and more particularly the rendering of augmented reality applications. Contrary to the recent advances in the field of localization and reconstruction, the insertion of virtual elements in a plausible and aesthetic way remains a complicated problematic, ill-posed and not adapted to a real-time context. Indeed, this insertion requires a good understanding of the lighting conditions of the scene. The lighting conditions of the scene can be divided in several categories. First, we can model the environment to describe the interaction between the incident and reflected light pour each 3D point of a surface. Secondly, it is also possible to explicitly the environment by computing the position of the light sources, their type (desktop lamps, fluorescent lamp, light bulb, . . . ), their intensities and their colors. Finally, to insert a virtual object in a coherent and realistic way, it is essential to have the knowledge of the surface’s geometry, its chemical composition (material) and its color. For all of these aspects, the reconstruction of the illumination is difficult because it is really complex to isolate the illumination without prior knowledge of the geometry, material of the scene and the camera pose observing the scene. In general, on a surface, a light source leaves several traces such as shadows, created from the occultation of light rays by an object, and the specularities (or specular reflections) which are created by the partial or total reflection of the light. These specularities are often described as very high intensity elements in the image. Although these specularities are often considered as outliers for applications such as camera localization, reconstruction or segmentation, these elements give crucial information on the position and color of the light source but also on the surface’s geometry and the material’s reflectance where these specularities appear. To address the light modeling problem, we focused, in this thesis, on the study of specularities and on every information that they can provide for the understanding of the scene. More specifically, we know that a specularity is defined as the reflection of the light source on a shiny surface. From this statement, we have explored the possibility to consider the specularity as the image created from the projection of a 3D object in space.We started from the simple but little studied in the literature observation that specularities present an elliptic shape when they appear on a planar surface. From this hypothesis, can we consider the existence of a 3D object fixed in space such as its perspective projection in the image fit the shape of the specularity ? We know that an ellipsoid projected perspectivally gives an ellipse. Considering the specularity as a geometric phenomenon presents various advantages. First, the reconstruction of a 3D object and more specifically of an ellipsoid, has been the subject to many publications in the state of the art. Secondly, this modeling allows a great flexibility on the tracking of the state of the specularity and more specifically the light source. Indeed, if the light is turning off, it is easy to visualize in the image if the specularity disappears if we know the contour (and reciprocally of the light is turning on again). (...)

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Rochet, Marie-Joëlle. "Apports des modèles mathématiques en épidémiologie : points de vue sur la filariose de Bancroft". Lyon 1, 1991. http://www.theses.fr/1991LYO10237.

Texto completo da fonte

Resumo:

Le cycle de transmission de la filaire de brancroft est aborde de plusieurs points de vue qui permettent la construction de modeles mathematiques simples; les objectifs sont, d'une part, de synthetiser les connaissances sur l'epidemiologie de l'infection, d'autre part, d'en tirer des consequences applicables pour le controle de la transmission. La confrontation des modeles avec les donnees constitue une etape essentielle du travail. Plusieurs modeles ont ete construits, considerant le cycle de trois points de vue: - un modele deterministe de la transmission, qui met l'accent sur la dynamique de population du vecteur et les facteurs d'environnement qui la determinent. Ce travail corrobore l'hypothese qu'un vecteur de la filariose transmet rarement plus d'une infection; il montre que le controle vectoriel seul agit avec retard sur l'intensite d'infection de la population humaine; - un modele probabiliste de la distribution des parasites dans la population humaine. L'importante variabilite des mesures est insuffisante a expliquer le caractere surdisperse de cette distribution; les variations des manifestations de l'infection au cours du temps jouent egalement un role important; la prise en compte de ces facteurs permet une approche de l'agregativite reelle des parasites adultes. Les recherches pour de nouvelles techniques de diagnostic sont discutees a la lumiere des resultats; - des modeles de la prevalence par classe d'age, qui permettent d'evaluer la duree des differentes phases d'une infection et leur variabilite. L'existence d'une immunite acquise chez l'homme est mise en doute, ce qui n'est pas sans consequence sur les possibilites d'elaboration d'un vaccin. Les differences observees entre les sexes sont reexaminees de facon dynamique et quelques hypotheses explicatives sont proposees

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Thonet, Thibaut. "Modèles thématiques pour la découverte non supervisée de points de vue sur le Web". Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30167/document.

Texto completo da fonte

Resumo:

Les plateformes en ligne telles que les blogs et les réseaux sociaux permettent aux internautes de s'exprimer sur des sujets d'une grande variété (produits commerciaux, politique, services, etc.). Cet important volume de données d'opinions peut être exploré et exploité grâce à des techniques de fouille de texte connues sous le nom de fouille d'opinions ou analyse de sentiments. Contrairement à la majorité des travaux actuels en fouille d'opinions, qui se focalisent sur les opinions simplement positives ou négatives (ou un intermédiaire entre ces deux extrêmes), nous nous intéressons dans cette thèse aux points de vue. La fouille de point de vue généralise l'opinion au delà de son acception usuelle liée à la polarité (positive ou négative) et permet l'étude d'opinions exprimées plus subtilement, telles que les opinions politiques. Nous proposons dans cette thèse des approches non supervisées - ne nécessitant aucune annotation préalable - basées sur des modèles thématiques probabilistes afin de découvrir simultanément les thèmes et les points de vue exprimés dans des corpus de textes d'opinion. Dans notre première contribution, nous avons exploré l'idée de différencier mots d'opinions (spécifiques à la fois à un point de vue et à un thème) et mots thématiques (dépendants du thème mais neutres vis-à-vis des différents points de vue) en nous basant sur les parties de discours, inspirée par des pratiques similaires dans la littérature de fouille d'opinions classique - restreinte aux opinions positives et négatives. Notre seconde contribution se focalise quant à elle sur les points de vue exprimés sur les réseaux sociaux. Notre objectif est ici d'analyser dans quelle mesure l'utilisation des interactions entre utilisateurs, en outre de leur contenu textuel généré, est bénéfique à l'identification de leurs points de vue. Nos différentes contributions ont été évaluées et comparées à l'état de l'art sur des collections de documents réels
The advent of online platforms such as weblogs and social networking sites provided Internet users with an unprecedented means to express their opinions on a wide range of topics, including policy and commercial products. This large volume of opinionated data can be explored and exploited through text mining techniques known as opinion mining or sentiment analysis. Contrarily to traditional opinion mining work which mostly focuses on positive and negative opinions (or an intermediate in-between), we study a more challenging type of opinions: viewpoints. Viewpoint mining reaches beyond polarity-based opinions (positive/negative) and enables the analysis of more subtle opinions such as political opinions. In this thesis, we proposed unsupervised approaches – i.e., approaches which do not require any labeled data – based on probabilistic topic models to jointly discover topics and viewpoints expressed in opinionated data. In our first contribution, we explored the idea of separating opinion words (specific to both viewpoints and topics) from topical, neutral words based on parts of speech, inspired by similar practices in the litterature of non viewpoint-related opinion mining. Our second contribution tackles viewpoints expressed by social network users. We aimed to study to what extent social interactions between users – in addition to text content – can be beneficial to identify users' viewpoints. Our different contributions were evaluated and benchmarked against state-of-the-art baselines on real-world datasets

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Mazauric, Serge. "Modèles spectraux à transferts de flux appliqués à la prédiction de couleurs sur des surfaces imprimées en demi-ton". Thesis, Lyon, 2016. http://www.theses.fr/2016LYSES064/document.

Texto completo da fonte

Resumo:

La protection des documents fiduciaires et identitaires contre la fraude exige le développement d’outils de contrôle fondés sur des effets visuels sans cesse renouvelés, difficiles à contrefaire (même pour un expert ... de la contrefaçon !). Ce projet de recherche s’inscrit dans cette problématique et vise à apporter des solutions originales via l’impression de supports diffusants d’une part, et le développement de modèles de rendu visuel d’autre part. Les effets visuels recherchés sont des ajustements de couleurs entre les deux faces d’un imprimé lorsque celui-ci est observé par transparence devant une source lumineuse. Pour obtenir facilement des ajustements de couleurs quelles que soient les couleurs visées, il est capital d’avoir un modèle à disposition, permettant de calculer les quantités d’encre à déposer. Un modèle doit être capable de prédire les facteurs spectraux de réflexion et de transmission du support imprimé en décrivant les phénomènes de diffusion optique présents en pratique dans les couches d’encre et le support. Nous nous intéressons plus particulièrement aux imprimés translucides contenant des couleurs en demi-ton des deux côtés de la surface avec pour objectif de prédire le rendu visuel pour diverses configurations d’observation. Pour cela, nous proposons une nouvelle approche basée sur l’utilisation de matrices de transfert de flux pour prédire les facteurs spectraux de réflexion et de transmission des imprimés lorsqu’ils sont éclairés simultanément des deux côtés. En représentant le comportement optique des différents composants d’un imprimé par des matrices de transfert, la description des transferts de flux entre ces composantes s’en trouve simplifiée. Ce cadre mathématique mène à la construction de modèles de prédiction de couleurs imprimées en demi-ton sur des supports diffusants. Nous montrons par ailleurs que certains modèles existants, comme le modèle de Kubelka-Munk ou encore le modèle de Clapper-Yule, peuvent également être formulés en termes de matrices de transfert. Les résultats obtenus avec les modèles proposés dans ce travail mettent en évidence des qualités de prédiction équivalentes, voire supérieures, à celles qu’on retrouve dans l’état de l’art, tout en proposant une simplification de la formulation mathématique et de la description physique des échanges de flux. Cette simplification fait de ces modèles des outils de calcul qui s’utilisent très facilement, notamment pour la détermination des quantités d’encre à déposer sur les deux faces de l’imprimé afin d’obtenir des ajustements de couleurs
The protection of banknotes or identity documents against counterfeiting demands the development of control tools based on visual effects that are continuously renewed. These visual effects become thus difficult to counterfeit even by an expert forger ! This research tries to deal with that issue. Its objective is to bring new solutions using on the one side, the printing of diffusing materials, and on the other side the development of visual rendering models that can be observed. The visual effects that are sought-after are the color matching on both sides of a printed document when observed against thelight. To easily obtain a color matching, whatever the colors that are aimed for, it is essential to have a model that helps in calculating the quantity of ink to be left on the document. A model must be used to predict the spectral reflectance and the transmittance factors of the printed document by describing the phenomena of optical diffusion really present in the ink layers and in the document. We shall focus our interest especially on translucent printed documents that have halftone colors on both sides. Our goal here is to predict the visual rendering in different configurations of observation. To that end, we are offering a new approach based on the use of flux transfer matrices to predict the spectral reflectance and transmittance factors of prints when they are simultaneously lit up on both sides. By representing with transfer matrices the optical behavior of the different components present in a printed document, we see that the description of flux transfer between these elements is thus simplified. This mathematical framework leads to the construction of prediction models of halftone printed colors on diffusing materials. We also show that some existing models, such as the Kubelka-Munk or the Clapper-Yule models, can also be formulated in transfer matrices terms. The results that we get with the models used in this work make apparent identical prediction quality and in some cases even better ones to the ones found in the state of the art, while offering a simplification of the mathematical formulation and the physical description of the flux transfer. This simplification thus transforms these models into calculation tools that can easily be used especially for the choice of quantities of ink that must be left on both sides of the document in order to obtain color matching

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Khalfaoui, Souhaiel. "Production automatique de modèles tridimensionnels par numérisation 3D". Phd thesis, Université de Bourgogne, 2012. http://tel.archives-ouvertes.fr/tel-00841916.

Texto completo da fonte

Resumo:

La numérisation 3D telle que pratiquée aujourd'hui repose essentiellement sur les connaissances de l'opérateur qui la réalise. La qualité des résultats reste très sensible à la procédure utilisée et par conséquent aux compétences de l'opérateur. Ainsi, la numérisation manuelle est très coûteuse en ressources humaines et matérielles et son résultat dépend fortement du niveau de technicité de l'opérateur. Les solutions de numérisation les plus avancées en milieu industriel sont basées sur une approche d'apprentissage nécessitant une adaptation manuelle pour chaque pièce. Ces systèmes sont donc semi-automatiques compte tenu de l'importance de la contribution humaine pour la planification des vues.Mon projet de thèse se focalise sur la définition d'un procédé de numérisation 3D automatique et intelligente. Ce procédé est présenté sous forme d'une séquence de processus qui sont la planification de vues, la planification de trajectoires, l'acquisition et les post-traitements des données acquises. L'originalité de notre démarche de numérisation est qu'elle est générique parce qu'elle n'est pas liée aux outils et méthodes utilisés pour la réalisation des tâches liées à chaque processus. Nous avons également développé trois méthodes de planification de vues pour la numérisation d'objets sans connaissance a priori de leurs formes. Ces méthodes garantissent une indépendance des résultats par rapport au savoir-faire de l'opérateur. L'originalité de ces approches est qu'elles sont applicables à tous types de scanners. Nous avons implanté ces méthodes sur une cellule de numérisation robotisée. Nos approches assurent une reconstruction progressive et intelligente d'un large panel d'objets de différentes classes de complexité en déplaçant efficacement le scanner

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Pucel, Xavier. "Un point de vue unifié sur la diagnosticabilité". Phd thesis, INSA de Toulouse, 2008. http://tel.archives-ouvertes.fr/tel-00354934.

Texto completo da fonte

Resumo:

Le problème du diagnostic de défaillance à base de modèle dans les systèmes complexes a reçu un intérêt croissant durant les dernières décennies. Ce problème doit être pris en compte dès la phase de conception du système, au moyen de l'analyse de la diagnosticabilité. La diagnosticabilité est la capacité d'un système à exhiber des symptômes différents pour un ensemble de situations de défaillances anticipées. Plusieurs approches ont été développées basées sur différents formalismes de modélisation, toutefois les raisonnements menant à la diagnosticabilité sont très semblables dans toutes ces approches. Cette thèse développe une comparaison des approches existantes et établit une définition unifiée de la diagnosticabilité. Une nouvelle approche pour l'analyse de diagnosticabilité, basée sur les modes de faute partiels, est décrite. Elle est implémentée dans le contexte des architectures orientées services, plus précisément sur des web service, et bénéficia du cadre du projet européen WS-DIAMOND. Une nouvelle généralisation de la définition de la diagnosticabilité à n'importe quel ensemble d'état est présentée, qui permet de prendre en compte de nouveaux types de propriétés, comme les préconditions de réparation, ou la qualité de service. Ces travaux ouvrent des perspectives pour le raisonnement de diagnosticabilité indépendant du modèle, pour la diagnosticabilité basée sur d'autres types de modèles, ainsi que pour l'intégration du diagnostic dans un outil de surveillance plus général. Le diagnostic et l'analyse de diagnosticabilité des systèmes logiciels est encore un domaine jeune, et ouvre de nombreuses connections avec le domaine de la sécurité informatique.

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Pervanchon, Frank. "Modélisation de l'effet des pratiques agricoles sur la diversité végétale et la valeur agronomique des prairies permanentes en vue de l'élaboration d'indicateurs agri-environnementaux". Vandoeuvre-les-Nancy, INPL, 2004. http://www.theses.fr/2004INPL061N.

Texto completo da fonte

Resumo:

Nous posons l'hypothèse selon laquelle il est nécessaire d'élaborer un modèle mathématique de prévision de la diversité végétale et de la valeur agronomique des prairies permanentes pour construire des indicateurs de gestion des prairies permanentes en fonction de l'ensemble des pratiques agricoles qui y sont appliquées. Nous montrons que la régression multiple ne permet pas d'obtenir de modèles performants de la diversité végétale. En revanche, la prédiction de la valeur pastorale est assez performante si l'on tient compte des facteurs du milieu (pH, humidité, etc. ). Cependant, ces bons résultats ne concernent que les prairies mixtes de Lorraine, en raison d'un faible nombre de données disponibles. Pour modéliser la diversité végétale, nous proposons une modélisation basée sur des systèmes experts associé à la logique floue. Cette modélisation est l'une des premières applications concrètes de la théorie des groupes fonctionnels basés sur les traits de vie des espèces végétales. Nous montrons qu'il est possible de diagnostiquer et prédire la végétation (liste d'espèces végétales) et la valeur patrimoniale d'une prairie, sans réaliser de relévés floristiques, en se basant uniquement sur les traits de vie déjà identifiés dans la littérature. Des indicateurs sont obtenus en rapportant les résultats du modèle à des valeurs régionales de diversité végétale et de valeur pastorale
We set out the hypothesis according which it is necessary to elaborate a mathematical model for the prediction of vegetal diversity and of agronomical value of permanent grasslands. The fmal aim is to set up indicators of permanent grassland management according to the agricultural practices applied there. We demonstrate that multiple regression analysis does not allow obtaining effective models of vegetal diversity. Nevertheless, the prediction of pastoral value is rather effective when considering the environmental factors (pH, moisture, etc. ). However, these results do not concern the mixed grasslands of Lorraine, because of a weak number of available data. Ln order to predict vegetal diversity and agronomic value, we propose a model based on expert systems associated to fuzzy logic. This modelisation is one of the ftrst concrete applications of the theory of functional groups based on life traits of plant species. We show that it is possible to diagnose and predict vegetation (list of vegetal species) and the patrimonial value of grassland, without realizing floristic relevés, by being based only on the life traits already identified in litterature. Lndicators are obtained by reporting the model's results on an abacus ofregional values of vegetal diversity and ofpastoral value

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

El, Yadari Nizare. "Identification des défauts vus lors d'un contrôle non destructif ultrasonore par méthode d'inversion basée sur des résultats de modèles directs". Paris 7, 2006. http://www.theses.fr/2006PA077096.

Texto completo da fonte

Resumo:

Ce travail porte sur l'amélioration des méthodes d'identification et de dimensionnement des défauts vus lors d'un contrôle non destructif par ultrasons. L'interaction du faisceau ultrasonore émis dans la structure comportant un défaut donne lieu à différents phénomènes physiques : réflexion spéculaire, diffraction, conversions de mode. De plus, si le défaut est situé à proximité du fond de la pièce, apparaissent des échos de coin dus à des réflexions successives sur le fond et le défaut et des échos de géométrie dus aux irrégularités de la géométrie du fond. L'image ultrasonore de type Bscan contenant la signature des défauts se caractérise alors par une multiplicité d'indications ultrasonores qui rend difficile l'interprétation des données. Une méthode d'inversion appelant un modèle mixte a été développée. Cette méthode est basée sur la combinaison d'un modèle d'initialisation des solutions et d'un critère de dissemblance avec des résultats simulés. L'approche proposée est appliquée sur des résultats de simulation et des mesures expérimentales afin d'évaluer ses performances
This work aims at improving ultrasonic non-destructive testing methods in their ability to identify and size defects ultrasonic indications measured in a Bscan image resuit from different echo-formation mechanisms: specular refexion, diffraction, mode conversion. Moreover, since defects are close to the backwall surface of the component, appear echoes involving one reflection onto the backwall either for the incoming wave or for the wave scattered by the defect (corner effects) and echoes not due to the presence of a defect but to an irregularity of the part boundary. Consequently, the Bscan image is complicated and its interpretation is a difficult task. Our main objective is to obtain automatically defect characteristics (type, geometrical parameters) from an ultrasonic Bscan image. For this, an inverse method based on a two-step algorithm has been developped. The first step aims at defining a set of probable defects. The second step aims at finding among them the most probable solution. The performance of the proposed procédure is demonstrated by numerical simulations and experimental measurements

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Pontes, Miranda James William. "Federation of heterogeneous models with machine learning-assisted model views". Electronic Thesis or Diss., Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2025. http://www.theses.fr/2025IMTA0454.

Texto completo da fonte

Resumo:

L’Ingénierie Dirigée par les Modèles (IDM) promeut les modèles comme un élément clé pour répondre à la complexité croissante du cycle de vie des systèmes logiciel. L’ingénierie de systèmes avec l’IDM implique divers modèles représentant différentes aspects du système. Cette hétérogénéité nécessite des capacités de fédération de modèles pour intégrer des points de vue spécifiques à de multiples domaines. Les solutions de Vues sur les Modèles (Model Views) répondent à ce défi mais manquent encore de support à l’automatisation. Cette thèse explore l’intégration de l’Apprentissage Automatique (AA), notamment les Réseaux de Neurones en Graphes (GNN) et Grands Modèles de Langage (LLM), pour améliorer la définition et construction de telles vues. La solution proposée introduit une approche en deux volets dans la solution technique EMF Views. Cela a permis d’automatiser partiellement la définition des vues sur modèles à la conception, et de calculer dynamiquement les liens inter-modèles à l’exécution. Nos résultats indiquent que l’application de techniques d’apprentissage profond (DL), dans ce contexte spécifique de l’IDM, permet déjà d’atteindre un premier niveau d’automatisation intéressant. Plus globalement, cet effort de recherche contribue au développement actuel de solutions plus intelligentes pour l’IDM
Model-driven engineering (MDE) promotes models as a key element in addressing the increasing complexity of the software systems’ lifecycle. Engineering systems with MDE involves various models representing different system aspects. This heterogeneity requires model federation capabilities to integrate viewpoints specific to multiple domains. Model View solutions address this challenge but still lack more automation support. This thesis explores the integration of Machine Learning (ML), notably Graph Neural Networks (GNNs) and Large Language Models (LLMs), in order to improve the definition and building of such views. The proposed solution introduces a twofold approach within the EMF Views technical solution. This allowed to partially automate the definition of model views at design time, and to dynamically compute inter-model links at runtime. Our results indicate that the application of Deep Learning (DL) techniques, in this particular MDE context, already allows to achieve a first relevant level of automation. More globally, this research effort contributes to the ongoing development of more intelligent MDE solutions

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Durand, Cédric. "Développement de résonateurs électromécaniques en technologie Silicon On Nothing, à détection capacitive et amplifiée par transistor MOS, en vue d’une co-intégration permettant d’adresser une application de référence de temps". Electronic Thesis or Diss., Lille 1, 2009. http://www.theses.fr/2009LIL10008.

Texto completo da fonte

Resumo:

Les résonateurs électromécaniques (MEMS), de part leurs bonnes performances, leur petite taille, ou encore leurs possibilités d'intégration au plus proche des transistors, présentent un fort potentiel pour le remplacement des quartz dans les applications de référence de temps. Dans ce contexte, nous proposons de développer des résonateurs électromécaniques en vue d'une intégration « front-end », pour la réalisation d'oscillateurs intégrés. Ainsi, nous avons fabriqué des démonstrateurs à partir des briques de base de la technologie CMOS Silicon On Nothing, en phase de R&D à STMicroe!ectronlcs. Du fait de la petite taille des composants, nous avons utilisé un transistor à grille résonante pour amplifier la détection de la résonance. Ainsi, des développements technologiques spécifiques ont permis de fabriquer des résonateurs et leur transistor de détection. La conception des dispositifs a été réalisée à partir du développement d'un modèle électromécanique des résonateurs. Ce modèle est compatible avec les outils de design et peut alors aider à la conception de l'oscillateur MEMS. Nous avons ensuite montré le bon fonctionnement des résonateurs fabriqués, ainsi que celui de l'amplification induite par la détection MOS. Cette démonstration constitue une première, prouvant la fonctionnalité de la détection MOS pour un composant de petite taille, vibrant dans le plan du substrat. Enfin, nous avons validé le modèle électromécanique à partir d'autres modèles ainsi qu'avec les mesures des composants fabriqués. En termes de perspectives, le recours à diverses améliorations permettrait d'obtenir des dispositifs compatibles avec la réalisation d'un oscillateur performant et co-intégré
Due to good performances, small size, or either integration possibilities very close to transistors,electromechanical resonators offer a strong potential for quartz replacement in time reference applications. In this context, we propose to develop electromechanical resonators in a perspective of a front-end integration, for the realization of integrated oscillators. The fabricated demonstrators are based on the Silicon On Nothing CMOS technology, under R&D at STMicroelectronics. Due to the small size of the studied components, a resonant gate transistor was used to amplify the resonance detection. Specific technological developments enabled the fabrication of both resonator and detection transistor. Device conception was made by the use of an electromechanical resonator model, developed during the study. Thurthermore, the model is compatible with design tools, making it usefull for MEMS oscillator conception.Then, we demonstrated resonator and MOSFET detection amplification well-functionning on the fabricated devices.This is the first demonstration of MOSFET detection functionality for a small size and in-plane vibrating component. Finally, the electromechanical model was validated with other models and measurements. In terms of perspectives, the use of various design or technology improvements could able the access to devices compatible with the realization of a high perfromances and co-integrated oscillator

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Durand, Cédric. "Développement de résonateurs électromécaniques en technologie Silicon On Nothing, à détection capacitive et amplifiée par transistor MOS, en vue d’une co-intégration permettant d’adresser une application de référence de temps". Thesis, Lille 1, 2009. http://www.theses.fr/2009LIL10008/document.

Texto completo da fonte

Resumo:

Les résonateurs électromécaniques (MEMS), de part leurs bonnes performances, leur petite taille, ou encore leurs possibilités d'intégration au plus proche des transistors, présentent un fort potentiel pour le remplacement des quartz dans les applications de référence de temps. Dans ce contexte, nous proposons de développer des résonateurs électromécaniques en vue d'une intégration « front-end », pour la réalisation d'oscillateurs intégrés. Ainsi, nous avons fabriqué des démonstrateurs à partir des briques de base de la technologie CMOS Silicon On Nothing, en phase de R&D à STMicroe!ectronlcs. Du fait de la petite taille des composants, nous avons utilisé un transistor à grille résonante pour amplifier la détection de la résonance. Ainsi, des développements technologiques spécifiques ont permis de fabriquer des résonateurs et leur transistor de détection. La conception des dispositifs a été réalisée à partir du développement d'un modèle électromécanique des résonateurs. Ce modèle est compatible avec les outils de design et peut alors aider à la conception de l'oscillateur MEMS. Nous avons ensuite montré le bon fonctionnement des résonateurs fabriqués, ainsi que celui de l'amplification induite par la détection MOS. Cette démonstration constitue une première, prouvant la fonctionnalité de la détection MOS pour un composant de petite taille, vibrant dans le plan du substrat. Enfin, nous avons validé le modèle électromécanique à partir d'autres modèles ainsi qu'avec les mesures des composants fabriqués. En termes de perspectives, le recours à diverses améliorations permettrait d'obtenir des dispositifs compatibles avec la réalisation d'un oscillateur performant et co-intégré
Due to good performances, small size, or either integration possibilities very close to transistors,electromechanical resonators offer a strong potential for quartz replacement in time reference applications. In this context, we propose to develop electromechanical resonators in a perspective of a front-end integration, for the realization of integrated oscillators. The fabricated demonstrators are based on the Silicon On Nothing CMOS technology, under R&D at STMicroelectronics. Due to the small size of the studied components, a resonant gate transistor was used to amplify the resonance detection. Specific technological developments enabled the fabrication of both resonator and detection transistor. Device conception was made by the use of an electromechanical resonator model, developed during the study. Thurthermore, the model is compatible with design tools, making it usefull for MEMS oscillator conception.Then, we demonstrated resonator and MOSFET detection amplification well-functionning on the fabricated devices.This is the first demonstration of MOSFET detection functionality for a small size and in-plane vibrating component. Finally, the electromechanical model was validated with other models and measurements. In terms of perspectives, the use of various design or technology improvements could able the access to devices compatible with the realization of a high perfromances and co-integrated oscillator

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Filali, Ansary Tarik. "Indexation de modèles 3D à partir de vues 2D". Evry, Institut national des télécommunications, 2006. http://www.theses.fr/2006TELE0006.

Texto completo da fonte

Resumo:

La gestion de grandes bases de données de modèles tridimensionnels ( utilisés dans les applications de CAD/CAO, de visualisation, de jeux , etc. ) est un domaine de grande importance. En effet, pouvoir caractériser les modèles et les retrouver facilement sont des problèmes essentiels pour les concepteurs comme pour les utilisateurs. Dans ce cadre, deux grandes approches existent : la recherche par l'exemple d'un modèle tridimensionnel et la recherche par des vues. C'est ce dernier point que nous abordons dans cette thèse. Nous nous sommes intéressés à la détermination de l'ensemble des vues caractéristiques " optimal" pour réprésenter un modèle tridimensionnel et à l'indexaion de ces modèles, à partir de ces vues. Dans cette thèse, nous avons crée une nouvelle méthode de sélection des vues carctéristiques " optimales" basée sur le critère informationnel BIC ( Bayesian information criteria). Partant du principe que toutes les vues d'un modèle 3D ne contiennent pas la même quantité d'informations, nous avons ensuite présenté un modèle probabiliste bayésien pour l'indexation qui prend en compte la probabilité d'apparition des vues et des modèles 3D. Les expériences effectuées sur la base de données de 5000 modèles 3D fournies par Renault, dans le cadre du projet RNRT SEMANTIC-3D ont démontré les bons résultats de notre méthode sur des objets mécaniques. Nous avons ensuite comparé notre méthode aux méthodes d'indexation 3D le splus récentes et les plus perfomantes sur la base de données standard de "Princeton shape benchmarck". Ces expérimentations ont mis en évidence les trés bons résultats de notre méthode comparée aux autres approches. Nous avons ensuite mis en oeuvre un moteur de recherche 3D ( accessible publiquement sur internet, via un PC ou un PDA) pour la recherche d'objets 3D à partir d'un modèle exemple, d'un dessin ou d'une ou plusieurs photos
The management of big databases of three-dimensional models ( used in CAD applications, visualization, games, etc. ) is very important domain. The ability to characterize and easily retrieve 3D models is a key issue for the designers and the final users. In this frame, two main appoaches exist : search by example of a 3D model, and search by a 2D view or photo. In this thesis we focus ont he characterization of a 3D model by a set of views ( called characteristic views), and on the indexing process of the 3D models using theses characteristic views. In this thesis, we propose a new method for the selection of the " optimal" characteristic views set based on an informational criterion ( Bayesian information criteria). Starting from fact that all the views of a model 3D do not contain the same quantity of information about 3D model, we present a new bayesian approach for the indexing of the 3D models using their views. Our approach takes into account the probability of appreance of a 3D model and the importance of each of its view. Experiments carried on a database of 5000 3D models provided by Renault, within the framework of the RNRT SEMANTIC-D, show the good results of our method on mechanical objects. We compared our method with the most recent and relevant 3D models indexing methods using the standard database " Princeton Shape Benchmark". These experiments highlighted the very good results of our method compared with the ither approaches. To access our results and permit the test of our method, we made 3D search engine available online accessible using a PC or a PDA. Our searche engine permit the search for 3D objects using an example 3D model, a drawing or one or more photographs

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Blache, Ludovic. "Représentation dynamique de modèles d'acteurs issus de reconstructions multi-vues". Thesis, Reims, 2016. http://www.theses.fr/2016REIMS012/document.

Texto completo da fonte

Resumo:

Les technologies de reconstruction multi-vues permettent de réaliser un clone virtuel d'un acteur à partir d'une simple acquisition vidéo réalisée par un ensemble de caméras à partir de multiples points de vue. Cette approche offre de nouvelles opportunités dans le domaine de la composition de scènes hybrides mélangeant les images réelles et virtuelles. Cette thèse a été réalisée dans le cadre du projet RECOVER 3D dont l'objectif est de développer une chaîne de production TV complète, de l'acquisition jusqu'à la diffusion, autour de la reconstruction multi-vues. Cependant la technologie utilisée dans ce contexte est mal adaptée à la reconstruction de scènes dynamiques. En effet, la performance d'un acteur est reproduite sous la forme d'une séquence d'objets 3D statiques qui correspondent aux poses successives du personnage au cours de la capture vidéo. L'objectif de cette thèse est de développer une méthode pour transformer ces séquences de poses en un modèle animé unique. Les travaux de recherches menés dans ce cadre sont répartis en deux étapes principales. La première a pour but de calculer un champ de déplacements qui décrit les mouvements de l'acteur entre deux poses consécutives. La seconde étape consiste à animer un maillage suivant les trajectoires décrites par le champ de mouvements, de manière à le déplacer vers la pose suivante. En répétant ce processus tout au long la séquence, nous parvenons ainsi à reproduire un maillage animé qui adopte les poses successives de l'acteur. Les résultats obtenus montrent que notre méthode peut générer un modèle temporellement cohérent à partir d'une séquence d'enveloppes visuelles
4D multi-view reconstruction technologies are more and more used in media production due to their abilities to produce a virtual clone of an actor from a simple video acquisition performed by a set of multi-viewpoint cameras. This approach is a major advance for the composition of animations which mix virtual and real images, and also offers new possibilities for the rendering of such complex hybrid scenes. The work described in this thesis takes parts in the RECOVER 3D project which aims at developing an innovative industrial framework for TV production, based on multi-view reconstruction, from studio acquisition to broadcasting. The major drawback of the methods used in this context is that they are not adapted to the reconstruction of dynamic scenes. The output are time series which describe the successive poses of the actor, figured as a sequence of static objects. The goal of this thesis is to transform these initial results into a dynamic 3D object where the actor is figured as an animated character. The research detailed in this manuscript presents two main contributions. The first one is centered on the computation of a motion flow which represents the displacements occurring in the reconstructed scene between two consecutive poses. The second one presents a mesh animation process that leads to the animation of a 3D model from one pose to another, following the motion flow. This two-step operation is repeated throughout the entire pose sequence to finally obtain a single animated mesh that matches the evolving shape of the reconstructed actor. Results show that our method is able to produce a temporally consistent mesh animation from various sequences of visual hulls

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Guinet, Jonathan. "Reconnaissance multi-vues de véhicules sur séquences d'images". Cergy-Pontoise, 2008. http://www.theses.fr/2008CERG0451.

Texto completo da fonte

Resumo:

Le contexte de la vidéo surveillance nécessite l'utilisation de traitements automatisés pour gérer l'afflux de données provenant de capteurs multiples. Nous nous intéressons plus particulièrement à la reconnaissance de véhicules sur des séquences d'images prises à basse altitude, dans lesquelles de forts changements de point de vue peuvent intervenir. Ce contexte d'étude est rendu difficile, d'une part par la nature de nos objets d'intérêt qui présentent de larges zones homogènes et peu discriminantes, et d'autre part par la variation d'aspect pouvant intervenir lors de la comparaison de deux véhicules. Nous nous basons sur une modélisation précise des a priori sur les objets et sur les prises de vue pour construire une chaîne de reconnaissance complète permettant de gérer les variations d'aspect. Nous proposons deux stratégies de reconnaissance. La première consiste à utiliser une règle de décision adaptative paramétrée par les conditions de prise de vue. La seconde repose sur des techniques d'apprentissage basées sur l'extraction de caractéristiques éparses afin de déterminer les détails discriminants
Visual recognition of vehicles through multiple observations is an important task in automatic trafic management. We address the problem of vehicle matching on aerial images sequences with large view point and viewing condition differences. This task is a difficult problem for two principal reasons. On one hand our objects of interest are composed with large uniform patterns, subject to illumination problems, which results in bad discrimination power. On the other hand large pose variations may occur in vehicle comparison. The challenges of change in pose, aspect and appearances across two disparate observations are handled by using a precise a priori modelling of object geometry. Two recognitions strategies are proposed. The first one consists in adaptative threshold parametrized by viewing conditions. The second ones learns disriminants elements which characterize “same” and “different” couple of vehicles, to build a similarity measure. Evaluations and comparisons with state-of-art are proposed to validate our algorithms

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Heuberger, Liana. "Deux points de vue sur les variétés de Fano : géométrie du diviseur anticanonique et classification des surfaces à singularités 1/3(1,1)". Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066129/document.

Texto completo da fonte

Resumo:

Cette thèse concerne l'étude des variétés de Fano, qui sont des objets centraux de la classification des variétés algébriques. La première question abordée concerne les variétés de Fano lisses de dimension quatre. On cherche a étudier les potentielles singularités d'un diviseur anticanonique de sorte qu'on puisse les écrire sous une forme locale explicite. En tant qu'étape intermédiaire, on démontre aussi que ces points sont au plus des singularités terminales, c'est-à-dire les singularités les plus proches du cas lisse du point de vue de la géométrie birationnelle. On montre ensuite que ce dernier résultat se généralise en dimension arbitraire en admettant une conjecture de non-annulation de Kawamata.De façon complémentaire, on s¿intéresse à des variétés de Fano de dimension plus petite, mais admettant des singularités. Il s¿agit des surfaces de del Pezzo ayant des singularités de type 1/3(1,1). Ceci est l'exemple le plus simple de singularité rigide, c'est-à-dire qui reste inchangée à une déformation Q-Gorenstein près. On classifie entièrement ces objets en trouvant 29 familles. On obtient ainsi un tableau contenant des modèles de ces surfaces, qui pour la plupart sont des intersections complètes dans des variétés toriques. Ce travail s'inscrit dans un contexte plus large, qui a pour cible de calculer leur cohomologie quantique pour ensuite vérifier si deux conjectures en symmetrie miroir
This thesis concerns Fano varieties, which are central objects within the classification of algebraic varieties.The first problem we discuss involves smooth Fano varieties of dimension four. We study the potential singularities of an anticanonical divisor and determine their explicit local expression. As an intermediate step, we show that they are terminal points, that is the singularities which are closest to the smooth case from the point of view of birational geometry. We then show that the latter result generalizes in arbitrary dimension if we suppose that a nonvanishing conjecture of Kawamata holds.The second approach is to examine Fano varieties of smaller dimensions which admit singularities. The objects we consider are log del Pezzo surfaces with 1/3(1,1) points. This is the simplest example of a rigid singularity, that is it remains unchanged under Q-Gorenstein deformations. We give a complete classification of these surfaces, finding 29 families. We also provide a table describing almost all of them as complete intersections in toric varieties. This work belongs to an overarching project that aims at studying mirror symmetry for del Pezzo surfaces with cyclic quotient singularities

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Cassius, de Linval Isabelle, e Yves Djorno. "Génération d'ateliers de conception : métamodélisation orientée objet, cohérence incrémentale de vues de modèles". Paris 9, 1993. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1993PA090033.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Oussalah, Chabane. "Modèles hierarchisés / multi-vues pour le support de raisonnement dans les domaines techniques". Aix-Marseille 3, 1988. http://www.theses.fr/1988AIX30029.

Texto completo da fonte

Resumo:

Un environnement oriente objet est propose ou les structures de representationd e modeles, des bibliotheques a hierarchie conceptuelle et des relations de transfert d'informations entre representations distinctes peuvent etre explicitement decrites

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Mahmoudi, Saïd. "Indexation de formes planes : application à la reconnaissance multi-vues de modèles 3D". Lille 1, 2003. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2003/50376-2003-291.pdf.

Texto completo da fonte

Resumo:

Cette thèse s'inscrit dans le domaine de l'indexation et de la reconnaissance des formes planes dans une base constituée d'objets contours, et son application dans l'indexation multi-vues des objets tridimensionnels. Notre approche permet de reconnaître les objets 3D à partir d'une requête qui peut être une forme 2D ou une vue arbitraire d'un objet tridimensionnel. Un des problèmes fondamentaux de l'indexation d'images par la forme réside dans le choix d'une description invariante de celle-ci. Pour cela, nous proposons l'utilisation du descripteur CSS, qui s'appuie sur une analyse multi-échelle du contour. Nous proposons une organisation de l'index extrait à partir du CSS par une structure d'arbre dite M-tree, qui est totalement paramétrisée par une fonction de distance et qui permet aussi en sauvegardant les distances intermédiaires d'améliorer considérablement les temps de calculs. Nous avons aussi introduit une technique probabiliste bayésienne de recherche de ressemblance entre formes. L'application proposée représente une nouvelle méthode d'indexation de modèles 3D. Cette méthode consiste à caractériser les objets 3D par un ensemble de sept vues caractéristiques (trois principales et quatre secondaires). Les angles de prise de vues principales sont choisis par le biais d'une analyse d'information présente sous forme de nuage de points sur l'objet 3D. Les vues secondaires sont déduites à partir des vues principales. L'index du modèle 3D est calculé à partir des index correspondants aux sept vues qui le caractérisent. De ce fait, nous utilisons l'approche de reconnaissance de formes proposée pour le procédé de reconnaissance des vues. Une méthode de vote bayésienne est proposée pour la sélection des objets 3D similaires à la requête.

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Gingras, Roxanne. "Gustave Caillebotte : vues sur le Paris moderne : 1876 et 1880". Master's thesis, Université Laval, 2016. http://hdl.handle.net/20.500.11794/26880.

Texto completo da fonte

Resumo:

Ce mémoire prend pour objet l'étude des vues du Paris moderne par Gustave Caillebotte. Son engagement profond dans la réalité vécue le conduit vers une fascination particulière pour la reproduction de l'image urbaine. Entre 1876 et 1880, l'artiste déambule dans les rues et les boulevards en vue d'exécuter des traitements picturaux originaux et peindre des visions singulières, par rapport à sa propre production artistique de même qu'à celle de ses confrères impressionnistes. En raison des différents points de vue traités dans l'espace urbain, sa perception de la ville semble, à notre avis, évolutive. Que ce soit depuis la rue ou en hauteur, Caillebotte reproduit Paris telle qu'elle se présente devant lui ; c'est ce qui paraît le guider dans sa recherche. Si bien que notre travail consiste à démontrer qu'il est un peintre de la ville moderne. Par l'analyse de trois points de vue privilégiés (dans la rue, à la fenêtre et au balcon), remarqués à la fois dans son corpus et dans sa démarche, cette recherche veut montrer comment l'artiste perçoit l'urbanité moderne et comment il la rend. Nous observons qu'une adéquation entre les moyens plastiques modernes utilisés et l'intérêt de représenter la réalité elle-même moderne, traduit son processus créatif. Apporter des arguments au sujet de son étude des vues de ville, permet aujourd'hui de mieux cerner le travail unique de Gustave Caillebotte dans le paysage urbain.

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Landry, Tom. "Mesure des trajectoires de patineurs de vitesse courte piste par filtrage particulaire et simulation physique sur tracés paramétriques en vue de l'étude de la performance humaine". Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29263/29263.pdf.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Juillet, Jean-Pierre. "Des vues de Spinoza sur quelques figures de la "philosophie vraie"". Paris 4, 1999. http://www.theses.fr/1998PA040143.

Texto completo da fonte

Resumo:

Le présent travail a pour objet d'étudier les formes grâce auxquelles, dans la philosophie de Spinoza, se résolvent ou, à tout le moins, se négocient des oppositions entre ce qui n'est pas de même ordre, entre ce qui se pose comme relativement ou absolument "autre" par rapport à telle chose donnée (un thème, un concept ou un "exemple" destine à figurer ceux-ci). A partir d'éléments recueillis dans le système et de leur commentaire, une première partie élabore des propositions susceptibles d'expliquer les raisons pour lesquelles le langage, bien qu'il soit un produit de l'"imagination", est à même d'exprimer adéquatement des pensées et des idées vraies. Dans une deuxième partie, en se réglant sur une analyse des lemmes de l'éthique II, sont examinées des questions de physique concernant l'individuation des corps composes et la possible différence entre leur "découpage" en et pour dieu (dans son entendement infini) et leur "découpage" pour nous. Une troisième partie enfin montre quels liens existent entre le thème de la suppression de l'extériorité comme condition pour un être quelconque d'une existence d'une durée illimitée et le thème de la complète altérite des natures respectives de celui qui vénère et de celui qui est l'objet de cette vénération comme condition d'un sentiment d'amour extatique voire sacré (éthique III, proposition IV, corollaire II)
The central topic of this work is to study through which ways Spinoza’s philosophy solves or, at least, negotiates oppositions between absolutely or relatively heterogeneous figures (themes, notions or examples) it yields. Starting with an analysis of theoretical material provided by Spinoza himself, the first part exhibits the reasons why, in spite of originating from "imagination", the language can express true thoughts or true ideas. The second part, pondering on the lemmas of ethics II, deals with questions of physics and, more precisely, with the problem of the individuality of any given thing; it shows that there is probably a discrepancy between the consistency of an individual thing in itself or for god and its consistency for us. The third part establishes some connections between the idea that, if its outdoor surrounding is suppressed, any being will get an everlasting duration of existence and the idea that, according to ethics III, proposition IV, corollary II, a complete dissimilarity between the nature of a worshipper and the nature of the object of his adoration is the very condition of pure or even sacred love

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Robert, Jean-Jacques. "Vues conceptuelles sur des bases d'information biomédicale : contribution au projet ARIANE". Aix-Marseille 3, 1997. http://www.theses.fr/1997AIX30022.

Texto completo da fonte

Resumo:

L'acces a des bases d'informations diverses, meme dans un domaine d'application determine, est souvent problematique du fait que l'organisation des donnees ne satisfait que rarement la conception que s'en fait l'utilisateur. Nous proposons un modele, reposant sur la theorie des graphes conceptuels, apte a formaliser une interface utilisateur avec des bases d'information. Cette interface conceptuelle a ete implantee selon la methodologie dite orientee-objet et experimentee dans le domaine biomedical

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Francis, Nadime. "Vues et requêtes sur les graphes de données : déterminabilité et réécritures". Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLN015/document.

Texto completo da fonte

Resumo:

Les graphes de données sont naturellement utilisés dans de nombreux contextes incluant par exemple les réseaux sociaux ou le Web sémantique. L'information contenue dans la base de données se trouve alors aussi bien dans les données mêmes que dans la topologie du graphe, c'est-à-dire dans la manière dont les données sont connectées. Cela implique donc de considérer les questions traditionnelles en théorie des bases de données pour des langages de requêtes capables de parler des chemins connectant les nœuds du graphe. Nous nous intéressons en particulier aux problèmes de la déterminabilité et de la réécriture d'une requête à l'aide de vues. Il s'agit alors de décider si une vue de la base de données contient suffisamment d'information pour répondre entièrement à une requête sans consulter la base de données directement, et dans ce cas, d'exprimer explicitement la réponse à la requête à partir de la vue. Ce cadre rencontre de nombreuses applications, notamment pour l'intégration de données et l'optimisation de requêtes. Nous commençons par comparer ces deux questions aux autres problèmes de décision classiques dans ce contexte : calcul des réponses certaines, test de cohérence et mise à jour d'une instance de vue. Nous améliorons ensuite ces résultats dans deux cas spécifiques. Tout d'abord, nous montrons que pour les requêtes régulières de chemin, l'existence d'une réécriture monotone coïncide avec l'existence d'une réécriture dans Datalog. Puis, nous montrons que pour des vues s'intéressant uniquement aux longueurs des chemins du graphe, une notion plus faible de déterminabilité, appelée déterminabilité asymptotique, est décidable et résulte en des réécritures du premier ordre
Graph databases appear naturally in various scenarios, such as social networks and the semantic Web. In these cases, the information contained in the database lies as much in the data itself as in the topology of the graph, that is, in how the data points are linked together. This leads to considering traditional database theory questions for query languages that return data nodes based on the paths of the graph connecting them. We focus our attention on the view-based query determinacy and rewriting problems. They ask the question whether a view of the database contains enough information to fully answer a query without accessing the database directly. If so, we then want to express the answer to the query directly with regards to the view. This setting occurs in many applications, such as data integration and query optimization. We start by comparing these two tasks to other common task in this setting: computing certain answers, checking consistency of a view instance and updating it. We then build on these results in two specific cases. First, we show that for regular path queries, the existence of a monotone rewriting coincides with the existence of a rewriting expressible in Datalog. Then, we show that for views that only consider the lengths of the path in the graph, we can decide a weaker form of determinacy, called asymptotic determinacy, and produce first-order rewritings for the queries that are asymptotically determined

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Padberg, Gabriele. "Georg Forster - observateur d'œuvre d'art : à l'époque des "Vues sur le Rhin inférieur"". Besançon, 1991. http://www.theses.fr/1991BESA1012.

Texto completo da fonte

Resumo:

Le travail présenté porte sur l'œuvre de Georg Forster (1754-1794), philosophe voyageur et révolutionnaire allemand, et, spécialement, sur ses relations avec les arts plastiques. Il constitue en outre une contribution à l'étude de la réception des œuvres d'art en Allemagne à une époque ou la réflexion sur l'esthétique n'a jamais été aussi fertile. L'analyse se base essentiellement sur le récit que Forster fait de sa visite de la galerie d'art de Düsseldorf dans ses vues sur le Rhin inferieur. En confrontant ses commentaires sur les tableaux avec les œuvres elles-mêmes ainsi qu'avec les commentaires de ces mêmes œuvres d'art formules par des auteurs contemporains, l'étude fait ressortir l'originalité du discours sur l'art chez Forster : sa volonté de totalité et son caractère social et communicatif.

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Idabal, Hicham. "CONTRIBUTION À L'ANALYSE DE L'IMPACT DE MISES À JOUR SUR DES VUES ET SUR DES CONTRAINTES D'INTÉGRITÉ XML". Phd thesis, Université Panthéon-Sorbonne - Paris I, 2010. http://tel.archives-ouvertes.fr/tel-00580926.

Texto completo da fonte

Resumo:

DANS CETTE THÈSE, NOUS NOUS POSITIONNONS DANS UN CONTEXTE DYNAMIQUE, OÙ LES DONNÉES XML ÉVOLUENT AU COURS DU TEMPS ET SONT SOUMISES À UN ENSEMBLE DE MISES À JOUR, ET NOUS NOUS INTÉRESSONS À DEUX PROBLÈMES MAJEURS, LARGEMENT ÉTUDIÉS DANS LE CADRE RELATIONNEL : -LA DÉTECTION DE L'IMPACT D'UN ENSEMBLE DE MISE À JOUR SUR UNE VUE, DÉFINIE PAR UNE REQUÊTE.-LA DÉTECTION DE L'IMPACT D'UN ENSEMBLE DE MISE À JOUR SUR LA SATISFACTION D'UNE DÉPENDANCE FONCTIONNELLE. DANS LE PREMIER CAS, L'OBJECTIF EST DE DÉTECTER SI L'ENSEMBLE DE MISES À JOUR A MODIFIÉ LA VUE. DANS LE DEUXIÈME CAS, L'OBJECTIF EST DE DÉTECTER SI L'ENSEMBLE DE MISE À JOUR A PRODUIT UN NOUVEAU DOCUMENT QUI NE SATISFAIT PLUS LES CONTRAINTES QU'IL SATISFAISAIT AVANT LES MISES À JOUR. NOUS NOUS DIFFÉRENCIONS DES TRAVAUX ANTÉRIEURS PRINCIPALEMENT SUR DEUX POINTS : (1) NOUS SUPPOSONS QUE LES DONNÉES SOURCES SONT À PRIORI INDISPONIBLES ET NOUS ÉTUDIONS LES DEUX PROBLÈMES EN EFFECTUANT UNE ANALYSE STATIQUE DES DÉFINITIONS DES MISES À JOUR, ET DE LA VUE (CAS1) OU DE LA DÉPENDANCE FONCTIONNELLE (CAS 2). DE PLUS, DANS LE CAS OÙ UN SCHÉMA XML CONTRAIGNANT LA STRUCTURE DES DONNÉES, EST DISPONIBLE NOUS UTILISONS CETTE INFORMATION SUPPLÉMENTAIRE DANS NOTRE ANALYSE AFIN DE DÉTECTER ÉVENTUELLEMENT PLUS DE CAS D'INDÉPENDANCES ENTRE LES MISES À JOUR ET LA VUE OU LA DÉPENDANCE FONCTIONNELLE SELON LE CAS. (2) NOUS PRENONS L'OPTION D'UTILISER, COMME MÉCANISME DE SÉLECTION DE NŒUDS, DANS LA DÉFINITION DES MISES À JOUR, DES VUES ET DES DÉPENDANCES FONCTIONNELLES, UN LANGAGE FORMEL BASÉ SUR L'UTILISATION DE MOTIFS RÉGULIER ARBORESCENTS, PERMETTANT DE DÉFINIR DES REQUÊTES APPELÉES 'REQUÊTES ARBRES RÉGULIÈRES' (EN ABRÉGÉ RARS).

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Cao, Hongliu. "Forêt aléatoire pour l'apprentissage multi-vues basé sur la dissimilarité : Application à la Radiomique". Thesis, Normandie, 2019. http://www.theses.fr/2019NORMR073/document.

Texto completo da fonte

Resumo:

Les travaux de cette thèse ont été initiés par des problèmes d’apprentissage de données radiomiques. La Radiomique est une discipline médicale qui vise l’analyse à grande échelle de données issues d’imageries médicales traditionnelles, pour aider au diagnostic et au traitement des cancers. L’hypothèse principale de cette discipline est qu’en extrayant une grande quantité d’informations des images, on peut caractériser de bien meilleure façon que l’œil humain les spécificités de cette pathologie. Pour y parvenir, les données radiomiques sont généralement constituées de plusieurs types d’images et/ou de plusieurs types de caractéristiques (images, cliniques, génomiques). Cette thèse aborde ce problème sous l’angle de l’apprentissage automatique et a pour objectif de proposer une solution générique, adaptée à tous problèmes d’apprentissage du même type. Nous identifions ainsi en Radiomique deux problématiques d’apprentissage: (i) l’apprentissage de données en grande dimension et avec peu d’instances (high dimension, low sample size, a.k.a.HDLSS) et (ii) l’apprentissage multi-vues. Les solutions proposées dans ce manuscrit exploitent des représentations de dissimilarités obtenues à l’aide des Forêts Aléatoires. L’utilisation d’une représentation par dissimilarité permet de contourner les difficultés inhérentes à l’apprentissage en grande dimension et facilite l’analyse conjointe des descriptions multiples (les vues). Les contributions de cette thèse portent sur l’utilisation de la mesure de dissimilarité embarquée dans les méthodes de Forêts Aléatoires pour l’apprentissage multi-vue de données HDLSS. En particulier, nous présentons trois résultats: (i) la démonstration et l’analyse de l’efficacité de cette mesure pour l’apprentissage multi-vue de données HDLSS; (ii) une nouvelle méthode pour mesurer les dissimilarités à partir de Forêts Aléatoires, plus adaptée à ce type de problème d’apprentissage; et (iii) une nouvelle façon d’exploiter l’hétérogénèité des vues, à l’aide d’un mécanisme de combinaison dynamique. Ces résultats ont été obtenus sur des données radiomiques mais aussi sur des problèmes multi-vue classiques
The work of this thesis was initiated by a Radiomic learning problem. Radiomics is a medical discipline that aims at the large-scale analysis of data from traditional medical imaging to assist in the diagnosis and treatment of cancer. The main hypothesis of this discipline is that by extracting a large amount of information from the images, we can characterize the specificities of this pathology in a much better way than the human eye. To achieve this, Radiomics data are generally based on several types of images and/or several types of features (from images, clinical, genomic). This thesis approaches this problem from the perspective of Machine Learning (ML) and aims to propose a generic solution, adapted to any similar learning problem. To do this, we identify two types of ML problems behind Radiomics: (i) learning from high dimension, low sample size (HDLSS) and (ii) multiview learning. The solutions proposed in this manuscript exploit dissimilarity representations obtained using the Random Forest method. The use of dissimilarity representations makes it possible to overcome the well-known difficulties of learning high dimensional data, and to facilitate the joint analysis of the multiple descriptions, i.e. the views.The contributions of this thesis focus on the use of the dissimilarity easurement embedded in the Random Forest method for HDLSS multi-view learning. In particular, we present three main results: (i) the demonstration and analysis of the effectiveness of this measure for HDLSS multi-view learning; (ii) a new method for measuring dissimilarities from Random Forests, better adapted to this type of learning problem; and (iii) a new way to exploit the heterogeneity of views, using a dynamic combination mechanism. These results have been obtained on radiomic data but also on classical multi-view learning problems

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Nedjar, Boumedyen. "Modélisation basée sur la méthode des réseaux de perméances en vue de l’optimisation de machines synchrones à simple et à double excitation". Thesis, Cachan, Ecole normale supérieure, 2011. http://www.theses.fr/2011DENS0056/document.

Texto completo da fonte

Resumo:

La traction hybride et/ou électrique est un domaine d’application en pleine croissance présentant une forte restriction en termes d’encombrement. Cela a poussé les concepteurs à créer des structures de machine adaptées. Parmi ces topologies, nous trouvons les machines synchrones à double excitation (MSDE). Ces machines permettent de combiner les avantages d’une machine à aimants et ceux d’une machine à excitation bobinée. Le choix d’un modèle pour ces machines est un élément important dans les étapes d’analyse, d’optimisation et de pré-dimensionnement. Ce mémoire présente une contribution à la modélisation des machines synchrones à simple et à double excitation basée sur la méthode des réseaux de perméances. Trois parties sont ainsi proposées. La première partie de la thèse présente deux états de l’art- un sur les machines synchrones à double excitation et l’autre sur les méthodes de modélisation des machines électriques et principalement la modélisation par réseau de perméances. Dans la deuxième partie, nous abordons la modélisation 2D de la machine synchrone à aimants permanents à concentration de flux avec prise en compte de la rotation et de la saturation. Le but de cette partie est de trouver des méthodes permettant de combiner à la fois temps de calcul et précision. On commence par la modélisation par réseau de perméances en se basant sur un maillage de l’espace d'étude par des réluctances bidirectionnelles, ainsi qu’une comparaison entre calcul du couple par le tenseur de Maxwell et flux-FMM. La deuxième section présente un couplage entre réseaux de perméances et éléments finis. La méthode proposée consiste à résoudre les deux modèles (réluctant et éléments finis) simultanément avec un logiciel EF. Le couplage s’effectue par une équivalence entre les dimensions géométriques et les caractéristiques magnétiques des matériaux. La présentation des différents modèles dans le plan précision-temps de calcul montre l’efficacité de l’utilisation des réseaux de perméances et du couplage comparé au modèle éléments finis. La troisième partie porte sur la modélisation tridimensionnelle des machines synchrones à double excitation. Dans un premier temps, nous présentons une adaptation de la modélisation par réseau de perméances aux structures tridimensionnelles. Puis, nous appliquons ce modèle aux machines synchrones à double excitation. La machine à double excitation à concentration de flux est présentée avec une étude de l’influence du feuilletage sur la capacité de contrôle du flux. Pour améliorer le contrôle du flux d'excitation, une machine à aimants enterrés homopolaire est également étudiée avec l'approche développée. La validation du modèle est réalisée par des éléments finis et des mesures expérimentales. Dans la dernière partie, une comparaison entre configurations homopolaire et bipolaire de la structure à aimants enterrés est effectuée, puis le rotor à concentration de flux est optimisé afin de le comparer à la machine à aimants enterrés
The electric and / or hybrid driveis are an application area growing with a strong restriction in terms of congestion. This prompted the designers to create appropriate structures. Among these topologies, we find the double-excitation synchronous machine (MSDE). These machines can combine the advantages of permanent magnets machine and those of a coils excited machine.The choice of a model for these machines is an important step in the analysis, optimization and pre-sizing. This thesis presents a contribution to the modeling by magnetic equivalent circuit (MEC) of single and double excitation synchronous machines. Three parties are offered as well. The first part of the thesis presents two states of the art: one on the double-excitation synchronous machines and the other on the modeling of electrical machines, mainly in the modeling by magnetic equivalent circuit. In the second part, we discuss the 2D modeling of flux concentration permanent magnet synchronous machine taking into account the rotation and saturation. The purpose of this section is to find ways to combine both computational time and accuracy. We start by using the magnetic equivalent circuit modeling based on a mesh of the structure and each mesh is replaced by two-way reluctances, then a torque estimation are obtened by two methods flux-FMM and Maxwell stress Tensor. The second section presents a coupling between magnetic equivalent circuit and finite element method. The proposed method is to solve the two models (reluctant and finite elements) simultaneously with software EF. The coupling is performed by an equivalence between the geometric dimensions and magnetic properties of materials. The presentation of different models in terms of time-accurate calculation shows the effectiveness of the use of MEC and coupling method compared to FEM. The third part concerns the three-dimensional modeling of double excitation synchronous machines. At first, we present an adaptation of the MEC to the three-dimensional structures. Then we apply this model to the double excitation synchronous machines (DESM). The DESM with flux concentration configuration is presented. To better control the wund flux of excitation, a buried magnet homopolar machine is also studied with the same approach. Model validation is performed by finite element and experimental measurements. In the last part, a comparison between homopolar and bipolar configurations is made, then the rotor flux concentration is optimized in order to compare it to the machine magnets buried

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Arfaoui, Aymen. "Calibrage et modélisation d’un système de stéréovision hybride et panoramique". Doctoral thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/26192.

Texto completo da fonte

Resumo:

Dans cette thèse nos contributions à la résolution de deux problématiques rencontrées en vision numérique et en photogrammétrie, qui sont le calibrage de caméras et la stéréovision, sont présentées. Ces deux problèmes font l’objet de très nombreuses recherches depuis plusieurs années. Les techniques de calibrage existantes diffèrent beaucoup suivant le type de caméras à calibrer (classique ou panoramique, à focale fixe ou à focale variable, ..). Notre première contribution est un banc de calibrage, à l’aide des éléments d’optique diffractive, qui permet de calibrer avec une bonne précision une très grande partie des caméras existantes. Un modèle simple et précis qui décrit la projection de la grille formée sur l’image et une méthode de calibrage pour chaque type de caméras est proposé. La technique est très robuste et les résultats pour l’ensemble des caméras calibrées sont optimaux. Avec la multiplication des types de caméras et la diversité des modèles de projections, un modèle de formation d'image générique semble très intéressant. Notre deuxième contribution est un modèle de projection unifié pour plusieurs caméras classiques et panoramiques. Dans ce modèle, toute caméra est modélisée par une projection rectiligne et des splines cubiques composées permettant de représenter toutes sortes de distorsions. Cette approche permet de modéliser géométriquement les systèmes de stéréovision mixtes ou panoramiques et de convertir une image panoramique en une image classique. Par conséquent, le problème de stéréovision mixte ou panoramique est transformé en un problème de stéréovision conventionnelle. Mots clés : calibrage, vision panoramique, distorsion, fisheye, zoom, panomorphe, géométrie épipolaire, reconstruction tridimensionnelle, stéréovision hybride, stéréovision panoramique.
This thesis aims to present our contributions to the resolution of two problems encountered in the field of computer vision and photogrammetry, which are camera calibration and stereovision. These two problems have been extensively studied in the last years. Different camera calibration techniques have been developed in the literature depending on the type of camera (classical or panoramic, with zoom lens or fixed lens..). Our first contribution is a compact and accurate calibration setup, based on diffractive optical elements, which is suitable for different kind of cameras. The technique is very robust and optimal results were achieved for different types of cameras. With the multiplication of camera types and the diversity of the projection models, a generic model has become very interesting. Our second contribution is a generic model, which is suitable for conventional and panoramic cameras. In this model, composed cubic splines functions provide more realistic model of both radial and tangential distortions. Such an approach allows to model either hybrid or panoramic stereovision system and to convert panoramic image to classical image. Consequently, the processing challenges of a hybrid stereovision system or a panoramic stereovision system are turned into simple classical stereovision problems. Keywords: Calibration, panoramic vision, distortions, fisheye, zoom, panomorph, epipolar geometry, three-dimensional reconstruction, hybrid stereovision, panoramic stereovision.

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Auberlet, Delle-Vedove Agnès. "Synthèse et étude structurale de n-benzoyl-n'-phenylurees, insecticides, en vue d'établir une relation entre la structure, la rétention dans des adsorbants modèles et le mode de dégradation. Suivi de recherches sur l'enseignement expérimental de la formulation : étude d'une famille de tensioactifs". Angers, 1995. http://www.theses.fr/1995ANGE0002.

Texto completo da fonte

Resumo:

Dans une première partie, cinq n-benzoyl-n'-phenylurees sont synthétisées, en vue de modéliser leurs interactions avec l’environnement : rétention dans les sols, dégradation. Ces molécules sont des insecticides rémanents agissant par inhibition de la biosynthèse de la chitine. L'analyse d'extraits d'adsorbants modèles traites avec ces molécules est effectuée par chromatographie liquide haute pression en phase inverse. L'étude structurale de ces molécules est réalisée par la combinaison de diverses techniques spectroscopiques : spectrométrie de masse, spectroscopie de rayons X, RMN du proton, du carbone 13, de l'azote 15, spectroscopies U. V. Et infra-rouge, ainsi que par chromatographie sur couche mince, mécanique moléculaire et calcul semi-empirique am1. D'une part nous en déduisons une relation entre la coplaneite du groupe urée et du groupe 4- chlorophényle et la rétention sur adsorbants. D'autre part les indices de liaison, la fragmentation de masse et les études conformationnelle permettent d'interpréter la dégradation du composé, '- difluoré en urée et acide benzoïque tandis que dans les mêmes conditions le composé, '- dichlore est dégradé en benzamide et aniline substituées. Dans une seconde partie, nous présentons un projet didactique d'enseignement expérimental de la formulation, portant sur une famille de tensio-actifs utilisés dans les préparations phytosanitaires : détermination de la concentration micellaire critique, de la H. L. B. , de la température de trouble.

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Cuenin, Johann. "Sur les modèles Tweedie multivariés". Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2026/document.

Texto completo da fonte

Resumo:

Après avoir fait un rappel sur les généralités concernant les familles exponentielles naturelles et les lois Tweedie univariées qui en sont un exemple particulier, nous montrerons comment étendre ces lois au cas multivarié. Une première construction permettra de définir des vecteurs aléatoires Tweedie paramétrés pas un vecteur de moyenne et une matrice de dispersion. Nous montrerons que les corrélations entre les lois marginales peuvent être contrôlées et varient entre -1 et 1. Nous verrons aussi que ces vecteurs ont quelques propriétés communes avec les vecteurs gaussiens. Nous en donnerons une représentation matricielle qui permettra d'en simuler des observations. La seconde construction permettra d'introduire les modèles Tweedie multiples constitués d'une variable Tweedie dont l'observation sera la dispersion des autres marges, toutes de lois Tweedie elles aussi. Nous donnerons la variance généralisée de ces lois et montrerons que cette dernière peut-être estimée efficacement. Enfin, nous verrons que, modulo certaines restrictions, nous pourrons donner une caractérisation par la fonction de variance généralisée des familles exponentielles naturelles générées par ces lois
After a reminder of the natural exponential families framework and the univariate Tweedie distributions, we build two multivariate extension of the latter. A first construction, called Tweedie random vector, gives a multivariate Tweedie distribution parametrized by a mean vector and a dispersion matrix. We show that the correlations between the margins can be controlled and vary between -1 and 1. Some properties shared with the well-known Gaussian vector are given. By giving a matrix representation, we can simulate observations of Tweedie random vectors. The second construction establishes the multiple stable Tweedie models. They are vectors of which the first component is Tweedie and the others are independant Tweedie, given the first one, and with dispersion parameter given by an observation of the first component. We give the generalized variance and show that it is a product of powered component of the mean and give an efficient estimator of this parameter. Finally, we can show, with some restrictions, that the generalized variance is a tool which can be used for characterizing the natural exponential families generated by multiple stable Tweedie models

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Stouls, Nicolas. "Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés". Phd thesis, Grenoble INPG, 2007. http://tel.archives-ouvertes.fr/tel-00216026.

Texto completo da fonte

Resumo:

Cette thèse propose une approche d'aide à la conception et au développement de modèles formels B. Cette approche se base sur la construction d'un système de transitions symboliques décrivant les comportements du modèle. Cette seconde vue est complémentaire avec la description orientée données du modèle B et peut être utilisée pour le décrire, le documenter ou le valider. Le système de transitions est élaboré à partir d'un espace d'états fourni par l'utilisateur et les transitions sont construites par résolution d'obligations de preuve. Nous proposons également de prendre en compte le processus de raffinement B en introduisant la notion de hiérarchie dans les systèmes de transitions. Cette représentation permet de mettre en évidence le lien entre les données des différents niveaux de raffinement. De plus, la méthode que nous proposons se base sur la décomposition des états d'une représentation du modèle abstrait, permettant ainsi de conserver la structure générale du système. Enfin, nous terminons ce manuscrit en décrivant l'outil GénéSyst qui implante cette méthode, ainsi que son utilisation dans le cadre du projet GECCOO, pour la vérification de propriétés de sécurité.

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Chambodut, aude. "Le Champ Magnétique Terrestre : Structures Spatiales et Variations Temporelles vues par les Ondelettes". Phd thesis, Institut de physique du globe de paris - IPGP, 2004. http://tel.archives-ouvertes.fr/tel-00008021.

Texto completo da fonte

Resumo:

Le travail présenté dans ce mémoire a eu pour but une meilleure description et compréhension des structures spatiales et des variations temporelles du champ magnétique terrestre.

Dans une première partie, nous décrivons et utilisons deux méthodes de modélisation du champ magnétique terrestre.
La première méthode utilisée est le développement en harmoniques sphériques. En utilisant les mesures fournies par les observatoires magnétiques et par les récents satellites, Ørsted et CHAMP, et en leur appliquant des critères de sélection, nous avons calculé des modèles candidats aux DGRFs de 1995 et 2000.
La seconde méthode que nous avons développée est la description du champ géomagnétique à l'aide des frames d'ondelettes de Poisson. Les comparaisons avec les harmoniques sphériques et les représentations de fonctions scalaires sur la sphère, illustrent la flexibilité de la méthode : le développement en frames d'ondelettes s'adapte à la répartition des données sur la sphère. Un même modèle en frames d'ondelettes comporte de petites échelles spatiales dans les zones où les données sont denses et des échelles spatiales plus grandes dans les régions où elles sont plus disparates. Les champs vectoriels dérivant de potentiels harmoniques, tels le champ magnétique et le champ de pesanteur, sont développés à partir des frames d'ondelettes.

Dans la seconde partie, nous étudions la variation temporelle du champ magnétique terrestre principal, la variation séculaire. Sa caractéristique la plus énigmatique est l'occurrence, à intervalles irréguliers, de brusques changements de sa tendance : les secousses géomagnétiques. Ces évènements sont détectables par l'analyse en ondelettes appliquée aux moyennes mensuelles des observatoires. Malheureusement, la distribution des observatoires est très irrégulière à la surface du Globe. Pour contourner ce problème dans l'étude des secousses géomagnétiques, une solution s'est alors imposée : l'utilisation de modèles de champ globaux et continus dans le temps, de type "comprehensive model". Nous avons ainsi étudié, par des méthodes simples, les répartitions temporelles et spatiales des secousses, vues par ces modèles, en tout point du globe sur les quatre dernières décennies. Nous nous sommes focalisé sur les secousses autour de 1971, 1980 et 1991 et avons mis en évidence des zones "aveugles", ou aucune secousse n'a été clairement détectée. Enfin, nous présentons une possible relation entre les secousses géomagnétiques et un paramètre physique à la surface du noyau, la pression dynamique absolue.

L'utilisation des ondelettes, en tant qu'outils de modélisation et d'analyse, permet d'explorer les échelles spatiales et temporelles du champ magnétique terrestre.

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Plaud, Angéline. "Classification ensembliste des séries temporelles multivariées basée sur les M-histogrammes et une approche multi-vues". Thesis, Université Clermont Auvergne‎ (2017-2020), 2019. http://www.theses.fr/2019CLFAC047.

Texto completo da fonte

Resumo:

La mesure des différents phénomènes terrestres et l’échange d’informations ont permis l’émergence d’un type de données appelé série temporelle. Celle-ci se caractérise par un grand nombre de points la composant et surtout par des interactions entre ces points. En outre, une série temporelle est dite multivariée lorsque plusieurs mesures sont captées à chaque instant de temps. Bien que l’analyse des séries temporelles univariées, une mesure par instant, soit très développée, l’analyse des séries multivariées reste un challenge ouvert. En effet, il n’est pas possible d’appliquer directement les méthodes univariées sur les données multivariées, car il faut tenir compte des interactions entre séries de mesures.De plus, dans le cadre d’applications industrielles, les séries temporelles ne sont pas composées d’un même nombre de mesures, ce qui complique encore leur analyse. Or les méthodes mises à disposition, aujourd’hui, pour la classification supervisée de ces séries, ne permettent pas de répondre de manière satisfaisante à cette problématique en plus d’une gestion rapide et efficace des données. Cette approche emploie donc un nouvel outil, qui n’a jamais été utilisé dans le domaine de la classification de séries temporelles multivariées, qui est le M-histogramme pour répondre à cette question.Un M-histogramme est à la base une méthode de visualisation sur M axes de la fonction de densité sous-jacente à un échantillon de données. Son utilisation ici permet de produire une nouvelle représentation de nos données afin de mettre en évidence les interactions entre dimensions.Cette recherche de liens entre dimensions correspond aussi tout particulièrement à un sous-domaine d’apprentissage, appelé l’apprentissage multi-vues. Où une vue est une extraction de plusieurs dimensions d’un ensemble de données, de même nature ou type. L’objectif est alors d’exploiter le lien entre ces dimensions afin de mieux classifier les dites données, au travers d’un modèle ensembliste permettant d’agréger les prédictions émises à partir de chaque vue. Dans cette thèse, nous proposons donc une méthode multi-vues ensembliste de M-histogrammes afin de classifier les Séries Temporelles Multivariées (STM). Cela signifie que plusieurs M-histogrammes sont créés à partir de plusieurs vues des STM exploitées. Une prédiction est ensuite réalisée grâce à chaque M-histogramme. Enfin ces prédictions sont ensuite agrégées afin de produire une prédiction finale.Il est montré dans la suite que la méthode ainsi créée est capable de répondre au problème général de la classification supervisée de STM et son efficacité est exposée sur un cas applicatif Michelin
Recording measurements about various phenomena and exchanging information about it, participate in the emergence of a type of data called time series. Today humongous quantities of those data are often collected. A time series is characterized by numerous points and interactions can be observed between those points. A time series is multivariate when multiple measures are recorded at each timestamp, meaning a point is, in fact, a vector of values. Even if univariate time series, one value at each timestamp, are well-studied and defined, it’s not the case of multivariate one, for which the analysis is still challenging. Indeed, it is not possible to apply directly techniques of classification developed on univariate data to the case of multivariate one. In fact, for this latter, we have to take into consideration the interactions not only between points but also between dimensions. Moreover, in industrial cases, as in Michelin company, the data are big and also of different length in terms of points size composing the series. And this brings a new complexity to deal with during the analysis. None of the current techniques of classifying multivariate time series satisfies the following criteria, which are a low complexity of computation, dealing with variation in the number of points and good classification results. In our approach, we explored a new tool, which has not been applied before for MTS classification, which is called M-histogram. A M-histogram is a visualization tool using M axis to project the density function underlying the data. We have employed it here to produce a new representation of the data, that allows us to bring out the interactions between dimensions. Searching for links between dimensions correspond particularly to a part of learning techniques called multi-view learning. A view is an extraction of dimensions of a dataset, which are of same nature or type. Then the goal is to display the links between the dimensions inside each view in order to classify all the data, using an ensemble classifier. So we propose a multi-view ensemble model to classify multivariate time series. The model creates multiple M-histograms from differents groups of dimensions. Then each view allows us to get a prediction which we can aggregate to get a final prediction. In this thesis, we show that the proposed model allows a fast classification of multivariate time series of different sizes. In particular, we applied it on aMichelin use case

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

CERRADA, LOZADA Mariela. "Sur les modèles flous adaptatifs dynamiques". Phd thesis, INSA de Toulouse, 2003. http://tel.archives-ouvertes.fr/tel-00010013.

Texto completo da fonte

Resumo:

La contribution principale de ce travail de recherche est la proposition d'un modèle flou avec des fonctions d'appartenance dynamiques à paramètres ajustables en ligne, par un algorithme basé sur l'Apprentissage par Renforcement (AR). L'approche présentée prend en compte la dynamique des variables du système en introduisant, dans les fonctions d'appartenance d'un modèle flou, la valeur moyenne et la variance des variables d'entrée et de sortie du modèle au temps t. De cette manière, les ensembles flous se déplacent sur le domaine de discours des variables, en fonction des valeurs de la moyenne et de la variance échantillonnées ;ainsi, la possibilité d'obtenir des ensembles flous disjoints peut être minimisée. La propriété dynamique du modèle flou proposé est un atout pour résoudre les problèmes de commande de systèmes variant avec le temps, par exemple. Des exemples d'identification de fonctions non-linéaires, variant avec le temps, illustrent la capacité du modèle flou adaptatif dynamique pour l'identification des systèmes. Une application à la commande prédictive a été développée, en utilisant le modèle flou proposé comme modèle de prédiction et l'AR pour résoudre le problème d'optimisation de ce type de schéma de commande. Finalement, l'utilisation de l'information contenue dans les fonctions d'appartenance dynamiques du modèle flou à des niveaux supérieurs de supervision et diagnostic, a été aussi discutée comme perspective intéressante d'application de ce type de modèles.

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Cerrada-Lozada, Mariela. "Sur les modèles flous adaptatifs dynamiques". Toulouse, INSA, 2003. http://www.theses.fr/2003ISAT0021.

Texto completo da fonte

Resumo:

La contribution principale de ce travail de recherche est la proposition d'un modèle flou avec des fonctions d'appartenance dynamiques à paramètres ajustables en ligne, par un algorithme basé sur l'Apprentissage par Renforcement (AR). L'approche présentée prend en compte la dynamique des variables du système en introduisant, dans les fonctions d'appartenance d'un modèle flou, la valeur moyenne et la variance des variables d'entrée et de sortie du modèle au temps t. De cette manière, les ensembles flous se déplacent sur le domaine de discours des variables, en fonction des valeurs de la moyenne et de la variance échantillonnées ;ainsi, la possibilité d'obtenir des ensembles flous disjoints peut être minimisée. La propriété dynamique du modèle flou proposé est un atout pour résoudre les problèmes de commande de systèmes variant avec le temps, par exemple. Des exemples d'identification de fonctions non-linéaires, variant avec le temps, illustrent la capacité du modèle flou adaptatif dynamique pour l'identification des systèmes. Une application à la commande prédictive a été développée, en utilisant le modèle flou proposé comme modèle de prédiction et l'AR pour résoudre le problème d'optimisation de ce type de schéma de commande. Finalement, l'utilisation de l'information contenue dans les fonctions d'appartenance dynamiques du modèle flou à des niveaux supérieurs de supervision et diagnostic, a été aussi discutée comme perspective intéressante d'application de ce type de modèles
This work deals with the proposition of an adaptive fuzzy model with dynamical membership functions. The identification of the parameters of these membership functions is performed by a on-line reinforcement learning-based algorithm. This approach takes into account the system variables dynamic by incorporating the mean value and the variance, at time t, of the input and output variables of the fuzzy model into its membership functions. By this way, the fuzzy sets associated to the fuzzy variables, are relocated on the domain of discourse according to the sampled mean and variance values; thus, a disjointed partition of the fuzzy sets of the fuzzy model could be avoid. The dynamical property of the proposed fuzzy models is an asset in fuzzy control problems in case of time-varying nonlinear systems, for example. Classical examples related to the identification of time-varying nonlinear functions show the capabilities of the dynamical fuzzy models. An application to predictive control has been developed using the fuzzy model as one step ahead predictor and the reinforcement learning in the optimization problem of this type of control scheme. Finally, a discussion about the use of the information provided by the dynamical membership functions is presented in order to accomplish diagnosis and supervision tasks at upper levels

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Delort, Jean-Yves. "Modèles de navigation sur le Web basés sur le contenu". Paris 6, 2003. http://www.theses.fr/2003PA066396.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Razavizadeh, Azadeh. "BeeEye: approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue". Chambéry, 2010. http://www.theses.fr/2010CHAMS034.

Texto completo da fonte

Resumo:

Une grande partie de l'effort de développement des logiciels de grande taille et de longue durée de vie est consacrée à la maintenance et à l'évolution de ces derniers; et la compréhension de ces logiciels est une nécessité pour laquelle trop peu de propositions ont été faites. Le but de cette thèse est la prise en compte des architectures logicielles comme élément capital pour l'aide à compréhension et l'évolution des applications logicielles à objets. Les travaux de recherche des dix dernières années ont montré qu'il était très difficile voire impossible de raisonner sur le code source (niveau concret), tant les détails d'implémentation nuisent à la lisibilité du code, à sa maintenance/évolution. Au contraire, se situer à un plus haut niveau d'abstraction permet d'envisager davantage d'analyses. Nous proposons, dans cette thèse, notre approche BeeEye comme démarche d'ingénierie pour la construction de vues architecturales d'un système logiciel à objets existant. BeeEye utilise et permet à l'utilisateur de définir des points de vue qui peuvent être combinés selon un processus de construction de vues. Les points de vue permettent de modéliser les attentes et souhaits des utilisateurs ou/et la connaissance qu'ils ont (ou l'idée qu'ils se font) a priori du système logiciel étudié. Deux catégories de construction de vues architecturales sont proposées dans le cadre de la thèse: la construction par correspondance et la construction par exploration. L'approche proposée est suffisamment générique pour être utilisée avec tous les systèmes logiciels à objets pour lesquels nous disposons du code source
Changes and Evolution of software systems constantly generate new challenges for system understanding. Recovering system architectural représentations is particularly nteresting when sucé représentations are not available. The work presented in this thesis joins the effort on software architecture reconstruction. This thesis proposes approach BeeEye as a generic engineering approach to enable the construction of architectural views from an existing object-oriented system. BeeEye uses viewpoints and lets users define new ones. BeeEye provides différent construction prouesses; gives the possibility to define user-specific construction processus. The viewpoints are used to model the expectations and wishes (or priory knowledge) of users about the software system in question. Two categories of architectural views construction are proposed: construction by mapping and construction by explo`ration. The proposed approach is generic enough to be used with all objects software svstems for which we have the source code

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Tazi, Khalid. "Contributions a l'etude des propagations des mises a jour sur les vues d'une base de donnees relationnelle". Toulouse 3, 1987. http://www.theses.fr/1987TOU30016.

Texto completo da fonte

Resumo:

Le probleme est presente avec une taxinomie des etudes anterieures. Deux solutions sont presentees : la premiere a ete completee par la proposition de nouveaux algorithmes; quand a la deuxieme elle a fait l'objet d'une validation pratique. Cette validation est basee sur l'hypothese suivantes : les mises a jour ne sont autorisees que si leur propagation est controlable

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Tazi, Khalid. "Contributions à l'étude des propagations des mises à jour sur les vues d'une base de données relationnelle". Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610231d.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Lequette, Rémi. "Construction automatique de solides à partir de vues orthogonales de type dessin industriel". Phd thesis, Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00325840.

Texto completo da fonte

Resumo:

On construit d'abord une structure fil-de-fer formée d'arêtes et de sommets a partir des projections. On effectue ensuite une recherche des faces dans ce fil-de-fer. Enfin, ces faces sont triées pour former tous les solides compatibles avec les projections originales

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Rucar, Yan. "Modèles procéduraux littéraires et création sur ordinateur". Thesis, Université d'Ottawa / University of Ottawa, 2011. http://hdl.handle.net/10393/19721.

Texto completo da fonte

Resumo:

Cette thèse a pour problématique la relation entre le texte électronique et la notion de contrainte. Afin d’étudier la rencontre de la création contrainte avec l’environnement électronique, le corpus est constitué de deux séries d’oeuvres positionnées différemment par rapport au média numérique. Les sections 1 et 2 du Chapitre I traitent de textes contraints produits par des auteurs hors du contexte numérique et qui furent intégrés à l’écran d’ordinateur lors de la transmédiatisation de l’oeuvre imprimée. Ces sections exposent les principes d’écriture contrainte employés dans ces oeuvres, les versions électroniques de celles-ci étant analysées dans le chapitre II. La seconde partie du corpus est comprise par des oeuvres dont la procédure contraignante est électronique, des textes imprimés étant appropriés via des algorithmes. Ces procédures électroniques font intervenir des générateurs combinatoires de textes, qui redistribuent aléatoirement les composants des textes appropriés. Lorsque le texte n’est pas semblablement transformé, l’écrit approprié est livré à une autre forme de systématisme, qui altère l’oeuvre originale en la faisant défiler sur l’écran selon des lois perturbant l’appréhension du texte. Les spécificités générales des générateurs de textes sont exposées dans la section 3 du chapitre I. Les générateurs inclus dans le corpus sont analysés dans le chapitre III. L’étude de l’interaction entre la contrainte écrite et l’environnement électronique, entre des textes appropriés et des procédures électroniques, l’analyse des divergences et convergences entre ces deux formes de productions contraintes, permettra de définir une textualité électronique fondée sur un système.

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Martineau, Sébastien. "Percolation sur les groupes et modèles dirigés". Thesis, Lyon, École normale supérieure, 2014. http://www.theses.fr/2014ENSL0959/document.

Texto completo da fonte

Resumo:

Cette thèse porte sur deux types de problèmes de mécanique statistique : il y est question de percolation sur les groupes et de modèles dirigés. Dans le premier cas,il s’agit de réaliser un groupe comme objet géométrique (via la notion de graphe de Cayley), puis de morceler ce dernier aléatoirement. L’étude de ce processus révèle des liens étroits entre les propriétés géométriques d’un groupe et le comportement de la percolation de Bernoulli sur celui-Ci. Dans le second cas, on s’intéresse à des modèles où haut et bas jouent des rôles différents, ce qui permet de rendre un certain nombre de questions accessibles à l’étude rigoureuse.Le chapitre 1 renforce le théorème d’indistinguabilité de Lyons et Schramm en percolation, lequel stipule que les composantes connexes infinies fournies par la percolation de Bernoulli sur un graphe de Cayley ont presque sûrement toutes la même allure. La non-Trivialité de ce renforcement est illustrée par un modèle dirigé qui vérifie la propriété d’indistinguabilité mais pas la propriété renforcée.Le chapitre 2 est le fruit d’un travail réalisé en collaboration avec Vincent Tassion.On y démontre que la valeur du paramètre critique pour la percolation de Bernoulli ne dépend essentiellement que de la structure locale du graphe de Cayley abélien considéré.Dans le chapitre 3, on introduit une version dirigée du modèle DLA, pour laquelle on établit l’existence d’une dynamique en volume infini, un contrôle sur la propagation d’information et des inégalités asymptotiques sur la largeur et la hauteur de l’agrégat
This thesis deals with two kinds of statistical mechanics problems: percolation ongroups and directed models. In the first case, we realise the group under considerationas a geometric object (via the notion of Cayley graph) before breaking it apartrandomly. The study of this process reveals deep connections between the geometricproperties of a group and the behaviour of Bernoulli percolation on it. In the secondcase, we focus on models where up and down play different roles, which makes severalquestions less hard to tackle.Chapter 1 strengthens the Indistinguishability Theorem of Lyons-Schramm, whichstates that the infinite clusters yielded by a Bernoulli percolation on a Cayley graphalmost surely all look alike. The non-Triviality of this strengthening is illustrated bya directed model that satisfies the Indistinguishability Property but not the StrongIndistinguishability Property.Chapter 2 has been obtained in collaboration with Vincent Tassion. We show thatthe value of the critical parameter for Bernoulli percolation essentially only dependson the local structure of the considered abelian Cayley graph.In Chapter 3, we introduce a directed version of the DLA model, for which weestablish the existence of an infinite volume dynamics, control the propagation ofinformation and prove asymptotic inequalities on the width and height of the cluster

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Moumni, Mohammed. "Sur quelques modèles mathématiques issus du micromagnétisme". Thesis, La Rochelle, 2017. http://www.theses.fr/2017LAROS004/document.

Texto completo da fonte

Resumo:

Cette thèse est consacrée à l'étude de quelques problèmes mathématiques issus du micromagnétisme. Le but est d'analyser le comportement des modèles en fonction de différents paramètres physiques, dont les fines variations sont parfois difficilement mesurables. Nous adoptons des approches numériques, asymptotiques ou d'homogénéisation. Les modèles considérés reposent sur l'utilisation de l'équation de Landau-Lifshitz-Gilbert (LLG) décrivant l'évolution du champ d'aimantation dans un matériau ferromagnétique. Nous rappelons d'abord quelques notions importantes en ferromagnétisme. Ensuite, nous menons une étude numérique d'un modèle de la dynamique d'aimantation avec effets d'inertie. Nous proposons un schéma aux différences finies semi-implicite qui respecte de façon intrinsèque les propriétés du modèle continu. Des simulations numériques sont réalisées pour cerner l'effet du paramètre d'inertie. Ces simulations montrent aussi la performance du schéma et confirment l'ordre de convergence obtenu théoriquement. Nous étudions ensuite un modèle de la dynamique de l'aimantation avec amortissement non local. La sensibilité de la dynamique d'aimantation au paramètre d'amortissement est étudiée en donnant le problème limite pour de petites et de grandes valeurs du paramètre. Enfin, nous étudions l'homogénéisation de l'équation LLG dans deux types de matériau, à savoir les composites présentant un fort contraste des propriétés magnétiques et les matériaux périodiquement perforés avec énergie d'anisotropie de surface. Des modèles homogénéisés sont d'abord obtenus formellement puis une dérivation rigoureuse est établie en se basant principalement sur les concepts de la convergence à double échelle et de la convergence à double échelle en surface. Pour traiter les non-linéarités, nous introduisons une nouvelle méthode basée sur le couplage d'un opérateur de dilatation calibré sur les contrastes d'échelle et d'un outil de réduction de dimension, par construction de grilles emboitées adaptées à la géométrie du domaine microscopique
This thesis is devoted to the study of some mathematical problems arising in micromagnetism. The models considered here are based on the Landau-Lifshitz-Gilbert equation (LLG) describing the evolution of the magnetization field in a ferromagnetic material. Our aim is the analysis of the behavior of the models regarding the slight variations of some physical parameters. We first recall some important notions about ferromagnetism. Then, we carry out a numerical study of a model of magnetization dynamics with inertial effects. We propose a semi-implicit finite difference scheme which intrinsically respects the properties of the continuous model. Numerical simulations are provided for emphasizing the effect of the inertia parameter. These simulations also show the performance of the scheme and confirm the order of convergence obtained theoretically. We then study a model of magnetization dynamics with a non-local damping. The sensitivity of the magnetization dynamics to the damping coefficient is studied by giving the limiting problem for small and large values of the parameter. Finally, we study the homogenization of the LLG equation in two types of structures, namely a composite material with strongly contrasted magnetic properties, and a periodically perforated material with surface anisotropy energy. The homogenized models are first obtained formally. The rigorous derivation is then performed using mainly the concepts of two-scale convergence, two-scale convergence on surfaces together with a new homogenization procedure for handling with the nonlinear terms. More precisely, an appropriate dilation operator is applied in a embedded cells network, the network being constrained by the microscopic geometry

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Baudon, Alain. "Hydrocraquage d'hydrocarbures modèles sur catalyseurs industriels NiMoS". Poitiers, 1996. http://www.theses.fr/1996POIT2302.

Texto completo da fonte

Resumo:

L'hydrocraquage des charges petrolieres est un des procedes de conversion de l'industrie du raffinage qui, par sa grande flexibilite, permet d'orienter sa production en fonction de la demande du marche. Il permet d'obtenir aisement le produit recherche (essence, gazole, kerosene), meme a partir de charges refractaires au craquage, comme les charges riches en polyaromatiques. L'objectif de ce travail etait d'etudier la transformation de differents types d'hydrocarbures representatifs des charges a traiter (paraffines, naphtenes, aromatiques) dans des conditions proches de celles utilisees dans les unites industrielles (reacteur dynamique sous pression elevee d'hydrogene, presence de composes soufres et azotes). Le catalyseur utilise pour cette etude est lui aussi de type industriel, a base de sulfures de nickel et de molybdene deposes sur une alumine et associes a une zeolithe y protonique. La principale conclusion de cette etude est donc que la transformation des differents hydrocarbures se produit toujours essentiellement par un mecanisme bifonctionnel, conduisant a des produits d'isomerisation et de craquage. La structure de l'hydrocarbure ne modifie que les vitesses des differentes reactions, y compris celle de la formation de coke, et par consequent la selectivite de l'hydrocraquage. La structure de l'hydrocarbure semble egalement jouer un role important au niveau de la cinetique de la reaction. En effet, les equations cinetiques utilisees pour decrire la transformation des n-alcanes ne semblent pas adaptees a la transformation des naphtenes, et encore moins a celle des naphteno-aromatiques. Enfin, la methode utilisee pour presulfurer le catalyseur influe considerablement sur son activite ulterieure en hydrocraquage. Une sulfuration en absence d'hydrocarbure (par h#2s/h#2) conduit a une meilleure formation de la phase sulfure, et par consequent a une activite hydrogenante plus forte du catalyseur. La sulfuration en presence d'un hydrocarbure (dimethyldisulfure en solution dans le n-heptane ou le n-decane) conduit a un cokage des sites acides du catalyseur

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

RATOVOHERY, RATOBISON MANITRA AIME. "Sur l'étude des modèles économiques avec retard". Paris 1, 1989. http://www.theses.fr/1989PA010031.

Texto completo da fonte

Resumo:

En se proposant un quadruple objectif, (clarification du "retard" dans son acception globale, developpement de la notion de retard dans le cadre economique, recherche de vulgarisation des travaux de mickal kalecki, tentative de clarification des notions d'equilibre et de stabilite utilisees en analyse frequentielle) ce travail est une approche systemique des systemes a retards. On commence par de diverses notions de systemes (systemes evolutif, fatal, amphidrome, hereditaire. . . ) pour aboutir a des "systemes ou modeles a retards". Des exemples d'applications pratiques, ou intervient le retard, sont presentes en vrac, notamment en physique, biologie, pharmacologie, demographie et economie mathematique. Dans le domaine economique, on rencontre successivement une typologie du retard (de robertson, de lundberg, retard production-revenu. . . ) des notions du processus d'investissement et de son financement, des problemes de conjoncture economique avec les cycles des affaires, de kondratieff, de juglar, de kitchine, hypercycle, cycle de croissance. Avec les notions de systeme isole, accumulation brute de capital, oscillateur de kalecki, degre de monopole, intensite du capital, une partie des travaux de m. Kalecki est exposee. Finalement ce travail debouche sur des concepts utilises en automatique (equilibre et stabilite, systeme de reglage programmable, systeme suiveur, theoreme de la toile d'araignee, equilibre asymptotiquement stable, domaine d'attraction, stabilites simple, locale, globale et absolue, fonction de classe a)
This work is a systemic approach to the problems of systems with delays. The goals to be reached are: clarification of delay in its aggregate acceptation, investigation of the notion of delay in economics, popularization of the works of mickal kalecki, attempt to clarify notions of equilibrium and stability used in frequency analysis. It begins with presentation of varied notions of systems (evolutionary system, fatal system, hereditary system. . . ) and finishes by the concept of "systems or models with delays". Examples, taken from practice, are presented in physics, biology, pharmacology, demography and applied mathematics. Then, economics are explored: we deal with a typology of delay (robertson's, lundberg's, delay between production and income. . . ), with notions of investment process, problems of overall economic situation (business cycles, kondratieff's cycle, juglar's cycle, kitchine's cycle, cycle of growth. . . ). In this work, it has been insisted upon investigations of m. Kalecki with a chronological account of events of his life, the notions of isolated system, gross accumulation, kalecki's oscillator, grade of monopoly, capital intensity. . . And at last, the work ends by some notions of equilibrium and stability used in automatics (tests of stability, control systems, follow up system, theorem of the cobweb, asymptotic stability, simple stability, global and local stabilities, absolute stability,. . . )

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Mignard, Caroline. "Sur quelques modèles animaux de neuropathies périphériques". Université Louis Pasteur (Strasbourg) (1971-2008), 2004. http://www.theses.fr/2004STR13185.

Texto completo da fonte

Resumo:

Les neuropathies périphériques sont des maladies neuromusculaires très fréquentes. Elles se caractérisent par une atteinte motrice plus ou moins sévère, par des troubles sensitifs, par une aréflexie, une atrophie des territoires musculaires innervés par les nerfs malades et par des troubles neurovégétatifs. Les causes des neuropathies sont diverses. La maladie peut avoir une origine métabolique (diabète), toxique (médicaments), carentielle (carence en vitamine B1), infectieuse (maladie de Lyme), inflammatoire (syndrome de Guillain-Barré) ou héréditaire (maladie de Charcot Marie-Tooth). A ce jour, le traitement des neuropathies est limité au soulagement symptomatique des paresthésies et de la douleur. Dans le cadre de l'activité de la société Neurofit, l'objectif de ce travail a été de développer des modèles animaux de neuropathies périphériques pour la détection de nouvelles molécules thérapeutiques. Nous nous sommes intéressée à la validation de (a) 2 modèles de neuropathies induites par l'administration d'agents antimitotiques, la vincristine et le cisplatine ; (b) d'un modèle de neuropathie diabétique et (c) d'un modèle de neuropathie traumatique, induite par lésion mécanique du nerf sciatique. Diverses techniques sont mises en œuvre pour valider ces modèles animaux. Ainsi les animaux sont soumis à des épreuves comportementales, à des examens électrophysiologiques et une analyse histologique du nerf sciatique. Les résultats montrent que les modèles animaux établis répondent aux 3 critères de validation d'un modèle animal de pathologie humaine : (a) l'isomorphisme (symptômes communs), (b) l'homologie (causes similaires) et (c) la prédictivité (amélioration des symptômes par un traitement de référence). En l'absence de véritable traitement de ce type, le critère de prédictivité a été vérifié par l'utilisation de 4-méthylcatéchol, connu pour être un inducteur de NGF. Les modèles animaux de neuropathies périphériques ainsi caractérisés constituent aujourd'hui un véritable outil de recherche pré clinique ; et l'action neuroprotectrice du 4-méthylcatéchol dans des atteintes nerveuses sensitives et/ou motrices, d'origine toxique, métabolique ou traumatique est prouvée
The peripheral neuropathies are very common neuromuscular diseases. They are characterized by more or less severe motor dysfunction, sensitive disorders, loss of reflexes, amyotrophy of territories innervated by affected nerves and some neurovegetative disorders. The causes of neuropathies are various ; they can be of metabolic (diabetes), toxic (drugs), nutritional (vitamin B1 deficiency for example), infectious (disease of Lyme), inflammatory (syndrome of Guillain-Barré) or hereditary (Charcot Marie-Tooth's disease) origins. At the present date, the treatment of neuropathies is symptomatic and limited to relieve of pareasthesia and pain. In the frame of activities of Neurofit SA, the aim of the present work was to develop some animal models of peripheral neuropathies to search for novel therapeutic substances. We were involved in the validation of (a) 2 models of toxic neuropathies, namely those induced by antimitotic agent as vincristine and cisplatin; (b) a model of diabetic neuropathy and (c) a model of traumatic neuropathy (sciatic nerve injury). Different approaches were used to validate these models. The animals were submitted to behavioural tests, electrophysiological studies and histological examination of sciatic nerve. Our results show that these animal models fulfil the 3 validation criteria of an animal model : isomorphism (similar symptoms), homology (similar causes) and predictivity (improvement of symptoms by a reference treatment). In absence of a reference treatment of neuropathies, the criteria of predictivity was checked using 4-méthylcatéchol (4-MC), known as an inducer of NGF. The animal models of peripheral neuropathies characterized in this work now constitute a real tool of preclinical research, and the neuroprotective action of 4-MC takes a prominent position in treatment of sensitive or/and motor impairments, linked to toxic, metabolic or traumatic injuries of peripheral nerves

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Karaki, Muath. "Opérateurs de composition sur les espaces modèles". Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10075/document.

Texto completo da fonte

Resumo:

Cette thèse est consacrée à l'étude des opérateurs de composition sur les espaces modèles. Soit [Phi] une fonction analytique du disque unité dans lui-même et soit [Théta] une fonction intérieure, c'est à dire une fonction holomorphe et bornée par 1 dont les limites radiales sur le cercle sont de module 1 presque partout par rapport à la mesure de Lebesgue. A cette fonction [Théta], on associe l'espace modèle K[Théta], défini comme l'ensemble des fonctions f ∈ H² qui sont orthogonales au sous-espace [Théta]H². Ici H² est l'espace de Hardy du disque unité. Ces sous-espaces sont importants en théorie des opérateurs car ils servent à modéliser une large classe de contractions sur un espace de Hilbert. Le premier problème auquel nous nous intéressons concerne la compacité d'un opérateur de composition C[Phi] vu comme opérateur de K[Théta], dans H². Récemment, Lyubarskii et Malinnikova ont obtenu un joli critère de compacité pour ces opérateurs qui fait intervenir la fonction de comptage de Nevanlinna du symbole [Phi]. Ce critère généralise le critère classique de Shapiro. Dans une première partie de la thèse, nous généralisons ce résultat de Lyubarskii-Malinnikova à une classe plus générale de sous-espaces, à savoir les espaces de de Branges-Rovnyak ou certains de leurs sous-espaces. Les techniques utilisées sont en particulier des inégalités fines de type Bernstein pour ces espaces. Le deuxième problème auquel nous nous intéressons dans cette thèse concerne l'invariance de K[Théta] sous l'action de C [Phi]. Ce problème nous amène à considérer une structure de groupe sur le disque unité du plan complexe via les automorphismes qui fixent le point 1. A travers cette action de groupe, chaque point du disque produit une classe d'équivalence qui se trouve être une suite de Blaschke. On montre alors que les produits de Blaschke correspondant sont des solutions "minimales" d'une équation fonctionnelle [Psi]°[Phi]=[Lambda][Psi], où [Lambda] est une constante unimodulaire et [Phi] un automorphisme du disque unité. Ces résultats sont ensuite appliqués au problème d'invariance d'un espace modèle par un opérateur de composition
This thesis concerns the study of composition operators on model spaces. Let [Phi] be an analytic function on the unit disk into itself and let [Théta] be an inner function, that is a holomorphic function bounded by 1 such that the radial limits on the unit circle are of modulus 1 almost everywhere with respect to Lebesgue measure. With this function [Théta], we associate the model space K[Théta], defined as the set of functions f ∈ H², which are orthogonal to the subspace [Théta]H². Here H² is the Hardy space on the unit disc. These subspaces are important in operator theory because they are used to model a large class of contractions on Hilbert space. The first problem which we are interested in concerns the compactness of the composition operator C[Phi] as an operator on H² into H². Recently, Lyubarskii and Malinnikova have obtained a nice criterion for the compactness of these operators which is related to the Nevanlinna counting function. This criterion generalizes the classical criterion of Shapiro. In the first part of the thesis, we generalize this result of Lyubarskii-Malinnikova to a more general class of subspaces, known as de Branges-Rovnyak spaces or some subspaces of them. The techniques that are used are particular Bernstein type inequalities of these spaces.The second problem in which we are interested in this thesis concerns the invariance of K[Théta] under C[Phi]. We present a group structure on the unit disc via the automorphisms which fix the point 1. Then, through theinduced group action, each point of the unit disc produces an equivalence class which turns out to be a Blaschke sequence. Moreover, the corresponding Blaschke products are minimal solutions of the functional equation [Psi]°[Phi]=[Lambda][Psi] where [Lambda] is a unimodular constant and is an automorphism of the unit disc. These results are applied in the invariance problem of the model spaces by the composition operator

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Kouame, Abo Justin. "Recherches sur les modèles argumentatifs en allemand". Paris 3, 1991. http://www.theses.fr/1992PA030068.

Texto completo da fonte

Resumo:

Dans l'organisation logique du discours strategiques dont le debat contradictoire (ou polemique) est le lieu, deux types ou modeles d'arguments peuvent etre a l'oeuvre: l'argument antagoniste conduisant a une conclusion qui est inductive par nature. L'occurrence ou non d'une demarche concessive constitue, pour l'analyste, un indice lui permettant de determiner ces types d'arguments. Ceux-ci peuvent entrer dans la construction de modeles d'argumentation que nous avons dits dialectiques ou conflictuels selon le choix des arguments opere par le locuteur.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Teses / dissertações sobre o tema "Vues sur les modèles"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos