Spelling suggestions: "subject:"erformances"" "subject:"dperformances""
231 |
Bases de données cliniques et systèmes experts : méthodologie d'extraction de la connaissanceDuhamel, Alain 10 April 1989 (has links) (PDF)
.
|
232 |
Modélisation et vérification de protocoles pour des communications sécurisées de groupesMota Gonzalez, Sara Del Socorro 05 June 2008 (has links) (PDF)
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.
|
233 |
Modèles à files d'attente et gestion des ressources dans les systèmes informatiquesPotier, Dominique 15 January 1977 (has links) (PDF)
.
|
234 |
Analyse de l'écoulement instationnaire cavitant dans les inducteursMejri-Chtioui, Imène 06 1900 (has links) (PDF)
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. Read more
|
235 |
Conception d'un modèle de simulation de systèmes multi-agent, et de son algorithmique et implantation parallèle sur architectures MIMD à mémoire partagée : modèle ParSSAPDedu, Eugen 08 March 2002 (has links) (PDF)
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. Read more
|
236 |
Exploration de l'Espace de Conception des Architectures ReconfigurablesBossuet, Lilian 10 September 2004 (has links) (PDF)
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.
|
237 |
Modélisation et simulation de chaînes de valeurs en entreprise – Une approche dynamique des systèmes et aide à la décision : SimulValorElhamdi, Mourad 07 July 2005 (has links) (PDF)
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. Read more
|
238 |
Traçage flexible d'exécutions de programmes parallèlesGuilloud, Cyril 05 February 2004 (has links) (PDF)
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. Read more
|
239 |
Approche globale des besoins en informations des collectivités locales dans le domaine de la gestion des déchets ménagers. Essai d'une analyse spatiale sur les villes de Grenoble, Vitry-Sur-Seine et de la Communauté d'Agglomération du Pays Voironnaisperrin, nicolas 13 December 2004 (has links) (PDF)
Les responsables de la gestion des déchets ménagers et les décideurs doivent aujourd'hui tenter de mettre en place un service qui réponde qualitativement aux attentes des usagers et qui respecte les normes législatives et réglementaires. Les évolutions de la gestion des déchets entraînent inévitablement un besoin en informations. Cet objectif n'est pas évident à atteindre car il implique indubitablement la nécessité pour les collectivités locales d'informations préalables. Quelles sont ces informations ? De quelles natures sont-elles ? D'où proviennent-elles ? Comment les obtenir ?Cette recherche porte sur l'identification des informations indispensables ou simplement pertinentes pour une optimisation des schémas de gestion des déchets ménagers, et sur les moyens à mettre en œuvre pour obtenir ces informations. L'objectif est de présenter des indicateurs de performances à référence spatiale sur ces territoires afin de mieux cerner puis optimiser leur gestion des déchets ménagers.
|
240 |
Conception et réalisation d'un protocole de diffusion fiable pour réseaux locauxVeillard, Daniel 01 February 1996 (has links) (PDF)
Cette thèse aborde le problème du support pour les applications distribuées coopératives. La notion de groupes de processus auxquels sont délivrés des messages est l'un des mécanismes fondamentaux de la construction de telles applications. L'état de l'art présente les différentes sémantiques pour de tels protocoles et les principales réalisations. Le protocole retenu pour l'implantation est une version dérivée du protocole d'Amoeba modifié pour le support de groupes opaques. Diverses optimisations ont aussi été ajoutées. La mise en oeuvre est basée sur une couche générique permettant de s'abstraire des dépendances système et de faciliter la réalisation de nouveaux protocoles. La réalisation initiale a été faite en mode utilisateur sur le micro-noyau Mach 3.0 et a été suivie de portages sur diverses plates-formes Unix. Cette thèse analyse en détail les performances du protocole et leur évolution en fonction de nombreux critères. Enfin, une étude fine du temps d'exécution du protocole implanté en mode utilisateur valide les choix d'implantation.
|
Page generated in 0.051 seconds