La thèse réalisée dans le cadre d'une coopération entre l'Université de Savoie et une grande manufacture horlogère traite du problème de la maîtrise de la qualité visuelle des produits manufacturés de haute qualité. Nous faisons l'hypothèse que la maîtrise de cette qualité passera encore pour de nombreuses années par un contrôle visuel des produits. Le travail présenté dans cette thèse propose ainsi les bases d'un modèle métrologique sensoriel formalisant le contrôle visuel. Ce travail repose sur les démarches d'analyse sensorielle. Le premier chapitre présente une étude bibliographique des différents éléments relatifs au contrôle qualité en général, et au contrôle visuel en particulier. Le chapitre 2 décrit la démarche générique que nous proposons pour percevoir, puis évaluer une anomalie. Cette démarche distingue de façon formelle la perception d'une anomalie de son évaluation. Nous montrons que cette distinction apporte une bien meilleure compréhension des sources de variabilité dans le contrôle visuel. En partant des démarches largement utilisées dans le cadre de l'analyse sensorielle, notre démarche formalise donc ces deux étapes afin de réduire la variabilité dans la décision de conformité lors d'un contrôle visuel. Le chapitre 3 propose une structuration d'une démarche métrologique ayant pour objectif de garantir, la justesse et la faible variabilité dans le temps et dans l'espace. Notre proposition, basée sur les concepts d'une métrologie dimensionnelle, intègre les spécificités liées à toute mesure sensorielle réalisée par l'homme, et en particulier la part de subjectivité importante qui peut être associée à cette mesure. Partant de l'évaluation d'une seule anomalie, nous décrivons dans le chapitre 4 une démarche permettant de décider de l'acceptation ou du refus d'un produit combinant différentes anomalies sur différentes surfaces. Notre approche, fondée sur la fonction perte de Taguchi, permet de généraliser au contrôle visuel les approches de tolérancement largement utilisées en qualité géométrique des produits. Le chapitre 5 illustre l'application de ces concepts au sein de l'entreprise avec laquelle nous avons collaboré. Il propose également une synthèse de gains que peut apporter une telle démarche dans une entreprise.

Ce travail de recherche s'inscrit dans le cadre d'une collaboration entre le laboratoire SYMME et des kinésithérapeutes experts des Réseaux Bronchiolite. Il a pour objectif la conception d'un simulateur physique de torse de nourrisson pour l'apprentissage d'un geste de kinésithérapie respiratoire. En réponse à la demande des praticiens, il s'agit de proposer un outil à visée didactique permettant au novice d'évaluer sa pratique par rapport à des gestes référents. La pratique professionnelle de kinésithérapeutes experts en situation réelle a donc été observée, pour cerner l'environnement et les contraintes liées au patient, et définir les besoins en terme de mesure. Afin de caractériser le geste, un système de mesure spécifique, non coercitif, a été conçu et réalisé intégrant des capteurs de déplacement et de pression adaptés, sur des gants. Un soin particulier a été apporté à la mise en oeuvre de la chaîne d'acquisition et à l'étalonnage de cet outil.<br />Des campagnes de mesures en situation réelle de soin en cabinet de kinésithérapie ont été menées. L'exploitation des résultats a montré une certaine répétabilité du geste expert, permettant la construction d'une base de données. Des paramètres, considérés comme pertinents en vue de la conception du simulateur, ont été définis et analysés. En étroite collaboration avec les kinésithérapeutes, une démarche mécatronique de conception incluant la dimension didactique a été construite. Le simulateur consiste en un torse physique anthropomorphe de nourrisson, dont les fonctionnalités souhaitées seront réalisées conjointement par la structure mécanique et son instrumentation. Un système dit " passif " privilégiant une approche matériaux/structure a été préféré. Dans une démarche essai-erreur, plusieurs simulations par éléments finis ont été effectuées, en considérant les conditions aux limites et les valeurs de déplacements obtenues pendant les campagnes de mesure, pour dimensionner la structure et choisir les matériaux à utiliser.

