Pour les revêtements obtenus par projection thermique, c'est-à-dire entrant dans la catégorie des revêtements épais, l’adhérence sur le support et les contraintes résiduelles sont les paramètres principaux déterminant leur performance en service. Bien que de nombreuses méthodes aient été essayées pour évaluer l'adhérence, il n'existe pas de test satisfaisant toutes les exigences tant techniques que théoriques nécessaires pour représenter valablement l’adhérence d’un revêtement. L’idée essentielle est de comparer plusieurs méthodes d’essais capables d’aboutir à une ténacité d’interface ou une énergie de fissuration interfaciale représentatives de l’adhérence de revêtements préparés dans des conditions d’élaboration les plus variées possibles. En dehors de l’essai normalisé EN582, l’indentation interfaciale, l’essai de cisaillement et l’indentation Rockwell-C associée à une modélisation par éléments finis ont été utilisés. Les contraintes résiduelles ont été estimées par l’essai de courbure, le perçage incrémental et par une méthode indirecte à partir des résultats de l’indentation interfaciale. Pour les revêtements métalliques, on observe une corrélation quasi-linéaire entre les ténacités d’interface obtenues par indentation interfaciale et par cisaillement. Ce résultat, très nouveau, est très important, car le fait que les deux essais donnent des résultats parfaitement cohérents et fiables, montre leur pertinence pour évaluer l'adhérence. Enfin, le traitement de recuit, en permettant l’établissement d’un nouvel état de contraintes à l’intérieur du revêtement et du substrat, a permis de quantifier l’influence des contraintes résiduelles sur l’adhérence. / For thermal sprayed coatings that are characterized by thick coatings, the adhesion to the substrate and residual stresses are the main parameters determining their performance in service. Although many methods have been tried to assess adhesion, there is no test, nowadays, that satisfies all requirements, both technical and theoretical, necessary to properly represent the adhesion of a coating on its substrate. The essential idea here is to compare several test methods capable of delivering an interface toughness or interfacial fracture energy representative of the adhesion of coatings. Various conditions of spraying as well as different materials and substrates were used. Apart from the EN582 standard test, indentation interfacial, in-plane shear and C-Rockwell indentation associated with a finite element modeling were used. The residual stresses were estimated using the curvature bending, the incremental hole drilling and the indirect method based on the results of the interfacial indentation. We show that the methods of interfacial indentation and in-plane tensile tests provide the best prospects in terms of consistency and reliability of the physical quantities obtained. For example, for metallic coatings, a quasi-linear correlation was found between the results of the interface indentation and the in-plane tensile tests. This result is very important since both tests provide fully consistent and reliable results, thus demonstrating their relevance to assess adhesion. Finally, the annealing process, allowing the establishment of a new state of residual stress within the coating and substrate, was used to analyze the influence of residual stresses on adhesion.

