L'objet de cette thèse est la diffusion numérique sécurisée réalisée à l'aide de courbes elliptiques. Le premier chapitre est consacré au calcul de points de l-torsion sur une courbe elliptique définie sur un corps fini de caractéristique p. Plus précisément, nous combinons un algorithme rapide de calcul d'isogénies dû à Bostan, Morain, Salvy et Schost avec l'approche p-adique suivie par Joux et Lercier. Nous obtenons ainsi le premier algorithme valide sans limitation sur l et p dont la complexité est similaire à celle de l'algorithme proposé par Bostan et al. Dans le deuxième chapitre, nous développons un modèle générique de groupes avec couplage qui généralise les modèles présentés auparavant dans la littérature. Nous fournissons un cadre général permettant de prouver dans ce modèle les hypothèses cryptographiques reliées au problème du logarithme discret sur des groupes avec couplage. Dans le troisième chapitre, nous proposons et étudions un nouveau schéma de diffusion pour des récepteurs sans état. À la différence des schémas s'appuyant sur des techniques de recouvrement par des sous-ensembles définis par des arbres binaires, notre schéma considère que l'ensemble des récepteurs destinataires d'un message est décrit par des attributs. La taille du chiffré est linéaire en le nombre d'attributs utilisés dans cette description, mais ne dépend pas du nombre de destinataires. Par rapport à d'autres schémas basés sur des attributs, le déchiffrement nécessite des capacités de calculs bien plus faibles. Le dernier chapitre est consacré à un schéma de chiffrement avec traçage de traîtres, c'est-à-dire conçu pour lutter contre le piratage dans la distribution sécurisée de contenus vers de nombreux destinataires. Nous proposons un nouveau schéma, utilisant des techniques de marquage de contenu, présentant un taux de chiffrement constant et une sécurité contre des décodeurs pirates puissants. Une particularité de ce schéma est la possibilité pour un destinataire de déchiffrer à la volée le contenu transmis.

Ce travail traite de la modélisation de structures composites intégrant des éléments amortissants passifs. Un modèle de plaque "équivalent simple couche" générique utilisant des fonctions de description du cisaillement transverse est présenté. Plusieurs méthodes d'obtention de ces fonctions sont décrites, permettant de retrouver des modèles classiques ou issus de la littérature. Deux nouvelles méthodes d'obtention de ces fonctions sont aussi présentées.Plusieurs méthodes de discrétisation adaptées au modèle générique sont étudiées. La méthode de Navier permet de tester la qualité de chaque modèle associé à un jeu de fonctions de description du cisaillement transverse. La méthode de Rayleigh-Ritz permet l'étude du comportement vibratoire d'une plaque rectangulaire munie d'un ou plusieurs patchs viscocontraints. Plusieurs éléments finis issus de la littérature, adaptés au modèle, sont aussi présentés.À l'aide de la méthode de Navier, une étude numérique du comportement statique et dynamique de plusieurs configurations de plaques permet la comparaison des différents modèles présentés. La méthode de Rayleigh-Ritz est utilisée pour étudier le comportement vibratoire d'une plaque munie d'un patch viscocontraint. Une comparaison des résultats obtenus avec le modèle présenté et ceux issus de calculs éléments finis tridimensionnels permet de valider notre modèle. Une étude énergétique de la plaque patchée permet d'illustrer le comportement du patch. Enfin une méthode inverse d'identification des matériaux viscoélastiques, basées sur une combinaison du modèle décrit et d'un algorithme génétique, montre une application du modèle. / This work is on the subject of modelization of structures treated with passive damping elements. A generic "equivalent single layer" plate model using transverse shear warping functions is presented. Several methods to obtain these functions are described, allowing the implementation of classical models and others issued from the litterature. Two new methods for obtaining these functions are also presented.Several discretization methods adapted to the generic plate model are studied. Navier's procedure allows the testing of the quality of each model associated with a set of transverse shear warping functions. Rayleigh-Ritz method allows the study of the vibrational behavior of a rectangular plate treated with one or several constrained damping patches. Several finite elements issued from the literature are also presented.Using Navier's procedure, a numerical study of the static and dynamic behavior of several plate configurations allows the comparison of the different plate models. Rayleigh-Ritz method is used to study the vibrational response of a plate treated with a constrained damping patch. A comparison of the results with those obtained with three dimensional finite element calculations permits the model validation. An energetic study of the patched plate allow us to understand the constrainted damping patch behavior. Finally, an inverse method, allowing the identification of the properties of viscoelastic materials, based on a combination of the presented model and a genetic algorithm, shows a possible application of the model.

