Ce travail est consacré à l'étude de méthodes statistiques pour l'évaluation de la fiabilité des logiciels. Son but principal est de fournir des outils statistiques permettant de construire et ensuite valider des modèles en tenant compte des spécificités des logiciels étudiés. Pour ce faire deux outils sont utilisés : les modèles linéaires généralisés (paramétriques et non-paramétriques) et l'analyse statistique bayésienne. La deuxième partie de ce travail est consacrée à l'ètude mathématique des problèmes de validation et de choix de modèles en fiabilité des Logiciels. On y étudie entre autres une approche dite "préquentielle" (prédictive-séquentielle) bien adaptée aux tests d'adéquation aux processus de Poisson. Cette approche semble pouvoir se généraliser à un grand nombre de modèles de fiabilité des logiciels.

Ce travail de thèse s'insère dans le cadre plus général du développement par le Centre Scientifique et Technique du Bâtiment d'un Environnement de Simulation Intelligent destiné à faciliter l'accès aux logiciels de calculs scientifiques dans le secteur Bâtiment. Il s'agit d'un programme pluriannuel de recherches dont les objectifs sont de mettre à la disposition des professionnels de nouveaux outils d'aide à la conception et d'aide à l'analyse des systèmes "Bâtiments", basés sur la simulation numérique suivant divers points de vue (thermique, acoustique, structure, etc.). Le présent travail de recherche s'articule donc avec d'autres travaux menés en parallèle sur le même thème. Dans ce contexte, les objectifs fixés sont de trois ordres : - contribuer à la définition des spécifications de l'environnement de simulation générique notamment en analysant le processus de modélisation/simulation et en proposant des solutions pour la réalisation du dialogue Homme/machine ; - réaliser une application concrète que l'on peut considérer comme une phase expérimentale de mise en oeuvre des concepts développés ; cette application est réalisée autour du logiciel de calculs thermiques TRNSYS ; - définir, pour de tels environnements, les possibilités d'utilisation des systèmes à bases de connaissances (buts et moyens, évaluation de la pertinence des solutions). Après une première partie consacrée aux réflexions conceptuelles générales menées sur la base d'une analyse bibliographique et aux analyses nécessaires à la réalisation de l'application, la seconde partie du travail est consacrée à l'application proprement dite ; un environnement dénommé IISIBât (Interface Intelligente pour la Simulation dans le Bâtiment) est développé suivant les concepts précédemment définis ; dans une première phase, la stratégie de développement d'une telle interface est précisée ; le processus de conception est fondé sur la mise en oeuvre séquentielle de quatre modèles : les modèles cognitif, conceptuel, structurel et perceptif. Le modèle cognitif met en évidence les tâches que l'utilisateur est amené à réaliser dans le cadre d'un outil de simulation ; le processus de modélisation/simulation est décortiqué en ses diverses étapes ; ce travail permet de définir une interface homme/machine possible (et en particulier les outils nécessaires) spécialisée pour ce type de process. Le modèle conceptuel identifie les objets génériques sur lesquels se fonde l'interface, les fonctions rattachées à ces objets, et la représentation graphique de ces objets. Le modèle structurel s'intéresse à l'implémentation proprement dite. Le modèle perceptif représente la façon dont l'utilisateur perçoit le système final ; ce modèle conduit à une analyse critique des choix effectués et à la proposition d'améliorations. Au final, l'application réalisée (IISIBât- TRNSYS) permet de juger de la pertinence des concepts développés tant du point de vue du fond que des méthodes utilisées ; ainsi, l'intérêt de l'application développée pour des utilisateurs "développeurs de modèles" ou "créateurs de projets" a pu être démontré ; par ailleurs, il s'est avéré que cette application ne possédait pas toutes les fonctionnalités nécessaires à une utilisation efficace par des utilisateurs terminaux (analystes de systèmes) ; pour combler ces manques, il faut rajouter à l'interface des mécanismes de raisonnement. La dernière partie de ce travail s'intéresse à l'introduction au sein de l'application interactive de mécanismes de raisonnement faisant appel à des bases de connaissances.

La théorie de l'agence a offert une analyse approfondie des conditions sous lesquelles les incitations parviennent à réconcilier les intérêts divergents du principal et de l'agent. Les essais présentés dans cette thèse évaluent la pertinence empirique de ces résultats face à l'intervention d'une tierce partie dans trois situations-types : le comportement de corruption, les choix de pratique des médecins spécialistes et la demande de travail au noir