L'objectif de cette thèse était d'une part la caractérisation des muscles respiratoires lors d'un effort incrémental jusqu'à l'épuisement et d'autre part, l'étude des effets de l'entraînement et de désentraînement spécifique des muscles inspiratoires. La première étude a confirmé le développement de la fatigue musculaire respiratoire lors d'un exercice incrémental maximal. À travers l'enregistrement de l'oxygénation au niveau du 7ème espace intercostal, la deuxième étude a montré la réduction de la désoxygénation des intercostaux et de la fatigue des muscles inspiratoires avec un exercice inspiratoire antérieur. Ensuite, nous avons montré que 5 semaines d'entraînement spécifique des muscles inspiratoires (IMT) que ce soit à haute ou à basse intensité réduit la fatigue musculaire respiratoire induite par l'exercice incrémental maximal. Cette réduction corrobore la diminution parallèle observée dans l'utilisation de l'O2 au niveau des muscles intercostaux et donc de leurs demandes métaboliques en lien avec la diminution de leur fatigabilité (Études 3 et 4). Ceci pourrait refléter une augmentation de l'apport d'oxygène au niveau des muscles locomoteurs. Ces améliorations étaient plus importantes avec l'IMT à haute résistance. Néanmoins, ces phénomènes adaptatifs gagnés à l'IMT étaient perdus après 10 semaines de désentraînement (Étude 5). Toutefois, la réduction de la fréquence d'IMT à deux séances par semaine tout en préservant la même charge résistive était suffisante pour maintenir les adaptations déjà obtenues. Les travaux de cette thèse ont donc mis en évidence l'implication des muscles respiratoires dans la limitation de l'effort incrémental jusqu'à l'épuisement et ont contribué à mieux comprendre les mécanismes explicatifs de l'amélioration de la performance après l'IMT et en particulier la fatigue et l'oxygénation musculaire respiratoire / The aim of thesis was on one hand to characterize the respiratory muscles during an incremental effort until exhaustion and on the other hand, to study the effects of specific inspiratory muscle training and detraining. We first confirmed the development of respiratory muscle fatigue during a maximal incremental exercise. Through recording of oxygenation at the 7th intercostal space, the second study showed reduced intercostal muscle deoxygenation and inspiratory muscle fatigue with a prior inspiratory exercise. Then, we showed that 5 weeks of specific inspiratory muscle training (IMT), whether at high or low intensity, reduces respiratory muscle fatigue induced by maximal incremental exercise. This reduction corroborates the parallel decrease observed in the intercostal muscle oxygen utilization and therefore in their metabolic demands in relation to their fatigability decrease (Study 3 and 4). This may reflect an increase in the oxygen supply of the locomotor muscles. These improvements were greater with high-resistance IMT. However, the IMT induced adaptations were lost after 10 weeks of detraining (Study 5). Nevertheless, reducing training frequency by up to two sessions per week while preserving the same training load was sufficient to maintain the already achieved adaptations. These results highlighted the respiratory muscle implication in the limitation of incremental effort until exhaustion and have contributed to a better understanding of the mechanisms underlying the improvement of performance after IMT particularly respiratory muscle oxygenation and fatigue

L'apprentissage statistique propose un vaste ensemble de techniques capables de construire des modèles prédictifs à partir d'observations passées. Ces techniques ont montré leurs capacités à traiter des volumétries importantes de données sur des problèmes réels. Cependant, de nouvelles applications génèrent de plus en plus de données qui sont seulement visibles sous la forme d'un flux et doivent être traitées séquentiellement. Parmi ces applications on citera : la gestion de réseaux de télécommunications, la modélisation des utilisateurs au sein d'un réseau social, le web mining. L'un des défis techniques est de concevoir des algorithmes permettant l'apprentissage avec les nouvelles contraintes imposées par les flux de données. Nous proposons d'abord ce problème en proposant de nouvelles techniques de résumé de flux de données dans le cadre de l'apprentissage supervisé. Notre méthode est constituée de deux niveaux. Le premier niveau utilise des techniques incrémentales de résumé en-ligne pour les flux qui prennent en compte les ressources mémoire et processeur et possèdent des garanties en termes d'erreur. Le second niveau utilise les résumés de faible taille, issus du premier niveau, pour construire le résumé final à l'aide d'une méthode supervisée performante hors-ligne. Ces résumés constituent un prétraitement qui nous permet de proposer de nouvelles versions du classifieur bayésien naïf et des arbres de décision fonctionnant en-ligne sur flux de données. Les flux de données peuvent ne pas être stationnaires mais comporter des changements de concept. Nous proposons aussi une nouvelle technique pour détecter ces changements et mettre à jour nos classifieurs.

La prise de décision stratégique concernant des ressources de valeur devrait tenir compte du degré d'aversion au risque. D'ailleurs, de nombreux domaines d'application mettent le risque au cœur de la prise de décision. Toutefois, ce n'est pas le cas de l'apprentissage automatique. Ainsi, il semble essentiel de devoir fournir des indicateurs et des algorithmes dotant l'apprentissage automatique de la possibilité de prendre en considération le risque dans la prise de décision. En particulier, nous souhaiterions pouvoir estimer ce dernier sur de courtes séquences dépendantes générées à partir de la classe la plus générale possible de processus stochastiques en utilisant des outils théoriques d'inférence statistique et d'aversion au risque dans la prise de décision séquentielle. Cette thèse étudie ces deux problèmes en fournissant des méthodes algorithmiques prenant en considération le risque dans le cadre de la prise de décision en apprentissage automatique. Un algorithme avec des performances de pointe est proposé pour une estimation précise des statistiques de risque avec la classe la plus générale de processus ergodiques et stochastiques. De plus, la notion d'aversion au risque est introduite dans la prise de décision séquentielle (apprentissage en ligne) à la fois dans les jeux de bandits stochastiques et dans l'apprentissage séquentiel antagoniste. / Strategic decision-making over valuable resources should consider risk-averse objectives. Many practical areas of application consider risk as central to decision-making. However, machine learning does not. As a result, research should provide insights and algorithms that endow machine learning with the ability to consider decision-theoretic risk. In particular, in estimating decision-theoretic risk on short dependent sequences generated from the most general possible class of processes for statistical inference and through decision-theoretic risk objectives in sequential decision-making. This thesis studies these two problems to provide principled algorithmic methods for considering decision-theoretic risk in machine learning. An algorithm with state-of-the-art performance is introduced for accurate estimation of risk statistics on the most general class of stationary--ergodic processes and risk-averse objectives are introduced in sequential decision-making (online learning) in both the stochastic multi-arm bandit setting and the adversarial full-information setting.

