• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 100
  • 40
  • 12
  • 9
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 163
  • 65
  • 23
  • 20
  • 20
  • 15
  • 15
  • 14
  • 14
  • 14
  • 12
  • 11
  • 10
  • 9
  • 9
  • 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.
71

Etude des transformations de phases dans le revêtement Al-Si lors d'un recuit d'austénitisation / Study of phase transformations in the Al-Si coating during the austenitization step

Grigorieva, Raisa 05 May 2010 (has links)
De nos jours on utilise de plus en plus les aciers pré-revêtus dédiés aux applications pour emboutissage à chaud afin de protéger la surface de l’acier contre la décarburation et l’oxydation durant le traitement thermique. Le revêtement est déposé à chaud en continu par immersion de la bande d’acier dans un bain d’Al-Si. Pendant l’austénitisation le revêtement Al-Si se transforme par réactions d’inter-diffusion et de solidification. Ces réactions conditionnent la microstructure finale et en particulier la surface du revêtement, responsable des propriétés d’emploi telles que le soudage par point et l’adhérence peinture.A l’état de livraison le revêtement Al-Si contient les phases suivantes : des grains d’Al, l’eutectique ternaire Al-Fe-Si, une couche intermétallique ternaire Al-Fe-Si et une couche intermétallique binaire Al-Fe. Après austénitisation les phases se transforment en deux types d’intermétalliques : intermétalliques ternaires riches en Si et intermétalliques binaires pauvre en Si.Durant cette étude une identification complète des différentes phases a été établie. Les phases initialement riches en Si se transforment en phases fusibles par réactions eutectique ou péritectique. La présence de phase liquide accélère la diffusion locale de fer permettant aux phases riches en Si de garder leur contenu en Si pendant tout le traitement thermique. C’est la diffusion du fer qui stabilise les gradients en Si dans le revêtement, malgré les lois de diffusion classiques. En utilisant le diagramme de phases ternaire il a été démontré comment l’enrichissement en fer s’établit dans le revêtement tout en gardant l’équilibre aux interfaces entre les phases riches et pauvres en Si / Nowadays more and more pre-coated steels are applied in hot-stamping process to prevent the steel surface against iron oxidation and decarburization during the heat-treatment. The coating is deposited by hot-dipping the coil in an Al-Si bath. During the austenitization, the Al-Si coating transforms completely by inter-diffusion and solidification reactions, which define the final microstructure and particularly the top layer responsible for the in-use properties like spot welding and painting adhesion.At the delivery state, the Al-Si coating is a multiphase coating containing the following phases: Al-grains, Al-Fe-Si ternary eutectic phase, an Al-Fe-Si intermetallic layer and a binary Al-Fe interfacial layer. After the heat-treatment, all the phases transform into two types of intermetallic compounds: Si-rich ternary and Si-poor binary compounds.During this study, a complete identification of the different intermetallic phases has been conducted. Initial ternary Al-Fe-Si phases transform into fusible phases by eutectic or peritectic reaction. The presence of liquid state enables rapid local iron diffusion which allows to the Si-rich phases to keep their high Si content during the whole treatment. So the iron diffusion stabilizes the Si gradients in the coating despite the classical diffusion laws. Using the ternary phase diagram it was shown how iron enrichment in the coating proceeds by keeping thermodynamical equilibrium along the interfaces between Si-rich ternary and Si-poor binary phases. A phenomenological model of phase transformations explaining the formation of differente coating microstructures during the austenitization step is proposed
72

Etude d’une nouvelle classe de graphes : les graphes hypotriangulés / A class of graphs : hypochordal graphs

