Bibliografías temáticas / Calcul de points de fuite / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Calcul de points de fuite.

Tesis sobre el tema "Calcul de points de fuite"

Autor: Grafiati
Publicado: 12 de octubre de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 48 mejores tesis para su investigación sobre el tema "Calcul de points de fuite".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Elassam, Abdelkarim. "Learning-based vanishing point detection and its application to large-baseline image registration." Electronic Thesis or Diss., Université de Lorraine, 2024. http://www.theses.fr/2024LORR0084.

Texto completo
Resumen
Cette thèse étudie la détection des points de fuite et de la ligne d'horizon ainsi que leur application à des tâches de localisation visuelle en environnement urbain. La localisation visuelle est un problème fondamental de vision par ordinateur qui vise à déterminer la position et l'orientation d'une caméra dans un environnement en se basant uniquement sur des informations visuelles. En environnements urbains et manufacturés, les points de fuite sont des repères visuels qui apportent des informations importantes sur la structure de la scène et leur détection est donc importante pour les tâches
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Riffaut, Antonin. "Calcul effectif de points spéciaux." Thesis, Bordeaux, 2018. http://www.theses.fr/2018BORD0100/document.

Texto completo
Resumen
À partir du théorème d’André en 1998, qui est la première contribution non triviale à la conjecture de André-Oort sur les sous-variétés spéciales des variétés de Shimura, la principale problématique de cette thèse est d’étudier les propriétés diophantiennes des modules singuliers, en caractérisant les points de multiplication complexe (x; y) satisfaisant un type d’équation donné de la forme F(x; y) = 0, pour un polynôme irréductible F(X; Y ) à coefficients complexes. Plus spécifiquement, nous traitons deux équations impliquant des puissances de modules singuliers. D’une part, nous montrons que
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Audebaud, Christian-Philippe. "Extension du calcul des constructions par points fixes." Bordeaux 1, 1992. http://www.theses.fr/1992BOR10506.

Texto completo
Resumen
S'appuyant sur la these definition recursive=construction par point fixe, constable et smith ont propose une extension de nuprl permettant de typer des termes construits par point fixe. Une analyse critique nous a conduit a en reprendre l'etude dans le calcul des constructions (cc), systeme mathematiquement plus elegant et syntaxiquement plus simple. L'introduction d'un constructeur de point fixe dans cc conduit a une extension, notee cc#+, conservative au-dessus de cc. La construction de schemas par point fixe doit respecter le predicat usuel de positivite. Aucune restriction au niveau des pr
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lezama, José. "On grouping theory in dot patterns, with applications to perception theory and 3D inverse geometry." Thesis, Cachan, Ecole normale supérieure, 2015. http://www.theses.fr/2015DENS0009/document.

Texto completo
Resumen
Cette thèse porte sur l'étude de deux modèles mathématiques pour une tâchevisuelle élémentaire: le regroupement perceptuel de points 2D. Le premier modèletraite la détection d'alignements de point perceptuellement relevant. Ledeuxième modèle étend ce cadre au cas plus général de la bonne continuation depoints. Dans les deux cas, les modèles proposés sont invariants au changementd'échelle, et non supervisés. Ils sont conçus pour être robustes au bruit,jusqu'au point où les structures à détecter deviennent mathématiquementimpossibles de distinguer du bruit. Les expériences presentées montrent un
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

OKASSA, EUGENE. "Geometrie des points proches et applications." Toulouse 3, 1989. http://www.theses.fr/1989TOU30003.

Texto completo
Resumen
On donne une caracterisation du prolongement des champs de vecteurs sur une variete des points proches. On determine le type d'algebres locales pour lesquel certaines relevees de formes symplectiques (respectivement pseudo-riemanniennes) sont symplectiques (respectivement pseudo-riemanniennes). On definit les prolongements d'algebres locales: ce qui permet de definir le complexe differentiel de lagrange sur une variete de points proches
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Dewaghe, Laurent. "Calcul du nombre de points sur une courbe elliptique dans un corps fini." Lille 1, 1996. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1996/50376-1996-354.pdf.