Le formage incrémental consiste à utiliser un poinçon de forme simple dont le mouvement va progressivement mettre en forme une tôle. Il ouvre de nouvelles perspectives quant au potentiel des procédés de mise en forme des tôles métalliques. La mise en oeuvre du formage incrémental par des systèmes mécaniques ayant des capacités dynamiques accrues et des volumes accessibles importants tels que les robots manipulateurs sériels ou parallèles est un moyen efficace d’améliorer, d’une part la productivité mais aussi la complexité des pièces formées. L’objectif scientifique de ce travail est de contribuer au développement d’une approche globale du problème, en se plaçant à la fois à l’échelle « mésoscopique » du procédé et à l’échelle « macroscopique » du système de fabrication. C’est dans ce contexte qu’est proposée une approche couplée matériau/structure combinant d’une part l’analyse éléments finis du procédé et d’autre part un modèle élastique de la structure du robot.Tout d’abord, les efforts requis au niveau de l’outil pour former la pièce sont calculés sous l’hypothèse d’une structure de machine parfaitement rigide. Afin de minimiser l’erreur entre la prédiction et la mesure des efforts de formage, trois facteurs identifiés comme influents sur le niveau d’effort sont étudiés. Il est alors démontré, qu’à partir d’un choix de paramètres adapté, il est possible de s’affranchir de la mesure des efforts de formage, ce qui n’est actuellement pas le cas dans la littérature.Les efforts prédits sont ensuite définis comme une donnée d’entrée du modèle élastique de la structure robot afin de calculer les erreurs de poses du centre outil. Pour prendre en compte le comportement élastique de la structure, la modélisation des structures robotisées par des éléments de type poutre est retenue puis appliquée à un robot industriel Fanuc S420if. Elle permet de prédire ce comportement avec une précision maximale de ± 0,35 mm, quelque soit le chargement en bout d’outil supportable par le robot.Afin de valider l’approche, deux pièces sont formées par le robot : un cône tronqué et une pyramide vrillée. La géométrie de ces deux pièces permet de valider à la fois les hypothèses de la simulation ainsi que l’approche globale. Ces deux expérimentations entraînent une amélioration de 80 % de l’exactitude de pose du robot, rapprochant ainsi celui-ci des performances d’une machine à commande numérique à structure cartésienne.Finalement, dans la dernière partie, une boucle d’optimisation permet de prendre en compte, dès le calcul de la trajectoire, l’effet du retour élastique de la tôle avant le débridage de la pièce afin de minimiser l’écart entre le profil nominal et le profil formé. L’application de l’approche couplée à cette trajectoire se traduit par une précision géométrique de ± 0,15 mm du profil formé avant desserrage de la tôle, ouvrant ainsi des perspectives intéressantes quant à l’application de la méthodologie. / The incremental forming is an innovative process which consists in forming a sheet by the progressive movements of a punch. A solution to improve the productivity of the process and the complexity of the parts shapes is to use robots (serial or parallel). The scientific aim of this work is to define a global approach of the problem by studying the mesoscopic scale of the process and the macroscopic scale of the machine. In this context, a process/machine coupling approach which combines a Finite Element Analysis (FEA) of the process and an elastic modeling of the robot structure is presented.First, the punch forces necessary to form the part are computed assuming a machine structure perfectly stiff. To minimize the error between the predicted forming forces and the measured ones, the weight of three numerical and material parameters of the FEA is investigated. This study shows that an appropriate choice of parameters avoids the force measurement step, unlike the available approaches in the literature.Then, the predicted forces are defined as input data of the elastic model of the robot structure to compute the Tool Center Point (TCP) pose errors. To consider the behavior of the elastic structure, the modeling of robotized structures by beam elements is chosen and applied to an industrial robot Fanuc S420if. The identified elastic model permits to predict the TCP displacements induced by the elastic behavior of the robot structure over the workspace whatever the load applied on the tool. The prediction maximum error of ±0.35 mm remains compatible with the process requirements.To validate the approach, two parts are formed by the robot: a truncated cone and a twisted pyramid. The geometry of these two parts confirms the hypothesis of the simulation and the global approach. These two tests give very interesting results since an improvement of 80 % of the TCP poseaccuracy is identified.Finally, an optimization loop based on a parametric trajectory and on a FEA anticipates the springback effects before the unclamping of the sheet, and then minimizes the error between the nominal shape and the formed one. The application of the process/machine coupling approach for this trajectory leads to a geometric accuracy of the part before unclamping of ± 0.15 mm. These results open interesting perspectives for the methodology application.