Ce travail de thèse s'inscrit dans le contexte de la sûreté nucléaire, et plus précisément, de l'intégrité des circuits secondaires des Réacteurs à eau pressurisée (REP). L'étude porte donc sur le comportement à rupture de structures minces soudées dans le domaine haut de la transition fragile/ductile. Elle a pour objectif de développer le modèle en contrainte seuil initialement développé par Chapuliot, qui permet de prédire la non-rupture par clivage de cette structure soudée. Le modèle est identifié pour la soudure de l'acier au C-Mn de construction nucléaire, en s'intéressant plus particulièrement à la limite supérieure du domaine de transition.Une contrainte seuil, en-dessous de laquelle le clivage ne peut avoir lieu, est identifiée à partir d'essais de traction à basses températures sur éprouvettes axisymétriques entaillées prélevées dans le joint soudé. Cette contrainte seuil permet de définir le volume seuil, ou volume dans lequel les contraintes principales maximales dépassent la contrainte seuil au cours de l'essai.L'analyse au MEB des faciès des éprouvettes rompues montre que la zone fondue brute de solidification dans la ZAT est la zone la plus susceptible de cliver. La relation entre la probabilité de rupture fragile et le volume seuil dans cette zone est établie via une fonction de sensibilité, grâce à des essais sur éprouvettes CT et à leur simulation multi-matériaux. Le modèle ainsi identifié est testé pour prévoir la non rupture par clivage d'éprouvettes SENT prélevées dans le joint soudé et sollicitées en traction. Les résultats obtenus sont encourageants relativement à la transférabilité du modèle à la structure réelle

Nous proposons une méthodologie de conception pour les systèmes de commande tolérants aux fautes en partant d'un modèle de base exhaustif pour le système complexe à superviser. En pratique, la modélisation exhaustive est réalisée grâce à un automate hybride enrichi par des paramètres quantifiant les défaillances possibles. Ceci permet de modéliser les défaillances partielles. Dans la phase hors ligne, ce système complexe est transformé en un système discret abstrait et exploitable selon des techniques dédiées. Un superviseur est alors construit selon les objectifs de fonctionnement.Lors du fonctionnement du système, l'occurrence d'une défaillance se traduit par l'invalidation de plusieurs comportements dans le modèle abstrait et l'introduction d'incertitudes. Par la suite, les modules de diagnostic et d'identification (qui ne rentrent pas dans l'objet de notre thèse) réduisent de façon progressive le modèle hybride au cours du temps. Afin de pouvoir mettre à jour le modèle discret abstrait, on a développé des algorithmes de calcul d'atteignabilité, de vérification et de génération de régions stabilisées.Pour pouvoir superviser un tel système, l'utilisation de méthodologies d'abstraction est nécessaire afin de transformer le modèle bas niveau exhaustif en un modèle discret approprié. Nous réalisons cette abstraction en proposant des algorithmes qui tiennent compte du contexte d'utilisation (objectifs, contraintes...). Lorsqu'une défaillance est détectée, la reconfiguration est déclenchée en essayant, au fur et à mesure de l'enrichissement du modèle abstrait, de réduire le fonctionnement du système défaillant dans un des schémas prédéfinis

Cette thèse a été réalisée dans le cadre du projet " Gestion et Optimisation de la Chaîne Documentaire ", projet labellisé par le Pôle de compétitivité des Industries du Commerce. Le projet a pour but de concevoir et de développer un nouveau workflow et un outil d'aide à la décision. Ce système doit être capable de gérer et d'optimiser le flux complet dématérialisé de contrats reçus à COFIDIS.Nous présentons d'abord le framework retenu dans le cadre du projet pour modéliser et implémenter le workflow. En phase de conception BPMN a été choisi. Pour la partie développement, l'utilisation de BPEL a été préconisée pour implémenter et exécuter l'application finale (services web).Cependant la flexibilité offerte par BPMN peut conduire à des propriétés indésirables du processus telles que blocage et inaccessibilité. De plus, BPMN a été conçu pour fournir des modèles Orientés Process. Les données ou les ressources y sont donc peu représentées. En conséquence, l'analyse de performance sur un modèle BPMN est quasi inexistante.Afin de surmonter ces problèmes nous proposons d'insérer dans le framework deux nouvelles phases. Ces deux phases sont appliquées au modèle BPMN. La première est une phase de vérification et de validation et la deuxième une phase d'optimisation. Ces deux phases sont réalisées en transformant le modèle BPMN vers un langage formel. Notre choix dans ce travail a été d'utiliser les réseaux de Petri. Ce qui nous a permis de vérifier et de valider de bonnes propriétés du process. Quant à l'optimisation, nous avons défini une nouvelle variante du problème d'affectation (bin packing problem) et proposé une résolution à intégrer dans le processus d'aide à la décision

