• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 139
  • 34
  • 5
  • 3
  • 1
  • 1
  • Tagged with
  • 204
  • 41
  • 41
  • 27
  • 25
  • 23
  • 20
  • 20
  • 19
  • 19
  • 16
  • 16
  • 15
  • 15
  • 15
  • 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.
91

Algorithmes pour la résolution de problèmes d'optimisation et de minimax

Martinet, Bernard 24 April 1972 (has links) (PDF)
.
92

Contribution à la fiabilisation de la modélisation numérique de l’usinage de pièces en titane / Contribution to more reliable numerical modeling of the machining of titanium workpieces

Yaich, Mariem 28 November 2017 (has links)
L’usinage des pièces en alliages de titane, notamment en Ti6Al4V qui a une faible usinabilité, a été toujours parmi les préoccupations majeures des entreprises du secteur de l’aéronautique. Toutefois, il est difficile, en se basant seulement à des essais expérimentaux, de bien comprendre les mécanismes participants à la formation du copeau. Il est alors nécessaire d’avoir recours à des modélisations numériques fiables permettant d’avoir accès à des grandeurs physiques instantanées et très localisées. Le travail présenté porte sur la fiabilisation de la modélisation de la coupe. Des simulations numériques 2D et 3D ont été mises en place. Le modèle de comportement de Johnson-Cook et le critère énergétique d’évolution d’endommagement ont été utilisés. L’étude préliminaire 2D de l’effet du maillage, notamment la taille, le type et la fonction d’interpolation des éléments finis, a souligné l’importance d’une discrétisation convenable du modèle qui tient compte du coût de calculs. De plus, il a été montré qu’un choix convenable du type de la formulation est crucial. L’effet des coefficients rhéologiques et d’endommagement (initiation et évolution) sur la formation du copeau (morphologie, champ de déformation et de température) a été déterminé. Des essais expérimentaux de la coupe orthogonale du Ti6Al4V à différentes conditions de coupe ont été effectués. La dépendance de la géométrie du copeau et des efforts à la vitesse de coupe et à l’avance a été étudiée. Les résultats expérimentaux ont été utilisés pour la validation des modèles numériques 3D qui permettent une étude fine de la formation du copeau. Cette approche a permis de reproduire fidèlement les phénomènes physiques se produisant au niveau du plan médian de la pièce tout en tenant compte de l’écoulement de la matière sur les bords. Les résultats prédits ont mis en évidence que, même dans le cas d’une coupe orthogonale, la formation du copeau est bien un phénomène 3D. Afin d’augmenter la fiabilité des modèles numériques 3D, une nouvelle loi thermo-viscoplastique a été proposée. Cette loi, identifiée et implémentée dans le logiciel Abaqus® à travers la routine VUMAT©, a été utilisée pour la simulation de l’usinage du Ti6Al4V. Elle a conduit à une amélioration notable des résultats numériques. / Machining of titanium alloys workpieces, especially in Ti6Al4V which has a low machinability, has always been among the major preoccupations of the companies in the aeronautics sector. However, it is difficult, basing only on experimental tests, to well understand the mechanisms involved during the chip formation. In fact, the use of reliable numerical models that allow the access to instantaneous and very localized physical quantities is required. The presented work consists on the increase of the cutting modeling reliability. 2D and 3D numerical simulations have been performed. The Johnson-Cook constitutive model and the damage evolution criterion have been used. The preliminary 2D study focused on the mesh effect, especially the size of the finite element, its type and its interpolation function, has highlighted the importance of a convenient discretization of the model that takes into account the machining computing cost. In addition, it has been shown that a suitable choice of the formulation type is crucial. The effect of the rheological and damage (initiation and evolution) coefficients on the chip formation (morphology, strain and temperature field) has been determined. Experimental orthogonal cutting tests of the Ti6Al4V at different cutting conditions have been performed. The dependency of the chip geometry and the efforts to the cutting speed and the feed rate has been studied. Experimental results have been used in the validation of the 3D numerical models, which allow a deep study of the chip formation process. This approach has allowed an accurately reproduction of the physical phenomena that occurs in the median plan of the workpiece as well as in its sides. The predicted results have highlighted that, even in the case of orthogonal cutting process, the chip formation is a 3D phenomenon. In order to increase the reliability of 3D numerical models, a new thermo-visco-plastic law has been proposed. This law, identified and implemented in the software Abqus® through the subroutine VUMAT©, has been used to model machining process of the Ti6Al4V. It has resulted in a notable improvement of numerical results.
93

Approches canoniques pour la synthèse des contrôleurs réseaux de Petri / Canonic approaches for Petri nets control synthesis

