Log in

Relevant bibliographies by topics / Méthode basée sur des contraintes / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Méthode basée sur des contraintes.

Dissertations / Theses on the topic 'Méthode basée sur des contraintes'

Author: Grafiati

Published: 25 May 2024

Last updated: 19 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Méthode basée sur des contraintes.'

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

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

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

1

Medjdoub, Benachir. "Méthode de conception fonctionnelle en architecture : une approche CAO basée sur les contraintes : ARCHIPLAN." Phd thesis, Ecole Centrale Paris, 1996. http://tel.archives-ouvertes.fr/tel-00393843.

Full text

Abstract:

Nous nous intéressons au problème du dimensionnement et du placement optimal de locaux sur une surface donnée (on trouve aussi allocation spatiale), de type logements familiaux, bureaux ou équipements collectifs... Nous présentons une nouvelle approche de logiciel de CAO en architecture qui part de l'expression du besoin fonctionnel en termes de contraintes sur les locaux. La grande originalité de ce travail est de proposer un modèle de placement a trois niveaux : fonctionnel, topologique et numérique. Dans une seconde étape, le logiciel ARCHiPLAN que nous avons développé, énumère toutes les s

APA, Harvard, Vancouver, ISO, and other styles

2

Prodan, Ionela. "Commande sous contraintes de systèmes dynamiques multi-agents." Phd thesis, Supélec, 2012. http://tel.archives-ouvertes.fr/tel-00783221.

Full text

Abstract:

L'objectif de cette thèse est de proposer des solutions aux problèmes liés à la commande optimale de systèmes dynamiques multi-agents en présence de contraintes. Des éléments de la théorie de commande et d'optimisation sont appliqués à différents problèmes impliquant des formations de systèmes multi-agents. La thèse examine le cas d'agents soumis à des contraintes dynamiques. Pour faire face à ces problèmes, les concepts bien établis tels que la théorie des ensembles, la platitude différentielle, la commande prédictive (Model Predictive Control - MPC), la programmation mixte en nombres entiers

APA, Harvard, Vancouver, ISO, and other styles

3

Haddad, Ramzi. "Coordination des conflits aériens en présence d’incertitudes : Une étude basée sur l'ordonnancement à contraintes de ressources." Compiègne, 2006. http://www.theses.fr/2006COMP1634.

Full text

Abstract:

Le volume du trafic aérien a augmenté de 80% en dix ans, une croissance qui est appelée à se poursuivre. Les systèmes actuels de gestion du trafic aérien (Air Traffic Control systems), avec les améliorations en cours, devraient permettre de faire face à cette augmentation jusqu'au milieu de la prochaine décennie. En réponse a cette nécessité, ce travail de thèse, qui se situe à la jonction de deux domaines : l'ordonnancement de projet à contraintes de ressources et la coordination du trafic aérien. Nous avons mis en place un système dynamique permettant de résoudre les problèmes de gestion du

APA, Harvard, Vancouver, ISO, and other styles

4

Zhang, Xiaoqun. "Reconstruction et régularisation en tomographie par une méthode de Fourier basée sur la variation totale." Lorient, 2006. http://www.theses.fr/2006LORIS075.

Full text

Abstract:

La tomographie par rayons X consiste à inverser une transformée de Radon avec des données partielles dans l'espace de Fourier, ce qui classe cette technique d'imagerie dans la catégorie des problèmes inverses mal posés. La résolution du problème nécessite (explicitement ou implicitement) l'interpolation et l'extrapolation des données fréquentielles d'une grille polaire à une grille cartésienne. Notre approche introduit la semi-norme de la variation totale afin de minimiser les dégradations et de reconstruire une image régulière par morceaux, visuellement proche des jeux de données synthétiques

APA, Harvard, Vancouver, ISO, and other styles

5

Gachon, Yves. "Etude de l'érosion par des particules solides de revêtements multicouches obtenus par procédé PVD sur substrat métallique (base titane)." Ecully, Ecole centrale de Lyon, 1997. http://www.theses.fr/1997ECDL0029.

Full text

Abstract:

L'erosion par des particules solides est un probleme touchant notamment l'aeronautique, ou de nombreuses pieces sont realisees en alliages de titane, dont les proprietes tribologiques sont dans l'ensemble assez mediocres. Pour ameliorer la tenue a l'erosion, des depots pvd ont ete developpes. Ces revetements alternent des couches dures (resistant a l'arrachement ou a l'enfoncement) et des couches tendres (ce qui limite leur caractere fragile). Les essais d'erosion sont realises sur un simulateur specifique, denomme erodimetre, a projection horizontale. Parmi les differents types de depots etud

APA, Harvard, Vancouver, ISO, and other styles

6

Haïat, Guillaume. "Étude d'une méthode d'inversion basée sur la simulation pour la caractérisation de fissures détectées par ultrasons dans un composant revêtu." Phd thesis, Université Paris-Diderot - Paris VII, 2004. http://tel.archives-ouvertes.fr/tel-00007345.