Les systèmes LTI à contrôler sont soumis à des contraintes physiques et technologiques. Nous avons montré que celles-ci limitent la bande passante atteignable en boucle fermée. Il s'en suit qu'il suffit de modéliser et d'analyser ces systèmes dans une bande de fréquences limitée, et non pas sur toutes les fréquences, et que l'utilisation de correcteurs d'ordres réduits est tout à fait efficace. Dans cette thèse, nous nous intéressons à la synthèse de correcteurs d'ordres réduits fixés sous contraintes de robustesse, et à la réduction de modèles pour de tels systèmes. La méthode proposée consiste à déterminer un correcteur de structure donnée qui optimise le rejet de la perturbation de commande de type échelon au sens de la norme H2, en respectant des contraintes de robustesse, i.e. marge de module minimum, marge de phase minimum et amplification maximum du bruit de mesure sur la commande. En s'appuyant sur une base de modèles génériques d'ordres réduits, la méthode aboutit à une formulation d'optimisation mixte H2/H-infini semi-analytique de la fonction objectif et de contraintes d'inégalités en termes des gains inconnus du correcteur. Lorsque le système à contrôler est d'ordre élevé, nous proposons une méthode de réduction de modèle avec garantie de marges de robustesse en boucle fermée afin d'obtenir les paramètres des modèles génériques d'ordres réduits. Si le modèle du système à contrôler n'est pas disponible, nous présentons une méthode d'identification expérimentale par la méthode du relais sur la base de modèles génériques. Dans le but de rendre l'approche proposée plus accessible à un usage industriel, nos développements in fine ont été intégrés à des outils logiciels d'aide à la conception d'un système de commande.

Cette thèse présente un modèle générique d'écrans de filets pare-blocs sous sollicitations dynamiques de type impacts. Ces ouvrages pare-blocs sont décrits comme un assemblage abstrait de leurs principaux constituants. Le modèle développé permet ainsi de représenter la plupart des technologies existantes. Un code de calcul en C++ utilisant une Méthode aux Éléments Discrets est développé afin de réaliser les simulations numériques d'impacts. La description générique des ouvrages est mise en œuvre au niveau du code de calcul grâce à une structuration des données et une programmation orientée objet correspondantes. Le modèle générique est complété par deux modèles mécaniques de constituants. Dans un premier temps, un modèle mécanique de filet à anneaux à 4 contacts est développé. Ce modèle est calibré et validé par une campagne expérimentale réalisée sur des anneaux en acier utilisés dans les écrans de filets. Dans un second temps, un modèle général de câble glissant est développé pour modéliser le phénomène d'effet rideau. Ce modèle démontre de fortes capacités de description des phénomènes de glissement et de très bonnes performances de calcul. Enfin, des essais d'impact en vraie grandeur sur deux écrans de filets de technologies différentes sont utilisés afin de valider le modèle générique. Les simulations numériques de ces essais sur ouvrages réels mettent en évidence la pertinence du modèle développé. Les résultats numériques sont en très bon accord avec les expérimentations et le modèle présente des capacités prédictives pertinentes dans la perspective d'usage en ingénierie. Les déformations, les temps de chargement et l'intensité des efforts sont obtenus avec des erreurs inférieures à 10 %. Des simulations complexes d'impacts répétés sont réalisées pour la première fois et le comportement lors de l'impact et pendant la phase de retour élastique après impact est bien appréhendé par le modèle. / This thesis introduces a generic model of rockfall barriers under impact loading. The structures are described as an abstract assembly of their main components. The developed model thereby enables the consideration of most of the existing technologies. A C++ code based on the Discrete Element Method is developed in order to perform the numerical simulations of impacts. The generic description of the barriers is implemented at the code level using a corresponding data structure and object-oriented programming. The generic model is completed by the mechanical models of two components. First, a mechanical model of 4-contact interlaced ring nets is developed. An experimental campaign is carried out to calibrate and validate the model against steel wire rings used in rockfall restraining nets. Second, a general sliding cable model is developed to account for the curtain effect. This model demonstrates great capabilities in describing sliding phenomena and a low computational cost. Finally, full-scale impact tests performed on two barriers of different technologies are used to validate the generic model. Numerical simulations of the full-scale tests highlight the relevance of the developed model. Numerical results agree finely with experiments and the model exhibits compelling predictive capacities for engineering applications. Deformations, loading time and forces magnitude are all predicted within 10 % relative error. Complex and unprecedented simulations of repeated impacts are carried out and the model is able to reproduce the barrier behavior both during the impact phase and after springback.

