L'objectif de cette thèse était de construire un modèle de fonctionnement de troupeau de truies qui permette d'explorer l'effet de combinaisons de pratiques d'élevage, cohérentes avec les attentes des éleveurs, sur la production et la répartition des tâches périodiques au cours du temps. Pour y parvenir nous avons réalisé un premier modèle à partir des données de la bibliographie. Ce modèle permet de représenter le fonctionnement des troupeaux de truies quelles que soient la conduite en bandes et la durée de lactation, les deux facteurs les plus importants vis-à-vis du rythme de travail inter hebdomadaire. Il produit des résultats sur la productivité des truies et la répartition des tâches périodiques et permet ainsi de comparer les différentes conduites en bandes sur ces critères. Nous avons soumis le modèle et ses résultats à l'avis d'experts de la filière. Ceux-ci ont proposé d'améliorer i) la représentation des attentes des éleveurs en lien avec les pratiques ; ii) la représentation de la carrière des animaux et son effet sur la productivité. Ceci nous a conduits à réaliser une enquête auprès d'éleveurs et une analyse de la base de données de la Gestion Technique des Troupeaux de Truies. L'enquête a permis d'identifier deux types d'attentes des éleveurs : i) vis-à-vis de la répartition intra hebdomadaire du travail en lien avec les pratiques autour de l'insémination ; ii) vis-à-vis de la productivité des truies en lien avec les pratiques autour de la mise bas. Nous avons aussi identifié une relation entre le nombre de bandes et les pratiques de renouvellement et de réforme. L'analyse de la base de données a fourni les éléments nécessaires à la prise en compte des effets de la carrière sur la productivité des truies, mais aussi des références techniques par type de conduite en bandes qui n'étaient pas disponibles jusqu'alors. L'ensemble de ces résultats nous a permis de proposer la maquette d'un modèle conceptuel qui reprend les bases du premier modèle en y intégrant i) une représentation des attentes des éleveurs reliées à des cohérences de pratiques, ii) une plus grande diversité des pratiques et iii) l'effet des pratiques des éleveurs et de la carrière des truies sur les performances.