Full text

Abstract:

Le travail effectué au cours de cette thèse porte sur l'inversion de données ultrasonores. Le contexte industriel en est le contrôle non destructif des cuves de réacteurs à eau pressurisée. Ces contrôles visent à détecter et caractériser des fissures. Les données ultrasonores se présentent sous la forme d'échographies obtenues à l'aide d'un capteur fonctionnant en émission-réception. Les fissures sont détectées par diffraction de leurs arêtes. L'analyse des données obtenues est rendue difficile du fait de l'existence d'un revêtement dont la surface est irrégulière et dont le matériau diffère d

APA, Harvard, Vancouver, ISO, and other styles

7

Prodan, Ionela. "Control of Multi-Agent Dynamical Systems in the Presence of Constraints." Thesis, Supélec, 2012. http://www.theses.fr/2012SUPL0019/document.

Full text

Abstract:

L'objectif de cette thèse est de proposer des solutions aux problèmes liés à la commande optimale de systèmes dynamiques multi-agents en présence de contraintes. Des éléments de la théorie de commande et d'optimisation sont appliqués à différents problèmes impliquant des formations de systèmes multi-agents. La thèse examine le cas d'agents soumis à des contraintes dynamiques. Pour faire face à ces problèmes, les concepts bien établis tels que la théorie des ensembles, la platitude différentielle, la commande prédictive (Model Predictive Control - MPC), la programmation mixte en nombres entiers

APA, Harvard, Vancouver, ISO, and other styles

8

Messine, Frédéric. "Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution de problèmes avec contraintes." Toulouse, INPT, 1997. http://www.theses.fr/1997INPT082H.

Full text

Abstract:

Le retour au premier plan de l'optimisation globale correspond à un besoin industriel. De nombreuses applications, que ce soit au niveau de la conception ou de l'exploitation se ramènent à la recherche d'optima n'entrant pas dans le cadre des hypothèses simplificatrices (convéxite et donc unicité, différentiabilité, existence de points stationnaires,. . . ). C'est en partie le cas des exemples concrets étudiés : la conception de procédés chimiques et d'actionneurs électromécaniques. Les méthodes d'optimisation globale que nous avons étudiées, sont basées sur l'analyse d'intervalle, ce qui leur

APA, Harvard, Vancouver, ISO, and other styles

9

Turcotte, Maryse. "Méthode basée sur la texture pour l'étiquetage des images." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0033/MQ67334.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hammache, Hicham. "Méthode de test basée sur les chaînes parallèles de courant." Mémoire, École de technologie supérieure, 2003. http://espace.etsmtl.ca/753/1/HAMMACHE_Hicham.pdf.

Full text

Abstract:

Ce mémoire s'inscrit dans le cadre du test des circuits intégrés (CI) et plus précisément dans la problématique des tests des pannes de délais. De manière conventionnelle, pour connaître la vitesse maximale de fonctionnement d'un CI, il faut le stimuler de telle sorte qu'il atteigne une vitese maximale. De plus, le testeur doit également fonctionner à la même cadence. D'où l'intérêt de la méthode de test basée sur les chaînes parallèles de courant proposée qui vise la détection des pannes causant une augmentation des délais de propagations, et l'utilisation dans un premier temps des teste

APA, Harvard, Vancouver, ISO, and other styles

11

Chermain, Xavier. "Simulation d'effets aérodynamiques et hydrodynamiques basée sur une méthode lagrangienne." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8391.

Full text

Abstract:

Ce mémoire présente une nouvelle méthode pour simuler de l'air en interaction avec des solides en se basant sur le modèle particulaire Smoothed Particle Hydrodynamics (SPH). Après avoir rappelé les bases de SPH ainsi que ses variantes incompressibles WCSPH et PCISPH pour simuler de l'eau, nous présentons un modèle de simulation d'air réaliste permettant de simuler des effets aérodynamiques. Par exemple nous arrivons à faire léviter une balle dans un flux d'air grâce à une gestion des interactions air-solide dans les deux sens. Nous proposons aussi une initialisation simple et rapide pour échan

APA, Harvard, Vancouver, ISO, and other styles

12

Massat, Christine. "Une nouvelle méthode d'optimisation globale basée sur la différentiation automatique." Toulouse 3, 1997. http://www.theses.fr/1997TOU30085.

Full text

Abstract:

Cette these introduit une nouvelle methode d'optimisation globale utilisant la differentiation automatique et les derivees d'ordre eleve. Son principe consiste a effectuer une recherche lineaire globale dans une direction de descente. Les meilleurs optima sont ensuite utilises pour recommencer l'algorithme. Cette methode integre d'une maniere naturelle des concepts issus - des methodes de descente ; - des algorithmes genetiques : notion de population, de mutation et de croisement, selection des points ; - des algorithmes de recuit simule : notion de temperature. Tous ces elements ont permis de

