• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 689
  • 335
  • 71
  • 2
  • Tagged with
  • 1113
  • 511
  • 292
  • 197
  • 166
  • 141
  • 121
  • 111
  • 103
  • 98
  • 97
  • 97
  • 89
  • 81
  • 76
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
391

LOGICIEL ET MATERIEL PERMETTANT DE TRAITER EN TEMPS REEL DES PROBLEMES HAUTEMENT COMBINATOIRES

Nivault, Michel 16 April 1976 (has links) (PDF)
On étudie certaines méthodes de résolution de problèmes d'ordonnancement sur des calculateurs spécialisés qui simulent le fonctionnement du cerveau humain lors de la résolution de problèmes hautement combinatoires. On présente l'optimateur de la société CYBCO et le combinateur optimisant de la SNCF. Enfin on présente et on compare les solutions de divers problèmes traités par les calculateurs spécialisés et par des méthodes logicielles traditionnelles.
392

Quelques contributions aux observateurs non linéaires à horizpn glissant

Calvillo Corona, Luis Antonio 19 December 2002 (has links) (PDF)
Ce travail s'inscrit principalement dans le domaine de synthèse d'observateurs pour des synthèses non linéaires. D'une part le développement d'une nouvelle méthodologie de synthèse est proposée et d'autre part des résultats supplémentaires pour les observateurs à horizon glissant sont donnés. La première partie est plus directement dédiée aux rappels des notions de base d'observabilité des systèmes linéaires et non linéaires, ainsi qu'à la description des principales techniques de synthèse d'observateurs. De cette étude, il a été possible d'énoncer les avantages et les inconvénients de chaque méthode. Dans une deuxième partie et grâce à l'étude des différentes techniques de synthèse, une nouvelle méthodologie de synthèse d'observateur pour des systèmes non linéaires a été développée. Cette méthodologie divise un systhème en [n] problèmes d'optimisation scalaires, dénommés problèmes élémentaires, qui peuvent être résolus en parallèle en utilisant un solveur numérique de l'équation de Hamilton-Jacobi sclaire que pour de systèmes de grand ordre peut être très interessant de l'appliquer. La dernière partie est concentrée sur les observateurs à horizon glissant plus classiques et de traiter le cas où les hypothèses de régularité uniforme globale ne sont pas supposées. la description technique correspondante est donné à travers des définitions du rayon de régularité et du rayon d'observabilité.
393

Ultrasons rayonnés par une source laser ponctuelle dans des milieux isotropes transverses et applications à la mesure du tenseur d'élasticité de cylindres et de couches minces

Perton, Mathieu 13 December 2006 (has links) (PDF)
Le travail présenté dans ce mémoire porte sur le rayonnement d'ultrasons générés par des sources laser linéiques ou ponctuelles dans des milieux anisotropes, de géométries planes monocouches ou bicouches ou de géométries cylindriques, et sur son application à la mesure du tenseur d'élasticité. Un dispositif classique d'ultrasons laser, constitué d'un laser YAG et d'une sonde interférométrique, permet d'étudier la réponse de cylindres de diamètres millimétriques à différentes interactions laser-matière. Un dispositif d'acoustique picoseconde est aussi utilisé afin d'étudier la diffraction d'ondes acoustiques dans des films plans d'épaisseurs micrométriques. Des modèles numériques ont été développés pour rendre compte des signaux obtenus expérimentalement. L'influence des réflexions optiques sur les interfaces est notamment analysée. L'écriture des fonctions de directivité en milieux anisotropes pour des sources volumiques et l'étude des diagrammes de directivité correspondant apportent par ailleurs des renseignements qualitatifs nécessaire à l'interprétation des signaux.
394

Gouverner les déchets. Gestion territoriale des déchets ménagers et participation publique