Au moyen de diverses méthodes géophysiques, après une étude géologigue et de télédétection, dix sites comprenant vIngt deux forages très productifs, moyennement productifs ou secs ont fait l'objet d'une étude "post mortem" de détail. - Un certain nombre de facteurs de productivité des ouvrages du socle cristallin du Burkina Faso ont été mis en évidence, ainsi que l'apport de la prospection hydrogéophysique par le Maxmin. - Le dispositif carré permettant d'effectuer des profils d'anisotropie a fourni les meilleurs résultats pour la recherche des forages à haut rendement. Deux propositions ont été retenues: - Une méthode de traitement numérique d'images satellites faisant mieux ressortir les caractéristiques hydrogéologiques. - Une méthode d'implantation type d'un forage à haut rendement dans le socle cristallin du Burkina Faso.

Les récentes applications des théories de l'inversion à la physique du Globe ont été adaptées à l'échelle du Génie-Civil. Des mesures de durées de propagation entre puits permettent d'obtenir la répartition des vitesses sismiques dans le plan contenant les deux forages. Le problème de l'inversion en facteur de quaiité peut se poser dans les mêmes termes que ceux de l'inversion en vitesse. Des mesures d'amplitude~ permettent d'obtenir la répartition des facteurs de qualité. La mise au point des programmes d'inversion a nécessité une élaboration préalable de programmes de simulation. Les données synthétiques obtenues ont permis de juger de l'influence des divers paramètres sur les résultats des inversions ainsi que de tester les critères de contrôle des résultats. Par la suite, un matériel spécifique a été mis au point afin d'obtenir des données réelles. Les géométries des premières Images calculées, en vitesse et en facteur de qualité sont identiques. Ceci apporte une crédibilité importante aux résultats de l'inversion en facteur de qualité. L'application particulière décrite ici est le contrôle des injections. Des mesures identiques avant et après injection ont permis de déterminer clairement les conséquences diverses de l'injection dans les sous-sols étudiés.

Cette thèse prend pour cadre la synthèse par l'exemple et l'édition de contenu graphique en infographie et propose une réflexion sur les possibles sources d'information utiles à ces fins. Contrairement aux techniques "procédurales", l'approche par l'exemple se distingue par sa grande simplicité d'utilisation : reviennent en effet à l'algorithme de synthèse l'identification, analyse et reproduction des éléments caractéristiques des exemples fournis en entrée par l'utilisateur. Ce mode de création de même que les techniques approfondies d'édition ont grandement contribué à la facilitation de la production à grande échelle de contenus graphiques convaincants et ainsi participé à l'adoption par la communauté des artistes des outils proposés par le support numérique. Mais pour être ainsi exploitées, celles-ci doivent également être hautement contrôlables tout en évitant l'écueil de n'être que le simple prolongement de la main de l'artiste. Nous explorons ici cette thématique dans le cadre de la création de rendus dits expressifs et étudions les interactions (collaboratives ou concurrentielles) entre les différentes sources d'information au cœur de ce processus. Ces dernières sont à notre sens au nombre de trois : l'analyse automatique des données d'entrée avant rendu ou traitement ; l'utilisation de modèles a priori en vue de leur compréhension ; et enfin le contrôle explicite par l'utilisateur. En les combinant au plus juste, nous proposons des techniques nouvelles dans divers domaines de la synthèse en rendu expressif. Au delà du réalisme photographique, le rendu expressif se caractérise par sa poursuite de critères plus difficilement quantifiables tels la facilité de compréhension ou le caractère artistique de ses résultats. La subjectivité de tels objectifs nous force donc ici plus qu'ailleurs à estimer avec soin les sources d'information à privilégier, le niveau d'implication à accorder à l'utilisateur (sans que ce choix ne s'opère au détriment de la qualité théorique de la méthode), ainsi que le possible recours à des modèles d'analyse (sans en compromettre la généralité). Trois principales instances de synthèse sont ici détaillés : la génération de textures, la désaturation d'images, et la représentation de maillages par le dessin au trait. La grande variété des données d'entrée (textures matricielles ou vectorielles, images complexes, géométries 3d), des modalités de synthèse (imitation, conversion, représentation alternative) et d'objectifs (reproduction de la signature visuelle d'une texture, restitution crédible de contrastes chromatiques, génération de dessins conformes au style de l'utilisateur) permettent l'examen de divers équilibres entre ces sources d'information et l'exploration de degrés plus ou moins élevés d'interaction avec l'utilisateur.