Les convertisseurs d'électronique de puissance sont de plus en plus exploités notamment dans les applications nécessitant la variation de vitesse de machines. L'utilisation de composants plus performants et plus puissants couplés à de nouvelles structures multiniveaux autorise l'accès à de nouveaux champs applicatifs, ou des fonctionnements à plus haut rendement. Ces convertisseurs statiques sont capables de gérer, par un pilotage adapté, les transferts d'énergie entre différentes sources et différents récepteurs selon la famille de convertisseur utilisée. Au sein de l'interface de pilotage, un schéma particulier permet de générer des signaux de commande pour les interrupteurs, il s'agit de la modulation et peut être vue par deux approches différentes : L'approche intersective issue d'une comparaison modulante-horteuse (appelée en anglais carrier based PWM) et l'approche vectorielle où les signaux de pilotage des trois bras de ponts sont considérés comme un vecteur global unique (appelée Modulation Vectorielle SVM). Le but de la MLI est de générer une valeur moyenne de la tension la plus proche possible du signal modulé. La commande usuelle par comparaison modulante-porteuse dans le cas des architectures multiniveaux nécessite autant de porteuses triangulaires qu'il y a de cellules à commander au sein d'un bras. Plus généralement, la stratégie de modulation de chacune des topologies multiniveaux est choisie en se basant sur des critères à optimiser liés à la qualité les formes d'ondes produites ou obtenues, suite à la conversion. Le choix de la variable de commande à implémenter dans le schéma MLI fait appel à l'expertise de l'expérimentateur et se réfère peu au modèle mathématique initial qui peut-être établit pour caractériser le fonctionnement de l'architecture d'électronique de puissance. En ce qui concerne les stratégies vectorielles SVM, une absence de modèle compatible avec les modèles, basés sur une comparaison modulante porteuse, d'onduleurs est constatée. Les types d'onduleurs triphasés à deux ou à N niveaux de tension admettent un modèle sous forme d'équations d'un système linéaire compatible qui s'écrit sous la forme V = f(a) dans le cas d'une MLI sinusoïdale et V = f(1) dans le cas d'une SVM, avec V les tensions de phase, a les rapports cycliques et f les instants de commutation. Dans cette configuration basique il est constaté que la matrice liant ces tensions aux rapports cycliques (ou aux instants de commutation) n'admet pas d'inverse, ce qui revient à dire qu'il n'est pas possible, avec les théories usuelles des fonctions linéaires, de résoudre ce système afin d'exprimer les rapports cycliques (ou les instants de commutation) en fonction des tensions de références. C'est ce qui explique qu'aujourd'hui un bon nombre d'implémentations pratiques de modulation se fait, suite à une analyse expérimentale des conséquences d'un choix de stratégie sur les variables d'intérêt. / The power electronic converters are increasingly exploited in particular in applications requiring variable speed machines. The use of more effcient and more powerful components coupled with new multilevel structures widens the fields of application and allows high efficiency functioning. These converters are able to manage, with a suitable control, the energy transfer between different sources and different receivers depending on the used converter family. In the control interface, a particular pattern is used to generate control signais for the switches, it is the modulation. Generally, the modulation strategy takes two forms : a Modulation based on comparaison modulating - caiTier (Carrier based Pulse Width Modulation, (CPWM)) or a Vector Modulation (SVM). The purpose of the PWM is to generate a signal which has a mean value as nearest as possible to the desired sinusoidal signal. The usual control by PWM, in the case of multi-level architectures, requires as many triangular carriers as there are cells to be controlled within an arm. The modulation strategy selection for each multilevel topology is based on optimizing criterias related to the quality of the produced waveforms after the conversion. The choice of the variable to implement in the PWM scheme requires expertise of the experimenter and refers little to the initial mathematical model that can be established to characterize the operation of the power electronics architecture. Concerning the vector strategies SVM, the lack of a compatible model with PWM inverters is observed. The three-phase inverters with two or N voltage levels can be modeled in the form of equations of a compatible linear system that is written as V= f(a) in the case of a sinusoïdal PWM and V= f(1) in the case of SVM, with V represents phase voltages, ais a duty cycle and fthe switching instants. In this basic configuration, it is found that the matrix linking these voltages duty cycles (or switching times) adrnits no inverse, which means that it is not possible with the usuallinear functions theories to solve this system in order to express the duty ratios (or the instants of switching) as a function of the reference voltages. This is the reason that today a number of practical implementations of modulation is done after experimental analysis of the consequences of strategy choices on the variables of interest. This study proposes the development of a generic formulation for the modeling of voltage inverters and especially multilevel inverters. The development of generic models for the implementation of modulation strategies is illustrated. The extension of the average model to the three-phase systems is performed to the usual structures of N levels such as the floating capacity and H bridge inverters. The idea is to generalize the model to the multi-level architectures, whether by the sinusoidal PWM modulation expressing the alpha as an output variable, or by the SVM expressing tau. This thesis aims to define a modeling approach and mathematically express the set of solutions in order to generate modulation strategies for various architectures of inverters studied. This will be done using a tool for solving linear systems. This resolution is based on finding degrees of freedom, to be identified at first, then express them in a second step by establishing the link with the criteria to optimize for given architectures. Two examples of application have been implemented on conventional two levels of voltage inverters and the thtree levels flying capacitor voltage inverter.

