La fabrication des grandes pièces structurelles aéronautiques en alliage d'aluminium nécessite la réalisation de multiples étapes de mises en forme (laminage, matriçage, etc...) et de traitements thermiques. Les différents chargements mécaniques et thermiques subis par les pièces pendant ces étapes de fabrication induisent des déformations plastiques ainsi que des modifications de la microstructure, qui sont sources de contraintes résiduelles. La géométrie finale des pièces est obtenue par usinage, qui est généralement la dernière étape de fabrication. Jusqu'à 90% du volume de matière initial peut être enlevé durant l'usinage de grandes pièces aéronautiques, qui peuvent également présenter des géométries complexes. La redistribution des contraintes résiduelles pendant l'usinage est une des principales causes de non-conformité des pièces avec les tolérances géométriques et dimensionnelles et donc de non-acceptation de celles-ci.De nos jours, les contraintes résiduelles et leurs effets pendant l'usinage ne sont généralement pas pris en compte lors de la définition des gammes d'usinage. Ce travail de thèse vise donc à proposer une évolution dans l'établissement des gammes d'usinage des pièces de structures en alliage d'aluminium et a été construit autour de deux principaux axes de recherche: un axe numérique et un axe d'analyse mécanique.L'axe numérique est basé sur la mise en place d'une approche de modélisation et le développement d'un outil numérique adapté à la simulation de l'usinage. L'approche de modélisation a été définie à partir d'hypothèses déduites d'études bibliographiques sur les alliages d'aluminium, le procédé d'usinage et les contraintes résiduelles. Une approche numérique d'enlèvements massifs de matière a ainsi été développée et tous les développements ont été intégrés dans les codes sources de FORGE® dans un environnement parallèle.L'axe d'analyse mécanique est basé sur l'étude de la redistribution des contraintes résiduelles et des déformations associées lors de l'usinage. Une première étude appliquée à la méthode expérimentale utilisée pour déterminer les profils de contraintes résiduelles dans des tôles laminées en alliage AIRWARE® 2050-T84 a été réalisée. Les simulations de ces essais ont permis une première validation de l'outil numérique développé et ont démontré la nécessité de définir des gammes d'usinage en fonction des contraintes résiduelles. D'autres études sur l'influence de certains paramètres définis dans les gammes d'usinage sur la qualité d'usinage ont également été menées. Les simulations réalisées ont été validées par de multiples comparaisons avec des résultats expérimentaux, montrant la capacité de l'outil numérique à prédire précisément la géométrie finale des pièces.A l'aide des résultats obtenus sur les précédentes études, une procédure numérique et de premières recommandations pour la définition de gammes d'usinage permettant d'obtenir la qualité d'usinage souhaitée en tenant compte des contraintes résiduelles initiales ont été mises en place. / The manufacturing of aluminium alloy structural aerospace parts involves multiple forming (rolling, forging, etc.) and heat treatment steps. The mechanical and thermal loads that the workpieces undergo during these manufacturing steps result in unequal plastic deformation and in metallurgical changes which are both sources of residual stresses. Machining is usually the last manufacturing step during which the final geometry of the parts is obtained. Up to 90% of the initial volume of the workpiece can be removed during the machining of aerospace structural parts which can furthermore have complex geometries. The residual stress redistribution is one of the main causes of the non-conformity of parts with the geometrical and dimensional tolerance specifications and therefore of the rejection of parts.Nowadays, initial residual stresses and their effect during the machining are often not taken into account in the definition of the machining process plan. This work aims to propose an evolution in the establishment of machining process plans of aluminium structural parts. It has been organised along two principal lines of research: a numerical line and a mechanical analysis line.The numerical line is based on the development of a modelling approach and of a numerical tool adapted to the simulation of the machining process. The modelling approach has been defined based on assumptions deduced from literature reviews on aluminium alloys, on the machining process and on residual stresses. A massive material removal approach has then been developed. All the numerical developments have been implemented into the finite element software FORGE® and are suited to a parallel computing environment.The mechanical analysis line is based on the study of the residual stress redistribution and its effect on the workpiece deflections during the machining as well as on the post-machining distortion. A first study on the layer removal method used to determine the initial residual stress profiles in an AIRWARE® 2050-T84 2050-T84 alloy rolled plate has been realised. The simulation of these experiments has allowed a first validation of the numerical tool and to demonstrate the necessity to define machining process plans in function of the residual stresses. Other studies on the influence of some machining process parameters on the machining quality have then been performed. Simulation results have been validated by multiple comparisons with experimental tests, showing the capability of the numerical tool to predict the final machined part geometries.Using the results of the studies mentioned above, a numerical procedure and first recommendations for the definition of machining process plans allowing to obtain the desired machining quality depending on the initial residual stresses have been established.