Dès les débuts de la conquête spatiale, la tribologie spatiale est considérée comme une discipline à part entière car il s'agit de lubrifier un mécanisme non seulement dans le vide spatial, mais aussi lors des opérations au sol, et ceci dans différents environnements (vide simulé, air sec et humide, azote sec). Un lubrifiant spatial, fluide ou solide, doit donc relever le défi de procurer le comportement tribologique désiré dans ces environnements successifs, mais doit aussi résister aux sollicitations dynamiques induites par le lancement. Dans l'espace, le mécanisme doit y être autonome sans maintenance et sa lubrification doit être maintenue pendant au moins 15 ans (800 millions de cycles pour un roulement) tout en conservant fiabilité et précision de positionnement (µrad). Malgré ces enjeux, la maîtrise tribologique spatiale se limite à de l'empirisme et du conservatisme de solutions techniques, notamment lors de l'emploi des matériaux sources de lubrifiants solides qui font l'objet de cette étude. Dans les faits, seules des recommandations d'utilisation existent sans pouvoir prédire le comportement tribologique des solutions. Cette prédiction nécessite la reconstitution de " la vie des contacts ". Cette dernière nécessite l'évaluation des débits de 1ers et 3ème corps. Ces débits dépendent d'un couplage multi-échelles et multi-physique " forcé " par les sollicitations tribologiques. Pour décrypter ces débits, une démarche expérimentale qui couple des mesures mécano-chimiques en temps réel et des analyses post-essai a été développée (forces, analyse de gaz, visualisation électronique et photonique). La simultanéité des mesures permet d'étudier le couplage entre les phénomènes mécaniques (créations de particules de 3ème corps, déformations plastiques des 1er corps) et physicochimiques (adsorption/désorption, modifications chimiques des 1ers et 3ème corps). La démarche est appliquée à l'étude de deux triplets tribologiques ayant respectivement des 1ers corps en MoS2 et MoS2+Ti dont les comportements tribologiques sous vide et sous air humide sont antagonistes. L'utilisation de leur antagonisme permet de mieux comprendre la réponse des 1er et 3ème corps aux sollicitations tribologiques. La reconstitution de la vie de ces triplets a montré : (1) le rôle bénéfique de la structure colonnaire dans l'obtention d'un facteur de frottement faible et d'une longue durée de vie, non parce qu'elle est intrinsèquement colonnaire mais parce qu'elle localise la production de 3ème corps; (2) le rôle bénéfique des contaminations internes et externes aux 1ers et 3ème corps qui délocalisent l'accommodation du volume du 3ème corps vers les complexes de surface, ce qui explique par exemple que l'environnement N2 sec ne puisse, même pour des raisons économiques, simuler l'ultravide. In fine, ces travaux permettent de spécifier une démarche de conception de " triplets tribologiques " qui sera généralisée ultérieurement grâce à la tribologie numérique

Dans cette thèse, nous évaluons l'acuité et les singularités de la " fenêtre d'émergence " contemporaine de l'automobile électrique, soulevant ainsi des enjeux théoriques et industriels. Ce travail s'inscrit dans un phylum évolutionniste et, plus précisément, dans une perspective "multi-niveaux " (GEELS, 2002). Dans ce cadre, l'émergence de l'automobile électrique est saisie comme la transition non linéaire d'un système sociotechnique fondé sur l'automobile thermique usuelle à un système sociotechnique structuré autour de l'électromobilité, étant entendu que nous appréhendons l'automobile électrique comme un " bien-système territorialisé ". Un bien-système, parce que son rayon d'action est contraint par l'accès à une infrastructure de charge et par les performances de ses batteries d'accumulateurs. Un bien-système territorialisé, notamment dans la mesure où les déplacements, des usagers particuliers ou professionnels, sont ancrés dans les territoires, y compris dans leurs temporalités. Les principaux jalons consistent à identifier les verrous technico-économiques de l'émergence de l'électromobilité et d'en dériver quatre formes d'émergence, sous les traits de " systèmes d'électromobilité ". Notre principal résultat est de repérer les canaux, les séquences et les vecteurs d'émergence et de diffusion de l'automobile électrique et, plus généralement, des bien-systèmes territorialisés.