Topart, Hélène 26 May 2011 (has links)
Dans cette thèse, nous définissons une nouvelle classe de graphes : les graphes hypotriangulés. Les graphes hypotriangulés vérifient que pour tout chemin de longueur deux, il existe une arête ou un autre chemin de longueur deux entre ses extrémités. Cette classe permet par exemple de modéliser des réseaux robustes. En effet, nous montrons que dans de tels graphes, la suppression d'une arête ou d'un sommet ne modifie pas la distance initiale entre toutes paires de sommets non adjacents. Ensuite, nous étudions et démontrons plusieurs propriétés pour cette classe de graphes. En particulier, après avoir introduit une famille de partitions spécifiques, nous montrons les relations entre certains éléments de cette famille et leur caractère hypotriangulé. De plus, grâce à ces partitions, nous caractérisons les graphes hypotriangulés minimum, qui, parmi les graphes hypotriangulés connexes, minimisent le nombre d'arêtes pour un nombre de sommets fixés.Dans une deuxième partie, nous étudions la complexité, pour la classe des graphes hypotriangulés, de problèmes difficiles dans le cas général. Nous montrons d'abord que les problèmes classiques de cycle hamiltonien, coloration, clique maximum et stable maximum restent NP-difficiles pour cette classe de graphes. Ensuite, nous nous intéressons à des problèmes de modification de graphes, pour lesquels il s'agit de déterminer le nombre minimal d'arêtes à ajouter ou supprimer à un graphe pour obtenir un graphe hypotriangulé : nous montrons la complexité de ces problèmes pour plusieurs classes de graphes. / In this thesis, we define a new class of graphs : the hypochordal graphs. These graphs satisfy that for any path of length two, there exists a chord or another path of length two between its two endpoints. This class can represent robust networks. Indeed, we show that in such graphs, in the case of an edge or a vertex deletion, the distance beween any pair of nonadjacent vertices remains unchanged. Then, we study several properties for this class of graphs. Especially, after introducing a family of specific partitions, we show the relations between some of these partitions and hypochordality. Moreover, thanks to these partitions, we characterise minimum hypochordal graph, that are, among connected hypochordal graphs, those that minimise the number of edges for a given number of vertices. In a second part, we study the complexity, for hypochordal graphs, of problems that are NP-hard in the general case. We first show that the classical problems of hamiltonian cycle, colouring, maximum clique and maximum stable set remain NP-hard for this class of graphs. Then, we analyse graph modification problems : deciding the minimal number of edges to add or delete from a graph, in order to obtain an hypochordal graph. We study the complexity of these problems for sevaral classes of graphs.
73

Model reductions in MDG-based model checking

Hou, Jin January 2001 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
74

Waveform narrowing : a constraint-based framework for timing analysis

Kassab, Maroun January 2002 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
75

En quête de chemins illusoires : genèse et présentation d'une peinture multilemmée

Gagnon, Lucie 26 July 2021 (has links)
Ce mémoire présente En quête de chemins illusoires, un diptyque qui est aussi un bas-relief à la suite du traitement singulier de sa toile. Cette œuvre tente d'exprimer l'énergie et le foisonnement qui caractérisent les illusions visuelles à partir desquelles je peins et invite à plonger au cœur d'une collection de narrations compliquées, vivantes, composites et dont l'interprétation est ouverte. En quête de chemins illusoires, ce sont d'abord deux peintures de très grand format réalisées dans une manière distincte, le multilemma. Entre figuration et abstraction, son originalité consiste d'abord dans l'abandon de toute intention formelle, c'est-à-dire sans choix préalable de sujets et dans le délaissement de toute recherche de narration. La manière multilemmée implique également une présentation tridimensionnelle qui se distingue du simple accrochage. Ainsi, les effets de gonflement et de drapé créés par un capitonnage irrégulier complètent l'œuvre et lui apportent du volume. Cette manipulation ajoute aussi au brouillage des formes peintes et à leur enchevêtrement. L'ambition derrière En quête de chemins illusoires est triple. Elle correspond en premier lieu au désir d'allonger l'activité perceptive, d'assurer que le premier coup d'œil à l'œuvre se transforme en une halte généreuse et de longue durée. En conséquence, elle vise aussi à favoriser le phénomène de l'attention qui entraîne une complexification de l'interprétation. Enfin, elle cherche à générer une illusion de mouvement à partir des effets induits par une fixation prolongée, à savoir le déplacement et la déformation des éléments qui entourent les zones sous regard. À l'instar des œuvres des artistes du fluxus du siècle dernier, En quête de chemins illusoires veut supprimer l'idée d'une création finie en mettant de l'avant l'importance de son interprétation / This master' thesis presents En quête de chemins illusoires (Towards Illusory Paths), a diptych which is also a bas-relief following its unique hanging. It tries to express the idea of energy and abundance that characterizes the visual illusions from which I paint and invites to get away with a collection of complicated, full of life, composite and open interpretation narratives. En quête de chemins illusoires is, first of all, two very large canvas paintings made in a distinctive way, multilemma. Between figuration and abstraction, its originality consists in the abandonment of any formal intention, that is to say without prior choice of subjects or any conscious search of narrative. The multilemmé way also involves a three-dimensional presentation that differs from a single hanging. Thus, the swelling and draping effects created by irregular padding complete the work and give it volume. This manipulation also adds to the blurring of the painted shapes and their entanglement. The ambition behind En quête de chemins illusoires is threefold. It is driven in the first place by the desire to lengthen perceptual activity, to ensure that the first glance to the work will turn into a generous and longer halt. Consequently, it also aims at encouraging the phenomenon of attention which leads to a complication of the interpretation. Finally, it seeks to generate an illusion of movement from the effects induced by prolonged fixation, namely the displacement and deformation of the elements that surround the areas under gaze. Like the fluxus artist's works of the last century, En quête de chemins illusoires wants to suppress the idea of a finite work, by putting forward the importance of its interpretation.
76