L'industrie est aujourd'hui, comme elle a toujours été, une pierre angulaire de l'économie pour chaque pays développé. Avoir une base solide en entreprises industrielles est très important parce qu’elles poussent et stimulent tous les autres secteurs de l'économie, et offrent également une grande variété d'emplois qui apporte des bonnes conditions de vie dans de nombreux secteurs de la société. L’augmentation de la concurrence mondiale, l’évolution rapide du marché, la nécessité de créer des entreprises stables avec des usines rentables obligent la mise en oeuvre d’une démarche globale prenant en compte à la fois les aspects techniques, économiques, logistiques et sociétaux lors de la conception d’un système de production innovant. L’objectif de cette thèse est de contribuer au développement d’un concept innovant de Systèmes de Production Reconfigurables et Agiles (SPRA) permettant de s'adapter rapidement et efficacement aux exigences imposées du marché, des clients, de la technologie des procédés, de l’environnement et de la société afin que l’entreprise soit dynamique, compétitive et rentable. Dans ces travaux de thèse, la proposition d'un modèle générique et la caractérisation de ce nouveau type de système de production ont été décrits en utilisant le langage de modélisation des systèmes complexes (SysML : Systems Modeling Language). Ensuite, nous avons développé un processus de reconfiguration qui représente une démarche à suivre pour concevoir et implanter une nouvelle configuration. De plus, un pilotage opérationnel adapté au SPRA a été introduit. Enfin, quelques travaux développés au cours de cette thèse ont été partiellement déployés sur un démonstrateur industriel au sein de la plate-forme AIP-PRIMECA Auvergne. / Industry is, today as it has always been, a cornerstone of the economy for any developed country. Having a strong manufacturing base is very important because it impels and stimulates all the other sectors of the economy. It provides a wide variety of job, which bring higher standards of living to many sectors of society, and builds a strong middle class. Increasing global competition, rapid changes in the marketplace and the need to create stable companies with profitable plants require the implementation of a global approach, taking into account technical, economic, logistic and societal aspects in the design of an innovative manufacturing system. The aim of this dissertation is to contribute to the development of an innovative concept of Reconfigurable and Agile Manufacturing Systems (RAMS) to adapt quickly and effectively to the requirements imposed by markets, customers, technology processes, the environment and society, to ensure that the enterprise is dynamic, competitive and profitable. In this thesis work, the characterization and proposal of a generic model for this new type of manufacturing system have been described using the language of complex systems modeling (SysML: Systems Modeling Language). We have developed a reconfiguration process that represents the approach to follow in the design and implementation of a new configuration. In addition, the operational control of a RAMS has been introduced. Finally, some works developed in this thesis have been partially deployed on an industrial demonstrator within the AIP-PRIMECA Auvergne organisation.