Lorsqu'on découpe un feuillard à l'aide d'un outil, ou lorsqu'on découpe un tube selon son axe, au fur et à mesure que l'on propage la fissure qui traduit la découpe il arrive que des ondulations de flambage perturbent les deux bords libres générés par la propagation de la fissure. Cette étude vise à analyser les origines de ces ondulations. Nous avons mené une campagne expérimentale, dans laquelle des tubes en acier inox avec différentes géométries (rayon/épaisseur) sont " découpés " selon une génératrice. Une instrumentation adéquate, couplant des mesures ponctuelles, à l'aide de jauges de déformation, et une méthode champ par corrélation d'image, nous a permis de correctement mettre en exergue la phénoménologie, en particulier les cinématiques induites à l'échelle géométrique de la fissure (front de fissure) ainsi qu'à l'échelle du tube, avec les longueurs d'onde de flambage observées à l'aval de la fissure. La modélisation numérique menée en non linéaire géométrique (flambage), matériau (déchirure ductile), et conditions aux limites (contact) est aussi abordée à l'aide du code de calcul Abaqus/Standard. Pour la gestion de la propagation de la fissure, deux modèles de rupture sont proposés. Le premier modèle dit zone cohésive est développé et implanté dans le code Abaqus via la subroutine UEL. Pour la deuxième modélisation, nous avons utilisé le modèle dit " d'endommagement ductile " du code Abaqus. La modélisation via des éléments massifs ou des éléments coques volumiques ainsi que l'utilisation de ces modèles de rupture permettent de corroborer les observations expérimentales. Ces travaux montrent que l'augmentation de la charge inhérente au déplacement de l'outil de " découpe ", induit une extension dans la direction circonférentielle et donc une striction dans la direction radiale amenant finalement la rupture. Lors de la rupture, un " sillage plastique " apparait, relativement large, près et parallèle aux bords de la fissure. " Confiné " par les autres parties du tube qui restent élastiques, des contraintes de compression axiale résiduelles apparaissent dans ce sillage plastique, à l'aval de la fissure, leur intensité est suffisante pour produire les ondulations des bords libres qui traduisent un flambage local. Les contraintes résiduelles liées à l'opération de découpe induisent donc le flambage.

Les conceptions récentes de turbomachines ont tendance à évoluer vers des liaisons entre étages de plus en plus souples et des niveaux d'amortissement faibles, donnant lieu à des configurations où les modes sont susceptibles de présenter des niveaux de couplages inter-étages forts. En général, les ensembles disques aubes multi-étagés n'ont aucune propriété de symétrie cyclique d'ensemble et l'analyse doit porter sur un modèle de la structure complète donnant lieu à des calculs très coûteux. Pour palier ce problème, une méthode récente appelée symétrie cyclique multi-étages peut être utilisée pour réduire le coût des calculs des rotors composés de plusieurs étages, même lorsque les étages ont un nombre différent de secteurs. Cette approche profite de la symétrie cyclique inhérente à chaque étage et utilise une hypothèse spécifique qui aboutit à des sous-problèmes découplés pour chaque ordre de Fourier spatial. La méthodologie proposée vise à étudier l'effet des incertitudes sur le comportement dynamique des rotors en utilisant l'approche de symétrie cyclique multi-étages et l'expansion en Chaos Polynomial. Les incertitudes peuvent découler de l'usure des aubes, des changements de température ou des tolérances de fabrication. En première approche, seules les incertitudes provenant de l'usure uniforme de l'ensemble des aubes sont étudiées. Celles-ci peuvent être modélisées en considérant une variation globale des propriétés du matériau de l'ensemble des aubes d'un étage particulier. L'approche de symétrie cyclique multi-étages peut alors être utilisée car l'hypothèse de secteurs identiques est respectée. La positivité des matrices aléatoires concernées est assurée par l'utilisation d'une loi gamma très adaptée à la physique du problème impliquant le choix des polynômes de Laguerre comme base pour le chaos polynomial. Dans un premier temps des exemples numériques représentatifs de différents types de turbomachines sont introduits dans le but d'évaluer la robustesse de la méthode de symétrie cyclique multi-étages. Ensuite, les résultats de l'analyse modale aléatoire et de la réponse aléatoire obtenus par le chaos polynomial sont validés par comparaison avec des simulations de Monte-Carlo. En plus des résultats classiquement rencontrés pour les fréquences et réponses forcées, les incertitudes considérées mettent en évidence des variations sur les déformées modales qui évoluent entre différentes familles de modes dans les zones de forte densité modale. Ces variations entraînent des modifications sensibles sur la dynamique globale de la structure analysée et doivent être considérées dans le cadre des conceptions robustes.