Rezig, Sadok 22 September 2016 (has links)
Dans ce mémoire, nous présentons différentes approches de synthèse de contrôleurs réseaux de Petri en se basant sur la théorie des régions. Cette théorie présente quelques limites dans la synthèse de contrôle. En effet, la synthèse du contrôleur RdP, s’il existe, n’est pas du tout une tâche facile vue sa complexité de calcul et l’explosion combinatoire des états dans le graphe de marquage. De plus, le système linéaire de la théorie des régions à résoudre peut contenir des combinaisons convexes entre ces équations ce qui rend la théorie insoluble pour calculer les superviseurs RdP. Ce travail vise à simplifier la complexité de calcul de la théorie des régions en réduisant le nombre d’équations du système linéaire de la théorie des régions d’une part, et d’autre part en minimisant le temps de calcul des contrôleurs RdP. De nouveaux concepts de coupes minimales et de marquages canoniques ont été introduits afin d’appliquer la théorie des régions sur des zones précises du graphe et non pas sur la totalité du graphe de marquage. Finalement, deux autres nouvelles approches ont été développées pour synthétiser des contrôleurs RdP sans générer le graphe de marquage / In this work, we present different control synthesis approaches based on Petri nets and the theory of regions. This theory has some limitations in supervisory control. Indeed, the design on the PN controller, if it exists, is not an easy task due to the resolution complexity and the combinatorial explosion of states in the generated reachability graph. In addition, the linear system of the theory of regions may contain convex combinations of its equations making the theory insoluble. This work aims to simplify the computational complexity of the theory of regions by reducing the number of equations of the linear system and decreasing the computation time of PN controllers. Consequently, new concepts of minimal cuts and canonic markings are introduced in order to apply the theory of regions on specific zones of the graph and not on the whole reachability graph. Finally, two new approaches are developed to synthesize PN controllers without generating the reachability graph
94

Développement d'un outil de coupe économique et écologique pour le broyage des végétaux : analyse du mode de coupe, prototypage et innovation des moyens de coupe et de broyage / Development of economic and ecological cutting device for plant chipping : analysis of cutting mode, prototyping and innovation of cutting and chiiping means

Labbé, Stéphane 01 December 2017 (has links)
L’utilisation des plaquettes bois dans le secteur de l’énergie est en pleine croissance depuis les objectifs fixés par le grenelle de l’environnement. Cette utilisation croissante nécessite de plus en plus de matière première ainsi que des matériels de transformation. Ces machines de type déchiqueteuse / broyeur forestier consomme beaucoup d’énergie et dont la principale source est le pétrole. C’est pourquoi cette recherche propose dans un premier temps de définir un moyen d’évaluer la performance énergétique de ces machines puis dans un deuxième temps d’évaluer l’influence des paramètres de coupe sur la performance énergétique. Ce critère est défini comme le rapport entre la tonne de plaquettes sèches et l’énergie consommée par la déchiqueteuse. Il permettra d’évaluer une déchiqueteuse du marché. L’évaluation de la performance énergétique est réalisée en deux endroits distincts de la déchiqueteuse, proche de la coupe et de manière globale. Les différents résultats de l’influence des paramètres de coupe sont présentés afin de caractériser les plus importants dans le but d’une optimisation de la machine étudiée. Cette optimisation a permis de doubler la performance énergétique de la machine. La thèse a également mis en évidence les limites de l’utilisation de certains organes de sécurité réduisant la performance énergétique de 40%. Les différents travaux de recherche doivent permettre d’aider les concepteurs dans le dimensionnement de la source d’énergie nécessaire pour déchiqueter le bois / Consumption of fuelwood, mainly in the form of wood chips, is growing to achieve the goal fixed by the “Grenelle de l’Environment” Laws. Increasing wood chip production needs more and more raw materials and use of wood chippers or shredders is well established. These machines are very energy-consuming particularly in gasoline. First, this thesis presents original methods for measuring chipper performance and focuses on influence of cutting parameters on energy efficiency. Wood chipper energy performance is defined by the ratio between tonnes of dry wood chips and power consumed by the machine to produce them. Using energy efficiency determination method, all wood chippers will be compared and will help customer to choose the machine that consumes the least energy to produce wood chips. Wood chipper performance is measured at two different locations: one closer to the cutting area and the other at the wood chipper drive. The results show that wood chipper performance factor is properly defined and cutting parameters impacts wood chip performance. Cutting optimization halves the chipper fuel consumption to produce the same wood chips quantity. The results also show the limits of safeguard that reduce by 40% chipper performance. This thesis must help designers for developing more efficient machines to reduce their impact on the environment
95

Les coupes de droop, typologie, chronologie et diffusion. Thasos et sa région / The droop cups, typology, chronology and distribution. Thasos and its area