APA, Harvard, Vancouver, ISO, and other styles

13

Li, Honghao. "Interpretable biological network reconstruction from observational data." Electronic Thesis or Diss., Université Paris Cité, 2021. http://www.theses.fr/2021UNIP5207.

Full text

Abstract:

Cette thèse porte sur les méthodes basées sur des contraintes. Nous présentons comme exemple l’algorithme PC, pour lequel nous proposons une modification qui garantit la cohérence des ensembles de séparation, utilisés pendant l’étape de reconstruction du squelette pour supprimer les arêtes entre les variables conditionnellement indépendantes, par rapport au graphe final. Elle consiste à itérer l’algorithme d’apprentissage de structure tout en limitant la recherche des ensembles de séparation à ceux qui sont cohérents par rapport au graphe obtenu à la fin de l’itération précédente. La contraint

APA, Harvard, Vancouver, ISO, and other styles

14

Janssen, Philippe. "Aide à la conception : une approche basée sur la satisfaction de contraintes." Montpellier 2, 1990. http://www.theses.fr/1990MON20039.

Full text

Abstract:

Nous nous interessons a la conception d'objets pertinents sous contraintes. Ces objets sont definis par un ensemble de variables connues a priori et par un ensemble de contraintes de deux types: les contraintes de validite definissant les objets admissibles et les contraintes de preference exprimant les qualites des objets recherches. Nous proposons un formalisme issu des problemes de satisfaction de contraintes (csp): les csp dynamiques. Ce modele est a la base d'une approche interactive d'aide a la conception. Les mecanismes developpes pour cette approche reposent sur les resultats obtenus e

APA, Harvard, Vancouver, ISO, and other styles

15

Christian, Guy Emilien. "Sur une méthode de calcul des concentrations de contraintes." Paris 6, 1993. http://www.theses.fr/1993PA066730.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Dame, A. "Méthode unifiée de suivi et d'asservissement visuels basée sur l'information mutuelle." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00558196.

Full text

Abstract:

Dans cette thèse, nous traitons les problèmes d'asservissement et de suivi visuel, qui sont essentiels dans le domaine de la vision robotique. Leur robustesse ainsi que leur précision deviennent des enjeux majeurs. Les techniques classiques sont principalement basées sur l'observation de primitives géométriques dans l'image. Ces primitives ne prennent néanmoins pas compte de toute l'information présente dans les images. C'est pour cette raison que de nouvelles approches, dites approches directes, ont vu le jour. Un inconvénient des méthodes directes actuelles vient du fait qu'elles sont centré

APA, Harvard, Vancouver, ISO, and other styles

17

Tampango, Yendoubouam. "Développement d'une méthode sans maillage basée sur les approximations de Taylor." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0322/document.

Full text

Abstract:

Ces dernières décennies, de nouvelles méthodes numériques connues sous le nom de « méthodes sans maillage » ont été développées. Contrairement à la MEF, ces méthodes n'utilisent qu'un ensemble de noeuds répartis dans le domaine sans demander un maillage de celui-ci. Jusqu'à présent, aucune de ces méthodes n'est parvenue à satisfaire les utilisateurs de la MEF. Dans cette thèse, nous proposons une méthode sans maillage, utilisant les approximations de Taylor. Cette méthode a l'avantage de n'utiliser que des points sur la frontière. En effet, l'EDP est résolue sous sa forme forte dans le domaine

APA, Harvard, Vancouver, ISO, and other styles

18

Nguyen, Hoai Nam. "Commande sous contraintes pour des systèmes dynamiques incertains : une approache basée sur l'interpolation." Phd thesis, Supélec, 2012. http://tel.archives-ouvertes.fr/tel-00783829.

Full text

Abstract:

Un problème fondamental à résoudre en Automatique réside dans la commande des systèmes incertains qui présentent des contraintes sur les variables de l'entrée, de l'état ou la sortie. Ce problème peut être théoriquement résolu au moyen d'une commande optimale. Cependant la commande optimale par principe n'est pas une commande par retour d'état ou retour de sortie et offre seulement une trajectoire optimale le plus souvent par le biais d'une solution numérique.Par conséquent, dans la pratique, le problème peut être approché par de nombreuses méthodes, tels que"commande over-ride" et "anti-windu

APA, Harvard, Vancouver, ISO, and other styles

19

Herbegue, Hajer. "Approche ADL pour la modélisation d'architecture basée sur les contraintes (calcul de WCET)." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2448/.

Full text

Abstract:

La modélisation des systèmes temps-réel nécessite la connaissance de la borne supérieure des temps d'exécution possibles des tâches temps-réel, appelée temps d'exécution pire-cas ou WCET-Worst Case Execution Time. Le calcul du WCET par analyse statique est basée sur l'analyse du flot de contrôle du programme. Les chemins d'exécution du programme sont composés de séquences d'instructions, qu'on appelle les blocs de base, et des contrôles. Une étape de l'analyse statique, appelée analyse du pipeline, permet d'étudier l'impact de la micro-architecture sur le temps d'exécution des instructions du