Rocher, Laurence 20 November 2006 (has links) (PDF)
Depuis maintenant plusieurs années, la gestion des déchets ménagers doit faire face à des difficultés liées à l'implantation d'équipements de traitement qui suscitent des conflits de manière systématique. De ce fait, la dimension sociale est devenue le point d'achoppement de cette politique publique longtemps appréhendée à travers des aspects techniques. Face à ces difficultés, diverses procédures institutionnalisées de nature informative et participative ont été inventées. Parallèlement, l'ancrage territorial du « problème déchets » s'est progressivement affirmé, notamment dans le cadre des processus de planification.<br />La recherche porte sur les dispositifs à caractère participatif spécifiques à la politique française de gestion des déchets. Elle vise à interroger la capacité de ces procédures -considérées comme instruments d'action publique- à accompagner la gestion territorialisée des déchets. Mobilisant des outils propres à l'analyse des politiques publiques, elle s'attache à comprendre tant la fabrique institutionnelle de dispositifs visant à optimiser l'acceptation des équipements de traitement des déchets que leur mise en œuvre territorialisée, à partir d'une réflexion organisée en trois temps.<br /><br />Un travail d'analyse de la politique française de gestion des déchets (1975-2005) fait apparaître comment les conflits d'implantation sont devenus le problème central de la gestion des déchets, et la restauration d'un sentiment de confiance une priorité pour les décideurs. L'analyse est articulée autour de trois entrées : l'identification des instruments d'action publique utilisés, la construction progressive d'un public-cible multiforme, le cadre territorial.<br /><br />En écho à l'analyse de la politique au niveau national, une seconde partie propose une analyse menée dans un contexte local. L'étude du processus de la planification en Indre-et-Loire et du conflit lié au projet d'un incinérateur permet de mettre en évidence dans quelle mesure s'est opérée une réouverture du « problème déchets » dans un contexte de crise, et de comprendre l'utilisation des instruments participatifs. Une mise en perspective avec le cas de Montréal (Québec) apporte un éclairage intéressant, notamment en matière de consultation publique et d'organisation territoriale. <br /><br />Une troisième partie est consacrée aux Commissions locales d'information et de surveillance (CLIS), en tant qu'outils emblématiques de la conflictualité des déchets. A la suite d'une réflexion sur la construction institutionnelle de ces dispositifs, une observation empirique rend compte de leur mise en œuvre en région Centre.
395

Contrôle des perturbations aéroacoustiques par impédances de parois : application à un modèle de matériaux poreux

Ventribout, Yoann 20 January 2006 (has links) (PDF)
Pour réduire les nuisances sonores produites par un avion, les traitements acoustiques se doivent d'être réalisables par des matériaux caractérisés par des impédances complexes réglables.<br />L'objet de cette thèse est l'étude et le contrôle d'un modèle de perturbations aéroacoustiques d'un écoulement porteur stationnaire et subsonique, le système régi par les équations d'Euler linéarisées (EEL). Le but est de contrôler les phénomènes de propagations aéroacoustiques, générés dans un domaine (a priori infini) et localisés sur un observatoire spatio-temporel, en utilisant comme variables de contrôle des paramètres locaux d'impédances complexes caractérisant la frontière d'un obstacle solide situé à l'intérieur du domaine. En utilisant dans le cadre de l'aéroacoustique la théorie des systèmes de Friedrichs, et en classifiant les conditions aux limites admissibles à adjoindre au système des EEL, nous montrons le caractère bien posé sur un domaine spatio-temporel borné, d'un problème direct régissant les phénomènes physiques mis en jeu, ainsi que d'un problème adjoint rétrograde, étape indispensable à la résolution de problèmes inverses. <br />La méthode d'approximation choisie pour résoudre ces problèmes est une méthode de type Galerkine discontinue reposant sur un flux-splitting décentré en espace, combinée avec un schéma de type Runge-Kutta pour l'approximation temporelle. Comme toujours en propagations d'ondes, la simulation de l'espace libre est primordiale. Dans cette optique, une méthode PML adaptée aux EEL est proposée et numériquement validée.<br />Enfin, une attention toute particulière est portée à la signification physique de ce travail. Un modèle d'homogénéisation de matériaux poreux est utilisé, permettant de relier les variables de contrôle à des paramètres physiques caractérisant la faisabilité expérimentale de matériaux absorbants. Les résultats numériques obtenus sur un modèle académique de prise d'air, illustrent la nécessité de la mise en place de cette méthodologie pour résoudre les problèmes inverses en aéroacoustique dans toutes leurs complexités.
396

