L’environnement socio-économique actuel se caractérise, en particulier, par une concurrence de plus en plus forte entre les entreprises et des marchés en rapide évolution, obligeant ainsi ces entreprises à innover afin de pérenniser leurs activités. L’innovation reste cependant complexe et difficile à mettre en place notamment pour les entreprises qui souhaitent diversifier leurs innovations et ne plus se limiter uniquement aux innovations d’ordre technique. Ainsi, certaines d’entre elles choisissent de mettre en place une démarche d’innovation centrée sur leurs utilisateurs/clients. Cette approche reste assez peu étudiée, notamment pour les entreprises industrielles ; il apparaît dès lors comme nécessaire de s'interroger sur le déploiement d’une telle démarche. C’est dans ce cadre que se situe notre problématique de recherche que nous pouvons formuler ainsi : « Comment favoriser la mise en place d’une démarche d’innovation centrée utilisateur/client au sein d’une entreprise industrielle internationale positionnée sur un marché B2B ? » Nos travaux ont été conduits au sein d’un sous-traitant automobile français positionné sur un marché B2B international. Quatre contributions majeures ressortent de nos travaux de recherche : (i) une description des typologies d’innovation déjà mises en place au sein de cette entreprise, considérée comme assez représentative des entreprises industrielles positionnées sur un marché B2B ; (ii) une définition du processus d’innovation centrée utilisateur/client pour l’entreprise et plus particulièrement des premières phases de ce dernier où les utilisateurs/clients sont les plus impliqués ; (iii) une proposition de méthodes et outils favorisant la mise en place d’une démarche d’innovation centrée utilisateur/client ; (iv) une validation de l’efficacité de la démarche mise en place avec ces outils associés. Ces contributions nous ont permis de répondre à notre problématique de recherche et de participer ainsi au soutien de la mise en place d’une démarche d’innovation centrée utilisateur/client au sein d’une entreprise internationale positionnée sur un marché B2B. / The current socio-economic environment is particularly characterized by a growing competition between companies and rapidly changing markets, forcing companies to innovate in order to maintain their activities. However, innovation remains complex and difficult to implement, especially for companies wishing to diversify their innovations and no longer be limited to technical innovations. Thus, some of them choose to implement an innovation approach focused on their users/customers. This approach remains relatively little studied, especially for manufacturing companies; therefore, it seems to be necessary to wonder about the deployment of such an approach. In this context, our research problematic can be expressed as follows: "How to support the setting-up of an innovation approach led by user/customer within an international manufacturing company positioned on a B2B market?” Our work was conducted in a French automotive subcontractor positioned on an international B2B market. Four major contributions emerge from our research: (i) a description of the typologies of innovation already implemented within this company, considered as fairly representative of manufacturing companies positioned on a B2B market; (ii) a definition of the process of innovation led by user/customer for the company, and more particularly the early phases of the process where users/customers are the most involved; (iii) a proposition of methods and tools that favor the setting-up of an innovation approach led by user/customer; (iv) a validation of the effectiveness of the set up approach with the associated tools. These contributions allowed us to respond to our research problem and thus participated in supporting the setting-up of an innovation approach led by user/customer within an international manufacturing company positioned on a B2B market.