L'implémentation, selon des critères de hautes performances, d'un protocole de communication est une tache complexe. De nombreux facteurs tels que l'environnement d'implantation, les techniques d'implémentation, l'efficacité du noyau système et les structures de données sont généralement aussi importants que les spécifications du protocole. Nous avons réalisé une implémentation hautes performances du protocole de transport osi classe 4, dans un environnement a base de transputers (microprocesseur risc d'inmos). Nous avons montre comment le transputer, associe au langage Occam, pouvait fournir un environnement d'implantation performant. L'implémentation a été conçue pour supprimer les transferts de données (en utilisant des structures de données dédiées) et minimiser les accès aux taches systèmes (des primitives systèmes ont ete développées pour optimiser le temps de gestion de la mémoire et des temporisations). L'étude de performances menée sur cette implémentation a montre qu'il était possible d'atteindre des débits voisins de 5000 tsdu par seconde, et nous a permis de définir l'architecture d'une plate-forme configurable pour l'évaluation des protocoles de niveau intermédiaire, et pour l'implantation hautes performances de ces protocoles. Ces travaux se terminent par l'analyse des fonctionnalités du protocole et des techniques d'implémentation mises au point, pour essayer d'apporter des éléments de réponse au probleme de l'avenir des protocoles de transport classiques (osi tp4 et tcp) devant les besoins définis par les domaines d'application nouveaux

.

Dans le monde des systèmes qui utilisent des communications sous forme de diffusion de groupes, le critère de sécurité devient un facteur de plus en plus important. Le choix des mécanismes pour la protection de cette communication, mécanismes basés sur des échanges de clés symétriques et asymétriques, influe sur l'efficacité du système. Nous avons procédé à l'analyse des besoins et nous avons défini un modèle qui permet de représenter la dynamique des groupes et la communication entre leurs membres. Nous avons défini l'architecture d'un système dont l'élément central est la fonction de création, d'échange et de mise en place correcte des clés. La modélisation de ce système dans un environnement UML 2.0 a permis son analyse en termes de garantie de propriétés temporelles et de sécurité. L'approche suivie pour l'étude des exigences temporelles est généralisable à de nombreux systèmes distribués. La valorisation de nos études a été faite dans le cadre du projet national RNRT SAFECAST.

.

Dans les turbomachines et plus particulièrement dans les inducteurs, la cavitation reste un sujet de préoccupation majeure. L'évolution rapide de l'industrie dans les turbomachines combinée aux récents progrès réalisés en CFD, permettent une investigation, une analyse et un diagnostic numériques de ces machines par une meilleure connaissance des caractéristiques des écoulements dont elles sont le siège. Dans le cadre de ce travail, nous avons étudié une gamme d'inducteurs qui se différentient par certains critères géométriques en écoulements cavitants et subcavitants. Les interactions entre les divers critères géométriques étudiés, jouent sans le moindre doute un rôle important et nécessitent la prise en compte d'un couplage entre ces paramètres dans les diverses conditions de fonctionnement prévisibles (débit, NPSH, etc.). L' =un des objectifs est d'aboutir, à terme, à une amélioration du processus de conception des inducteurs. La mise en oeuvre de calculs tridimensionnels cavitants, a permis d'analyser les caractéristiques de l'écoulement dans les différentes configurations d'inducteurs pour des régimes de fonctionnement stables et instables, et de détecter les paramètres les plus importants affectant leur bon fonctionnement. Une méthodologie de modélisation des caractéristiques a pu ainsi être mise en oeuvre et appliquée sur différentes géométries avec succès. Un autre objectif poursuivi est de mieux cerner à la fois expérimentalement et numériquement le phénomène de cavitation particulièrement dans ce type de machines en écoulement stationnaire et instationnaire. Ceci a permis d'établir des méthodes précises pour la prédiction de son apparition et du développement de ses différents aspects afin de repousser les limites techniques qu'elle engendre. De manière plus générale, notre collaboration avec ANSYS-Canada et l'Université du New Brunswick au cours de ce travail, a donné lieu à la validation du modèle cavitant du code CFX5.7 sur l'un des inducteurs présentés dans ce rapport.

Nous nous intéressons dans cette thèse à la simulation parallèle des systèmes multi-agent (SMA), plus particulièrement à des comportements d'agents situés : entités autonomes agissant dans un environnement. La simulation du trafic routier, de populations de personnes ou d'animaux sont quelques exemples de ses applications.<br /><br />Actuellement, il y a un manque de simulateurs parallèles efficaces pour ces systèmes, qui seraient très utiles, compte tenu des temps d'exécution pour des simulations à grande échelle. Dans ce contexte, notre apport se divise en trois parties : (1)~fournir un modèle de simulation de SMAs à grande échelle, appelé ParSSAP, (2)~faire un travail d'algorithmique parallèle dans les SMAs et (3)~fournir une implantation de ce modèle sous la forme d'une bibliothèque parallèle.<br /><br />Dans cette thèse nous commençons par introduire les SMAs, les problèmes de parallélisation qu'ils posent et l'état de l'art dans la simulation des SMAs. Nous présentons ensuite nos travaux et apports : le modèle de simulation que nous avons conçu, l'algorithmique parallèle utilisée dans deux percepts d'agents fournis dans notre bibliothèque (calcul des champs de visibilité et propagation des champs de potentiel), la documentation sur notre bibliothèque et quelques applications avec leurs performances à l'exécution. Finalement, nous présentons le bilan, positif, de nos travaux.<br /><br />Notre modèle et son implantation parallèle sont destinés à une utilisation facile et à des exécutions efficaces. Ils peuvent encore être enrichis, néanmoins notre bibliothèque permet déjà de construire rapidement des applications efficaces à l'exécution sur des machines parallèles modernes.

Ce mémoire présente une méthode d'exploration de l'espace architectural de conception afin de converger rapidement vers la définition d'une architecture reconfigurable efficace pour une application donnée.<br /><br />Cette méthode intervient très tôt dans le flot de conception, ainsi dès les premières phases de spécification de l'application, les concepteurs peuvent définir une architecture adaptée pour leurs applications. La méthode d'exploration s'appuie principalement sur l'estimation de la répartition des communications dans l'architecture ainsi que sur le taux d'utilisation des ressources de l'architecture. Ces métriques permettent en effet d'orienter le processus d'exploration afin de minimiser la consommation de puissance de l'architecture puisque cette dernière est directement corrélée à ces deux métriques.<br /><br />Les résultats obtenus montrent que notre méthode permet de converger rapidement vers une architecture efficace en ce qui concerne la consommation de puissance.

Le décideur en entreprise, lors de la prise d'une décision, se trouve généralement en face de la situation suivante : il dispose d'un ensemble d'alternatives qui sont des combinaisons de variables d'action ; et il lui est demandé d'atteindre un certain nombre d'objectifs qui sont caractérisés par un nombre plus ou moins élevé d'indicateurs de performance. Ces objectifs couvrent l'ensemble des relations de l'entreprise avec les différentes parties bénéficiaires des résultats de ses activités et avec lesquelles elle interagit. L'objet des indicateurs de performance est de mesurer la réussite de l'entreprise à répondre aux attentes et besoins de ces parties : clients, actionnaires, personnel, collectivité... et à ses propres attentes. <br />Le décideur a besoin d'évaluer chacune des alternatives selon chacun des critères de choix retenus et qui représentent les objectifs à atteindre, et d'évaluer globalement chacune de ces alternatives selon l'ensemble des critères. <br />Ce travail se place dans le contexte d'aide à la décision managériale de haut niveau où les actions sont des projets potentiels de développement des activités de l'entreprise. L'approche proposée, désignée par SimulValor, utilise la dynamique des systèmes pour modéliser et simuler les alternatives d'action et en évaluer les performances ; et elle utilise la théorie de l'utilité pour l'agrégation de ces performances. <br />En résumé, l'approche SimulValor vise l'évaluation de différentes alternatives d'action concernant la configuration des activités de l'entreprise en simulant les flux de valeurs qui lient les actions aux performances et les performances aux valeurs générées aux parties bénéficiaires. La difficulté principale de la méthode est l'extraction, l'harmonisation et la quantification des données qualitatives qui caractérisent les liens d'influences (et surtout les fonctions d'utilité) existants entre les éléments modélisés.

