Academic literature on the topic 'Modèles stochastiques et évaluation de performances'

Cette étude présente l'application d'un modèle stochastique de prédiction de la température de l'eau en rivière. L'analyse porte sur les variations imputables aux conditions naturelles et sur une évaluation des performances du modèle une fois appliqué au ruisseau Catamaran au Nouveau-Brunswick (Canada). Ce modèle stochastique est développé selon l'approche de Box et Jenkins (1976) basée sur les séries temporelles des températures de l'eau et de l'air. Le modèle a été calibré avec des données de 1990. L'évaluation de performance comprend une analyse des séries résiduelles et le calcul des erreurs quadratiques moyennes. Les résultats montrent que l'erreur quadratique mensuelle varie de 0,42 °C en juillet 1990 (année de calibration) jusqu'à 2,96 °C en septembre 1992. Finalement, une discussion est menée pour souligner les avantages et les inconvénients relatifs à cette approche.

Résumé Il existe plusieurs critères d’information dont le but est de faciliter la sélection du modèle statistique représentant le mieux possible la réalité. Ces critères s’appliquent notamment au cas des modèles de séries chronologiques à une seule variable. La théorie asymptotique peut être utilisée pour faire un choix entre ces critères. Par exemple, si le modèle possède un ordre authentique, il peut être démontré que certains critères sont fortement convergents pour cet ordre. Historiquement, l’estimation en échantillon fini se base sur la sélection d’un ordre unique, même si plusieurs auteurs reconnaissent l’importance du cas où il n’existe pas de vrai ordre fini. Nous proposons ici un survol de la littérature sur les critères d’information et sur leur comparaison asymptotique et en échantillons finis. Nous présentons également quelques comparaisons de critères en échantillons finis en ne prenant pas pour acquis un ordre authentique au modèle. Nous utilisons alors une mesure de distance dans le but d’évaluer les performances de divers critères dans la sélection de modèles simulés. Cette mesure nous permet de juger l’exactitude de la sélection de l’ordre des modèles résultant de l’utilisation des critères (la sélection non optimale) par rapport à la sélection de l’ordre des modèles simulés (la sélection optimale). Ceci n’est pas possible dans le cas où l’on assume une forme vraie par rapport à laquelle on compare notre modèle.

Les méthodes statistiques utilisées au cours des 50 dernières années pour l’évaluation génétique des taureaux et des vaches laitières sont présentées en insistant sur les raisons ayant motivé leur développement, puis leur abandon. La théorie classique des index de sélection appliquée aux données de base telles que les écarts des performances des vaches à leurs contemporaines d’étable est devenue obsolète car la correction des effets du milieu était imparfaite et le progrès génétique sous-jacent n’était pas pris en compte. La meilleure prédiction linéaire non biaisée (BLUP) permet une évaluation simultanée des effets génétiques et du milieu. Appliquée initialement à des modèles simples pour l’estimation des taureaux (modèles père ou père-grand-père), elle est maintenant de plus en plus utilisée avec un « modèle animal », qui permet l’évaluation conjointe des mâles et des femelles. Certaines propriétés intéressantes sont alors respectées. D’autres aspects, tels que la modélisation des performances, la prise en compte de plusieurs lactations et les difficultés de calcul des index sont également abordés.

L’évaluation scientifique de l’efficacité d’une bibliothèque exige la mesure de ses performances documentaires au moyen d’indicateurs de résultats. Les études d’évaluation en bibliothéconomie reposent sur l’approche systémique (recherche opérationnelle) et se servent de modèles analytiques pour quantifier la capacité des centres documentaires de répondre adéquatement aux multiples besoins des usagers. L’auteur effectue une analyse critique des principales études de performance ayant pour but de mesurer l’efficacité d’une bibliothèque qui doit répondre aux requêtes documentaires exprimées, soit par l’auteur ou le titre, soit par un sujet. L’emploi de méthodes quantitatives dans les projets d’évaluation des bibliothèques permettra d’améliorer la qualité des services documentaires et de modifier l’image de la bibliothéconomie.