Dans un contexte de personnalisation de masse, la configuration concourante du produit et de son processus d’obtention constituent un défi industriel important : de nombreuses options ou alternatives, de nombreux liens ou contraintes et un besoin d’optimisation des choix réalisés doivent être pris en compte. Ce problème est intitulé O-CPPC (Optimization of Concurrent Product and Process Configuration). Nous considérons ce problème comme un CSP (Constraints Satisfaction Problem) et l’optimisons avec des algorithmes évolutionnaires. Un état de l’art fait apparaître : i) que la plupart des travaux de recherche sont illustrés sur des exemples spécifiques à un cas industriel ou académique et peu représentatifs de la diversité existante ; ii) un besoin d’amélioration des performances d’optimisation afin de gagner en interactivité et faire face à des problèmes de taille plus conséquente. En réponse au premier point, ces travaux de thèse proposent les briques d’un modèle générique du problème O-CPPC. Ces briques permettent d’architecturer le produit et son processus d’obtention. Ce modèle générique est utilisé pour générer un benchmark réaliste pour évaluer les algorithmes d’optimisation. Ce benchmark est ensuite utilisé pour analyser la performance de l’approche évolutionnaire CFB-EA. L’une des forces de cette approche est de proposer rapidement un front de Pareto proche de l’optimum. Pour répondre au second point, une amélioration de cette méthode est proposée puis évaluée. L’idée est, à partir d’un premier front de Pareto approximatif déterminé très rapidement, de demander à l’utilisateur de choisir une zone d’intérêt et de restreindre la recherche de solutions uniquement sur cette zone. Cette amélioration entraine des gains de temps de calcul importants. / In a context of mass customization, the concurrent configuration of the product and its production process constitute an important industrial challenge: Numerous options or alternatives, numerous links or constraints and a need to optimize the choices made. This problem is called O-CPPC (Optimization of Concurrent Product and Process Configuration). We consider this problem as a CSP (Constraints Satisfaction Problem) and optimize it with evolutionary algorithms. A state of the art shows that: i) most studies are illustrated with examples specific to an industrial or academic case and not representative of the existing diversity; ii) a need to improve optimization performance in order to gain interactivity and face larger problems. In response to the first point, this thesis proposes a generic model of the O-CPPC problem. This generic model is used to generate a realistic benchmark for evaluating optimization algorithms. This benchmark is then used to analyze the performance of the CFB-EA evolutionary approach. One of the strengths of this approach is to quickly propose a Pareto front near the optimum. To answer the second point, an improvement of this method is proposed and evaluated. The idea is, from a first approximate Pareto front, to ask the user to choose an area of interest and to restrict the search for solutions only on this area. This improvement results in significant computing time savings.