L'allègement de la masse des structures est au cœur des développements des industries du transport. Pour y parvenir, les pièces intègrent de plus en plus de fonctions, leurs géométries deviennent alors très complexes. Pour réaliser ces produits, les industriels ont recours à des stratégies d'optimisation utilisant des méta-modèles numériques prenant en compte l'enchaînement des étapes de conception et de fabrication des pièces. Cependant les temps de simulation sont encore très élevés. Ces travaux se sont intéressés à l'amélioration des protocoles de simulation numérique de procédés de mise en forme d'emboutis profonds. Dans un premier temps, ils ont permis de développer des méthodes numériques pour diminuer les temps de simulation du procédé de formage incrémental. Un schéma de résolution en dynamique explicite est utilisé avec une vitesse de l'outil adaptée. Cette méthode à permis de réduire significativement le temps CPU, tout en conservant une bonne prédiction des géométries et des épaisseurs. Les travaux se sont également intéressés à l'utilisation de la théorie de la déformation incrémentale pour diminuer le temps de résolution du calcul élasto-plastique. De bons résultats sont observés mais le gain de temps est faible (4.5%). Une approche simplifiée du contact a également été développée. De bons résultats sont obtenus avec un gain de temps d'un facteur 2.13 en comparaison de celui obtenu avec une vitesse adaptée. Dans un deuxième temps, une étude sur la réalisation d'emboutis profonds par formage superplastique a été menée de manière à pouvoir à terme enchaîner les deux procédés. Elle a porté sur la détermination d'une loi de pression optimale. Deux algorithmes ont été développés en fonction du protocole pour entrer la loi de pression dans les machines industrielles. Les algorithmes développés permettent un bon contrôle du domaine superplastique. Un temps de calcul réduit d'un facteur 3 est observé, en comparaison avec des méthodes issues de la littérature.