Walter, Christine 23 January 2012 (has links)
La coupe de Droop attique* est un vase sur pied haut, produit à Athènes dans la 2e moitié du VIe s. av. J.-C. et, plus exceptionnellement, dans le 1er quart du Ve avant J.-C. Par la forme de sa vasque et la distribution de son décor, elle se rapproche davantage de la coupe à bande des « Petits Maîtres », dont elle est très probablement une variante. Il n’y a eu jusqu’à présent que très peu d’études approfondies sur cette classe, John Percival Droop et Percy Neville Ure faisant figures de pionniers dans ce domaine. Pourtant, deux de ses potiers, Antidoros et Nikosthénès, ont été repérés par leurs signatures dès la fin du XIXe et du début du XXe siècles et une dizaine de peintres ou groupes de peintres ayant décoré des exemplaires de cette forme avait déjà été identifiée par John Beazley. Depuis les travaux de ces chercheurs dans les années 1950, de nombreux spécimens de coupes de Droop ont été découverts et publiés, sans toutefois être insérés dans une étude d’ensemble. Cette recherche de doctorat propose de revoir les informations anciennes livrées par l’archéologie des coupes de Droop, et d’analyser les nouvelles données à travers un corpus d’exemplaires découverts en Grèce du Nord, sur l’île de Thasos et dans sa colonie, Néapolis (Kavala). *Il existe un équivalent laconien. / The Attic* Droop cup is a vase with high foot, produced in Athens in the 2nd half of the VI and first quarter of the V century B.C. By the shape of its bowl and the distribution of its decoration, it is close to the Little Master band cup and very probably a variant of this one. Although two of its potters (Antidoros and Nikosthénès) were identified by their signatures from the XIXth century, there were until now very few in-depth studies on this class, John Percival Droop and Percy Neville Ure being real pioneers in this field. John Beazley established a list of less than about ten painters or groups of painters having decorated some of the Droop cups Since the works of these researchers in the Fiftie’s, numerous specimens of Droop cups were discovered and published, without having however been inserted into a more general study. This Ph.D. research suggests revising the former informations delivered by Archaeology of Droop cups, and analyzing the new data through a corpus of exemplaries discovered in Northern Greece, on the island of Thasos and in its colony, Néapolis (Kavala).*There is a Laconian equivalent.
96

Déformations et déplacements des massifs subalpins de Vercors et Chartreuse

Arpin, Réjane 12 January 1988 (has links) (PDF)
L'analyse de la déformation des massifs subalpins de Vercors et Chartreuse, qui constituent l'avant-pays des massifs cristallins externes de Belledonne et du Pelvoux chevauchant vers l'Ouest, a permis de reconstituer le champ de déplacement ainsi que l'état initial avant déformation de cet avant-pays. Cette analyse repose sur un grand nombre de données géologiques et géophysiques, et en particulier sur des données issues de profils sismiques réalisés dans les massifs subalpins. Ces données ont permis de préciser la géométrie des structures profondes, et notamment la position des plans de décollement. Deux méthodes. qui intègrent toutes les données disponibles dans un schéma de déformation cohérent. ont été utilisées. Il s'agit d'une part de la construction de coupes géologiques équilibrées et d'autre part de l'établissement de carte de déformation finie. La déformation globale des massifs subalpins de Vercors et de Chartreuse est liée principalement au chevauchement crustal de la partie externe du massif de Belledonne et peut se décomposer en deux étapes majeures : un premier chevauchement de grande ampleur déformé ensuite par des épisodes chevauchants secondaires.
97

Etude du comportement du système "Pièce-Outil-Machine" en régime de coupe vibratoire

Moraru, George-Florin 24 October 2002 (has links) (PDF)
Cette thèse contribue à la modélisation et à létude de la dynamique de la coupe vibratoire, ayant comme application immédiate et comme objectif, la validation du perçage vibratoire par tête auto-vibrante. Les modèles de la coupe vibratoire qui ont été développés ont fait lobjet dune analyse de stabilité et dune étude détaillée par simulations numériques. Les phénomènes non linéaires engendrés par la coupe vibratoire ont été mis en évidence par simulations et par une campagne dexpérimentations. Les modèles et les études issus de cette thèse donnent une vue densemble de la dynamique compliquée de la coupe vibratoire et apportent une compréhension fine des aspects pratiques du perçage vibratoire par tête auto-vibrante. Les moyens expérimentaux développés et mis en uvre constituent un outil dinvestigation performant et indispensable à lanalyse systématique du procédé, dans le but de son industrialisation.
98

Etude des mécanismes d'endommagement des outils carbure WC-Co par la caractérisation de l'interface Outil-Copeau: application à l'usinage à sec de l'alliage d'aluminium aéronautique AA2024 T351