APA, Harvard, Vancouver, ISO, and other styles

20

Chetcuti, Nathalie. "Déduction automatique en calcul des durées basée sur la méthode des tableaux." Toulouse 3, 2001. http://www.theses.fr/2001TOU30144.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Barbut, Charlotte. "Méthode d'évaluation de l'intérêt d'un tri basée sur les bilans de valeurs." Compiègne, 2005. http://www.theses.fr/2005COMP1605.

Full text

Abstract:

Nous présentons une méthode pour évaluer l'intérêt d'un tri. Cette méthode utilise des bilans de valeurs. Nous les appliquons à des tris générant deux types d'ensembles de matériaux, l'un destiné au recyclage et l'autre à l'incinération. Nous étudions trois propriétés: l'énergie fournie par les trieurs, la recyclabilité d'un ensemble de matériaux et sa combustibilité. Pour définir la recyclabilité d'un ensemble de matériaux, nous choisissons l'entropie, synonyme de niveau d'ordre. Par analogie avec la thermodynamique, nous définissons aussi l'énergie fournie par les trieurs. Ensuite, nous util

APA, Harvard, Vancouver, ISO, and other styles

22

Baumgartner, Gary. "Typer : une nouvelle méthode de typologie des consommateurs basée sur l'analyse factorielle." Grenoble 2, 1989. http://www.theses.fr/1989GRE21002.

Full text

Abstract:

L'objectif de cette these est de mettre au point et de tester un nouveau modele d'analyse factorielle, "typer", destine a realiser une des applications les plus frequemment rencontrees en marketing: l'elaboration d'une typologie de personnes. Le modele d'analyse factorielle couramment utilise dans ce cas (l'analyse en composantes principales de type q: acp) presente de nombreux inconvenients. Typer corrige ces defauts, traitant un nombre nettement plus important de personnes avec des resultats beaucoup plus valides. La these est organisee en cinq chapitres. Le premier propose une synthese des

APA, Harvard, Vancouver, ISO, and other styles

23

Benasser, Ahmer. "L'accessibilité dans les réseaux de Pétri : une approche basée sur la programmation par contraintes." Lille 1, 2000. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2000/50376-2000-65.pdf.

Full text

Abstract:

Le problème de l'accessibilité est d'un grand intérêt théorique. En effet, plusieurs problèmes relatifs à l'analyse des réseaux de Pétri peuvent être formulés en terme d'accessibilité. L'exploration du graphe d'accessibilité n'est pas une méthode de résolution satisfaisante du fait de l'explosion combinatoire. La notion de marquage partiel, permet de réduire cet explosion combinatoire. Les marquages partiels sont des marquages dont les composantes contiennent des variables contraintes. Ainsi, un marquage partiel représente un ensemble de marquages obtenus en instanciant les variables tout en r

APA, Harvard, Vancouver, ISO, and other styles

24

Varnier, Christophe. "Extensions du "Hoist scheduling problem" cyclique : résolution basée sur un traitement des contraintes disjonctives en programmation en logique avec contraintes." Besançon, 1996. http://www.theses.fr/1996BESA2006.

Full text

Abstract:

Cette thèse présente la résolution de deux extensions d'un problème connu dans la littérature sous le nom de «Hoist Scheduling Problem» cyclique. Ce problème est lié au pilotage des chaînes automatisées de galvanoplastie dans lesquelles un ou plusieurs robots doivent assurer la manutention de tous les produits présents sur la ligne. Après une analyse de l'état de la recherche concernant ce problème particulier, le deuxième chapitre est consacré à une étude de l'adéquation des outils de Programmation en Logique avec Contraintes pour la résolution des problèmes d'ordonnancement et plus particuli

APA, Harvard, Vancouver, ISO, and other styles

25

Kerner, Sébastien. "Répartition d'entiers avec contraintes sur les diviseurs." Nancy 1, 2002. http://www.theses.fr/2002NAN10239.

Full text

Abstract:

Cette thèse est consacrée à l'étude de la répartition de trois ensembles de nombres entiers caractérisés par certaines propriétés de leurs diviseurs<br>This thesis deals with the distribution of three sets of integers characterized by some properties on their divisors

APA, Harvard, Vancouver, ISO, and other styles

26

Bouzefrane, Samia. "Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité." Poitiers, 1998. http://www.theses.fr/1998POIT2254.

Full text

Abstract:

Ce travail presente une methodologie de modelisation et de validation d'applications temps reel reparties. Ces applications composees de taches reparties sur differents sites communiquent par echange de messages a travers un reseau de communication a delai d'acces borne suppose fiable. La methodologie developpee est basee sur une analyse d'ordonnancabilite des taches et des messages. L'objectif est d'une part de verifier le respect des contraintes temporelles globales d'une application temps reel repartie c'est a dire le respect, a la fois, des contraintes temporelles des taches et de celles d