L'implémentation d'un système intégrant la Programmation sur Exemple (PsE) demande au développeur de mettre à disposition de l'utilisateur final des outils d'assistance lors de la réalisation des tâches. Pour le développeur, cela passe par la mise à disposition des différents services à partir de l'interface utilisateur de l'application. Le système doit donc fournir des interfaces particulières, car non seulement l'objectif fonctionnel de l'application ne doit pas changer, mais surtout parce que les techniques de la PsE doivent être naturellement intégrées. Un système de PsE est difficile à implanter, et pourtant, la plupart possèdent des éléments en commun parmi lesquels on trouve une représentation des actions utilisateur, un historique des actions, et parfois un algorithme d'apprentissage symbolique opérant sur l'historique. Nous favorisons la création d'un tel système en fournissant les outils nécessaires sous forme d'une boîte à outils par extension de Swing. Les développeurs peuvent bâtir, avec un minimum d'effort, des applications mettant en ?uvre les techniques de la PsE. Les principaux services de base ont été identifiés et définis : enregistrement des actions utilisateur, rejeu des actions et des techniques utilisables pour la mise en ?uvre d'applications types. Ils ont été prototypés à travers l'outil PbDToolkit, ouvrant la voie vers la simplification de la mise en ?uvre des applications de PsE. En utilisant PbDToolkit, il n'est pas nécessaire d'implémenter les fonctionnalités de base car toutes les opérations y sont déjà implémentées avec la liberté d'usage et d'exploitation offerte aux développeurs. PbDToolkit est instrumenté pour permettre de vérifier la conformité d'une IHM à son modèle de tâches. Le concept établit un lien entre les tâches élémentaires du modèle de tâches et les actions de l'IHM. Ainsi, à l'exécution, un scénario est généré suivant le format de scénario de l'environnement K-MADe, outil de modélisation utilisé.