Cette thèse aborde les problématiques liées à la construction de Topic Maps et à leur utilisation pour la recherche d'information dans le cadre défini par le Web sémantique (WS). Le WS a pour objectif de structurer les informations disponibles sur le Web. Pour cela, les ressources doivent être sémantiquement étiquetées par des métadonnées afin de permettre d'optimiser l'accès à ces ressources. Ces métadonnées sont actuellement spécifiées à l'aide des deux standards qui utilisent le langage XML : RDF et les Topic Maps. Un contenu à organiser étant très souvent volumineux et sujet à enrichissement perpétuel, il est pratiquement impossible d'envisager une création et gestion d'une Topic Map, le décrivant, de façon manuelle. Plusieurs travaux de recherche ont concerné la construction de Topic Maps à partir de documents textuels [Ellouze et al. 2008a]. Cependant, aucune d'elles ne permet de traiter un contenu multilingue. De plus, bien que les Topic Maps soient, par définition, orientées utilisation (recherche d'information), peu d'entre elles prennent en compte les requêtes des utilisateurs.Dans le cadre de cette thèse, nous avons donc conçu une approche que nous avons nommée ACTOM pour " Approche de Construction d'une TOpic Map Multilingue ". Cette dernière sert à organiser un contenu multilingue composé de documents textuels. Elle a pour avantage de faciliter la recherche d'information dans ce contenu. Notre approche est incrémentale et évolutive, elle est basée sur un processus automatisé, qui prend en compte des documents multilingues et l'évolution de la Topic Map selon le changement du contenu en entrée et l'usage de la Topic Map. Elle prend comme entrée un référentiel de documents que nous construisons suite à la segmentation thématique et à l'indexation sémantique de ces documents et un thésaurus du domaine pour l'ajout de liens ontologiques. Pour enrichir la Topic Map, nous nous basons sur deux ontologies générales et nous explorons toutes les questions potentielles relatives aux documents sources. Dans ACTOM, en plus des liens d'occurrences reliant un Topic à ses ressources, nous catégorisons les liens en deux catégories: (a) les liens ontologiques et (b) les liens d'usage. Nous proposons également d'étendre le modèle des Topic Maps défini par l'ISO en rajoutant aux caractéristiques d'un Topic des méta-propriétés servant à mesurer la pertinence des Topics plus précisément pour l'évaluation de la qualité et l'élagage dynamique de la Topic Map.

Nous étudions les limites actuelles des systèmes de traitement des alarmes générées par les systèmes de détection d'intrusion (NIDS) dans les réseaux et proposons une nouvelle approche automatique qui améliore le mécanisme de filtrage. Nos principales contributions se résument ainsi : 1. Proposition d'une architecture de filtrage : nous avons proposé une architecture de filtrage des alarmes qui analyse les journaux d'alertes d'un NIDS et essaye de filtrer les faux positifs. 2. Etude de l'évolutivité de cette architecture : dans cette phase, nous étudions l'aspect dynamique de l'architecture proposée. L'exploitation de l'architecture en temps réel pose plusieurs défis sur l'adaptation de cette architecture par rapport aux changements qui peuvent arriver au cours du temps. Nous avons distingué trois problème à résoudre : (1) adaptation de l'architecture vis à vis de l'évolution du réseau surveillé : intégration des nouvelles machines, des nouveaux routeurs, etc., (2) adaptation de l'architecture vis à vis de l'apparition de nouveaux types d'attaques et (3) adaptation de l'architecture avec l'apparition ou le glissement des comportements types. Pour résoudre ces problèmes, nous utilisons la notion de rejet en distance proposée en reconnaissance des formes et les tests d'hypothèses statistiques . Toutes nos propositions sont implémentées et ont donné lieu à des expérimentations que nous décrivons tout au long du document. Ces expériences utilisent des alarmes générées par SNORT, un système de détection des intrusions basé-réseau qui surveille le réseau du Rectorat de Rouen et qui est déployé dans un environnement opérationnel. Ce point est important pour la validation de notre architecture puisque elle utilise des alarmes issues d'un environnement réel plutôt qu'un environnement simulé ou de laboratoires qui peuvent avoir des limitations significatives.