L'objectif principal de cette thèse est de développer et d'optimiser les outils d'acquisition de la technique de Sismique réflexion haute résolution (SHR) afin d'améliorer ses performances pour la détection des cavités souterraines. Il est communément admis que l'imagerie SHR est d'autant plus complexe que la profondeur de la cible est petite. Les travaux menés dans le cadre de cette thèse devraient remédier à certains problèmes les plus critiques identifiés lors des applications de la SHR.L'utilisation des sources vibratoires présente des avantages indéniables (non destructivité, contrôle du signal émis...) par rapport aux sources " classiques " (i.e. impulsionnelles, destructives) mais leur application optimale nécessite un choix correct du signal émis.Ainsi, les travaux de recherche réalisés ont permis de (1) développer un système complet de pilotage par ordinateur d'une mini-source vibratoire destinée à l'imagerie SHR, (2) développer une méthode de génération de signaux émis. En établissant un lien entre le signal d'entrée et l'image sismique obtenue, cette procédure offre la possibilité à l'utilisateur de choisir le signal émis en fonction des conditions de terrain, et des objectifs des mesures, (3) tester le fonctionnement du système développé avec plusieurs mini-vibrateurs.Le système développé ainsi est testé et validé dans les tests à petite échelle. Ensuite, il a été utilisé dans les conditions réelles avec l'objectif " détection des cavités " dans le contexte salin (anciennes mines de sel en Lorraine, profondeur : 160 m - 180 m) et les marnières de Haute Normandie (anciennes carrières de craie, profondeur : 15 m - 45 m)

Cette thèse s'inscrit dans le cadre de la conception de systèmes mécatroniques et traite plus spécifiquement du problème de leur dimensionnement. Dans ce sens, elle s'intéresse aux méthodes permettant de sélectionner les composants constituant leurs chaînes d'actionnement afin de satisfaire au mieux un cahier des charges donné. Puisque les lois concurrentielles actuelles demandent un renouvellement fréquent des produits malgré une complexité toujours croissante, les démarches adoptées pour traiter ce type de problème se doivent d'être les moins coûteuses en termes financiers mais aussi en termes de temps d'étude. Pour diminuer le nombre d'itérations du processus de conception, une solution possible est de reformuler le problème sous la forme d'un problème inverse où les inconnues du problème de dimensionnement sont directement calculées à partir des spécifications du cahier des charges sur les sorties du système. Dans cette optique, le laboratoire Ampère propose une méthodologie de dimensionnement par modèles bond graph inverses. L'objectif de cette thèse est de contribuer au développement de cette méthodologie d'une part dans sa phase d'analyse structurelle (phase permettant de vérifier avant toute simulation si le problème inverse est correctement posé) puis, d'autre part, dans sa phase de dimensionnement (phase durant laquelle l'inversion du modèle est effectivement mise en œuvre puis exploitée). Concernant la phase d'analyse structurelle, le mémoire s'attache à détailler les mécanismes d'une telle analyse dans le langage bond graph mais vise aussi à préciser son domaine de validité. Pour cela, une comparaison de l'approche bond graph aux approches Modelica, système structuré et modèle d'état permet de mettre en évidence l'existence de plusieurs niveaux d'information et de description sur le système. Selon l'exploitation ou non de ces différents niveaux d'information et de description, plusieurs niveaux d'analyse sont ensuite proposés : le niveau structuré, le niveau BG-structurel et le niveau comportemental. Il est également montré comment ces différents niveaux d'analyse peuvent être mis à profit dans une démarche de conception et comment ceux-ci permettent de reformuler certaines propriétés bond graph selon la phase de conception dans laquelle nous nous trouvons les propriétés au niveau d'analyse BG-structurel permettent d'infirmer ou de valider l'architecture du système). Concernant la phase de dimensionnement, le mémoire aborde le cas où le problème de dimensionnement ne peut se formuler complètement sous la forme d'un problème inverse et où la méthodologie ne peut s'appliquer directement. Pour cela, le problème de la représentation bond graph d'un problème d'optimisation dynamique est étudié afin de traiter des spécifications qui ne peuvent s'exprimer sous forme de fonctions dépendant explicitement du temps. Une procédure bond graph d'optimisation est à cette fin reprise puis étendue notamment à une classe de systèmes non linéaires. Enfin, un exemple de couplage entre méthodologie de dimensionnement et optimisation dynamique est effectivement mis en œuvre jusqu'à l'obtention de résultats numériques afin d'illustrer la faisabilité de la méthodologie tout au long du processus de conception.