Variantes d'algorithmes génétiques appliquéees aux problèmes d'ordonnancement

Bourazza, Said 30 November 2006 (has links) (PDF)
L'algorithme génétique (AG), est fondé sur les méanismes de codage, sélection, croisement, mutation et insertion. Chacun présente plusieurs choix ce qui donne résultat à plusieurs variantes de AG.<br /><br /> Nous avons obtenu une variante meilleure d'algorithme génétique pour le problème du voyageur de commerce. Dans laquelle, nous avons introduit notre nouvel opérateur de croisement Cedrx qui est jumelé avec l'opérateur edrx donne de bons résultats. <br /><br /> Cette étude, nous a permis de créer des variantes efficaces d'algorithme génétique pour les probèmes suivants: <br /><br />+ Le problème d'ordonnancement dans les ateliers de type Job Shop;<br />+ Le problème des atterrissages d'avions (PAA);<br />+ Le problème d'ordonnancement des véhicules sur une chaîe de <br /> production dans une usine (POV).
397

Modèles numériques pour les vagues et les ondes internes

Fochesato, Christophe 30 September 2004 (has links) (PDF)
La première partie de la thèse concerne le calcul numérique des ondes de gravité en 3D. Le modèle résout les équations d'Euler incompressibles avec surface libre pour un écoulement potentiel. L'association de l'Algorithme des Multipôles Rapides avec la Méthode des Eléments aux Frontières permet d'améliorer significativement l'efficacité du modèle. Deux applications sont alors considérées : le déferlement d'une onde solitaire sur un fond tridimensionnel et la focalisation spatiale générée par un batteur à houle. Dans la seconde partie, une étude plus en amont est effectuée dans le contexte des ondes internes en deux dimensions. A l'aide d'un système de type Korteweg de Vries, des ondes solitaires généralisées sont discutées dans le cas où la vitesse approche la valeur critique correspondant à l'apparition des fronts. Ces solutions résultent de la résonance entre une onde solitaire large ayant une amplitude limite et une onde courte, qui se propagent à la même vitesse de phase.
398

Simulations de collisions entre systèmes classiques à N-corps en interactions

Morisseau, François 09 May 2006 (has links) (PDF)
Le code Classical N-body Dynamics (CNBD) est dédié aux simulations de collisions entre systèmes classiques. L'interaction à deux corps employée a les propriétés du potentiel de Van der Waals et dépend de peu de paramètres. Ce travail de thèse suit deux lignes directrices.<br />D'une part certaines approches théoriques supposent que les phénomènes observés lors des collisions d'ions lourds sont d'origine thermique. Pour notre cas classique, nous montrons qu'au contraire la voie d'entrée y joue un rôle important. De plus, les noyaux en collisions sont censés présenter une transition de phase de type liquid-gaz du premier ordre.
399

Formalisation et qualification de modèles par contraintes en conception préliminaire