Cette thèse (financée par l'INRIA) s'est déroulée au sein du laboratoire ID-imag (sous les tutelles : CNRS (UMR 5132) - INRIA - INPG - UJF) dont l'un des axes de recherche est la conception d'applications parallèles et de techniques pour l'exploitation de machines parallèles. La mise au point, tant pour la correction que pour les performances, de telles applications est nécessaire à l'exploitation efficace d'architectures de type grappes. Notre approche du débogage pour les performances se base sur l'observation comportementale de l'exécution des programmes, reconstituée à partir de traces d'exécution, cette observation étant facilitée par l'utilisation d'outils de visualisation. L'objectif de cette thèse est l'étude de méthodes permettant d'enregistrer facilement des traces d'exécution de programmes parallèles pour une grande variété de modèles de programmation parallèle ou distribuée, d'interfaces de programmation ainsi que d'outils de visualisation. Nous nous appuyons pour cela sur des formats adaptables pour l'enregistrement et l'exploitation de traces d'exécution. Afin de permettre l'adaptation du système de traçage à divers modèles de programmation, nous utilisons un format de trace brut élémentaire sans sémantique intrinsèque. Ce format brut présente l'avantage d'être compact et facilement adaptable aux programmes des utilisateurs et à leurs contraintes. L'utilisateur du système de traçage peut définir les événements à observer ainsi que les types des paramètres qui leurs sont associés. Les outils de visualisation ou d'analyse utilisent généralement des formats élaborés plus expressifs. La distinction des formats implique donc l'utilisation d'un système de conversion pour passer de l'un à l'autre. Ces formats étant adaptables, la conversion doit de plus être configurable. Nous avons donc conçu un système de conversion, paramétrée à l'aide de règles de réécriture, permettant d'apporter une sémantique aux événements bruts. À l'aide de ce système flexible de traçage et de conversion, nous avons pu visualiser des exécutions de programmes mettant en oeuvre les divers niveaux d'abstractions d'un intergiciel multicouche pour la programmation parallèle.