APA, Harvard, Vancouver, ISO, and other styles

27

Hariri, Yassine. "Amélioration de la méthode de diagnostic basée sur les signatures probabilistes de AIDDQ." Mémoire, École de technologie supérieure, 2002. http://espace.etsmtl.ca/814/1/HARIRI_Yassine.pdf.

Full text

Abstract:

Ce projet de maîtrise porte globalement sur l'amélioration d'une méthode existante de diagnostic des circuits intégrés, méthode basée sur l'utilisation des signatures probabilistes du courant. Les améliorations visées se situaient à différents niveaux. D'une part, il s'agissait d'accélérer la méthode en réduisant le nombre de sites potentiels de court-circuit. D'autre part, nous avions comme objectif de palier à certaines limitations de l'outil logiciel qui avait été développé pour permettre la validation de la méthode, comme le fait qu'il ne simule que les circuits purement combinatoires.

APA, Harvard, Vancouver, ISO, and other styles

28

Belkaloul, Amine. "Modélisation des systèmes multi-corps rigides basée sur la méthode des réseaux virtuels." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27391/27391.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Soltane, Schahrazad. "Proposition d'une méthode de segmentation adaptative basée sur les indices locaux de l'image." Valenciennes, 1999. https://ged.uphf.fr/nuxeo/site/esupversions/b7835e54-366a-479a-93e5-e380754067c1.

Full text

Abstract:

Le problème du traitement numérique de l'image est apparu il y a une trentaine d'années avec l'avènement des ordinateurs. Les chercheurs se sont rapidement aperçus de la complexité du problème. En effet, l'image numérique est une matrice de valeurs d'intensités lumineuses, noyée d'informations inutiles (bruit, redondance,). Pour remédier à ce problème, les chercheurs ont développé des filtres pour atténuer le bruit, des méthodes d'extraction de contours, ainsi que des méthodes d'extraction de régions pour réduire la quantité de données nécessaires. Le regroupement des contours et des régions e

APA, Harvard, Vancouver, ISO, and other styles

30

Ayoub, Rama. "Développement d’une méthode de discrétisation des EDPs basée sur le calcul extérieur discret." Thesis, La Rochelle, 2020. https://tel.archives-ouvertes.fr/tel-03327048.

Full text

Abstract:

Le DEC (Discrete exterior calculus) est un intégrateur géométrique basé sur le calcul extérieur, qui a été appliqué avec succès dans différents domaines, en particulier en électromagnétisme et en mécanique des fluides isothermes. Sa construction combinatoire garantit que, comme dans le cas continu, l'opérateur dérivé extérieur discret d vérifie la relation fondamentale d²=0. Par conséquent, les relations d'analyse vectorielle telles que div curl = 0 et curl grad = 0 sont naturellement satisfaites à la précision machine. Un opérateur crucial en calcul extérieur est l’opérateur de Hodge. Un choi

APA, Harvard, Vancouver, ISO, and other styles

31

Roquemaurel, Marie de. "Planification de coût optimal basée sur les CSP pondérés." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/520/.

Full text

Abstract:

Un des challenges actuels de la planification est la résolution de problèmes pour lesquels on cherche à optimiser la qualité d'une solution telle que le coût d'un plan-solution. Dans cette thèse, nous développons une méthode originale pour la planification de coût optimal dans un cadre classique non temporel et avec des actions valuées. Pour cela, nous utilisons une structure de longueur fixée appelée graphe de planification. L'extraction d'une solution optimale, à partir de ce graphe, est codée comme un problème de satisfaction de contraintes pondérées (WCSP). La structure spécifique des WCSP

APA, Harvard, Vancouver, ISO, and other styles

32

Ioan, Daniel. "Safe Navigation Strategies within Cluttered Environment." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG047.

Full text

Abstract:

Cette thèse se rapporte à la navigation et le contrôle par optimisation dans des environnements multi-obstacles. Le problème de conception est généralement énoncé dans la littérature en termes de problème d'optimisation sous contrainte sur un domaine non convexe. Ainsi, en s'appuyant sur la combinaison du contrôle prédictif de modèle et des concepts de la théorie des ensembles, on a développe des méthodes constructives basées sur l'interprétation géométrique. Dans sa première partie, la thèse se concentre sur la représentation de l'environnement multi-obstacles, basée sur une analyse approfond

APA, Harvard, Vancouver, ISO, and other styles

33

Bouet, Mathieu. "Localisation en trois dimensions de tags RFID basée sur les informations de connectivité." Paris 6, 2009. http://www.theses.fr/2009PA066361.

Full text

Abstract:

La radio-identification (RFID) est une méthode pour lire à distance des identifiants contenus dans des appareils électroniques appelés tags. Cette technologie qui permet la traçabilité des personnes et des objets est amenée à supporter le développement de services ambiant-intelligents en associant une position à chaque identité. Dans cette thèse, nous proposons une nouvelle approche générale pour la localisation des tags. Elle repose sur les données intrinsèques de ces systèmes: les informations de connectivité. Celles-ci sont converties en contraintes topologiques afin de délimiter la zone de

APA, Harvard, Vancouver, ISO, and other styles

34

Babau, Jean-Philippe. "Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité." Poitiers, 1996. http://www.theses.fr/1996POIT2305.

Full text

Abstract:

Les applications temps reel a contraintes strictes sont des applications multitaches ou les contraintes temporelles (delais d'execution) doivent etre strictement satisfaites. La methodologie developpee permet la validation de ce type d'applications. L'environnement de conception integre la prise en compte des requetes periodiques et aperiodiques et des schemas de programmes exprimant des cooperations fixes ou variables entre les taches. Apres transformation de ce modele comportemental de l'application en un ensemble de taches sous forme normale associees a un graphe de precedence, la validatio

APA, Harvard, Vancouver, ISO, and other styles

35

Turki, Sadok. "Impact du délai de livraison sur le niveau de stock : une approche basée sur la méthode IPA." Thesis, Metz, 2010. http://www.theses.fr/2010METZ029S/document.

Full text

Abstract:

Le monde industriel actuel ne cesse pas d'évoluer. La concurrence accrue, la grande diversification des produits demandés, le développement du commerce électronique, l'augmentation des échanges de données entre donneurs d'ordres et le producteur, sont autant de facteurs qui poussent les entreprises à continuellement optimiser leurs systèmes de production afin de produire et de livrer dans des délais précis, à des coûts réduits, en satisfaisant des niveaux de service élevés exigés par les clients. Ceci nécessite l'utilisation de méthodes bien adaptées pouvant guider le concepteur dans les choix

APA, Harvard, Vancouver, ISO, and other styles

36

Turki, Sadok. "Impact du délai de livraison sur le niveau de stock : une approche basée sur la méthode IPA." Electronic Thesis or Diss., Metz, 2010. http://www.theses.fr/2010METZ029S.

Full text

Abstract:

Le monde industriel actuel ne cesse pas d'évoluer. La concurrence accrue, la grande diversification des produits demandés, le développement du commerce électronique, l'augmentation des échanges de données entre donneurs d'ordres et le producteur, sont autant de facteurs qui poussent les entreprises à continuellement optimiser leurs systèmes de production afin de produire et de livrer dans des délais précis, à des coûts réduits, en satisfaisant des niveaux de service élevés exigés par les clients. Ceci nécessite l'utilisation de méthodes bien adaptées pouvant guider le concepteur dans les choix

APA, Harvard, Vancouver, ISO, and other styles

37

Verney, Philippe. "Interprétation géologique de données sismiques par une méthode supervisée basée sur la vision cognitive." Phd thesis, École Nationale Supérieure des Mines de Paris, 2009. http://pastel.archives-ouvertes.fr/pastel-00005861.

Full text

Abstract:

L'objectif de ce travail est de réaliser une nouvelle plateforme d'interprétation sismique 3D semi-automatique basée sur la connaissance géologique employée aujourd'hui par les experts du domaine. A l'heure actuelle, la majeure partie des solutions sont basées sur les traitements d'image et l'utilisation de quantités d'attributs sismiques. Elles fournissent un résultat interprétable par un expert qui réalise alors une correspondance informelle entre la nouvelle image obtenue et des objets géologiques. Nous désirons explorer une nouvelle méthodologie mettant en avant la formalisation de la conn

APA, Harvard, Vancouver, ISO, and other styles

38

Kahlaoui, Abdelilah. "Méthode pour la définition des langages dédiés basée sur le métamodèle ISO/IEC 24744." Mémoire, École de technologie supérieure, 2011. http://espace.etsmtl.ca/887/1/KAHLAOUI_Abdelilah.pdf.

Full text

Abstract:

Au cours des dernières années, il y a eu un intérêt croissant pour les langages dédiés (Domain Specific Languages (DSL)). Cet intérêt est motivé par l'émergence d'approches telles que l’ingénierie dirigée par les modèles, l’architecture dirigée par les modèles, les lignes de produits logiciels (SPL), les usines à logiciels et le développement dirigé par les modèles. Alors qu’au fond l'objectif de ces approches est d'élever le niveau d'abstraction du développement logiciel et d’augmenter le degré d’automatisation en utilisant des modèles de domaine précis et facilement exploitables par le

APA, Harvard, Vancouver, ISO, and other styles

39

Pontico, Florence. "Une méthode de conception basée sur des patrons d'interface pour les applications d'e-Gouvernement." Toulouse 3, 2008. http://thesesups.ups-tlse.fr/283/.

Full text

Abstract:

Le développement d'applications d'e-Gouvernement doit surmonter des difficultés inhérentes aux caractéristiques du domaine. D'une part la dématérialisation des procédures administratives fait intervenir une équipe de conception multidisciplinaire qui a besoin d'outils communs adaptés pour dialoguer. D'autre part, les applications doivent être accessibles au plus grand nombre ce qui nécessite une attention toute particulière à la conception des interfaces. Dans ce contexte, il est important d'indiquer que les applications d'e-Gouvernement présentent beaucoup de similitudes, ce qui renforce le b

APA, Harvard, Vancouver, ISO, and other styles

40

Guglielmino, Maud. "Développement d'une nouvelle méthode analytique du formaldéhyde dans l'air basée sur un dispositif microfluidique." Thesis, Strasbourg, 2014. http://www.theses.fr/2014STRAF048.

Full text

Abstract:

Le formaldéhyde (HCHO) est un polluant majeur de l’air intérieur. L’objectif de cette thèse est de réaliser les avancées scientifiques et technologiques nécessaires à l’obtention d’une méthode analytique basée sur un dispositif microfluidique de mesure du formaldéhyde dans l’air associant précision, sélectivité, rapidité d’analyse avec pour objectif majeur une autonomie suffisante sur de longues durées, typiquement un mois. Le principe de la méthode reposait initialement sur trois étapes clés, à savoir le piégeage du formaldéhyde gazeux en solution, la réaction du formaldéhyde avec un agent dé

APA, Harvard, Vancouver, ISO, and other styles

41

Fawaz, Ahmad. "Optimisation topologique basée sur la méthode de densité des échangeurs de chaleur à plaques." Electronic Thesis or Diss., Nantes Université, 2024. http://www.theses.fr/2024NANU4028.

Full text

Abstract:

Les échangeurs de chaleur (HX) jouent un rôle essentiel dans divers systèmes énergétiques, ce qui peut grandement influencer leur efficacité globale. Plus récemment, l’intérêt pour l’optimisation topologique (TO) pour les problèmes de transfert de chaleur connaît une croissance rapide, ce qui peut donner lieu à des conceptions thermiques innovantes. Par conséquent, la présente thèse étudie l’utilité du TO basé sur la densité pour les unités HX à double flux avec un domaine de conception étroit, ainsi que la CFD (dynamique des fluides computationnelle) et des vérifications expérimentales. Une c

APA, Harvard, Vancouver, ISO, and other styles

42

Bui, Thi Thu Cuc. "Simulation des écoulements bifluides, une stratégie de couplage basée sur l'adaptation de maillage anisotrope." Paris 6, 2009. http://www.theses.fr/2009PA066372.

Full text

Abstract:

On s'intéresse ici à la simulation d'écoulements bifluides visqueux incompressibles et immiscibles, régis par les équations de Stokes. Une stratégie de couplage basée sur l'adaptation de maillage anisotrope permet un suivi précis de l'évolution de l'interface gouvernée par une équation d'advection. Dans la première partie de ce travail, on aborde les aspects théoriques liés au modèle des écoulements bifluides. En particulier, on propose un préconditionnement efficace lorsque le rapport des viscosités est important et on présente un schéma numérique basé sur la méthode de caractéristiques pour

APA, Harvard, Vancouver, ISO, and other styles

43

Thieffry, Maxime. "Commande dynamique de robots déformables basée sur un modèle numérique." Thesis, Valenciennes, Université Polytechnique Hauts-de-France, 2019. http://www.theses.fr/2019VALE0040/document.

Full text

Abstract:

Cette thèse s’intéresse à la modélisation et à la commande de robots déformables, c’est à dire de robots dont le mouvement se fait par déformation. Nous nous intéressons à la conception de lois de contrôle en boucle fermée répondant aux besoins spécifiques du contrôle dynamique de robots déformables, sans restrictions fortes sur leur géométrie. La résolution de ce défi soulève des questions théoriques qui nous amènent au deuxième objectif de cette thèse: développer de nouvelles stratégies pour étudier les systèmes de grandes dimensions. Ce manuscrit couvre l’ensemble du développement des lois

APA, Harvard, Vancouver, ISO, and other styles

44

Roth, Simon-Nicolas. "Méthode de calcul numérique rapide en aéroélasticité non-linéaire basée sur l'équation du potentiel complet." Mémoire, École de technologie supérieure, 2007. http://espace.etsmtl.ca/602/1/ROTH_Simon%2DNicolas.pdf.

Full text

Abstract:

Ce travail présente le développement d'un outil de calcul capable de trouver la réponse aéroélastique d'une aile dans un délai assez court pour être en mesure d'optimiser sa structure ou sa géométrie. Le code aéroélastique parallèle utilise l'équation du potentiel complet discrétisé en différences finies. Le solveur fluide utilise un algorithme GMRES préconditionné. Une attention particulière est apportée sur la consistance de la discrétisation spatiale. La résolution structurale est réalisée par une superposition modale. Les algorithmes de couplage CSS (Conventional Serial Staggered) et

APA, Harvard, Vancouver, ISO, and other styles

45

Puglisi, Chiara. "Factorisation QR de grandes matrices creuses basée sur une méthode multifrontale dans un environnement multiprocesseur." Toulouse, INPT, 1993. http://www.theses.fr/1993INPT091H.

Full text

Abstract:

Nous nous interessons a la factorisation qr de grandes matrices creuses carrees et sur-determinees dans un environnement mimd a memoire partagee. Nous supposons que le rang des vecteurs colonnes de ces matrices est maximal. Notre demarche est basee sur la methode multifrontale (duff et reid (1983)) et utilise les transformations de householder. Nous donnons une description detaillee de l'approche multifrontale pour la factorisation qr et de son implementation dans un environnement multiprocesseur. Nous montrons qu'en choisissant de facon adequate la strategie de factorisation de nuds, des gain

APA, Harvard, Vancouver, ISO, and other styles

46

Marteau, Hubert. "Une méthode d'analyse de données textuelles pour les sciences sociales basée sur l'évolution des textes." Tours, 2005. http://www.theses.fr/2005TOUR4028.

Full text

Abstract:

Le but est d'apporter aux sociologues un outil informatique permettant l'analyse d'entretiens ouverts semi-directifs. Le traitement est en deux étapes : une indexation des entretiens suivi d'une classification. Les méthodes d'indexation habituelles reposent sur une analyse statistiques plus adaptées à des textes de contenu et de structure (textes littéraires, scientifiques,. . . ) marqués qu'à des entretiens limités à l'usage de peu de mots (1000 mots pour des textes de discussion). Partant de l'hypothèse que l'appartenance sociologique induit fortement la forme du discours, nous évaluons la s

APA, Harvard, Vancouver, ISO, and other styles

47

Cozette, Maryne. "Développement d'une méthode d'exploration de la balance musculaire basée sur la modélisation du signal isocinétique." Electronic Thesis or Diss., Amiens, 2019. http://www.theses.fr/2019AMIE0018.

Full text

Abstract:

Objectif : Proposer une alternative fiable, et plus proche de la réalité fonctionnelle, en utilisant une approche isocinétique sectorielle représentée par le calcul de ratios agonistes/antagonistes par plage angulaire de 10°. Matériel et Méthode : Trois études ont été menées, chaque étude portant sur des sites articulaires particulièrement impliqués dans la motricité humaine, et également très concernés par la survenue de blessure en lien avec la balance musculaire des principaux groupes stabilisateurs. Il s'agit respectivement de l'articulation scapulo-humérale (muscles rotateurs interne/exte

APA, Harvard, Vancouver, ISO, and other styles

48

Gascon, Régis. "Spécification et vérification de propriétés quantitatives sur des automates à contraintes." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2007. http://tel.archives-ouvertes.fr/tel-00441504.

Full text

Abstract:

L'utilisation omniprésente des systèmes informatiques impose de s'assurer de leur bon fonctionnement. Dans ce but, les méthodes de vérification formelle permettent de suppléer les simulations qui ne peuvent être complètement exhaustives du fait de la complexité croissante des systèmes. Le model checking fait partie de ces méthodes et présente l'avantage d'être complètement automatisée. Cette méthode consiste à développer des algorithmes pour vérifier qu'une spécification exprimée la plupart du temps sous la forme d'une formule logique est satisfaite par un modèle du système. Les langages histo

APA, Harvard, Vancouver, ISO, and other styles

49

Champion, Julie. "Sur les algorithmes de projections en entropie relative avec contraintes marginales." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2036/.

Full text

Abstract:

Cette thèse est centrée autour d'un algorithme de construction de mesures de probabilités à lois marginales prescrites, appelé Iterative Proportional Fitting (IPF). Issu de la statistique, cet algorithme est basé sur des projections successives sur des espaces de probabilités avec la pseudo-distance d'entropie relative de Kullback-Leibler. Cette thèse constitue un panorama des résultats disponibles sur le sujet, et contient quelques extensions et raffinements. La première partie est consacrée à l'étude des projections en entropie relative, à des critères d'existence, d'unicité ainsi que de car

APA, Harvard, Vancouver, ISO, and other styles

50

Nguyen, Huy-Hoang. "Coordination des avions pour la résolution de conflits : Une approche basée sur le graphe PERT disjonctif." Compiègne, 2004. http://www.theses.fr/2004COMP1493.

Full text

Abstract:

La forte croissance du trafic aérien, notamment dans l'espace européen, occasionne des situations de conflit plus complexes qui font augmenter la charge de travail des contrôleurs. Afin de trouver une solution globale pour un cluster comprenant plusieurs avions avec un grand nombre de conflits, on doit résoudre le problème de la coordination d'actions entre des avions pour la résolution des conflits. Ce problème est un problème combinatoire NP-difficile, si l'objectif est la minimisation du coût global. On ne connaît pas de méthode exacte donnant une solution globale à ce problème dans les sit

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!