L'étude de la formation et de l'évolution des galaxies est une thématique en pleine effeversence. Deux grands relevés (2dFGRS, SDSS), portant sur plusieurs millions de galaxies proches, ont permis récemment des avancées importantes dans la compréhension des propriétés physiques des galaxies. D'autre part l'arrivée des télescopes de 8-10m de diamètre, équipés de spectroscopes multi-objets (VLT/VIMOS, Keick/DEIMOS, Gemini/GMOS, ...), a permis la mise en place de plusieurs nouveaux grands relevés portant cette fois sur les galaxies lointaines (VVDS, DEEP2, GDDS, zCOSMOS, ...), donc situées dans un univers plus jeune.<br /><br />Ce travail de thèse porte préférentiellement sur l'étude des relations masse-métallicité ou luminosité-métallicité qui permettent d'établir un lien entre les deux processus majeurs responsables de l'évolution des galaxies: l'assemblage de la masse stellaire (formation d'étoiles ou fusion de galaxies) et l'enrichissement chimique du milieu interstellaire par les générations d'étoiles successives. Nous montrons que la forme de cette relation est un très bon test des modèles de formation et d'évolution des galaxies. Nous étudions ensuite la relation luminosité-métallicité de référence obtenue à partir du relevé 2dFGRS dans l'Univers local. Puis nous étudions l'évolution en fonction de l'âge de l'univers de la relation luminosité-métallicité à l'aide d'un petit échantillon (LCL05), puis de la relation masse-métallicité à l'aide du grand relevé VVDS. Plusieurs résultats obtenus avec ces différents échantillons sont des indices en faveur du modèle hiérarchique: les galaxies les plus massives se formeraient par fusion progressive de galaxies plus petites.<br /><br />Les propriétés physiques d'un grand nombre de galaxies sont estimées à l'aide d'outils d'analyse automatiques spécifiquement développés, ou adaptés à nos besoins, durant cette thèse. Comme résultats annexes, de nouvelles calibrations de la classification spectrale ou du taux de formation d'étoiles des galaxies sont obtenues à partir des grands relevés de l'univers local (respectivement 2dFGRS et SDSS). Ce travail offre de nombreuses perspectives de par le nombre et la diversité des données disponibles.

Cette recherche porte sur l'usage des outils graphiques et leur évolution dans les relations entre concepteurs et constructeurs d'objets et de systèmes techniques. Elle prend appui sur une analyse de publications et d'ouvrages scientifiques et techniques relatifs à des domaines d'activité tels que l'architecture navale, l'architecture civile, et la mécanique.<br /><br />L'étude de ces ouvrages édités entre 1750 et 1850 conduit aux développements de points de vue concernant le dessin à vue d'objet, la perspective, la géométrie descriptive et les projections orthogonales. L'architecture navale est choisie afin de tenter de cerner la place du dessin technique dans ses fonctions de description et de construction. Quant au dessin lié aux arts mécaniques, il est étudié dans ses rôles d'information, de description, de fonctionnement et de réalisation d'objets et de systèmes techniques. Les réflexions, initialement ciblées dans le contexte breton, ont vite porté sur l'espace national ; le langage étudié, par son caractère universel, ne s'accommodant pas de frontière géographique. Afin de limiter les risques d'une dispersion des recherches, la dimension internationale a été volontairement écartée.<br /><br />Il est fait état du caractère pluridisciplinaire du dessin technique et de ses exigences pour sa mise en œuvre, étant entendu qu'il constitue un carrefour avec mécanique appliquée, sciences physiques, géométrie, etc. Cette transcription sur plans de projets techniques est alors, à son tour, outil de transmission des connaissances scientifiques et technologiques et de savoir-faire technique, procédé régulièrement retenu par les savants et ingénieurs des divers domaines de productions artisanales ou industrielles. Le dessin est pièce d'un contrat associant concepteur et constructeur.<br /><br />Il est bien question de l'évolution du trait du dessinateur avec les connaissances scientifiques et techniques sous-jacentes dont il est porteur. Son art qui, en raison de l'extension des domaines de production humaine, demandera que se mette en place une formation des acteurs aux différents niveaux de qualification. Cette étude mène au seuil de l'âge d'or du dessin technique, estimé se situer entre 1850 et 1970, espace qui nous ferait alors entrer dans les bureaux d'étude où s'installent les outils informatiques dont l'usage est aujourd'hui généralisé.

Nous étudions comment faciliter la réutilisation des <br />preuves formelles en théorie des types. Nous traitons cette question <br />lors de l'étude <br />de la correction du programme de calcul de la racine carrée de GMP. <br />A partir d'une description formelle, nous construisons <br />un programme impératif avec l'outil Correctness. Cette description <br />prend en compte tous les détails de l'implantation, y compris <br />l'arithmétique de pointeurs utilisée et la gestion de la mémoire. <br />Nous étudions aussi comment réutiliser des preuves formelles lorsque<br />l'on change la représentation concrète des données. <br />Nous proposons un outil qui permet d'abstraire <br />les propriétés calculatoires associées à un type inductif dans<br />les termes de preuve.<br />Nous proposons également des outils pour simuler ces propriétés<br />dans un type isomorphe. Nous pouvons ainsi passer, systématiquement,<br />d'une représentation des données à une autre dans un développement<br />formel.

Il existe de nos jours beaucoup d'environnements dits de CAO, conçus pour assister et accompagner le travail des concepteurs tout au long d'un projet. Pourtant, ces logiciels sont peu adaptés à la première phase d'un projet: la conception créative. En effet, leurs approches géométriques et excessivement directrices ignorent le caractère flou et itératif de la démarche du concepteur, appuyée par un outil figuratif essentiel: le croquis. Cette thèse s'inscrit dans un courant de travaux axés sur l'utilisation du dessin pour la réalisation de modèles numériques 3D, dans le but de fournir des outils informatiques de support à la conception créative. Mais au delà de l'interprétation de croquis, nous proposons une approche originale appliquée au domaine de la conception architecturale, reposant sur un environnement instrumenté: SVALABARD, une Table à dessin virtuelle, basée sur un paradigme de feuilles d'interaction, composant des périphériques d'entrée et des techniques d'interaction non-standard.<br />Toutefois, la faisabilité technique d'une telle approche a rapidement été compromise de par la rigidité et le manque d'extensibilité des outils actuels pour le développement d'interfaces. C'est pourquoi nous proposons aussi dans cette thèse un nouveau modèle d'architecture logicielle plus flexible et dynamique, qui, une fois réalisé dans la boîte à outils MAGGLITE, nous a permis de faciliter et d'encourager le prototypage et la réalisation d'interactions avancées.

Ce travail constitue une contribution visant à décrire le comportement et prédire la durée de vie en fatigue d'aciers à outils pour travail à chaud. Pour y parvenir, la méthodologie suivie, s'articule autour de deux parties complémentaires qui sont l'étude de modèles de comportement et de durée de vie adaptés aux aciers martensitiques revenus. Le comportement cyclique des aciers X38CrMoV5 (47HCR) et 55NiCrMoV7 (42 HCR) a été étudié dans différentes conditions de sollicitations et de température. L'influence de la vitesse et de l'amplitude de déformation, des temps de maintien dans les cycles ainsi que les effets de rochet ou d'accommodation plastique pour des essais pilotés en contrainte ont été inclus dans la modélisation. Deux modèles (ONERA, 2M1C) s'inscrivant dans le cadre des processus irréversibles de la thermodynamique ont été considérés. Ils ont été présentés et identifiés avec succès par niveau de complexité croissant selon les types de sollicitations pris en compte. Comparé au modèle ONERA, le modèle 2M1V permet les meilleures descriptions des essais en déformation et des essais à contrainte imposée. En outre,deux mécanismes différents issus du modèle ont été rattachés aux évolutions de microstructure (dislocations, carbures) identifiées en fatigue oligocyclique. Deux étapes de validation ont ensuite été menées fournissant des résultats encourageants: la première, dans une configuration isotherme à l'aide d'essais à déplacement imposé réalisés sur des éprouvettes à concentration de contraintes, la deuxième anisotherme à partir d'essais de fatigue thermique menés conjointement avec l'université de KARLSTAD (Suède). L'étude de la durée de vie de l'acier X38CrMoV5 a été abordée dans une deuxième partie. Afin de couvrir une large gamme de sollicitations comparable à celle induite dans les procédés de mise en forme à chaud, des essais LCF ont été effectués pour compléter la base expérimentale existante. Les mécanismes d'amorçage et de propagation en fatigue relaxation à 560°C ont de plus été étudiés. Enfin, un modèle d'endommagement continu anisotherme de type ONERA a été identifié. L'analyse des résultats expérimentaux utilisés lors de l'identification n'a pas fait apparaître de mécanisme dépendant du temps, aussi seule la composante d'endommagement de fatigue a été activée dans la modélisation. La dernière phase de cette étude concerne la validation du modèle de durée de vie. Les prédictions fournies par le modèle ont été comparées avec le nombre de cycles à rupture issu d'essais LCF et TMF d'un précédent travail.

Les architectures de calcul haute performance de nos jours sont des architectures hiérarchiques et hétérogènes: hiérarchiques car elles sont composées d'une hiérarchie de mémoire, une mémoire distribuée entre les noeuds et une mémoire partagée entre les coeurs d'un même noeud. Hétérogènes due à l'utilisation des processeurs spécifiques appelés Accélérateurs tel que le processeur CellBE d'IBM et les CPUs de NVIDIA. La complexité de maîtrise de ces architectures est double. D'une part, le problème de programmabilité: la programmation doit rester simple, la plus proche possible de la programmation séquentielle classique et indépendante de l'architecture cible. D'autre part, le problème d'efficacité: les performances doivent êtres proches de celles qu'obtiendrait un expert en écrivant le code à la main en utilisant des outils de bas niveau. Dans cette thèse, nous avons proposé une plateforme de développement pour répondre à ces problèmes. Pour cela, nous proposons deux outils : BSP++ est une bibliothèque générique utilisant des templates C++ et BSPGen est un framework permettant la génération automatique de code hybride à plusieurs niveaux de la hiérarchie (MPI+OpenMP ou MPI + Cell BE). Basée sur un modèle hiérarchique, la bibliothèque BSP++ prend les architectures hybrides comme cibles natives. Utilisant un ensemble réduit de primitives et de concepts intuitifs, BSP++ offre une simplicité d'utilisation et un haut niveau d' abstraction de la machine cible. Utilisant le modèle de coût de BSP++, BSPGen estime et génère le code hybride hiérarchique adéquat pour une application donnée sur une architecture cible. BSPGen génère un code hybride à partir d'une liste de fonctions séquentielles et d'une description de l'algorithme parallèle. Nos outils ont été validés sur différentes applications de différents domaines allant de la vérification et du calcul scientifique au traitement d'images en passant par la bioinformatique. En utilisant une large sélection d'architecture cible allant de simple machines à mémoire partagée au machines Petascale en passant par les architectures hétérogènes équipées d'accélérateurs de type Cell BE.

Les travaux de recherche exposés dans ce mémoire sont relatifs à l'élaboration d'une méthode d'intégration de la santé-sécurité à la conception des produits. L'intégration de la santé sécurité dans la conception est aujourd'hui considérée comme un processus séquentiel. Ce type d'approche ne permet pas d'atteindre les résultats escomptés en termes d'amélioration de la sécurité. La méthode proposée consiste à prendre en compte celle-ci dès les premières phases de conceptualisation du produit. Nous avons proposé trois principes fondamentaux régissant la conception sécuritaire. Elle est basée sur les méthodes de conception systématique et axiomatique et permet trois cas d'emploi. Nous proposons ainsi, un processus du risque évoluant simultanément avec un processus de conception. Ce processus des risques est constitué de six contextes, exprimant chacun un nouveau point de vue des risques. Cette méthode, baptisée IRAD permet au concepteur d'exprimer les exigences de sécurité d'une part, à partir de l'analyse structurée du retour d'expérience (cas d'emploi 1) et d'autre part, à partir de l'analyse systématique des risques liés aux choix technologiques effectués au cours de la conception (cas d'emploi 2). Suite à cette démarche, le cahier des charges du produit s'avère évolutif et dépendant du développement du produit. La conception de produits sécuritaires s'effectue alors à travers l'intégration des exigences de sécurité dans la synthèse des solutions (cas d'emploi 3). Les exigences de sécurité découlant de la mise en oeuvre de la méthode se présentent sous forme d'équations d'optimisation. L'applicabilité de la méthode IRAD a été enfin démontrée sur le cas des liaisons tracteur-outils.

Le contexte du transport de marchandises en transit à travers les Alpes est d'abord marqué par plusieurs décennies de croissance importante des flux. Cette croissance est cependant inégale dans le temps et selon les passages considérés. Un second élément de contexte tient à la fragilité particulière des territoires alpins vis-à-vis des impacts de la circulation : plus qu'ailleurs, on y constate une montée des préoccupations environnementales. Cette thèse vise à comprendre l'élaboration des politiques publiques de transport concernant le trafic transalpin. Elle s'attache d'abord à évaluer la mesure dans laquelle ce processus d'élaboration participe de l'émergence d'un espace géopolitique alpin. Elle cherche ensuite à préciser le rôle des outils technico-économique au sein de ce processus. La question sera abordée à deux échelles différentes, à travers deux études de cas : - une histoire de l'évolution des objectifs assignés au projet Lyon-Turin depuis sa naissance ; - une analyse des dispositifs de la concertation autour des questions de transport menée à l'échelle de l'arc alpin dans son ensemble. Un premier résultat apparait sous la forme d'une « alpinisation » progressive de la question du transit alpin. Elle se traduit en premier lieu par une représentation de l'arc alpin comme un système de passages interconnectés et, en second lieu, par la mise en place de structures de concertation rassemblant les acteurs concernés à l'échelle du massif. Un second ensemble de résultats montre d'abord comment les outils technico-économiques utilisés et leurs usages sont complètement insérés dans ce processus d' « alpinisation ». Il fait apparaitre ensuite le glissement d'un usage déterministe de ces outils, où les résultats ont davantage vocation à justifier des décisions antérieures à un usage procédural, où les outils sont utilisés de façon de plus en plus partagée par les différents acteurs, pour simuler les différentes options politiques et participer à l'élaboration de mesures précises.