Régénération dans les sentiers de débardage en pessière noire irrégulière du Québec

Gauthier, Martin-Michel 11 April 2018 (has links)
La régénération dans les sentiers de débardage après coupe avec protection des petites tiges marchandes (CPPTM) a été évaluée en forêt boréale québécoise. Des inventaires de régénération et la mise en place de points d’études ont été employés à cette fin. Deux ans après coupe, la densité et le coefficient de distribution moyens étaient de 10 780 tiges•ha-1 et 77%, respectivement. Une augmentation du niveau de débris de coupe a diminué la densité de régénération sur l’ensemble des sites. L’installation des semis a été affectée par l’ensemencement artificiel, la position dans le sentier et le type de substrat. La luminosité était suffisante et le compactage sévère du sol limité. L’ensemencement artificiel s’est avéré peu bénéfique, mais les plants mis en terre se sont bien acclimatés aux sentiers. Les résultats démontrent que la régénération dans les sentiers de débardage est abondante et bien distribuée pour les sites étudiés. / Regeneration in logging trails following irregular shelterwood cutting was assessed in Quebec’s boreal forest. In each of five sites, a regeneration inventory was carried out and study plots were installed for this evaluation. Two years after harvest, average regeneration density and stocking in logging trails were 10 780 stems•ha-1 and 77%, respectively. Regeneration density was negatively affected by increasing slash cover across all study sites. Seedling establishment was influenced by direct seeding, position within the logging trail, and substrate type. Environmental conditions were adequate: light availability was sufficient and severe soil compaction was limited. Direct seeding was not very effective on these sites, but the planted black spruce stock responded well. Results suggest that regeneration in logging trails was abundant and well distributed in the first two years after harvest.
77

Modèles mathématiques de l'imprécis et de l'incertain en vue d'applications aux techniques d'aide à la décision

Dubois, Didier 19 November 1983 (has links) (PDF)
Cette thèse est d'abord motivée par le souci d'élucider certains liens existant entre la théorie des ensembles flous et celle des probabilités, en les replaçant toutes deux dans un contexte plus général de mesures dites « d'incertitude ». Sur cette base, on développe des outils mathématiques susceptibles d'exprimer rigoureusement, de façon quantitative, les concepts duaux de possibilité et de nécessité. On montre notamment qu'on peut par là généraliser les opérations logiques ainsi que d'autres notions, telles que la cardinalité, à des ensembles dont les frontières sont mal définies, représentés par le biais d'une fonction d'appartenance, qu'on peut voir comme une distribution de possibilité. On développe, dans le cadre de la théorie des possibilités, un calcul analogue à celui des fonctions de variables aléatoires, appelé calcule des intervalles flous, qui généralise le calcule d'erreurs. Des éléments d'analyse de fonctions floues, étendant l'analyse des correspondances, sont fournis, notamment l'intégration de Riemann.<br /><br />Ces outils mathématiques sont appliqués à la formulation et à la résolution de problèmes d'analyse de la décision et de recherche opérationnelle. On étudie plus particulièrement l'agrégation de critère, l'évaluation des décisions et le choix en environnement incertain et imprécisément décrit, les algorithmes de plus courts chemins dans les graphes imprécisément valués, la programmation linéaire avec contraintes floues. On tente dans chaque cas de discuter les mérites et les limites de la théorie des possibilités par rapport à celle des probabilités, tant sur le plan de leur pouvoir descriptif que sur celui des calculs qu'elles entraînent, et des résultats qu'elles permettent d'obtenir.
78

Routage efficace sur réseaux de transport multimodaux