Al diseñar, observar y calcular una Red Local de Alta precisión, cualquiera que sea su objetivo, se plantea siempre el problema de la fiabilidad de los datos, parámetros intermedios y resultados finales. La tendencia en el momento presente es que la exigencia en rigor y precisión, y en definitiva, de calidad, crezca y crezca. El concepto de precisión es fundamental en cualquier trabajo geodésica, y junto al de fiabilidad y costo, definen los tres parámetros fundamentales en cualquier actuación geodésica. [Nuñez et. al. 1991]. Se pude definir la fiabilidad como la capacidad de la red para detectar errores groseros en las observaciones. [Nuñez et. al. 1991]. Por tanto es necesario revisar los conceptos de figuras de error y algoritmos de cálculo. En ellos, incluso los redondeos practicados al realizar sucesivas operaciones aritméticas por el ordenador que se trate, tienen una importancia notable y no es indiferente la utilización de uno u otro equipo de los disponibles en el mercado. En esta de tesis se tratará, como ejemplo de lo expuesto, al resolver un sistema de ecuaciones por mínimos cuadrados Ax - K = R, (sabiendo que A es la matriz de diseño, K el vector de los términos independientes, y R el vector de los residuos), ya sea como red ligada o como red libre, nos podemos encontrar con que la matriz S = ATPA sea altamente sensible a cualquier operación de redondeo, resultando importantes discrepancias sobre el vector solución de las incógnitas X. En general, la sensibilidad detectada es inevitable y puede suponer un serio inconveniente en la obtención de resultados fiables en redes que requieran altos niveles de rigor y precisión, como es el caso del control de deformaciones. Sin embargo, antes de tomar la decisión extrema de repetir la observación, probablemente con nueva metodología e incluso, cambio de instrumentación, pueden intentarse mejorar la situación aplicando algún otro nuevo artificio de cálculo. Así pues debemos tener en cuenta / Anquela Julián, AB. (2001). Aportación al problema general de redes locales de alta precisión: condicionantes específicos de fijación de criterios teóricos y prácticos, de calificación de parámetros intermedios y resultados finales [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/59070

Cette recherche vise à établir les propriétés fondamentales d'un système formel aux preuves circulaires introduit par Santocanale, auquel on a rajouté la règle de coupure. On démontre, dans un premier temps, qu'il y a une pleine correspondance entre les preuves circulaires et les flèches issues des catégories dites µ-bicomplètes. Ces flèches sont celles que l'on peut définir purement à partir des outils suivants: les produits et coproduits finis, les algèbres initiales et les coalgèbres finales. Dans la catégorie des ensembles, les preuves circulaires dénotent donc les fonctions qu'on peut définir en utilisant les produits cartésiens finis, les unions disjointes finies, l'induction et la coinduction. On décrit également une procédure d'élimination des coupures qui produit, à partir d'une preuve circulaire finie, une preuve sans cycles et sans coupures, mais possiblement infinie. On démontre que l'élimination des coupures fournit une sémantique opérationnelle aux preuves circulaires, c'est-à-dire qu'elle permet de calculer les fonctions dénotées par celles-ci, par le moyen d'une sorte d'automate avec mémoire. Enfin, on s'intéresse au problème de la puissance expressive de cet éliminateur de coupures, c'est-à-dire à la question de caractériser la classe des expressions qu'il peut calculer. On démontre, par une simulation, que l'éliminateur des coupures est strictement plus expressif que les automates à pile d'ordre supérieur. / This research aims at establishing the fundamental properties of a formal system with circular proofs introduced by Santocanale, to which we added the cut rule. We first show that there is a full correspondence between circular proofs and arrows from the so-called µ-bicomplete categories. These arrows are those that can be defined purely from the following tools: finite products and coproducts, initial algebras and final coalgebras. In the category of sets, circular proofs denote functions that one can define by using finite cartesian products, finite disjoint unions, induction and coinduction. We also describe a cut-elimination procedure that produces, from a given finite circular proof, a proof without cycles and cuts, but which may be infinite. We prove that cut-elimination gives an operational semantics to circular proofs, which is to say that they allow to compute the functions denoted by them, by using a sort of automaton with memory. Finally, we are interested in finding the expressive power of that cut-eliminating automaton. In other words, we want to characterize the class of functions that it can compute. We show, through a simulation, that the cut-eliminating automaton is strictly more expressive than higher-order pushdown automata.