Ce travail traite de la modélisation de structures composites intégrant des éléments amortissants passifs. Un modèle de plaque "équivalent simple couche" générique utilisant des fonctions de description du cisaillement transverse est présenté. Plusieurs méthodes d'obtention de ces fonctions sont décrites, permettant de retrouver des modèles classiques ou issus de la littérature. Deux nouvelles méthodes d'obtention de ces fonctions sont aussi présentées.Plusieurs méthodes de discrétisation adaptées au modèle générique sont étudiées. La méthode de Navier permet de tester la qualité de chaque modèle associé à un jeu de fonctions de description du cisaillement transverse. La méthode de Rayleigh-Ritz permet l'étude du comportement vibratoire d'une plaque rectangulaire munie d'un ou plusieurs patchs viscocontraints. Plusieurs éléments finis issus de la littérature, adaptés au modèle, sont aussi présentés.À l'aide de la méthode de Navier, une étude numérique du comportement statique et dynamique de plusieurs configurations de plaques permet la comparaison des différents modèles présentés. La méthode de Rayleigh-Ritz est utilisée pour étudier le comportement vibratoire d'une plaque munie d'un patch viscocontraint. Une comparaison des résultats obtenus avec le modèle présenté et ceux issus de calculs éléments finis tridimensionnels permet de valider notre modèle. Une étude énergétique de la plaque patchée permet d'illustrer le comportement du patch. Enfin une méthode inverse d'identification des matériaux viscoélastiques, basées sur une combinaison du modèle décrit et d'un algorithme génétique, montre une application du modèle.

Cette thèse se situe dans le cadre de la chirurgie de la prothèse totale de la hanche (PTH) assistée par ordinateur. Le but de ce travail est l'obtention d'un modèle 3D du bassin du patient à partir de données incomplètes. <br />Actuellement dans un processus conventionnel, la planification de la PTH se fait avec une radiographie tandis que les systèmes d'assistance chirurgicale de la PTH, utilisent un volume 3D du bassin construit à partir d'images médicales IRM, TDM ou Scanner. Néanmoins la reconstruction du volume 3D s'avère limitée par plusieurs facteurs : (i) le temps d'attente de rendez vous pour l'examen de ce type est trop long, (ii) les appareils sont peu accessibles pour les cliniques, (iii) la difficulté de la segmentation automatique pour l'obtention du volume 3D et (iv) l'impossibilité de l'exposition aux études IRM, Scanner ou TDM pour certains patients. <br />A partir de cette problématique, ce travail de thèse apporte deux contributions principales : <br />– une étude des principales caractéristiques du bassin et du fémur utiles pour la reconstruction d'un modèle 3D, <br />– une méthodologie pour l'obtention d'un volume 3D du bassin à partir d'une radiographie et quelques images échographiques. <br />La méthode proposée est composée de trois étapes : (i) obtention des données radiographiques et échographiques du bassin du patient, (ii) inférence de l'atlas du bassin du patient et (iii) obtention du modèle 3D par la déformation d'un maillage s'adaptant à l'atlas inféré. Dans ce travail un atlas est constitué par un ensemble de points caractéristiques du bassin. Pour résoudre les problèmes liés à la représentation d'un atlas générique, à l'inférence et au traitement de l'information des données radiographiques et échographiques nous avons fait appel aux techniques bayésiennes.