Kirchler, Dominik 03 October 2013 (has links) (PDF)
La mobilité est un aspect important des sociétés modernes. Par conséquent, il y a une demande croissante pour des solutions informatiques de calcul d'itinéraire. Dans cette thèse, le routage multimodal et le système Dial-a-Ride sont étudiés. Ils contribuent à une utilisation plus efficace de l'infrastructure de transport disponible, élément déterminant dans la perspective d'un développement durable. La planification d'itinéraires multimodaux est rendus complexe en raison des différents modes de transport qui doivent être combinés. Une généralisation de l'algorithme de Dijkstra peut être utilisée pour trouver les chemins les plus courts sur un réseau multimodal. Cependant, sa performance n'est pas suffisante pour les applications industrielles. De ce fait, cette thèse introduit un nouvel algorithme appelé SDALT. Il s'agit d'une adaptation de la technique d'accélération ALT. Pour évaluer la performance de SDALT, un graphe a été construit à partir d'un réseau multimodal réel basé sur les données de transport de la région française Ile-de-France. Il inclut la marche, les transports en commun, la voiture, la bicyclette ainsi que des informations relative aux horaires les horaires et les conditions de circulation. Les tests de performance montrent que SDALT fonctionne bien, avec un temps de calcul réduit d'un facteur compris entre 1,5 et 60 par rapport à l'algorithme de base. Dans un contexte multimodal autre la question de la détermination du chemin le plus court, se pose celle de trouver un chemin aller-retour multimodal optimal entre un point de départ et un point d'arrivée. Un véhicule privé (voiture ou bicyclette) utilisé pour une première partie du trajet aller doit être récupéré au cours du trajet retour pour être ramené au point de départ. Pour cette raison, le parking doit être choisi de manière à optimiser les temps de déplacement du trajet aller et du trajet retour combinés. L'algorithme qui est proposé ici résout ce problème plus rapidement que les techniques actuelles. Le système Dial-a-Ride offre aux passagers le confort et la flexibilité des voitures privées et des taxis à un moindre coût et avec plus d'éco-efficacité car il regroupe les demandes de transport similaires. Il fonctionne de la manière suivante: les passagers demandent le service en appelant un opérateur. Ils communiquent leur point de départ, leur point de destination, le nombre de passagers, et quelques précisions sur les horaires de service. Un algorithme calcule ensuite les itinéraires et les horaires des véhicules. Cette thèse propose une nouvelle heuristique efficace et rapide de type Granular Tabu Search, capable de produire de bonnes solutions dans des délais courts (jusqu'à 3 minutes). Comparativement aux autres méthodes, et au regard des instances de test de la littérature, cet algorithme donne de bons résultats.
79

Le routage dans les réseaux de capteurs multimédia

Zeghilet, Houda 08 December 2013 (has links) (PDF)
Aujourd'hui, la prolifération de matériel peu coûteux tels que les caméras et les microphones capables de capturer du contenu multimédia de façon ubiquitaire a conduit à l'émergence des réseaux de capteurs sans fil multimédia/vidéo (RCSFM /RCSFV). En conséquence, un grand éventail d'applications peuvent être projetées dans de nombreux domaines de la vie de tous les jours. Par rapport aux réseaux de capteurs traditionnels (RCSF), les RCSFVs présentent des défis uniques principalement en raison de la grande quantité de données à capturer et à transmettre au-dessus d'un réseau contraint en ressources. Un certain niveau de qualité de service peut être exigé en termes de délai, bande passante, gigue, fiabilité, qualité de perception de la vidéo, etc. Dans ce travail, nous visons le problème du routage de données vidéo dans un RCSF. De nombreux protocoles de routage ont été proposés dans la littérature. Ils peuvent être qualifiés de plat ou hiérarchique en vue de l'organisation du réseau. Dans une topologie plate, tous les noeuds ont les mêmes fonctionnalités où chacun peut participer au processus de routage. Cependant, dans une architecture hiérarchique, les capteurs sont organisés en groupes (clusters) permettant une plus grande évolutivité, moins d'énergie consommée et donc une plus longue vie pour l'ensemble du réseau. Parmi les protocoles de routage existants, peu considèrent spécifiquement la transmission de données intensives comme la vidéo. Dans ce travail, nous avons d'abord proposé un protocole de routage hiérarchique appelé ELPC (Energy Level Passive Clustering) dont l'objectif principal est d'améliorer la durée de vie du réseau en présence de flux vidéo. Ceci est obtenu grâce à l'équilibrage des charges au moment de la construction de la topologie où le rôle de tête de groupe est alterné entre les noeuds candidats en fonction de leur niveau d'énergie. La deuxième contribution consiste en un protocole de routage multichemin qui prend les interférences inter-chemin en considération. En effet, en permettant la transmission de plusieurs flux concurrents, le délai de bout en bout se trouve réduit et les besoins de l'application en termes de bande passante peuvent être satisfaits. Au lieu de supprimer complètement les interférences, notre protocole de routage multichemin tente de les minimiser en se basant sur l'ajout d'informations supplémentaires sur les noeuds voisins dans les messages de construction de la topologie. De plus, nous proposons un schéma de files d'attente à priorités multiples où l'influence des types de données dans une vidéo est considérée. Les résultats des simulations montrent que l'utilisation de chemins moins interférents combinée à un régime de multipriorité permet une meilleure qualité vidéo.
80

Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités

Ghamlouche, Ilfat January 2004 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Page generated in 0.2136 seconds