Texto completo
Resumen
Ma thèse apporte des résultats théoriques et pratiques concernant le meilleur algorithme connu - algorithme de schoof-elkies-atkin (sea) - pour le calcul du nombre de points sur une courbe elliptique dans un corps fini de très grande caractéristique. Cela a permis de déterminer le nombre de points d'une courbe sur un corps de caractéristique étant un nombre record. Plus précisément, je décris, tout d'abord, quelques propriétés des polynômes intervenants dans sea (et plus généralement associes à la courbe elliptique e : polynômes de division, polynômes de division exacte, polynômes de semi-divi
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Lemarinier, Pierre. "Fiabilité et traitement de la volatilité dans les systèmes de calcul global." Paris 11, 2006. http://www.theses.fr/2006PA112258.

Texto completo
Resumen
Les systèmes de calcul agrègent de plus en plus de processeurs et sont par conséquent plus fréquemment affectés par des pannes franches. Les applications de calcul à passage de messages sont en grande partie développées selon la norme MPI. De nombreux travaux sur la tolérance aux pannes automatique et transparente pour les applications ont été menés au sein des librairies MPI. Tous ces travaux sont basés sur des techniques de points de reprise, coordonnés ou non coordonnés. Néanmoins aucune comparaison entre les différents protocoles n'a été réalisée en terme de coût et d'impact sur les perfor
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Bataille, Camille. "Topographie multi-échelle et fuite évolutive d'un contact coulissant : approche expérimentale et simulation." Thesis, Valenciennes, Université Polytechnique Hauts-de-France, 2020. http://www.theses.fr/2020UPHF0008.

Texto completo
Resumen
Les pompes permettent le transfert d’un produit (colle, lubrifiant, essence, etc.) jusqu’au système de pulvérisation sous pression. Etant présentes dans une multitude de secteur d’activité, leur fiabilité a une importance majeure pour la protection de l’environnement et de la santé. Nous étudions l’impact de l’état de surface sur la fonctionnalité (étanchéité, usure) de différents systèmes, au sein des pompes et systèmes de pulvérisation. Une méthode de caractérisation multi-échelle est ainsi mise en place afin de comprendre l’impact de l’état de surface des pièces sur la fonctionnalité de ces
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Dormoy, Jérôme. "Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales." Bordeaux 1, 1997. http://www.theses.fr/1997BOR10628.

Texto completo
Resumen
Actuellement, le domaine de la verification est confronte au probleme de l'explosion combinatoire des systemes modelises. Les axes de recherche pour lutter contre ce probleme se portent a la fois sur la realisation d'algorithmes rapides, et sur la mise au point de techniques visant a contourner le delicat probleme de la taille de tels systemes. En ce qui concerne, les algorithmes rapides, nous presentons un algorithme de calcul de points fixes dont la complexite est lineaire. D'autre part, plusieurs approches comme par exemple la verification a la volee, ou les representations plus compactes a
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Wallet, Alexandre. "Le problème de décompositions de points dans les variétés Jacobiennes." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066438/document.

Texto completo
Resumen
Le problème du logarithme discret est une brique fondamentale de nombreux protocoles de communication sécurisée. Son instantiation sur les courbes elliptiques a permis, grâce à la petite taille des opérandes considérées, le déploiement de primitives asymétriques efficaces sur des systèmes embarqués. De nos jours, les cryptosystèmes utilisant des courbes elliptiques, aussi appelées courbes de genre 1, sont déjà intensément utilisés: il est donc impératif de savoir estimer précisément la robustesse de ces systèmes. L'existence d'attaques mathématiques permettant de transférer un problème de loga
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Elloumi, Wael. "Contributions à la localisation de personnes par vision monoculaire embarquée." Phd thesis, Université d'Orléans, 2012. http://tel.archives-ouvertes.fr/tel-00843634.

Texto completo
Resumen
Une des techniques alternatives au GPS pour le développement d'un système d'assistance à la navigationpédestre en milieux urbains est la vision embarquée. La localisation du porteur de la caméra s'appuie alorssur l'estimation de la pose à partir des images acquises au cours du cheminement. En s'inspirant destravaux antérieurs sur la navigation autonome de robots, cette thèse explore deux approches dans le cadrespécifique de la localisation pédestre. La première méthode de localisation s'appuie sur des appariementsde primitives images avec une cartographie 3D pré-estimée de l'environnement. Ell
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Marcaillou, Sophie. "Intégration de la notion de points de vue dans la modélisation par objets : le langage VBOOL." Toulouse 3, 1995. http://www.theses.fr/1995TOU30016.

Texto completo
Resumen
L'etude des besoins de la modelisation des systemes complexes, en particulier des systemes spatiaux, nous a amene a definir nos objectifs en termes de modelisation par objets unique et coherente, supportant des points de vue multiples et evolutifs. Diverses approches tentent d'introduire ces concepts, dans plusieurs domaines informatique (intelligence artificielle, bases de donnees, genie logiciel), mais aucune ne satisfait entierement nos objectifs. Notre demarche consiste a integrer les concepts de vue et de point de vue dans la modelisation par objets. Apres avoir defini et formalises ces c
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Wallet, Alexandre. "Le problème de décompositions de points dans les variétés Jacobiennes." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066438.

Texto completo
Resumen
Le problème du logarithme discret est une brique fondamentale de nombreux protocoles de communication sécurisée. Son instantiation sur les courbes elliptiques a permis, grâce à la petite taille des opérandes considérées, le déploiement de primitives asymétriques efficaces sur des systèmes embarqués. De nos jours, les cryptosystèmes utilisant des courbes elliptiques, aussi appelées courbes de genre 1, sont déjà intensément utilisés: il est donc impératif de savoir estimer précisément la robustesse de ces systèmes. L'existence d'attaques mathématiques permettant de transférer un problème de loga
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Facchini, Alessandro. "A study on the expressive power of some fragments of the modal µ-calculus." Thesis, Bordeaux 1, 2010. http://www.theses.fr/2010BOR14210/document.

Texto completo
Resumen
Dans ce travail nous étudions la complexité de certains fragments du mu-calcul selon deux points de vue: l’un syntaxique et l’autre topologique. Dans la première partie nous adoptons le point de vue syntaxique afin d'étudier le comportement du mu-calcul sur des classes restreintes de modèles. Parmi d'autres résultats, nous montrons en particulier que sur les modèles transitifs toute propriété définissable par une formule du mu-calcul est définissable par une formule sans alternance de points fixes. Pour ce qui concerne la perspective topologique, nous montrons d'abord que sur les modèles trans
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Laizet, Sylvain. "Développement d'un code de calcul combinant des schémas de haute précision avec une méthode de frontières immergées pour la simulation des mouvements tourbillonnaires en aval d'un bord de fuite." Poitiers, 2005. http://www.theses.fr/2005POIT2339.

Texto completo
Resumen
La réalisation de simulations des mouvements tourbillonnaires en aval d'un bord de fuite reste une tâche difficile en mécanique des fluides. Des développements numériques ont été réalisés à partir d'un code de calcul résolvant les équations de Navier-Stokes incompressibles à l'aide de schémas aux différences finies de haute précision. L'originalité de l'approche numérique réside dans l'utilisation d'une méthode spectrale pour la résolution de l'équation de Poisson qui combinée à une méthode de frontières immergées permet de simuler des écoulements en présence de parois. Un effort particulier a
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

THIEULLEN, BONANSEA MICHELE. "Points multiples des procesus de levy. Critere de non explosion de solutions d'equations differentielles stochastiques. Calcul stochastique non adapte a deux parametres." Paris 6, 1990. http://www.theses.fr/1990PA066337.

Texto completo
Resumen
Nous montrons que n copies independantes d'un processus de levy x issues de points appartenant a un voisinage de 0, ont des points communs avec probabilite strictement positive si le noyau resolvant de x est fortement fellerien de densite de puissance nieme integrable au voisinge de 0. Nous donnons un resultat sur la 1-capacite d'une boule de rayon a et de centre 0 relativement ax. Nous etudions le cas particulier ou x est un processus stable. Ensuite nous donnons un critere pour que la solution d'une equation differentielle stochastique de dole ans-dade n'explose pas. Pour toute condition ini
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Tournier, Évelyne. "Solutions formelles d'équations différentielles : le logiciel de calcul formel DESIR : étude théorique et réalisation." Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Texto completo
Resumen
Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Abelard, Simon. "Comptage de points de courbes hyperelliptiques en grande caractéristique : algorithmes et complexité." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0104.

Texto completo
Resumen
Le comptage de points de courbes algébriques est une primitive essentielle en théorie des nombres, avec des applications en cryptographie, en géométrie arithmétique et pour les codes correcteurs. Dans cette thèse, nous nous intéressons plus particulièrement au cas de courbes hyperelliptiques définies sur des corps finis de grande caractéristique p. Dans ce cas de figure, les algorithmes dérivés de ceux de Schoof et Pila sont actuellement les plus adaptés car leur complexité est polynomiale en \log p. En revanche, la dépendance en le genre g de la courbe est exponentielle et se fait cruellement
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Guermouche, Amina. "Nouveaux Protocoles de Tolérances aux Fautes pour les Applications MPI du Calcul Haute Performance." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00666063.

Texto completo
Resumen
Avec l'évolution des machines parallèles, le besoin en protocole de tolérance aux fautes devient de plus en plus important. Les protocoles de tolérance aux fautes existants ne sont pas adaptés à ces architectures car soit ils forcent un redémarrage global (protocoles de sauvegarde de points de reprise coordonnés) soit ils forcent l'enregistrement de tous les messages (protocoles à enregistrement de messages). Nous avons étudié les caractéristiques des protocoles existants. Dans un premier temps, nous avons étudié le déterminisme des applications, étant donné que les protocoles existants suppos
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Emmanuel, Aurélien. "Courbes d'accumulations des machines à signaux." Electronic Thesis or Diss., Orléans, 2023. http://www.theses.fr/2023ORLE1079.

Texto completo
Resumen
Cette thèse s'inscrit dans l'étude d'un modèle de calcul géométrique : les machines à signaux. Nous y montrons comment tracer des graphes de fonctions à l'aide d'arbres unaire-binaires. Dans le monde des automates cellulaires, il est souvent question de particules ou signaux : des structures périodiques dans le temps et l'espace, autrement dit des structures qui se déplacent à vitesse constante. Lorsque plusieurs signaux se rencontrent, une collision a lieu, et les signaux entrant peuvent continuer, disparaître ou laisser place à d'autres signaux, en fonctions des règles de l'automate cellulai
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Roynard, Xavier. "Sémantisation à la volée de nuages de points 3D acquis par systèmes embarqués." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEM078.

Texto completo
Resumen
Cette thèse se trouve à la confluence de deux mondes en pleine explosion : la voiture autonome et l’intelligence artificielle (particulièrement l’apprentissage profond). Le premier tirant profit du deuxième, les véhicules autonomes utilisent de plus en plus de méthodes d’apprentissage profond pour analyser les données produites par ses différents capteurs (dont les LiDARs) et pour prendre des décisions. Alors que les méthodes d’apprentissage profond ont révolutionné l’analyse des images (en classification et segmentation par exemple), elles ne produisent pas des résultats aussi spectaculaires
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Doumane, Amina. "On the infinitary proof theory of logics with fixed points." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC123/document.

Texto completo
Resumen
Cette thèse traite de la theorie de la preuve pour les logiques a points fixes, telles que le μ-calcul, lalogique lineaire a points fixes, etc. ces logiques sont souvent munies de systèmes de preuves finitairesavec des règles d’induction à la Park. Il existe néanmoins d’autres sytèmes de preuves pour leslogiques à points fixes, qui reposent sur la notion de preuve infinitaire, mais qui sont beaucoupmoins developpés dans la litterature. L’objectif de cette thèse est de pallier à cette lacune dansl’état de l’art, en developpant la théorie de la preuve infnitaire pour les logiques a points fixes,
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Abelard, Simon. "Comptage de points de courbes hyperelliptiques en grande caractéristique : algorithmes et complexité." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0104/document.

Texto completo
Resumen
Le comptage de points de courbes algébriques est une primitive essentielle en théorie des nombres, avec des applications en cryptographie, en géométrie arithmétique et pour les codes correcteurs. Dans cette thèse, nous nous intéressons plus particulièrement au cas de courbes hyperelliptiques définies sur des corps finis de grande caractéristique $p$. Dans ce cas de figure, les algorithmes dérivés de ceux de Schoof et Pila sont actuellement les plus adaptés car leur complexité est polynomiale en $\log p$. En revanche, la dépendance en le genre $g$ de la courbe est exponentielle et se fait cruel
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Costermans, Christian. "Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00338482.

Texto completo
Resumen
L'étude de certaines variables aléatoires, comme les paramètres additifs sur les arbres hyperquaternaires de points, ou encore le nombre de maxima au sein d'un ensemble de n points indépendants, et uniformément distribués dans [0,1]^d font apparaître des suites particulières, les sommes harmoniques multiples (SHM), extensions des nombres harmoniques classiques à des multi-indices.<br /><br />Nos travaux visant à appliquer des méthodes symboliques pour l'étude de ces variables aléatoires, nous remplaçons l'utilisation de multi-indices par des codages sur des alphabets distincts, et nous appuyon
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Grusea, Simona. "Applications du calcul des probabilités à la recherche de régions génomiques conservées." Phd thesis, Université de Provence - Aix-Marseille I, 2008. http://tel.archives-ouvertes.fr/tel-00377445.

Texto completo
Resumen
Cette thèse se concentre sur quelques sujets de probabilités et statistique liés à la génomique comparative. Dans la première partie nous présentons une approximation de Poisson composée pour calculer des probabilités impliquées dans des tests statistiques pour la significativité des régions génomiques conservées trouvées par une approche de type région de référence.<br>Un aspect important de notre démarche est le fait de prendre en compte l'existence des familles multigéniques. Dans la deuxième partie nous proposons trois mesures, basées sur la distance de transposition dans le groupe symétri
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Morlot, Thomas. "La gestion dynamique des relations hauteur-débit des stations d'hydrométrie et le calcul des incertitudes associées : un indicateur de gestion, de qualité et de suivi des points de mesure." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENU029/document.

Texto completo
Resumen
Pour répondre à trois enjeux principaux que sont la sûreté des installations, le respect d'exigences règlementaires et l'optimisation des moyens de production, EDF-DTG a développé un réseau d'observations qui comprend les paramètres climatiques tels que la température de l'air, les précipitations et l'enneigement, mais aussi le débit des rivières. Les données collectées permettent la surveillance en « temps réel » des cours d'eau ainsi que la réalisation d'études hydrologiques quantitatives ou de dimensionnement qui nécessitent de disposer de séries patrimoniales de références. Assurer la qual
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Mezzarobba, Marc. "Autour de l'évaluation numérique des fonctions D-finies." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00663017.

Texto completo
Resumen
Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Maddah, Sumayya Suzy. "Formal reduction of differential systems : Singularly-perturbed linear differential systems and completely integrable Pfaffian systems with normal crossings." Thesis, Limoges, 2015. http://www.theses.fr/2015LIMO0065/document.

Texto completo
Resumen
Dans cette thèse, nous nous sommes intéressés à l'analyse locale de systèmes différentiels linéaires singulièrement perturbés et de systèmes de Pfaff complètement intégrables et multivariés à croisements normaux. De tels systèmes ont une vaste littérature et se retrouvent dans de nombreuses applications. Cependant, leur résolution symbolique est toujours à l'étude. Nos approches reposent sur l'état de l'art de la réduction formelle des systèmes linéaires singuliers d'équations différentielles ordinaires univariées (ODS). Dans le cas des systèmes différentiels linéaires singulièrement perturbés
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

García, Fontán Jorge. "Singularity and Stability Analysis of vision-based controllers." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS015.

Texto completo
Resumen
L’objectif de cette thèse doctoral est d’explorer les cas d’échec de l’asservissement visuel, d’un point de vue mathématique rigoureux et à l’aide d’outils de calcul exact issus de la géométrie algébrique et du calcul formel. Les cas d’échec possibles proviennent de deux sources : les singularités des équations cinématiques, et l’existence de multiples points d’équilibre, ce qui affecte la stabilité asymptotique globale des lois de contrôle. Dans cette thèse, nous avons atteint deux objectifs principaux. Le premier est de calculer les conditions de singularité pour le modèle d’interaction lié
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Le, Huu Phuoc. "On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS554.

Texto completo
Resumen
La résolution de systèmes polynomiaux est un domaine de recherche actif situé entre informatique et mathématiques. Il trouve de nombreuses applications dans divers domaines des sciences de l'ingénieur (robotique, biologie) et du numérique (cryptographie, imagerie, contrôle optimal). Le calcul formel fournit des algorithmes qui permettent de calculer des solutions exactes à ces applications, ce qui pourraient être très délicat pour des algorithmes numériques en raison de la non-linéarité. La plupart des applications en ingénierie s'intéressent aux solutions réelles. Le développement d'algorithm
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Fond, Antoine. "Localisation par l'image en milieu urbain : application à la réalité augmentée." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0028/document.

Texto completo
Resumen
Dans cette thèse on aborde le problème de la localisation en milieux urbains. Inférer un positionnement précis en ville est important dans nombre d’applications comme la réalité augmentée ou la robotique mobile. Or les systèmes basés sur des capteurs inertiels (IMU) sont sujets à des dérives importantes et les données GPS peuvent souffrir d’un effet de vallée qui limite leur précision. Une solution naturelle est de s’appuyer le calcul de pose de caméra en vision par ordinateur. On remarque que les bâtiments sont les repères visuels principaux de l’humain mais aussi des objets d’intérêt pour le
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Barkatou, My Abdelfattah. "Contribution à l'étude des équations différentielles et aux différences dans le champ complexe." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00332857.

Texto completo
Resumen
Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinage de points singuliers est présenté. Pour les équations d'ordre quelconque on donne une version modifiée de l'algorithme de newton. Un algorithme permettant d'obtenir une base de solutions asymptotiques d'une équation récurrente linéaire à coefficients polynomiaux est ensuite présenté. Ceci mène à l'étude des systèmes linéaires aux différences à coefficients séries de factorielles
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Kalantari, Mahzad. "APPROCHE DIRECTE DE L'ESTIMATION AUTOMATIQUE DE L'ORIENTATION 3D D'IMAGES." Phd thesis, Université de Nantes, 2009. http://tel.archives-ouvertes.fr/tel-00433525.

Texto completo
Resumen
Récemment, la géomatique grand public s'est emparée de la représentation 3D des bâtiments. Le besoin d'acquérir des images et de les restituer en 3D, sous forme de maquettes parfaitement fidèles à la réalité, est ainsi devenu immense. On a donc vu depuis une décennie, se construire des véhicules capables de photographier en stéréoscopie des villes entières, et il a fallu concevoir les algorithmes capables de traiter ces énormes quantités d'images. Très naturellement, les industriels en charge de ces problèmes se sont tournés vers les outils de vision par ordinateur et de robotique, très bien a
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Fond, Antoine. "Localisation par l'image en milieu urbain : application à la réalité augmentée." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0028.

Texto completo
Resumen
Dans cette thèse on aborde le problème de la localisation en milieux urbains. Inférer un positionnement précis en ville est important dans nombre d’applications comme la réalité augmentée ou la robotique mobile. Or les systèmes basés sur des capteurs inertiels (IMU) sont sujets à des dérives importantes et les données GPS peuvent souffrir d’un effet de vallée qui limite leur précision. Une solution naturelle est de s’appuyer le calcul de pose de caméra en vision par ordinateur. On remarque que les bâtiments sont les repères visuels principaux de l’humain mais aussi des objets d’intérêt pour le
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Santoso, Mas Simon. "Simulation d'écoulements fluides à partir de données réelles." Thesis, Ecole centrale de Nantes, 2018. http://www.theses.fr/2018ECDN0011.

Texto completo
Resumen
Les nuages de points sont des objets mathématiques permettant de décrire de manière discrète des fonctions à plusieurs variables. Ils sont principalement utilisés dans le domaine statistique mais on les retrouve également en géométrie afin de représenter des variétés géométriques complexes. Il est aujourd'hui difficile d'intégrer les objets représentés par ces nuages de points dans des calculs éléments finis car l'intégration de ces nuages de points requiert la reconstruction de la variété ainsi que la génération d'un maillage surfacique qu'il faut intégrer dans un maillage volumique. Ces opér
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Thiam, C. O. "Dosimétrie en radiothérapie et curiethérapie par simulation Monte-Carlo GATE sur grille informatique." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2007. http://tel.archives-ouvertes.fr/tel-00196405.

Texto completo
Resumen
Les traitements de radiothérapie nécessitent la délivrance d'une dose précise au niveau de la tumeur et une bonne connaissance de la dose dans les zones avoisinantes. Ce calcul, habituellement réalisé par les TPS, exige des outils précis et rapides. La plate-forme de simulation Monte-Carlo GATE, basée sur le code GEANT4, offre un outil performant pour les applications de la médecine nucléaire mais aussi des fonctionnalités permettant de faire des calculs dosimétriques de façon fiable et rapide. Dans cette thèse, deux études ont été menées en parallèle: la validation de la plate-forme GATE pour
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Vitu, Stéphane. "Développement d'une méthode de contributions de groupes pour le calcul du coefficient d'interaction binaire de l'équation d'état de Peng-Robinson et mesures d'équilibres liquide-vapeur de systèmes contenant du CO2." Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL080N/document.

Texto completo
Resumen
Nous avons développé une méthode de contributions de groupes permettant d'estimer, en fonction de la température, le coefficient d'interaction binaire (kij) de l'équation d'état de Peng Robinson. Notre approche rend cette équation d'état prédictive. Douze groupes sont définis et il est possible d'estimer les kij pour n'importe quel mélange renfermant des alcanes, des aromatiques, des naphtènes et du CO2. Les diagrammes de phase et lieux des points critiques des systèmes binaires sont bien prédits par le modèle baptisé PPR78 (Predictive 1978, Peng Robinson equation of state). Ce modèle permet é
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Jafar, Samir. "Programmation des systèmes parallèles distribués : tolérance aux pannes, résilience et adaptabilité." Phd thesis, Grenoble INPG, 2006. http://tel.archives-ouvertes.fr/tel-00085169.

Texto completo
Resumen
Les grilles et les grappes sont des architectures de plus en plus utilisées dans le domaine du calcul scientifique distribué. Le nombre important de constituants hétérogènes (processeurs, mémoire, interconnexion) dans ces architectures dynamiques font que le risque de défaillance est très important. Compte tenu de la durée considérable de l'exécution d'une application parallèle distribuée, ce risque de défaillance doit être contrôlé par l'utilisation de technique de tolérance aux pannes. <br />Dans ce travail, la représentation de l'état de l'exécution d'un programme parallèle est un graphe, d
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Angladon, Vincent. "Room layout estimation on mobile devices." Phd thesis, Toulouse, INPT, 2018. http://oatao.univ-toulouse.fr/20745/1/ANGLADON_Vincent.pdf.

Texto completo
Resumen
Room layout generation is the problem of generating a drawing or a digital model of an existing room from a set of measurements such as laser data or images. The generation of floor plans can find application in the building industry to assess the quality and the correctness of an ongoing construction w.r.t. the initial model, or to quickly sketch the renovation of an apartment. Real estate industry can rely on automatic generation of floor plans to ease the process of checking the livable surface and to propose virtual visits to prospective customers. As for the general public, the room layou
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Akhbari, Mahsa. "Analyse des intervalles ECG inter- et intra-battement sur des modèles d'espace d'état et de Markov cachés." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT026.

Texto completo
Resumen
Les maladies cardiovasculaires sont l'une des principales causes de mortalité chez l'homme. Une façon de diagnostiquer des maladies cardiaques et des anomalies est le traitement de signaux cardiaques tels que le ECG. Dans beaucoup de ces traitements, des caractéristiques inter-battements et intra-battements de signaux ECG doivent être extraites. Ces caractéristiques comprennent les points de repère des ondes de l’ECG (leur début, leur fin et leur point de pic), les intervalles significatifs et les segments qui peuvent être définis pour le signal ECG. L'extraction des points de référence de l'E
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Duraffourg, Simon. "Analyse de la tenue en endurance de caisses automobiles soumises à des profils de mission sévérisés." Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC1142.

Texto completo
Resumen
Une caisse automobile est un ensemble complexe formé de plusieurs éléments qui sont souvent constitués de matériaux différents et assemblés principalement par points soudés, généralement à plus de 80%. Au stade de la conception, plusieurs critères doivent être vérifiés numériquement et confirmés expérimentalement par le prototype de la caisse, dont sa tenue en endurance. Dans le contexte économique actuel, la politique de réduction des dépenses énergétiques ou autres a conduit les constructeurs automobiles à optimiser les performances des véhicules actuels, en particulier en réduisant de façon
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Boufama, Boubakeur. "Reconstruction tridimensionnelle en vision par ordinateur : cas des caméras non étalonnées." Grenoble INPG, 1994. http://tel.archives-ouvertes.fr/tel-00005080.

Texto completo
Resumen
"la 4e de couverture indique : Cette thèse concerne principalement la reconstruction tridimensionnelle à partir d'images issues de caméras non étalonnées. Deux autres sujets liés à la reconstruction ont été traités: le calcul de la géométrie épipolaire et la mise en correspondance des points dans les images<br>Nous nous plaçons dans le cas général d'une séquence d'images obtenues avec une ou plusieurs caméras inconnues. Quand seuls les points observés dans les images sont utilisés la seule reconstruction possible est de type projective. Nous proposons d'abord une méthode pour calculer la recon
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Almansa, Andrés. "Echantillonnage, interpolation et détection : applications en imagerie satellitaire." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2002. http://tel.archives-ouvertes.fr/tel-00665725.

Texto completo
Resumen
Cette thèse aborde quelques-uns des problèmes qui surviennent dans la conception d'un système complet de vision par ordinateur : de l'échantillonnage à la détection de structures et leur interprétation. La motivation principale pour traiter ces problèmes a été fournie par le CNES et la conception des satellites d'observation terrestre, ainsi que par les applications de photogrammétrie et vidéo-surveillance chez Cognitech, Inc. pendant les étapes finales de ce travail, mais les techniques développées sont d'une généralité suffisante pour présenter un intérêt dans d'autres systèmes de vision par
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Digne, Julie. "Inverse geometry : from the raw point cloud to the 3d surface : theory and algorithms." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00610432.

Texto completo
Resumen
Many laser devices acquire directly 3D objects and reconstruct their surface. Nevertheless, the final reconstructed surface is usually smoothed out as a result of the scanner internal de-noising process and the offsets between different scans. This thesis, working on results from high precision scans, adopts the somewhat extreme conservative position, not to loose or alter any raw sample throughout the whole processing pipeline, and to attempt to visualize them. Indeed, it is the only way to discover all surface imperfections (holes, offsets). Furthermore, since high precision data can capture
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Le, Garrec Thomas. "Simulation directe du bruit de bord de fuite d'un profil par une méthode multi domaines." Phd thesis, 2008. http://pastel.archives-ouvertes.fr/pastel-00004430.

Texto completo
Resumen
L'analyse des mécanismes de génération de bruit pour des tronçons d'aile placés dans des écoulements à grand nombre de Reynolds s'inscrit dans le cadre de la réduction du bruit de cellule des avions. Afin d'améliorer la compréhension des phénomènes mis en jeu, nous proposons de développer un code aéroacoustique permettant d'obtenir directement le bruit d'un profil. Nous détaillons en particulier le développement de méthodes numériques minimisant les erreurs de dispersion et de dissipation afin de préserver la nature des ondes acoustiques. Une stratégie de calcul multi échelles multi pas de tem
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Mokhtari, Djamila. "Détection des chutes par calcul homographique." Thèse, 2012. http://hdl.handle.net/1866/8869.

Texto completo
Resumen
La vidéosurveillance a pour objectif principal de protéger les personnes et les biens en détectant tout comportement anormal. Ceci ne serait possible sans la détection de mouvement dans l’image. Ce processus complexe se base le plus souvent sur une opération de soustraction de l’arrière-plan statique d’une scène sur l’image. Mais il se trouve qu’en vidéosurveillance, des caméras sont souvent en mouvement, engendrant ainsi, un changement significatif de l’arrière-plan; la soustraction de l’arrière-plan devient alors problématique. Nous proposons dans ce travail, une méthode de détection de mouv
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Tournier, Evelyne. "Solutions formelles d'équations différentielles‎ : le logiciel de calcul formel DESIR‎ : étude théorique et réalisation." Habilitation à diriger des recherches, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Texto completo
Resumen
Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Boufama, Boubakeur. "Reconstruction tridimensionnelle en vision par ordinateur : cas des cameras non etalonnees." Phd thesis, 1994. http://tel.archives-ouvertes.fr/tel-00005080.

Texto completo
Resumen
Cette these concerne principalement la reconstruction tridimensionnelle a partir d'images issues de cameras non etalonnees. Deux autres sujets lies a la reconstruction ont ete traites : le calcul de la geometrie epipolaire et la mise en correspondance des points dans les images. Nous nous placons dans le cas general d'une sequence d'images obtenues avec une ou plusieurs cameras de carateristiques inconnues. Quand seuls les points observes dans les images sont utilisees la seule reconstruction possible est de type projective. Nous proposons d'abord une methode pour calculer la reconstruction pr
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Calcul de points de fuite" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía