Les travaux de recherche effectués dans le cadre de cette thèse concernent essentiellement la conception en avant-projet de systèmes d'usinage dédiés à la production en grande série. Lors de cette phase de conception, l'objectif principal est de trouver, pour une pièce donnée, une configuration du système d'usinage qui satisfaisait, à coût minimal, les contraintes technologiques, techniques et économiques existantes. Plusieurs problèmes combinatoires posés par cet objectif sont étudiés dans la thèse. Plus concrètement, nous nous sommes intéressés aux problèmes d'optimisation de la configuration des trois types de systèmes d'usinage suivants : machines de transfert, machines à table mobile et machines à table circulaire pivotante. Pour chacun de ces systèmes, nous avons proposé, dans un premier temps, différents modèles mathématiques. Dans un deuxième temps, nous avons développé de nombreux outils d'optimisation dédiés à leur résolution, tels que des algorithmes de calcul des bornes inférieures, des procédures de pré-traitement, des algorithmes de résolution exacte et approchée, et des approches mixtes utilisant plusieurs de ces algorithmes. Ces travaux ont permis de concevoir un prototype de logiciel destiné à supporter les différentes étapes de conception en avant projet d'un système d'usinage. Ce logiciel a été testé avec succès sur plusieurs cas industriels.

Nous proposons une nouvelle structure de données distribuée et scalable appelée LH*RSP2P conçue pour les environnements pair à pair(P2P).Les données de l'application forment un fichier d'enregistrements identifiés par les clés primaires. Les enregistrements sont dans des cases mémoires sur des pairs, adressées par le hachage distribué (LH*). Des éclatements créent dynamiquement de nouvelles cases pour accommoder les insertions. L'accès par clé à un enregistrement comporte un seul renvoi au maximum. Le scan du fichier s'effectue au maximum en deux rounds. Ces résultats sont parmi les meilleurs à l'heure actuelle. Tout fichier LH*RSP2P est également protégé contre le Churn. Le calcul de parité protège toute indisponibilité jusqu'à k cases, où k ≥ 1 est un paramètre scalable. Un nouveau type de requêtes, qualifiées de sûres, protège également contre l'accès à toute case périmée. Nous prouvons les propriétés de notre SDDS formellement par une implémentation prototype et des expérimentations. LH*RSP2P apparaît utile aux applications Big Data, sur des RamClouds tout particulièrement

L'ensemble des travaux présentés ont été effectués dans le cadre d'une thèse CIFRE entre le laboratoire Quartz EA 7393 et l'entreprise SDI. Ce travail a pour but d'apporter des solutions aux problématiques rencontrées par les ingénieurs de SDI dans le métier des essais. Le cercle de l'étude relève du domaine de la mécatronique. Ainsi, nous nous sommes attachés dans un premier temps à l'étude de l'asservissement des vérins pneumatiques. En effet, lorsqu'il s'agit de commander ce type de vérins sous des perturbations inconnues les algorithmes de commande de SDI ne permettent pas dans ces cas là de satisfaire le cahier des charges. Pour améliorer leurs performances, une commande non linéaire robuste basée sur la théorie de l'homogénéité a été développée au laboratoire Quartz et tester en temps réel à l'aide de Matlab/Simulink et d'une carte dSPACE $1103$. Par la suite, cette commande a été intégrée avec succès sur le logiciel propriétaire X'SPARe. Cette solution a donné toute satisfaction par rapport aux performances et à la fiabilité de la production industrielle.Dans un deuxième temps, un système ABS de type Bosch $5.0$ a été testé en temps réel sur un banc d'essai HIL (Hardware-in-the-loop). Pour cette raison, un modèle du véhicule a été développé sous Matlab/Simulink avec un algorithme de sélection de profils de routes qui a été intégré avec succès dans le logiciel X'SPARe. Les essais effectués en temps réel ont permis de tester l'ABS sous différents profils de routes et de valider le modèle du véhicule sur la base des distances d'arrêt obtenues en se référant aux normes du standard international SAE. / The work presented in this thesis was conducted in the context of a CIFRE contract between Quartz (EA 7393) laboratory and SDI company. This work aimed to provide best solutions to the problems encountered by SDI engineers in craft testing in the field of mechatronics. We focused first on the feedback control synthesis for a pneumatic cylinder. In fact, the control algorithms already implemented within SDI pneumatic systems do not meet the desired specifications. Therefore, a robust non-linear control based on the homogeneity theory was developed at Quartz laboratory and tested in real time using Matlab/Simulink and the dSPACE 1103 card. This control algorithm was successfully integrated within the SDI software X'SPARe. This solution gave entire satisfaction regarding performance and reliability in an industrial context.Concerning the second contribution, a Bosch $5.0$ ABS type system is to be tested in real time on a HIL test bench. For this reason, a vehicle model involving an impulsive observer was developed in Matlab/Simulink including the possibility to specify/estimate the road profiles. This model was also successfully integrated under the software X'SPARe. The tests conducted in real time allowed to characterize the ABS system under various road profiles and to validate the vehicle model as well as the observer based on the stopping distances obtained by referring to the SAE organization standards.

Cette thèse porte sur l'interaction entre un plasma de bord de tokamak et une perturbation magnétique résonante (RMP), utilisée principalement pour le contrôle de phénomènes de relaxations quasi-périodiques, présents dans un régime de confinement amélioré. Il permet notamment d'atteindre des conditions favorables aux réactions de fusion nucléaire. Il a été observé que la présence de perturbations magnétiques modifie la topologie magnétique au bord ce qui engendre une diminution de l'amplitude des relaxations, voire leur suppression. De précédents travaux ont étudié l'effet de perturbations magnétiques sur un plasma relaxant via des simulations numériques. Le modèle utilisé était dans un cas électrostatique, c'est à dire que la topologie magnétique n'évoluait pas dans le temps. Dans cette thèse, l'étude est faite dans un modèle de plasma de bord prenant en compte les fluctuations magnétiques via le code numérique EMEDGE3D. Ce code a été modifié pour pouvoir imposer une perturbation magnétique résonante. Des vérifications par des modèles réduits ont été menées sur la pénétration d'une perturbation magnétique ainsi que sur l'effet d'une vitesse cisaillée sur la pénétration. Ensuite, un RMP a été imposé dans un plasma non turbulent avec et sans vitesse cisaillée. Un phénomène d'écrantage, empêchant la pénétration d'une perturbation, a été identifié analytiquement et observé dans les simulations. Cette étude a été réitérée dans un plasma turbulent, et aussi en présence d'une barrière (vitesse cisaillée). Le plasma turbulent engendre une amplification du RMP, tandis que la barrière est affectée par la présence de cellules de convection fixes générées par la perturbation. / In this thesis, the interaction between tokamak edge plasma and resonant magnetic perturbation (RMPs) is studied. It is mainly used to mitigate quasi-periodic relaxations in enhanced confinement regime. This regime allows to obtain good conditions for nuclear fusion. Introduction of a RMP in a tokamak plasma has been observed to modified the magnetic topology at the edge and decrease the relaxation amplitude up to complete suppression. Previous works studied the RMP effect on a plasma with relaxations, via numerical simulations. The model used for that consider the electrostatic approximation, where the magnetic topology does not evolve in time. In this thesis, the study is done with an edge plasma model taking into account magnetic fluctuations via the numerical code EMEDGE3D. This code has been modified to include the resonant magnetic perturbation. Comparison with reduced models has been carried out on the RMP penetration and the effect of sheared velocity on it. Then a RMP has been induced in a stable plasma, with or without imposed sheared rotation. A condition on the sheared velocity has been identified to avoid the screening effect, that would prevent the RMP penetration, analytically and in numerical simulations. This works has been repeated in a turbulent plasma in presence or not of transport barrier (sheared velocity). The turbulent plasma generate an effective RMP amplification, while the transport barrier is affected by locked convective cells due to the RMP.

Nous proposons une nouvelle structure de données distribuée et scalable appelée LH*RSP2P conçue pour les environnements pair à pair(P2P).Les données de l'application forment un fichier d’enregistrements identifiés par les clés primaires. Les enregistrements sont dans des cases mémoires sur des pairs, adressées par le hachage distribué (LH*). Des éclatements créent dynamiquement de nouvelles cases pour accommoder les insertions. L'accès par clé à un enregistrement comporte un seul renvoi au maximum. Le scan du fichier s’effectue au maximum en deux rounds. Ces résultats sont parmi les meilleurs à l'heure actuelle. Tout fichier LH*RSP2P est également protégé contre le Churn. Le calcul de parité protège toute indisponibilité jusqu’à k cases, où k ≥ 1 est un paramètre scalable. Un nouveau type de requêtes, qualifiées de sûres, protège également contre l’accès à toute case périmée. Nous prouvons les propriétés de notre SDDS formellement par une implémentation prototype et des expérimentations. LH*RSP2P apparaît utile aux applications Big Data, sur des RamClouds tout particulièrement / We propose a new scalable and distributed data structure termed LH*RSP2P designed for Peer-to-Peer environment (P2P). Application data forms a file of records identified by primary keys. Records are in buckets on peers, addressed by distributed linear hashing (LH*). Splits create new buckets dynamically, to accommodate inserts. Key access to a record uses at most one hop. Scan of the file proceeds in two rounds at most. These results are among best at present. An LH*RSP2P file is also protected against Churn. Parity calculation recovers from every unavailability of up to k≥1, k is a scalable parameter. A new type of queries, qualified as sure, protects also against access to any out-of-date bucket. We prove the properties of our SDDS formally, by a prototype implementation and experiments. LH*RSP2P appears useful for Big Data manipulations, over RamClouds especially.

No description available.

Cette étude porte sur le développement de modèles et de méthodes numériques pour prédire les propriétés électriques et mécaniques des nanocomposites polymères/graphènes.Dans une première partie, un modèle nonlinéaire de conduction électrique prenant en compte l’effet tunnel est introduit pour déterminer la conductivité effective de ces nanocomposites au travers d’une procédure d’homogénéisation numérique. Celle-ci, basée sur une formulation éléments finis a mis en évidence l’influence des paramètres microstructuraux sur la conductivité effective au travers d’une étude statistique.Ensuite, un modèle atomistique de l’interface polymère/graphène a été proposé pour valuer les propriétés de l'interface et de l'interphase. Les champs de contrainte et de déplacement ont été identifiés par une extension de la procédure d'Hardy-Murdoch à partir des simulations de mécanique moléculaire. À l'aide de ces champs, un modèle élastique continue avec des interfaces imparfaites a été identifié et comparé aux résultats des simulations de mécanique moléculaire. Finalement, le modèle atomistique a permis d’identifier un modèle de zone cohésive nonlinéaire pour modéliser la décohésion à l’interface polymère/graphène. Une procédure d’homogénéisation numérique par la méthode des éléments finis a été introduite pour estimer les propriétés mécaniques effectives dans le cadre des transformations finies. Les microstructures déformées ont été utilisées dans le modèle électrocinétique pour déterminer l’impact de la décohésion interfaciale sur la conductivité effective. / This work contributes to developing numerical methodologies for predicting the electrical and mechanical properties of graphene/polymer nanocomposites, which can provide a better view for the design of new materials.First, a nonlinear electrical conduction model taking into account the tunneling effect is introduced to determine the effective conductivity of the graphene/polymer nanocomposites through a numerical homogenization procedure. The influences of barrier height and microstructural parameters on the conductivity were demonstrated.Then, to characterize the properties of interphases and interfaces, we employed the Murdoch-Hardy procedure combined with the molecular dynamics method to study the mechanical properties of the graphene/polymer nanocomposites. The stiffness tensor components of the interphase, interface andnbulk polymer region are identified. Based on these fields, a continuous elastic model with imperfect interface has been identified and compared with the results of molecular dynamics simulations.Finally, the atomistic model was used to identify a nonlinear cohesive zone model to simulate the decohesion at the interface of polymer and graphene. A numerical homogenization procedure by finite element method was introduced to estimate the effective mechanical properties in the framework of the finite strains. The proposed mechanical modeling is finally extended to the finite strain problem to predict the evolution of percolation threshold under tension within the proposed electrical model.