Une grande quantité d'eau est perdue dans les zones de pâturage et prairies naturelles du fait de la présence dans ces régions de plantes à forte transpiration. La gestion du couvert végétal et des bassins versants a été proposée comme moyen pour augmenter la disponibilité des ressources en eau. Des efforts accrûs ont été consacrés au développement de pratiques de gestion et d'outils pour évaluer le potentiel d'augmentation de la ressource en eau. La modélisation hydrologique joue un rôle clé dans ces efforts. Un des outils les plus complets pour la modélisation dans les zones de pâturage et prairies naturelles est le modèle SPUR. Il s'agit d'un modèle de bassin versant, spatialement semi-distribué. Le modèle est constitué de cinq modules principaux qui incluent les aspects suivants: climat, hydrologie, plantes, animaux et économie. La composante hydrologique du modèle prend en compte à un pas de temps journalier les phénomènes de ruissellement, évapotranspiration, percolation et écoulement latéral. Le ruissellement est calculé à partir du numéro de courbe qui dépend du couvert végétal, des pratiques culturales, ainsi que des conditions hydrologiques. Cependant l'utilisation par le modèle de la méthode du numéro de courbe pour déterminer le ruissellement pose de sérieux problèmes quant à l'efficacité du modèle. Dans notre recherche, nous avons substitué la méthode des numéros de courbe par l'équation de Green et Ampt. Un avantage majeur de cette approche est l'utilisation de l'intensité de la pluie comme variable de forçage au lieu de la pluie journalière. De plus, cette équation d'infiltration utilise des paramètres physiques comme la conductivité hydraulique à saturation. L'objectif de cet article est de présenter les performances du modèle SPUR original et modifié sur trois types de couvert végétal : sol nu, sol enherbé et buissons. Trois années de mesures collectées sur le bassin versant de Throckmorton (Texas, Etats Unis d'Amérique) ont été utilisées pour la calibration et la validation des modèles. Les performances des modèles ont été évaluées en utilisant le coefficient d'efficience de Nash et Sutcliff. Le calage a porté sur la première année de mesure. Pour le modèle original, le calage a consisté à ajuster les numéros de courbe de manière à optimiser l'efficience. Pour le modèle modifié, il n'a été procédé à aucun calage. Les valeurs de conductivité hydraulique à saturation ont été estimées en utilisant des équations de pédotransfert en se basant sur les propriétés texturales et structurales des sols. L'introduction dans le modèle SPUR de l'équation de Green et Ampt a considérablement amélioré la performance du modèle pour la prévision du ruissellement sur tous les sites. L'efficience moyenne pour les prévisions du ruissellement mensuel sur sol nu est de 0.16, alors que celle ci est négative pour le modèle original (-0.11). Pour les sites enherbés l'efficience du modèle modifié est de 0.48 alors qu'elle est négative pour le modèle original. L'utilisation du numéro de courbe a résulté en une surestimation systématique du ruissellement sur tous les sites. De manière générale, le modèle original et le modèle modifié présentent de meilleures performances sur les sites non nus. Ceci est dû au fait que les deux modèles sous-estiment de manière significative l'évaporation sur les sols nus. Un des désavantages des deux modèles est en effet de limiter l'évaporation aux premiers 15 cm du sol. L'introduction de l'équation de Green et Ampt a amélioré les performances du modèle pour la prévision du ruissellement aussi bien à l'échelle mensuelle qu'annuelle. De plus, le modèle modifié est sensible au type d'occupation du sol et est donc adapté comme outil pour l'analyse de scénario en vue de préserver les ressources en eau. Une analyse de sensibilité a été conduite afin d'évaluer l'impact des paramètres d'entrée sur les sorties des deux modèles. L'analyse de sensibilité a consisté à modifier systématiquement les paramètres d'entrée de plus ou moins 10%. Pour le modèle original, l'analyse a porté sur l'influence du numéro de courbe, et pour le modèle modifié celle ci a porté sur l'étude de l'impact lié aux paramètres utilisés pour calculer la conductivité hydraulique à saturation. Concernant le modèle original, une augmentation du numéro de courbe de 10% entraîne une augmentation du ruissellement de 120% pour le sol nu, et aux alentours de 100% pour les autres sites. L'impact de ces variations sur l'évaporanspiration est minimal, avec une variation maximale de 16% pour le sol nu. Concernant le modèle modifié, la teneur du sol en sable est le paramètre ayant la plus grande influence sur la quantité d'eau ruisselée pour le sol nu. Par contre, pour les lysimètres ayant un couvert végétal, le pourcentage de sol couvert par la canopée est le factor majeur contrôlant la quantité d'eau ruisselée. Les paramètres liés au couvert végétal ont un plus grand impact sur le ruissellement que les paramètres liés aux propriétés intrinsèques du sol. Globalement l'introduction de l'équation de Green et Ampt a amélioré les capacités prédictives du modèle. Outre le fait que le modèle modifié ne nécessite pas un calage particulier pour la détermination des paramètres de transfert de l'eau dans le sol, il se base sur l'intensité de la pluie pour la détermination du ruissellement. Il a été montré que le modèle modifié est sensible aux changements de type d'occupation du sol. Il peut donc être donc utilisé comme outil pour évaluer l'impact de différents scénarios d'occupation du sol sur les ressources en eau dans les zones de pâturage et prairies naturelles. Toutefois, des améliorations, telles que l'introduction de l'impact du développement de fissures sur l'infiltration (écoulement préférentiel) ainsi que sur le phénomène d'évaporation devraient être prises en compte afin d'améliorer les prévisions du bilan hydrologiques, notamment sur sol nu.

Le défi majeur du monde agricole aujourd’hui est de réduire de façon drastique l’usage des pesticides tout en maintenant un niveau de rendement, de qualité et de rentabilité satisfaisant. Dans le cadre d’un projet de recherche, nous avons étudié l’usage des produits phytosanitaires dans le Bordelais. Nous avons ensuite évalué les performances des systèmes viticoles existants afin de construire des scénarios de changement de pratiques pour réduire le recours aux pesticides, et préserver l’environnement et la santé humaine. Trente-huit viticulteurs pratiquant différents modes de conduite ont été interrogés. Les systèmes ont été évalués en utilisant deux méthodes d’analyse multicritère d’aide à la décision appartenant à la famille des méthodes ELECTRE : ELECTRE Tri-C et ELECTRE III. Sept critères d’évaluation ont été retenus, dont trois pour les performances socioéconomiques (rentabilité économique, charge de travail, complexité du système viticole) et quatre pour les performances environnementales (pression phytosanitaire, écotoxicité des pesticides, pratiques agroécologiques, niveau de la dérive des produits). Trois scénarios de changement de pratiques ont été construits en intégrant les bonnes pratiques identifiées sur le terrain : un scénario conventionnel raisonné optimisé (scénario Raisonné-Max) ; deux scénarios en démarche agroécologique : Agroécologie (avec usage optimisé de produits de synthèse) et Agroécologie-Bio (sans produits de synthèse). ELECTRE Tri-C a permis d’affecter chaque système viticole ainsi que les trois scénarios dans l’une des quatre catégories prédéfinies de performance. Puis ELECTRE III les a classés dans chaque catégorie. On note une supériorité de la performance socio-éco-environnementale des scénarios agroécologiques et des systèmes biologiques. Cela tient principalement à un niveau de valorisation de la production plus élevé dans ces systèmes et à un niveau de pression phytosanitaire plus faible lié aux pratiques plus favorables au renforcement de la biodiversité. Ces résultats axés sur des démarches concrètes et réalistes constituent des modèles adaptables à des exploitations viticoles conventionnelles.

Le travail présenté dans cette thèse constitue une contribution à la modélisation et à l'analyse de performances des systèmes logistiques à l'aide d'un nouveau modèle de réseaux de Petri stochastiques. Il s'agit d'une problématique au centre des préoccupations actuelles des entreprises industrielles mais très peu abordée par la communauté des réseaux de Petri. Dans ce travail, nous développons un nouveau modèle de réseaux de Petri dits réseaux de Petri lots déterministes et stochastiques (BDSPNs) capable de supporter les caractéristiques essentielles des systèmes logistiques et plus généralement des systèmes à événements discrets. Ils sont particulièrement adaptés pour la modélisation de flux évoluant en quantités discrètes (lots de différentes tailles et variables) et ils permettent de prendre en compte des activités plus spécifiques telles que les commandes des clients, l'approvisionnement des stocks, la production et la livraison en mode lot. Les BDSPNs permettent par leur formalisme graphique et mathématique de capturer pertinemment et simplement cet aspect lot omniprésent dans différentes locations de ces systèmes et qui s'implique très considérablement dans leur comportement et par conséquent dans leur analyse. Nos travaux portent à la fois sur la théorie du nouveau modèle, sur ses techniques d'analyse et sur ses applications aux systèmes logistiques. Ainsi, les résultats obtenus et les applications effectuées font des BDSPNs un outil de modélisation performant aussi bien pour l'analyse que pour la simulation.

Dans les établissements de santé, la stérilisation des dispositifs médicaux occupe une place primordiale dans la lutte contre l'infection. On appelle dispositif médical un instrument de chirurgie ou d'exploration utilisé lors d'une intervention ou d'un examen. Dans cette thèse nous étudions et proposons des améliorations de l'organisation de la production de dispositifs médicaux stériles en appliquant au milieu hospitalier des méthodes habituellement utilisées pour évaluer et améliorer les performances de systèmes de production industriels. Nous avons construit un modèle de simulation spécifique représentant le service de stérilisation du Centre Hospitalier Privé Saint Martin de Caen. Nous montrons les améliorations que nous avons pu obtenir en modifiant certains points de l'organisation. Par la suite nous avons cherché à dégager les spécificités des services de stérilisation de plusieurs établissements hospitaliers, dans le but d'effectuer une comparaison des différents types d'organisation et d'identifier les services les plus performants. Cette comparaison, réalisée à partir de données issues d'une enquête menée auprès d'établissements de la région Rhône-Alpes, repose sur des ratios de comparaison, sur la méthode DEA (Data Envelopment Analysis) et sur un modèle générique de simulation que nous avons élaboré. Dans cette thèse, nous proposons également des pistes pour analyser un service de stérilisation générique en utilisant des méthodes analytiques stochastiques. Nous commençons par dresser un état de l'art sur l'utilisation de modèles stochastiques analytiques pour l'analyse de systèmes de production de soins, puis nous étudions la possibilité d'utiliser une méthode analytique pour analyser notre modèle générique d'un service de stérilisation. Une modélisation par réseau de files d'attente du modèle générique est enfin présentée.

L'évolution technique des "objets communicants" tels que les ordinateurs portables, les assistants personnels, etc..., confirme l'intérêt porté aux technologies "sans fil". Le développement rapide des protocoles de communication sans fil (Bluetooth, WIFI, ...) a permis la généralisation de nouveaux "réseaux locaux ad-hoc" principalement caractérisés par leur topologie dynamique et l'hétérogénéité de leurs composants. Aussi, les infrastructures logicielles reposant sur de tels environnements doivent pouvoir s'adapter et gérer cette dynamicité (connexions/déconnexions fréquentes ainsi que la forte variabilité des communications. Dans ce contexte, l'objectif général est de concevoir des algorithmes permettant de maintenir la cohérence d'un groupe d'entités hétérogènes partageant des services sur des architectures fortement instables. La problématique concerne donc la prise de décision en environnement distribué en considérant les particularités du réseau sous-jacent. Dans cette thèse, nous proposons une méthodologie d'approche concernant la caractérisation des performances envisageables dans un environnement totalement distribué s'appuyant sur un protocole de communication sans fil. Cette approche consiste également en l'identification des différentes perturbations susceptibles d'interférer dans le bon déroulement des applications. Par ailleurs, un algorithme de consensus adapté aux spécificités de l'environnement et basé sur un principe d'interaction avec un mécanisme de détection de défaillances a été développé et implanté. Afin de valider cette approche algorithmique, diverses expérimentations et évaluations qualitatives et quantitatives ont été réalisées.

Cette thèse porte sur l'utilisation des techniques de comparaison stochastique pour l'évaluation de performances des systèmes complexes. Ces techniques constituent à construire des modèles plus simples qui fournissent des bornes sur la distribution de probabilité de l'indice de performance considéré. Nous avons considéré cette approche pour l'analyse des systèmes modélisés par des chaînes de Markov. Dans ce cadre, nous avons défini une classe particulière de matrices de transition de chînes de Markov qui ont des propriétés très intéressantes, dont une forme close pour le calcul de la distribution stationnaire. Nous avons ensuite fourni des algorithmes qui permettent de construire des matrices appartenant à cette classe, qui sont bornantes et monotones selon différents ordres stochastiques. Les distributions stationnaires des matrices construites peuvent être calculées à travers la forme close et elles constituent des bornes sur les distributions stationnaires des matrices initiales. Dans ce travail, nous avons porté un intérêt particulier aux ordres stochastiques de variabilité qui fournissent des bornes plus précises que les bornes au sens de l'ordre fort[\preceq]st, habituellement utilisé. Nous avons aussi utilisé l'approche d'encadrements stochastiques pour l'analyse des délais des disciplines de services équitables "Fair Queueing" (FQ) dont la dynamique est très complexe. Nous avons proposé des disciplines bornantes de type "Weighted Round Robin" qui sont plus simples à analyser. En fait, ces disciplines ont un comportement périodique. Ceci nous a permis de faire une analyse Markovienne et fournir des bornes sur les distributions de délais des disciplines FQ. La comparaison des délais est établie au sens de l'ordre trajectoriel [\preceq]st.

We consider Markov chain comparison methods and algorithms, and applications to network performance and system reliability analysis. We have extended the classical framework, which uses strong stochastic order on a totally ordered state space and the steady-state analysis, to transient and absorption time analysis to study the point availability or reliability, also considered using level-crossing order. Comparing the chains uses two sufficient conditions: the transition matrix comparison and the stochastic monotonicity. Moving from the classical framework allows to improve the complexity or the quality of bounds. We obtain the algorithms for icx order or for partially ordered state space. In the favorable case we show the monotonicity of the system under natural partial order of states and the numerical analysis is then simple. Otherwise, we provide bounding algorithms using a matrix or event approach
Nous traitons des méthodes et algorithmes de comparaison de chaînes de Markov et des applications aux performances des réseaux et à la fiabilité de systèmes. Nous avons étendu le cadre classique, qui ne considère que l'ordre stochastique fort sur un ordre total des états et le calcul des distributions stationnaires, aux transitoires et aux temps d'absorption pour étudier la disponibilité ponctuelle ou la fiabilité, problème aussi traité par la comparaison au sens level crossing. Comparer les chaînes utilise deux conditions suffisantes : comparaison de leur matrices et la monotonie stochastique. Changer le cadre classique permet d'améliorer la complexité ou la qualité des bornes. Nous obtenons des algorithmes pour l'ordre icx ou lorsque les états sont partiellement ordonnés. Dans les cas favorables on démontre que le système est monotone sur l'ordre naturel et l'analyse numérique est simple. Sinon, on obtient des algorithmes bornants avec des approches matricielles ou événementielles

Cette thèse traite du problème de placement de taches sur des architectures multiprocesseurs. Elle s'inscrit à la fois dans le cadre de la théorie de l'ordonnancement et dans le cadre de la modélisation et de l'évaluation des performances. Un ensemble de taches, non préemptives, de durées quelconques et liées par des contraintes de précédence, doit être éxecuté sur des processus identiques. Les coûts de communication inter-taches sont pris en compte ou non, le nombre de bus étant limite ou non. Dans tous les cas, le critère d'optimisation est la minimisation de la durée d'execution de l'ensemble des taches. Une première partie propose une méthodologie pour la modélisation des problèmes de placement à l'aide des réseaux de petri. Une seconde partie s'interesse a la résolution des problèmes de placement. Deux types d'ordonnancement sont étudiés: les ordonnancements déterministes (les durées d'exécution des taches et les coûts de communication inter-taches sont connus et constants) et les ordonnancements stochastiques (les durées d'exécution des taches et les coûts de communication inter-taches sont modelisés par des lois de probabilité). Pour chacun de ces problèmes, différentes méthodes de résolution sont proposées. Ces méthodes reposent sur le couplage d'algorithmes d'ordonnancement par liste et de méthodes stochastiques. Elles exploitent des modèles de simulation (déterministe ou stochastique) et des modèles markoviens. Ces modèles permettent d'évaluer à la fois la durée des ordonnancements et des modèles markoviens. Ces modèles permettent d'évaluer à la fois la durée des ordonnancements et les performances de l'architecture multiprocesseurs. L'outil retenu pour la construction et l'exploitation de ces modèles est le logiciel qnap2 (queueing network analysis package). Il faut remarquer que l'ensemble des méthodes et outils proposés peut s'appliquer à d'autres systèmes, tels que les systèmes de production

Dans cette thèse nous montrons les capacités des RdPSG à modéliser et à évaluer les performances et les grandeurs de la sûreté de fonctionnement des systèmes de production sujets à des pannes et réparables. Nous montrons que les RdPSG permettent au concepteur d'évaluer et de comparer différentes architectures et politiques avec une grande aisance et rapidité. Plusieurs grandeurs peuvent être utilisées pour évaluer les performances d'une structure donnée. La disponibilité et le MTBF sont les mesures les plus intéressantes pour comparer différentes stratégies de la sûreté de fonctionnement. Le facteur coût peut être inclus dans l'évaluation (coût de l'installation, de sa mise en marche, des réparations, de l'entretien, etc. ). Dans le cas des systèmes de production complexes, on utilise une méthode d'agrégation basée sur la théorie du modèle équivalent. Cette technique a été validée sur un exemple industriel (chaîne de production de porte de voiture). Une bibliothèque formée par des modules de base a été créée. Un outil d'aide à l'évaluation des systèmes de production, utilisant ces modules, a été développé dans le but de faciliter la modélisation et accélérer l'évaluation

Les architectures orientées service (SOA) ont certainement apporté des réponses pour de nombreux problèmes que les précédentes technologies, telles que RMI et CORBA, n'ont pas pu offrir. Elles ont essentiellement fournit des réponses méthologiques pour garantir interopérabilité et le couplage faible entre systèmes d'information (SI) de plus en plus hétérogènes. Cependant, les services Web engendrent des problèmes de différentes natures telles que l'adaptation au changement dynamique du comportement du fournisseur d'un service et sa qualité de service (QdS) rendue. Il est donc indispensable de développer des méthodes et outils d'évaluation afin de surveiller et d'analyser la QdS rendue par les services. Cette thèse se situe justement dans le cadre de développement de méthodes et d'outils d'évaluation de performances des services Web. A cette fin, nous avons abordé le sujet sous trois aspects, à savoir le calcul exacte, le calcul des bornes du temps moyen et la prise en compte des critères de qualité de service dans la découverte et la sélection des services Web. Pour le premier aspect, nous avons proposé des formules analytiques pour le calcul exact et l'analyse du temps moyen de réponse des différents constructeurs du standard BPEL. Pour le second aspect, nous avons proposé des familles de modèles bornant supérieurement le temps de réponse d'un service Web composite. Le cadre de l'analyse, dans cette partie, est celle des chaînes de Markov à temps continu (DTMC) et la technique utilisée est celle du couplage des processus aléatoires. Pour le troisième aspect, nous avons proposé l'extension de l'architecture conventionnelle des services Web afin de prendre en compte la QdS dans leur découverte et sélection
Service Oriented Architecture (SOA) has certainly provided answers for many problems that previous technologies, like RMI and CORBA, could not offer. They mainly provide methodological answers to ensure interoperability and low coupling between heterogeneous information systems (IS). However, Web services create problems of various kinds such as adaptation to change the dynamic behavior of a service provider and quality of service (QoS) delivered. It is therefore essential to develop methods and tools to monitor and analyze the QoS delivered by the services. This PH. D. Thesis stands justly for the context of developing methods and tools for Web services performance evaluation. For this goal, we have approached the subject from three aspects, namely, the exact computation, the bounds computation for the average response time of Web services and taken into account the quality of service in the discovery and the selection of Web services. For the first aspect, we have proposed analytical formulas for the exact computation and analysis of average response time of the various of standard BPEL constructors. For the second aspect, we proposed upper bounds for the response time of a composite Web service. The analysis in this section is that of continous Markov chain (DTMC) and the technique used is the processes coupling. For the third aspect, we have proposed an extension of the conventional Web services architecture in ordre to take into account the QoS in their discovery and selection

Dans cette thèse, nous étudions les différents aspects des protocoles de communication pour les réseaux mobiles ad hoc. Notre but est d'établir des modèles analytiques pour chacun de ces aspects et de combiner les modèles pour évaluer la performance du système en entier. Nous considérons les protocoles de toutes les couches, à partir de la couche de contrôle d'accès au canal. Nous commençons notre étude avec le protocole IEEE 802.11 et nous démontrons que les délais d'accès au canal suivent une distribution polynomiale. Basés sur ce résultat, nous présentons un protocole inter-couche an d'offrir des garanties de qualité de service de délai dans les réseaux sans l multi-sauts. Le prochain sujet abordé est la scalabilité des protocoles de routage d'état de liens dans les réseaux ad hoc massifs. Nous comparons les résultats théoriques connus sur la capacité des réseaux sans l avec les bornes atteignables quand on tient compte du trac de contrôle des protocoles utilisées. Nous adaptons les bornes théoriques à la communication multicast et nous proposons MOST, un protocole multicast qui atteint des performances asymptotiquement optimales dans les grands réseaux mobiles ad hoc. Ensuite, nous étudions le comportement du protocole TCP et l'impact des délais polynomiaux observés précédemment par rapport aux auto corrélations du trac TCP, toujours dans le contexte de grands réseaux. Finalement, nous nous intéressons à l'organisation et la gestion du réseau, an d'offrir des services de qualité garantie. Notre approche peut être appliquée dans un contexte général et consiste à placer des serveurs répliqués dans le réseau, selon les informations de qualité de service fournies par les couches inferieures.

Cette thèse est consacrée au développement d'une méthodologie de modélisation et d'évaluation des performances des processus industriels semi-structurés. La méthodologie traite des activités d'un processus opérationnel et de leurs relations. Elle s'intéresse non seulement aux relations simples, mais aussi aux relations complexes exprimées dans les coopérations. La méthodologie développée est basée sur les outils IDEF3 et réseaux de Petri stochastiques. La méthode IDEF3 est d'abord utilisée pour formaliser graphiquement le processus non encore observé. Le graphe IDEF3 ainsi obtenu facilite la compréhension de l'objet modélisé et permet la description de ses particularités. L'analyse quantitative du processus est du ressort des réseaux de Petri stochastiques généralisés (RPSG). C'est pourquoi nous établissons une complémentarité entre ces deux outils, en rendant possible le passage de l'un à l'autre. Nous proposons pour cela un équivalent RPSG pour chaque composante graphique IDEF3, des règles de conversion et une procédure de construction du RPSG. Quand des activités coopératives sont rencontrées dans le processus, on les traite séparément. On formalise d'abord ces activités à l'aide d'un modèle descriptif. L'extraction des performances de ce modèle nécessite l'utilisation de la simulation. Le modèle de simulation est défini en deux étapes. La première consiste à valider un modèle partiel au moyen d'un réseau de Petri temporisé stochastique coloré. Une méthode de résolution est définie à cette occasion pour analyser ce réseau. Les spécificités de la coopération sont ensuite ajoutées au modèle partiel. Cette étape ultime permet l'évaluation des durées moyennes des activités coopératives. Le modèle RPSG est complet lorsque l'on intègre les durées des activités coopératives, ces dernières sont alors considérées comme étant liées par des relations simples. L'évaluation des performances du processus est enfin réalisable. La méthodologie proposée a été expérimentée sur deux exemples industriels : un processus de téléopération et un processus de maintenance corrective
This thesis is concerned with the development of a semi-structured business process modeling and performance evaluation method. This method deals with activities of an operational process and their relationships. It handles not only simple relationships, but takes into account complex links expressed by cooperations. The proposed method is based on IDEF3 and Stochastic Petri nets tools. IDEF3 is first used to formalized graphically a non observed process. The IDEF3 graph obtained makes the modeled object easy ro understand and allows to describe its particularities. Generalized stochastic Petri nets (GSPN) are responsible of the process quantitative analysis. For this reason. A "complementarity" is established between the tools. To make it possible to go from IDEF3 to GSPN, a GSPN equivalent for each IDEF3 graphical component, conversion rules and a GSPN building procedure are proposed. When cooperative activities are met into the process, they are treated separately. They are first formalized with a descriptive model. The performance extraction from the model requires the use of simulation. The simulation model is built in two steps. The former consists to validate the partial model by means of a colored stochastic timed Petri net. An analytic method is suggested to analyze this net. Next, the cooperation specificities are added to the partial model. This latter step allows to compute the mean duration of each cooperative activity. The GSPN model is completed when the cooperation durations are integrated, each one being considered then like a simple relationship. Finally, the process performance evaluation can be computed. The developed method has been experimented on two industrial examples : a teleoperation process and a maintenance process