List, Gautier 12 1900 (has links) (PDF)
L'étude proposée traite de la compréhension des mécanismes d'endommagement des outils carbure dans le cas de l'usinage à sec d'un alliage d'aluminium aéronautique (AA2024 T351). Elle a pour but de déterminer les différents paramètres tribologiques de l'interface outil-copeau (frottement, température, pression) et de les confronter aux différents modes d'usure. Une modélisation du contact entre le copeau et l'outil basée sur les propriétés viscoplastiques de l'écoulement du matériau est d'abord proposée. Elle permet d'établir les relations qui existent entre la géométrie du copeau (angle de cisaillement), les contraintes appliquées sur l'outil, le coefficient de frottement et la vitesse de glissement du copeau au voisinage de la pointe de l'outil. Le modèle analytique est alors employé pour déterminer la nature du contact (collant, glissant) et calculer la vitesse de glissement. Pour déterminer la température et la pression de contact, un dispositif d'étude basé sur l'observation expérimentale de la formation du copeau (caméra vidéo rapide, mesure des efforts, calcul de flux thermique) et la simulation numérique par la méthode des éléments finis est ensuite mis en place. La caractérisation physico-chimique réalisée à l'aide de techniques complémentaires d'analyse de surface (MEB, EDS, AES, profilométrie optique) a permis d'identifier clairement les différents types d'endommagement. Ils se traduisent par la formation d'arêtes rapportées et de couches adhérentes (couches de transfert formées par extrusion de précipités) ainsi que par la fragilisation de l'outil provoqué par la diffusion de certaines espèces chimiques du copeau vers l'outil. Grâce à la démarche proposée, il est possible de relier ces différents modes d'endommagement aux conditions de contact existant à l'interface outil-copeau.
99

Etude de l'emploi des machines outils à structure parallèle en usinage

Chanal, Hélène 22 September 2006 (has links) (PDF)
Les travaux de recherche présentés dans ce mémoire concernent la prédiction et l'amélioration des performances des machines outils à structure parallèle dans le but de produire des pièces conformes à la qualité requise. Ces travaux s'inscrivent dans une problématique global d'optimisation du triplet pièce/ processus/ machine. Le problème posé se situe au niveau de l'influence de la structure sur la qualité de la pièce usinée. La thèse l'illustre à travres l'analyse de l'influence des comportements statique et gèométrique des structures parallèles sur la forme des surfaces usinées. Ce travail prppose alors des avancées suivant deux axes fondamentaux : La définition d'un espace de travail statistiquement admissible, La proposition d'une méthode d'identification du processus. Ces approches sont alors projetées dans un contexte industriel, permettant ainsi de définir le concept de maintenance géométrique de la machine et d'identification global / local
100

Réduction de graphes et application à la segmentation de tumeurs pulmonaires

Lermé, Nicolas 07 December 2011 (has links) (PDF)
Dans cette thèse, nous présentons d'abord une nouvelle stratégie à base de bandes pour réduire les graphes impliqués dans la segmentation binaire par graph cuts. Ceci est effectué en testant localement si un noeud est réellement utile au calcul du flot maximum dans ces graphes. À l'instar des méthodes antérieures à base de bandes, les noeuds restants sont typiquement localisés dans des bandes étroites autour des contours de l'objet à segmenter. Dans un premier temps, nous proposons un test heuristique pour décider si un noeud peut être ajouté au graphe réduit qui peut être calculée en temps constant (excepté pour les bords de l'image). Lorsque le degré de régularisation est élevé, des paramètres supplémentaires sont intégrés à ce test pour à la fois réduire davantage les graphes et supprimer les zones dues au bruit dans les segmentations. Lorsque le degré de régularisation est moindre, le temps requis par cet algorithme est même compensé par le temps de calcul du flot maximum sur le graphe réduit. Dans cette situation, nous montrons expérimentalement que cet algorithme réduit significativement la consommation mémoire des graph cuts standard tout en conservant une erreur quasi nulle sur les segmentations. Dans un second temps, nous décrivons un autre test avec un coût computationnel légèrement supérieur. Nous démontrons que chaque noeud vérifiant ce test peut être retiré sans altérer la valeur du flot maximum. Des expériences numériques permettent d'exhiber des performances équivalentes au test heuristique. Dans une seconde partie, nous présentons une application de cette technique de réduction à la segmentation semi-interactive de tumeurs pulmonaires dans des images CT 3D. L'originalité de ce travail consiste à intégrer un a priori sur la localisation des graines objet et contrôler leur propagation grâce à un algorithme de Fast Marching basé sur le gradient de l'image. Les résultats quantitatifs et qualitatifs comparés aux vérités terrains fournies montrent une délimitation précise des tumeurs avec un coefficient de Dice supérieur à 80\% en moyenne.

Page generated in 0.0473 seconds