Vernat, Yoann 11 1900 (has links) (PDF)
La conception architecturale constitue une étape complexe du développement d'un produit, car elle implique: (i) une prise de décision dans un contexte où les données du problème sont mal définies ou imprécises, (ii) une exploration de l'espace des solutions qui doit rester aussi large que possible, (iii) des choix de conception basés sur des variables continues ou discrètes, et (iv) une optimisation multidisciplinaire. Ainsi, les modèles de simulation classiquement utilisés en conception sont souvent mal adaptés à une réelle prise de décision: certains modèles sont trop simples, les choix sont alors entachés d'erreur de modélisation, d'autres sont trop spécialisés et certaines solutions risquent d'être ignorées. Nous proposons dans cette étude une approche de la formalisation de modèles plus adaptée à la prise de décision en conception architecturale. Cette méthodologie vise à obtenir des modèles à la fois parcimonieux et exacts. Ainsi, les modèles sont plus faciles à exploiter en conception préliminaire et cohérents avec les attentes du concepteur. La méthode développée repose sur: (i) une approche globale basée sur la décomposition fonctionnelle pour conserver une cohérence entre les modèles des différents composants, (ii) l'utilisation de quatre critères de qualification des modèles permettant de s'assurer de leur adéquation avec les objectifs de la conception préliminaire, (iii) l'utilisation des techniques d'adaptation de modèles, permettant de faire des choix de conception à l'aide de solveurs de Problèmes par Satisfaction de Contraintes (PSC). Les quatre critères de qualification utilisés sont: (i) la parcimonie du modèle, liée au nombre minimal de variables et d'équations décrivant correctement le comportement du système, (ii) l'exactitude du modèle, estimant l'adéquation entre les résultats du modèle et des résultats issus d'un modèle de référence, (iii) la précision du modèle, évaluant l'étendue du domaine de variation de chaque variable, due à un manque de connaissance ou à une incertitude et (iv) la spécialisation du modèle, qui est une mesure de la restriction du domaine d'application du modèle, relativement à la quantité d'information introduite dans le modèle. Les quatre critères retenus sont pertinents de la conception préliminaire dans la mesure où: la parcimonie assure la simplicité du modèle, la spécialisation contribue à définir l'étendue du domaine d'application du modèle, et donc les limites de l'espace de conception, enfin, l'exactitude et la précision donnent une mesure de la fidélité du modèle à la réalité. Utilisés au cours de la méthodologie proposée, ces critères constituent un moyen de contrôle des modèles jusqu'à atteindre la forme souhaitée. Enfin, cette méthodologie est illustrée au travers de l'exemple d'une batterie de véhicule électrique, pour lequel deux modèles de niveaux systémiques différents sont comparés.
400

Régularisation du problème inverse MEG par IRM de diffusion

Philippe, Anne-Charlotte 19 December 2013 (has links) (PDF)
La magnéto-encéphalographie (MEG) mesure l'activité cérébrale avec un excellent décours temporel mais sa localisation sur la surface corticale souffre d'une mauvaise résolution spatiale. Le problème inverse MEG est dit mal-posé et doit de ce fait être régularisé. La parcellisation du cortex en régions de spécificité fonctionnelle proche constitue une régularisation spatiale pertinente du problème inverse MEG. Nous proposons une méthode de parcellisation du cortex entier à partir de la connectivité anatomique cartographiée par imagerie de diffusion. Au sein de chaque aire d'une préparcellisation, la matrice de corrélation entre les profils de connectivité des sources est partitionnée. La parcellisation obtenue est alors mise à jour en testant la similarité des données de diffusion de part et d'autre des frontières de la préparcellisation. C'est à partir de ce résultat que nous contraignons spatialement le problème inverse MEG. Dans ce contexte, deux méthodes sont développées. La première consiste à partitionner l'espace des sources au regard de la parcellisation. L'activité corticale est alors obtenue sur un ensemble de parcelles. Afin de ne pas forcer les sources à avoir exactement la même intensité au sein d'une parcelle, nous développons une méthode alternative introduisant un nouveau terme de régularisation qui, lorsqu'il est minimisé, tend à ce que les sources d'une même parcelle aient des valeurs de reconstruction proches. Nos méthodes de reconstruction sont testées et validées sur des données simulées et réelles. Une application clinique dans le cadre du traitement de données de sujets épileptiques est également réalisée.

Page generated in 0.0564 seconds