Les bassins versants influencés par la présence de barrages-réservoirs constituent les objets d'étude de cette thèse. L'objectif principal est de mettre au point une méthode de prise en compte, au sein d'un modèle pluie-débit global, de l'impact de retenues d'eau artificielles sur le comportement hydrologique du bassin versant. Un tel outil, simple dans sa conception, doit permettre d'améliorer la simulation des débits de bassins versants influencés et d'évaluer l'impact de barrages-réservoirs sur le régime hydrologique des cours d'eau, en particulier lorsque l'on se place loin à l'aval de l'ouvrage. La démarche adoptée est empirique dans le sens où l'on a cherché, sur une base de données de 46 bassins versants situés en France, aux Etats-Unis et au Brésil, à exploiter au mieux, dans la structure du modèle pluie-débit, une information simple sur les ouvrages, à savoir l'évolution temporelle des volumes stockés dans les retenues. La diversité des conditions hydro-climatiques présentes dans la base de données donne aux résultats obtenus un caractère assez général. Au cours de cette thèse, un grand nombre de solutions de prise en compte des barrages-réservoirs a été testé. Les résultats montrent que cette information sur les remplissages des ouvrages peut être utilement exploitée au sein d'une structure de modèle global pour améliorer la simulation des bassins influencés. Les solutions qui se sont révélées être les plus performantes n'engendrent pas de complexification de la structure initiale du modèle puisqu'aucun ajout de paramètre n'a été nécessaire. Des gains de performances significatifs ont été réalisés, en particulier sur la simulation des étiages. Il s'agit d'un résultat important de la thèse car il montre qu'il est possible de prendre explicitement en compte, dans un modèle pluie-débit global, les barrages-réservoirs présents sur le bassin versant. Nous avons ensuite essayé de comprendre le lien entre la méthode de prise en compte des barrages-réservoirs et certaines caractéristiques physiques des bassins versants et des ouvrages de stockage afin de tenter d'adapter la solution au bassin versant considéré. Les résultats de ces tests ont montré que ce lien est difficile à mettre en évidence et qu'à ce stade, une solution générique semble la plus efficace. La solution la plus performante a ensuite été évaluée sur un échantillon complémentaire de 31 bassins versants n'ayant pas servi à son développement. L'évaluation a confirmé l'intérêt de la méthode pour l'amélioration des simulations des débits mais a également montré sa sensibilité à la disponibilité des données de stockages ainsi qu'aux transferts interbassins inconnus.

Réflexion théorique visant à dégager les principes communs à la très grande majorité des langages de description de systèmes logiques. Presentation de CONLAN. Exposé d'un modèle d'évaluation permettant de spécifier l'interprétation des primitives d'un langage de description de systèmes logiques.

Le paradigme SOA est devenu un standard pour la conception technique et le développement d'applications logicielles. Malgré tous les avantages qu'il apporte notamment dans la résolution des problèmes d'hétérogénéité, les solutions associées à ce paradigme sont dédiées aux développeurs et restent difficiles à transposer au monde de l'entreprise. L'hypothèse de cette thèse est que pour tirer le meilleur profit du paradigme SOA, il est nécessaire d'adopter une position dan laquelle les services sont décrits en termes de besoins qu'ils permettent de satisfaire, c'est a dire par les buts organisationnels a satisfaire. Nous qualifions ces services d'intentionnels. La publication, la recherche et la composition de ces services se fait sur la base de ces descriptions intentionnelles. De cette façon, on parle d'un portage de SOA au niveau intentionnel que nous qualifions de ISOA.<br />La solution proposée dans cette thèse a conduit aux résultats suivants :<br />− Un modèle de représentation des services intentionnels qui intègre la variabilité et la réflexivité : le modèle MiS (Modèle Intentionnel de Services),<br />− Une démarche pour identifier les services intentionnels à partir des besoins des utilisateurs,<br />− Un modèle de représentation des services opérationnels : le modèle MoS (Modèle Opérationnel de Services),<br />− Une démarche pour dériver les services opérationnels à partir des services intentionnels,<br />− Une architecture à agents permettant l'exécution intentionnelle des services.

Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défini une hiérarchie de critères adaptés au paradigme flot de données synchrone. Les critères permettent de mesurer la couverture des chemins dans un réseau d'opérateurs. Un réseau d'opérateurs est une modélisation graphique des flots de données dans un programme Lustre. Les critères sont basés sur le calcul symbolique des conditions d'activation de ces chemins. <br /><br />Un outil nommé Lustructu, a été réalisé pour mesurer la couverture atteinte par un jeu de tests selon ces critères. Lustructu analyse le programme sous test et calcule les chemins et leurs conditions d'activation. L'évaluation de la couverture par Lustructu est non-intrusive (pas d'instrumentation du code). L'applicabilité et la pertinence des critères ont été évaluées sur une étude de cas significative issue du secteur de l'aéronautique.