Le projet français de stockage des déchets nucléaires, géré par l'Andra, nécessite la récolte de données expérimentales sur la durabilité des bétons de référence. Dans cette étude, les sollicitations prises en compte sont les processus de désaturation/resaturation, la charge thermique et l'évolution mécanique. Ainsi l'analyse porte ainsi sur le couplage thermo-hydro-mécanique des bétons de référence de l'Andra, fabriqués à base de ciment CEM I et CEM V/A. L'état de saturation en eau et les retraits des matériaux, soumis à la dessiccation ou à la resaturation, sont conditionnés par les différentes conditions thermiques et hydriques imposées, ainsi que de leurs caractéristiques microstructurales. Par ailleurs, l'étude de l'évolution mécanique est approfondie à 20°C en fonction de l'état de saturation en eau. A court terme, différents essais ponctuels mettent en évidence un endommagement hydrique qui conditionne le comportement mécanique. A long terme, l'étude du fluage sous dessiccation révèle le couplage existant entre la durabilité, l'évolution mécanique des matériaux et la dessiccation

Les systèmes de production manufacturiers sont une classe des systèmes à événements discrets. Leur taille nécessite de distribuer le logiciel de contrôle sur une architecture industrielle de plusieurs ordinateurs reliés en réseau. Dans ce contexte, il devient essentiel d'être capable d'évaluer l'impact d'une architecture réseau spécifique sur les services des systèmes manufacturiers en termes de la performance et la qualité. Les performances du réseau sous-jacent peuvent notamment nuire à la productivité du système. Dans la méthodologie traditionnelle proposée dans la littérature, cet aspect n'est pas pris en compte au niveau conception. Cependant, la modélisation de tels systèmes est importante pour vérifier certaines propriétés. Dans cette thèse, nous proposons une approche de modélisation par composants à l'aide des réseaux de Petri haut niveau pour la modélisation de certains protocoles de réseaux afin d'évaluer les systèmes manufacturiers comme étant des systèmes distribués. La sélection des réseaux de Petri est justifiée par leur pouvoir d'expression en ce qui concerne la modélisation des systèmes distribués et concurrents. L'approche par composants permet de diminuer la complexité de la modélisation et encourage la généricité, la modularité et la réutilisabilité des composants prêt-à-utiliser. Cela permet de construire facilement de nouveaux modèles et de réduire les coûts de développement de systèmes. En outre, cela peut aider à une meilleure gestion des services et des protocoles et à changer facilement/modifier un élément du système. Notre modélisation permet enfin d'évaluer ces systèmes par le biais de simulations centralisées

Cette thèse a permis d'évaluer l'effet des changements de morphologie d'un matériau cimentaire soumis à un traitement thermique jusqu'à T (≤ 400°C). Pour cela, nous avons caractérisé expérimentalement le comportement mécanique (en compression uniaxiale, compression hydrostatique avec ou sans déviateur), poro-mécanique (modules d'incompressibilité Kb, Ks et coefficient de Biot b) et hydraulique (perméabilité au gaz), d'un mortier modèle E/C=0,5 suite à un cycle de chauffage/refroidissement. Les essais mécaniques multiaxiaux sont couplés aux mesures de perméabilité, qui servent d'indicateur de la progression de la fissuration du matériau sous contrainte. Nous avons également mis au point un essai original, permettant de quantifier le volume de l'espace poreux interconnecté sous chargement hydrostatique Pc. La création de porosité occluse sous l'effet d'un accroissement du confinement est confirmée, et ainsi la diminution de la rigidité de la matrice solide Ks avec Pc après traitement thermique T>200°C. Nous avons également identifié un effet bouchon (aucun passage de gaz) lors d'un chargement couplé, thermique et en compression hydrostatique du mortier mais aussi de bétons industriels (CERIB et ANDRA). Afin d'analyser l'évolution des propriétés mécaniques et poro-élastiques après traitement thermique, un modèle prédictif thermo-élasto-plastique avec endommagement isotrope et une approche micro-mécanique descriptive, intégrant la présence de micro-fissures, y sont couplés