Le formage incrémental consiste à utiliser un poinçon de forme simple dont le mouvement va progressivement mettre en forme une tôle. Il ouvre de nouvelles perspectives quant au potentiel des procédés de mise en forme des tôles métalliques. La mise en oeuvre du formage incrémental par des systèmes mécaniques ayant des capacités dynamiques accrues et des volumes accessibles importants tels que les robots manipulateurs sériels ou parallèles est un moyen efficace d'améliorer, d'une part la productivité mais aussi la complexité des pièces formées. L'objectif scientifique de ce travail est de contribuer au développement d'une approche globale du problème, en se plaçant à la fois à l'échelle " mésoscopique " du procédé et à l'échelle " macroscopique " du système de fabrication. C'est dans ce contexte qu'est proposée une approche couplée matériau/structure combinant d'une part l'analyse éléments finis du procédé et d'autre part un modèle élastique de la structure du robot.Tout d'abord, les efforts requis au niveau de l'outil pour former la pièce sont calculés sous l'hypothèse d'une structure de machine parfaitement rigide. Afin de minimiser l'erreur entre la prédiction et la mesure des efforts de formage, trois facteurs identifiés comme influents sur le niveau d'effort sont étudiés. Il est alors démontré, qu'à partir d'un choix de paramètres adapté, il est possible de s'affranchir de la mesure des efforts de formage, ce qui n'est actuellement pas le cas dans la littérature.Les efforts prédits sont ensuite définis comme une donnée d'entrée du modèle élastique de la structure robot afin de calculer les erreurs de poses du centre outil. Pour prendre en compte le comportement élastique de la structure, la modélisation des structures robotisées par des éléments de type poutre est retenue puis appliquée à un robot industriel Fanuc S420if. Elle permet de prédire ce comportement avec une précision maximale de ± 0,35 mm, quelque soit le chargement en bout d'outil supportable par le robot.Afin de valider l'approche, deux pièces sont formées par le robot : un cône tronqué et une pyramide vrillée. La géométrie de ces deux pièces permet de valider à la fois les hypothèses de la simulation ainsi que l'approche globale. Ces deux expérimentations entraînent une amélioration de 80 % de l'exactitude de pose du robot, rapprochant ainsi celui-ci des performances d'une machine à commande numérique à structure cartésienne.Finalement, dans la dernière partie, une boucle d'optimisation permet de prendre en compte, dès le calcul de la trajectoire, l'effet du retour élastique de la tôle avant le débridage de la pièce afin de minimiser l'écart entre le profil nominal et le profil formé. L'application de l'approche couplée à cette trajectoire se traduit par une précision géométrique de ± 0,15 mm du profil formé avant desserrage de la tôle, ouvrant ainsi des perspectives intéressantes quant à l'application de la méthodologie.

Nous proposons dans cette thèse une architecture pour le raisonnement incrémental sur des flux de triples. Afin de passer à l’échelle, elle est conçue sous la forme de modules indépendants, permettant l’exécution parallèle du raisonnement. Plusieurs instances d’une même règle peuvent être exécutées simultanément afin d’améliorer les performances. Nous avons également concentré nos efforts pour limiter la dispersion des doublons dans le système, problème récurrent du raisonnement. Pour cela, un triplestore partagé permet à chaque module de filtrer au plus tôt les doublons. La structure de notre architecture, organisée en modules indépendants par lesquels transitent les triples, lui permet de recevoir en entrée des flux de triples. Enfin, notre architecture est indépendante du fragment utilisé. Nous présentons trois modes d’inférence pour notre architecture. Le premier consiste à inférer l’ensemble des connaissances implicites le plus rapidement possible. Le second priorise l'inférence de certaines connaissances prédéterminées. Le troisième vise à maximiser la quantité de triples inférés par seconde. Nous avons implémenté l’architecture présentée à travers Slider, un raisonneur incrémental prenant nativement en charge les fragments ρdf et RDFS. Il peut être facilement étendu à des fragments plus complexes. Nos expérimentations ont montré une amélioration des performances de plus de 65% par rapport au raisonneur OWLIM-SE. Nous avons également mené des tests montrant que l’utilisation du raisonnement incrémental avec Slider apporte un avantage systématique aux performances par rapport au raisonnement par lots, quels que soient l’ontologie utilisée et le fragment appliqué / In this thesis, we propose an architecture for incremental reasoning on triple streams. To ensure scalability, it is composed of independent modules; thus allowing parallel reasoning. That is, several instances of a same rule can be simultaneously executed to enhance performance. We also focused our efforts to limit the duplicates spreading in the system, a recurrent issue for reasoning. To achieve this, we design a shared triplestore which allows each module to filter duplicates as soon as possible. The triples passes through the different independent modules of the architecture allows the reasoner to receive triple streams as input. Finally, our architecture is of agnostic nature regarding the fragment used for the inference. We also present three inference modes for our architecture: the first one infers all the implicit knowledge as fast as possible; the second mode should be used when the priority has to be defined for the inference of a specific type of knowledge; the third one proposes to maximize the amount of triples inferred per second. We implemented this architecture through Slider, an incremental reasoning natively supporting the fragments ρdf and RDFS: It can easily be extended to more complex fragments. Our experimentations show a 65% improvement over the reasoner OWLIM-SE. However, the recently published reasoner RDFox exhibits better performance, although this one does not provide prioritized inference. We also conducted experimentations showing that the use of incremental reasoning over batch-based reasoning offers systematically better performance for all the ontologies and fragments used