Flowshop scheduling problem including learning and fatigue effects: theoretical contributions and case study

Doctorante : Yenny Alexandra PAREDES-ASTUDILLO

Laboratoire INSA : DISP

Ecole doctorale : ED512 : InfoMaths

Despite the rise of automation, hand-intensive production systems are still in use due to the need for workers to be extremely flexible and precise in completing certain tasks. Interest is generated by the impact of learning and fatigue on manual task productivity. The focus of this study is on a flowshop scheduling problem (FSSP) that considers the effects of learning and fatigue. Firstly, a literature review was conducted on the scheduling problem with learning and deterioration effect. After that, a theoretical approach was used to address the problem of FSSP with learning effect. Mathematical models that minimize the makespan were presented. Exact methods and heuristics were proposed for solving the problem in small and large instances. As fatigue is a type of deterioration, a multi-agent model was proposed to validate the integration of muscular fatigue into the FSSP by minimizing the total fatigue dose. Finally, the framework was validated by a case study application that took place in a manual picking line. The modeling of learning and fatigue effects and the computation of model parameters from real data were discussed. A bi-objective approach was proposed to minimize both makespan and total fatigue dose simultaneously. Break policies are recommended depending on the company's needs and the objective to prioritize. The aim of this work is to inspire future work that is interested in addressing operations research problems with a responsible incorporation of human factors.

Elaboration, characterization, and reliability of Copper-Copper connections for the assembly of advanced technology microelectronic devices

Doctorant : Romain HAEFFELE

Laboratoire INSA : MATEIS

Ecole doctorale : ED34 : Matériaux de Lyon

Dans les composés microélectroniques, la connexion électrique entre le circuit intégré et son boîtier est généralement effectuée par un procédé de câblage qui implique une soudure entre un fil et deux plots de connexion. Une récente technologie permet de réaliser ce câblage sans soudure intermétallique (liaison cuivre-cuivre). Cependant, lors des procédés d'assemblage et du fonctionnement du produit, le pad de cuivre est exposé à des environnements agressifs (température, humidité et contaminants halogénés). La corrosion des plots de cuivre peut entraîner une rupture du câblage et une baisse de la fiabilité du dispositif. Il est donc essentiel de maîtriser l'état de surface des plots tout au long de l'assemblage précédent le procédé de câblage. Une couche d’alumine ultra-mince (< 15 nm) est déposée sur le cuivre pour le protéger tout en permettant le câblage thermosonique. Cependant, des phénomènes de corrosion localisée ont été observés. Il est question dans cette thèse d’étudier les mécanismes de dégradation de ces systèmes revêtus Cu/Al2O3 pour proposer un revêtement qui permet de répondre au cahier des charges. Une caractérisation fine du substrat a été réalisée par des techniques de microscopie avancées. Il a été montré que l’état de surface du cuivre est un facteur très important. En effet, la surface du substrat présente des excroissances de grains (zones de fortes contraintes entre les grains), qui ne permettent pas une bonne tenue de la couche d’alumine. Une étude approfondie de la réactivité par voie électrochimique du système revêtu a permis de comprendre les mécanismes de dégradation du cuivre en milieu aqueux et chloruré. Sur la base de ces nouvelles connaissances, un revêtement innovant capable de résister à la fois à l'environnement agressif et aux contraintes mécaniques du substrat a été proposé. Le nouveau système revêtu a été validé sur un dispositif réel et son intégration dans le procédé de câblage a été réalisée avec succès.

Compréhension et optimisation du pompage énergétique multiphysique dans les absorbeurs de vibrations non-linéaires hybrides

Doctorant : Louis MESNY 

Laboratoire INSA : LaMCos

Ecole doctorale : ED162 : Mécanique, Energétique, Génie Civil, Acoustique de Lyon

Les absorbeurs passifs, également connus sous le nom de Tuned Mass Dampers (TMD), sont couramment utilisés pour réduire les vibrations. Leur principal avantage réside dans leur facilité de mise en œuvre. Cependant, leur plage d'efficacité est limitée, car ils sont conçus pour fonctionner à une fréquence spécifique. Au cours des dernières décennies, deux nouvelles voies ont émergé. Premièrement, l'hybridation qui combine des techniques de contrôle actif impliquant des actionneurs, des capteurs et des lois de contrôle avec un contrôle passif. Ce système combiné apporte une caractéristique "fail safe", ce qui signifie qu'il est robuste face aux défaillances des composants actifs et présente généralement des performances supérieures par rapport aux systèmes purement passifs. Deuxièmement, la fonctionnalisation des non-linéarités dans les absorbeurs de vibrations, on parle alors d'absorbeurs non-linéaires. Ces derniers peuvent être purement non linéaires, tels que le Nonlinear Energy Sink (NES), ou disposer en plus d'une partie linéaire, comme le Nonlinear Tuned Vibration Absorber (NLTVA). L'introduction de ces non-linéarités élargit la gamme d'applications des absorbeurs. Cependant, les non-linéarités peuvent également entraîner des phénomènes indésirables, tels que des solutions isolées ou des points de bifurcation, qui doivent être identifiés pour assurer un fonctionnement sûr et efficace. Par conséquent, l'objectif de cette thèse est de combiner ces approches afin de surmonter leurs limitations individuelles. Le manuscrit fournira un aperçu détaillé des outils utilisés pour analyser les systèmes à dynamique non-linéaire couplés à un contrôle actif. Ces outils serviront ensuite de base pour la compréhension et la validation d'un absorbeur non-linéaire hybride expérimental.

Commande des convertisseurs électriques pour l’actionnement et l’acheminement de l'énergie

Maître de conférences : Jean-Yves GAUTHIER

Laboratoire INSA : Ampère

Composition du jury : 

Rapporteurs : Maurice FADEL, Jean-Paul GAUBERT et Malek GHANES

Jury :

• Demba DIALLO    Professeur des Universités    Université Paris-Saclay
• Maurice FADEL    Professeur des Universités    ENSEEIHT, Toulouse
• Jean-Paul GAUBERT    Professeur des Universités    Université de Poitiers
• Malek GHANES    Professeur des Universités    Ecole Centrale de Nantes
• Xuefang LIN-SHI    Professeur des Universités    INSA Lyon
• Claire VALENTIN    Professeur des Universités    Université Claude Bernard Lyon 1

Study on the effect of environment on internal fatigue crack propagation in Ti-6Al-4V

Doctorant : Louis HÉBRARD

Laboratoire INSA : MatEiS

Ecole doctorale : ED 34 : Matériaux de Lyon

In Very High Cycle Fatigue regime (fatigue lives longer than $10^8$ cycles), the fatigue cracks tend to initiate internally. This makes the visual detection impossible during maintenance operations. Consequently, engineers need robust fatigue datasets to prevent internal crack initiation to lead to the fracture of a critical part. For that purpose, in-situ experimental techniques are developed. In particular, micro-computed tomography allows to acquire direct images of internal fatigue cracks. In this study, a combination of in-situ micro-tomography and ultrasonic fatigue cycling has been applied to internally notched specimen in order to collect fatigue datasets. More preciselly, the crack shape of internal fatigue cracks has been monitored in 3D at different instant of their propagation up to the Very High Cycle Fatigue regime. Internal notches have also been linked to the specimen surface and so to the ambient atmosphere in order to study the influence of environment on internal fatigue cracks. This expermental procedure allowed to acquire for the first time, in-situ observations of internal fatigue cracks propagating with and without air in a Ti64 alloy. In this context, temperature measurements were also carried out to evaluate the effect of the environment on the plasticity at the crack tip. Finally, the fatigue data obtained at ultrasonic frequencies allowed to evaluate the influence of the cycling frequency on crack growth rates.

Dynamique des génomes bactériens : une étude expérimentale in silico avec la plate-forme aevol

Doctorant : Marco FOLEY

Laboratoire INSA : LIRIS

Ecole doctorale : ED512 Informatique et mathématiques de Lyon

Aevol est une plate-forme de simulation de l’évolution de populations d’organismes par variation et sélection. La conception du modèle est axée sur le réalisme de la structure du génome et des processus de mutations, permettant ainsi aux organismes simulés d'évoluer sur un fitness landscape comparable à celui d'organismes biologiques, avec des contraintes d’exploration similaires. Ces processus permettent l’émergence de comportements d’intérêt, pour l'étude de l'évolution de la structure des génomes, et pour produire des données de benchmarks pour tester les méthodes de phylogénie moléculaire. Les résultats obtenus jusqu’ici dans aevol concourent à suggérer que les éléments non-codants du génome sont soumis à sélection. Dans ce travail, nous avons utilisé Aevol pour mener une large campagne de simulation sur de très longues échelles de temps. Ces expériences nous permettent de montrer que la quantité de séquences non-codantes est finement régulée par deux forces contraires. La première est une force de sélection pour des génomes réduits car plus robustes face aux réarrangements chromosomiques. La seconde provient d'un biais mutationnel indirect favorisant les évènements de duplications neutres sur les délétions neutres menant à l'accumulation de non-codant par dérive génétique. Dans un deuxième temps, nous avons utilisé aevol comme outil de génération de benchmarks pour la phylogénie. En effet, Aevol ayant été développé indépendamment de la communauté de phylogénie moléculaire, il ne contient pas les a priori classiquement inclus dans les simulateurs de cette communauté, évitant ainsi la validation ad hoc des méthodes. Cependant, les séquences composant les génomes étant binaires dans Aevol, nous avons développé une version du simulateur utilisant des séquences génomiques quaternaire (ACTG). Cette nouvelle version a ensuite été utilisée pour générer des données de benchmarks afin de tester les reconstructions d'arbres phylogénétiques

 

Multi-scale characterization and simulation of fracture in nacre- like ceramics

Doctorant : Thomas DUMINY
Laboratoire INSA : MATEIS
Ecole doctorale : ED34 : Matériaux de Lyon

Cette thèse aborde la caractérisation et la simulation de la nacre d’alumine, un matériau constitué pour 98% de son volume de plaquettes d’alumine, et pour 2% de verre. Une particularité de ce matériau est sa microstructure dite en “briques et mortier”, dans laquelle les plaquettes sont alignées dans une direction induite par le procédé de fabrication. Le verre quant à lui est situé entre les plaquettes. L’influence de l’anisotropie de ce matériau sur son comportement à rupture n’est que peu étudié dans la littérature. De plus, les approches expérimentales de caractérisation de la rupture présentent des limitations pour caractériser ce matériau compose de deux constituants fragiles mais présentant différents mécanismes de renforcement de la ténacité pouvant entrainer, dans certains cas, une propagation stable de fissure. Par conséquent, un dialogue essai- calcul basé sur une implémentation par éléments finis du critère couplé est implémenté. Différentes orientations de la microstructure par rapport à la direction de sollicitation mécaniques sont étudiées, en se concentrant principalement sur l’amorce de fissures. Cette étude a permis une compréhension plus fine des mécanismes de renforcement de la ténacité dans les nacres d’alumine. De plus, des pistes pour optimiser la microstructure des nacres d’alumines sont définies et mises au regard de leurs contributions potentielles sur les mécanismes de renforcement à l’amorce de fissure.

 

Evolution beyond substitutions: Computational modeling of the impact of chromosomal rearrangements on evolutionary dynamics

Doctorant : Paul BANSE

Laboratoire INSA : LIRIS

Ecole doctorale : ED512 Informatique et mathématiques de Lyon

L'évolution telle qu'elle a été décrite par Darwin est un processus simple qui aboutit à une extrême complexité. En effet, étudier l'évolution biologique aujourd'hui correspond à étudier un phénomène allant d'échelles nanométriques à des échelles planétaires. En plus de cela, le processus est aussi affecté par des biais dus à la méthode d'écriture et de conservation de l'information. Finalement, il faut rappeler que chaque changement évolutif a pour origine une mutation, qui est un évènement aléatoire, et que la survie des mutants est, elle aussi, un processus aléatoire. Face à une telle complexité, il est nécessaire de réduire le champ d'étude pour espérer aboutir à une compréhension. Que ce soit avec des modèles expérimentaux, comme les boites de pétri, avec des modèles formels, comme les équations différentielles, ou avec des modèles computationnels, par exemple des simulations, toutes les simplifications sont bonnes à prendre pour décortiquer l'évolution. Parmi ces simplifications, il est courant de ne considérer que mutations. En particulier, ignorer les réarrangements chromosomiques, ces mutations qui réorganisent et réassemblent l'ADN et qui est souvent létales pour l'organisme qui les porte, est souvent considéré comme une simplification logique des modèles d'évolution. D'autant plus que jusqu'à récemment, les séquençages d'ADN réalisés n'étaient pas adaptés à les repérer. Dans cette thèse, nous allons montrer qu'en incluant les réarrangements, bien que les modèles obtenus soient plus complexes, il est possible d'en tirer une connaissance. Nous utiliserons des méthodes algorithmiques pour étudier le processus evolutif pour montrer que non seulement les réarrangements chromosomiques sont nécessaires pour soutenir l'évolution à long terme, puisqu’ils permettent une amélioration et de nouvelles opportunités d'évolution. Mais en plus, les comprendre permet d'expliquer simplement certaines dynamiques d’évolution par à-coups ainsi que la maintenance de segments non codants dans les génomes.

Détection, classification non-supervisée et investigation des mécanismes d'émission de multiplets acoustiques associés à la fissuration par fatigue

Doctorant : Théotime de LA SELLE

Laboratoire INSA : Mateis

Ecole doctorale :  ED34 : Matériaux de Lyon

Depuis la découverte des phénomènes de fatigue, la recherche scientifique n'a eu de cesse de chercher à comprendre et prévoir la rupture des matériaux engendrée par ces processus d'amorçage et de propagation de fissures sous l'effet de chargements variables. Ceux-ci ont été -et sont encore- la cause d'accidents et dysfonctionnements imprévus dans bon nombre de domaines techniques. Ce travail, combinant investigation du phénomène physique et son application en contrôle non destructif, s'intéresse aux groupes de signaux acoustiques que la fissuration par fatigue génère dans les métaux. Signatures d'une source unique, de tels ensembles de signaux similaires sont appelés "multiplets" acoustiques du nom du phénomène sismique analogue. Produits par des expérimentations de propagation de fissures de fatigue dans différents alliages, ces signaux émis en environnements bruités et enregistrés par un système d'émission acoustique sont détectés automatiquement par un algorithme dédié, regroupés en multiplets et étudiés pour en comprendre les mécanismes physiques dont ils sont issus. Par la synchronisation de leur détection avec la mesure par corrélation d'images numériques de grandeurs de mécanique de la rupture, l'investigation de ce phénomène d'émission acoustique montre que deux mécanismes sont à l'origine des multiplets : le frottement local répété des surfaces de rupture et la propagation incrémentale de la fissure dans le régime de Paris, probablement due à la réactivation de la plasticité en pointe de fissure à chaque cycle. La classification non-supervisée des multiplets permet en outre d'améliorer la détection initiale et de distinguer ces deux types uniquement à partir de l'information acoustique. Enfin, nous montrons que l'investigation de ce phénomène d'émission et la détection automatique de ces signaux de multiplets en milieu bruité peuvent être approfondie grâce à la fouille d'enregistrements acoustiques continus par apprentissage automatique.

 

Parameter-free analysis of digital surfaces with plane probing algorithms

Doctorante : Jui-Ting LU

Laboratoire INSA : LIRIS

Ecole doctorale : ED512 Informatique Et Mathématiques de Lyon

Les volumes 3D discrets proviennent de diverses sources, notamment la segmentation d'images, la simulation numérique, et les éditeurs basés sur les voxels. Notre intérêt réside dans le traitement de la géométrie des surfaces discrètes entourant ces volumes, permettant la reconnaissance de structures locales telles que des segments de plans discrets. Cependant, les surfaces discrètes ont une géométrie pauvre, composée de surfels carrés parallèles aux axes. Pour analyser ces surfaces, des algorithmes de type plane-probing adaptent le voisinage autour d'un point en développant itérativement une approximation de plan, souvent sous forme de triangles, en fonction des informations locales. Notre objectif est d'analyser ces surfaces discrètes en utilisant les méthodes de type plane-probing.

Nous introduisons les algorithmes de type plane-probing existants dans un cadre général. De plus, nous proposons une nouvelle variante de l'algorithme de type plane-probing qui prend en compte un voisinage plus étendu que ceux des algorithmes existants. Nous proposons également une implémentation efficace de cette nouvelle variante.

Une découverte importante est que la suite de tétraèdres formée à partir de deux triangles consécutifs crée une triangulation de Delaunay dans une partie du plan discret. Cette propriété est vérifiée pour la nouvelle variante introduite. En conséquence, le triangle final retourné par l'algorithme a trois angles aigus ou droits. Ce résultat nous permet de déterminer l'étendue du voisinage considéré au cours des calculs.

Enfin, nous proposons quelques ajustements afin d'adapter ce type d'algorithme à des surfaces discrètes, permettant ainsi de déduire un estimateur de vecteurs normaux. Nous nous concentrons notamment sur la convergence multigrille de cet estimateur, qui a été observée expérimentalement pour des positions bien identifiées sur des surfaces discrètes convexes.