Nous questionnons les formes des activités narratives mobiles (au cours d'un déplacement) ainsi que les formes narratives post-mobiles (après le déplacement), et les éventuelles résonnances existant entre ces deux formes d'activités situées dans des temps différents.

Au sein du département RFS (Radio Frequency Solutions) de Thales Systèmes Aéroportés sont conçus des modules d'émission-réception utilisés dans des applications radar et guerre électronique. Les fonctions hyperfréquences élémentaires (amplification, atténuation, mélange,...), réalisées en technologie MMIC, sont mises en boîtier et interconnectées. Ceci constitue l'architecture du module et doit assurer une protection (vis-à-vis de l'atmosphère et de la CEM) ainsi qu'une souplesse de montage mécanique et au final une réduction des coûts de fabrication. L'architecture des modules devient ainsi la clé de voûte de systèmes complexes tels que les antennes à balayage électronique développée au sein de ce département. <br /><br />Les outils de simulation doivent évoluer dans le but de prévenir les effets parasites, dus aux boîtiers et interconnexions, susceptibles d'apparaître. Les logiciels de simulation EM sont recommandés de par les géométries complexes des architectures des modules. Malheureusement, les simulateurs EM sont limités par leur incapacité à traiter simultanément les boîtiers et circuits actifs qu'ils protègent. C'est pour cette raison qu'un outil de simulation EM global adapté à ce type de simulation et aux besoins industriels a été proposé, validé et exploité au cours de cette thèse. <br /><br />La méthode choisie est une implémentation de l'approche de compression, qui associe deux logiciels commerciaux de façon séquentielle. Ceci est permis par une procédure de calibrage numérique des ports internes qui fait l'interface entre les environnements de simulation EM et circuit. Cette approche modulable est rapide car elle ne requiert qu'une seule simulation EM pour de nombreuses simulations. La modification des circuits actifs ou des études de dispersion sont aisément envisageables. Cette approche est basée sur l'hypothèse de localisation. Une validation approfondie de cette hypothèse permet de conclure à la nécessité d'indépendance intrinsèque des éléments localisés vis-à-vis de l'environnement pour un bon fonctionnement de l'approche de compression. Cette hypothèse est confirmée grâce à l'application de l'approche de compression à des niveaux d'échelle différents (à l'échelle du boîtier ou du MMIC). <br /><br />L'approche de compression proposée a été validée sur des structures complexes de boîtiers intégrant des amplificateurs MMIC, en régime linéaire ainsi que non-linéaire. L'influence des transitions, éléments d'interconnexion et du couplage EM, est parfaitement prise en compte par cet outil de simulation. Des règles de conception sur les dimensions des boîtiers (hauteur, largeur, positionnement des puces, ...), des transitions et interconnexions sont déduites des simulations.

Depuis une vingtaine d'années des PME PMI se positionnent sur des marchés dans lesquels la concurrence s'exacerbe tandis que l'évolution foudroyante des moyens de communication implique un spectre toujours plus large d'acteurs et la nécessité de prises de décisions de plus en plus rapides. Ce contexte favorise l'émergence d'erreurs inhérentes à la conception des processus industriels comme aux décisions prises en temps réel. <br />Sur ce constat, nous proposons une méthode de résolution des dysfonctionnements des processus routiniers. Celle-ci est destinée à améliorer les pratiques formelles et informelles de ces processus mais également de développer un apprentissage organisationnel seul garant de l'évitement de futurs dysfonctionnements. <br />Le couplage de méthodes et outils employés en reconception de produits et pour les projets d'amélioration des organisations permet de conduire la phase d'analyse d'une approche globale à une modélisation des phénomènes explicatifs de ce dysfonctionnement construite avec les acteurs des processus. Cette démarche fournit les moyens d'une approche systémique à un groupe non expérimenté à cette discipline. La mise en œuvre des pratiques développées permet la construction d'une vision commune aux membres du groupe de travail. L'utilisation d'outils créatifs élargit le champ de recherche des solutions et en facilite l'appropriation par les acteurs et gestionnaires des processus.<br /> Les expérimentations industrielles menées, d'abord dans un cas produit, puis sur les processus de deux entreprises nous ont permis d'affiner le choix des outils, de leur ordonnancement et des pratiques à déployer au sein de la méthode que nous proposons.

Ce travail de thèse porte sur le développement d'un modèle pour la turbulence anisotrope et inhomogène au moyen d'une approche statistique spectrale. La variable de base de ce nouveau modèle est le spectre du tenseur de Reynolds, quantité qui dépend des variables d'espace et du temps, mais aussi du module du vecteur d'onde. Ce travail s'appuie sur les fondements théoriques posés par A. Laporta (1995) pour le développement autour de l'homogénéité des<br />équations des corrélations en deux points et sur les travaux de S. Parpais (1996) pour la modélisation des termes les plus complexes mis à jour dans ce type de démarche.<br />Dans cette thèse, un modèle exploitable numériquement dans des géométries complexes a été proposé. Il faut noter que ce modèle repose sur des hypothèses quasi-normales amorties pour représenter les flux d'énergie vers les petites échelles et ne nécessite donc pas, comme les modèles de turbulence usuels, l'utilisation d'une équation de transport pour la dissipation de l'énergie cinétique turbulente. Les informations spectrales fournies par le modèle ont été utilisées pour analyser finement la turbulence. Nous avons ainsi pu caractériser dans des écoulements tels que celui autour d'un profil d'aile en incidence certaines situations de déséquilibre de la turbulence. Ce déséquilibre s'exprime en particulier au niveau des spectres de l'énergie cinétique turbulente par un écart à la théorie de Kolmogorov (1941) et à une distribution d'énergie selon les nombres d'onde k proportionnelle à k^?5/3 (dans la zone inertielle). L'analyse spectrale permet aussi de proposer des quantités en un point pertinentes pour mettre en évidence ces états de déséquilibre, ouvrant ainsi de nouvelles voies de modélisation.

Ce travail de thèse consiste à développer l'approche bayésienne en séparation de sources. Mes contributions sont à la fois méthodologiques et algorithmiques illustrées par des applications en imagerie satellitaire et en cosmologie observationnelle. - Au niveau méthodologique: 1. nous avons proposé une modélisation pertinente des sources. L'aspect hiérarchique de ce modèle est bien adapté à la structure cachée naturelle du problème de séparation de sources. 2. Nous avons étudié le problème de dégénérescence du maximum de vraisemblance dans le cas vectoriel et dans le contexte de séparation de sources. 3. Nous avons proposé une approche originale pour la sélection d'a priori avec les outils de la géométrie différentielle. - Au niveau Algorithmique: 1. Nous avons proposé des algorithmes de séparation et de ségmentation dont le principe est l'exploitation de la non stationnarité dans le domaine temporel, spatial, spectral, temps-fréquence... 2. Nous avons mis en oeuvre la solution bayésienne avec une impémentation parallèle de l'échantillonneur de Gibbs ainsi que d'autres approximations stochastiques de l'EM. 3. Ces algorithmes sont illustrés par une application en imagerie satellitaire et une application en cosmologie observationnelle. Enfin, j'ouvre des perspectives théoriques sur la dualité de l'approche bayésienne et de l'approche informationnelle dans le cadre de la séparation et de la ségmentation conjointes des sources.

Ce travail aborde le problème de la validation de spécifications de services téléphoniques et notamment la recherche d'interactions entre services. Une interaction correspond à la modification du comportement d'un ou plusieurs services, du fait de la coexistence des services. L'interaction est un obstacle majeur au développement de l'offre de services de télécommunications. La validation de spécifications requiert une modélisation des services et du réseau sous-jacent. Nous proposons une méthode de spécification formelle et de validation de services. Celle-ci est basée sur l'utilisation d'un formalisme synchrone pour la modélisation et la spécification, et sur la mise en oeuvre de méthodes de test pour la validation. Nous avons à cette fin proposé une méthode de test adaptée au problème. Cette méthode a été intégrée à Lutess, un environnement de test fonctionnel de systèmes réactifs synchrones, reposant sur un principe de génération de données dynamique et aléatoire. Elle est basée sur la notion de "guidage par schémas". Un schéma représente une classe de comportements de l'environnement du système sous test, comportements que l'on souhaite tester principalement, soit parce qu'ils sont réalistes, soit parce qu'ils conduisent à une situation estimée critique. Cette méthode a été formalisée, puis validée expérimentalement dans plusieurs études de cas conséquentes, en particulier lors du premier concours de détection d'interaction proposé en marge de la conférence "Feature Interaction Workshop", qui a consacré Lutess "Meilleur outil pour la détection d'interactions".