To see the other types of publications on this topic, follow the link: Modèles stochastiques et évaluation de performances.
Dissertations / Theses on the topic 'Modèles stochastiques et évaluation de performances'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 36 dissertations / theses for your research on the topic 'Modèles stochastiques et évaluation de performances.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Labadi, Karim. "Contribution à la modélisation et à l'évaluation de performances des systèmes logistiques à l'aide d'un nouveau modèle de réseaux de Petri stochastiques." Phd thesis, Université de Technologie de Troyes, 2005. http://tel.archives-ouvertes.fr/tel-00389432.
Full textAbstract:
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.
2
Ngo, Cong Khanh. "Etude et amélioration de l'organisation de la production de dispositifs médicaux stériles." Phd thesis, Grenoble 1, 2009. http://tel.archives-ouvertes.fr/tel-00371165.
Full textAbstract:
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.
3
Marchand, Corine. "Mise au point d'algorithmes répartis dans un environnement fortement variable, et expérimentation dans le contexte des pico-réseaux." Phd thesis, Grenoble INPG, 2004. http://tel.archives-ouvertes.fr/tel-00008039.
Full textAbstract:
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.
4
Ben, Mamoun Mouad. "Encadrements stochastiques et évaluation de performances des réseaux." Versailles-St Quentin en Yvelines, 2002. http://www.theses.fr/2002VERS0012.
Full textAbstract:
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.
5
Bušić, Ana. "Comparaison stochastique de modèles markoviens : une approche algorithmique et ses applications en fiabilité et en évaluation de performance." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0026.
Full textAbstract:
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 approachNous 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
6
Norre, Sylvie. "Problèmes de placement de taches sur des architectures multiprocesseurs : méthodes stochastiques et évaluation des performances." Clermont-Ferrand 2, 1993. http://www.theses.fr/1993CLF21511.
Full textAbstract:
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
7
Mazigh, Belhassen. "Modélisation et évaluation des systèmes de production par les réseaux de Pétri stochastiques généralisés." Mulhouse, 1994. http://www.theses.fr/1994MULH0310.
Full textAbstract:
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
8
Youcef, Samir. "Méthodes et outils d'évaluation de performances des services web." Paris 9, 2009. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2009PA090031.
Full textAbstract:
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électionService 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
9
Rodolakis, Georgios. "Modèles analytiques et évaluation de performances dans les grands réseaux mobiles ad hoc." Phd thesis, Ecole Polytechnique X, 2006. http://pastel.archives-ouvertes.fr/pastel-00002950.
Full textAbstract:
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.
10
Marier, Stéphane. "Modélisation et évaluation des performances des processus industriels semi-structurés." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0205.
Full textAbstract:
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 correctiveThis 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
11
Li, Jie. "Évaluation et optimisation des performances des systèmes de production distribution." Metz, 2006. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2006/Li.Jie.SMZ0610.pdf.
Full textAbstract:
Nous considérons un système de production-distribution composé d’un ensemble d’unités de production et d’entrepôts disposées en série et connectés par des facilités de transport. Chaque entrepôt est contrôlé par une politique donnée de gestion de stock et il est approvisionnée par une unité de production amont de capacité finie. On considère un seul type de produit fini. Le problème à résoudre est de déterminer le meilleur paramétrage de la politique de gestion de stock sur l’ensemble du système tout en prenant en compte les contraintes sur la capacité de production, le taux de service client souhaité et les délais de transport. Nos travaux de recherche ont permit le développement d’une méthodologie d’optimisation des paramètres de gestion du stock basée sur la simulation, qui permet de trouver les paramètres de la politique de gestion du stock qui minimisent le coût sur l’ensemble du système de production-distribution. L’efficacité de l’approche proposée a été vérifiée par des expérimentes numériquesThis thesis considers a production-distribution system made up of a set of production sites and distribution centers connected by the transport facilities. Each distribution center is managed by a given stock management policy. The aim is to find the best parameters setting of the stock management policy through the whole network in order to optimize the overall performances of the production-distribution system while taking into account the finite production capacity, the customer service requirement, the transport time, and the random customer demand. The results obtained during this PhD thesis allowed to develop a methodology of optimization for the parameter setting of inventory control policies management in the production-distribution systems. Thus, we proposed a simulation based optimization approach which computes the setting that minimizes the overall inventory cost of the production-distribution system, while taking into account fill rate constraints. The approach iss validated by a large number of numerical experiments
12
Le, Meur Olivier. "Attention sélective en visualisation d'images fixes et animées affichées sur écran : modèles et évaluation de performances - application." Nantes, 2005. http://www.theses.fr/2005NANT2063.
Full textAbstract:
Cette étude traite de la modélisation de l'attention visuelle pré-attentive (ou plus communément appelé Bottom-Up) sur images fixes couleurs et sur séquence d'images animées. Il s'agit donc de déterminer de façon automatique et en utilisant uniquement des caractéristiques visuelles de bas niveaux les zones attirant le regard. Nous proposons d'abord de construire un espace psycho-visuel dans lequel les signaux achromatique et chromatiques sont normalisés en fonction de leur propre seuil différentiel de visibilité. L'intérêt est ici d'exprimer les différentes caractéristiques visuelles avec la même unité, c'est à dire en terme de visibilité. Ensuite, plusieurs transformations sont effectuées pour déterminer la saillance spatiale achromatique et chromatiques, toutes basées sur une modélisation d'inspiration biologique des mécanismes perceptifs humains (suppression de la redondance locale, interactions facilitatrices de type iso-orienté et co-linéaire. . . ). Une méthode de fusion est proposée permettrant de déduire la carte de saillance spatiale finale. L'évaluation des performances de la modélisation est réalisée en comparant nos résultats avec des résultats provenant de tests oculométriques sur un panel d'observateurs. Pour cela, trois métriques sont utilisées: le coefficient de corrélation linéaire, la divergence de Kullback-Leibler et une méthode de classification. Comparativement au modèle de L. Itti considéré comme le modèle de référence, et quelle que soit la métrique utilisée, notre modèle fournit en moyenne de meilleurs résultats. L'extension à la dimension temporelle a été réalisée permettant de détecter les zones saillantes dans les vidéo. A partir des données achromatiques de l'espace psycho-visuel, la saillance temporelle est déduite des contrastes locaux de mouvement de la séquence d'images. La fusion de la saillance spatiale et de la saillance temporelle conduit à la carte de saillance finale. A partir de nouveaux tests oculométriques, une nouvelle évaluation est alors effectuée. En moyenne, le modèle spatio-temporel de saillance détecte 77% des zones saillantes. Finalement, deux applications utilisant les cartes de saillance sont décrites. La première concerne le codage vidéo H. 264 pour laquelle l'objectif est de privilégier la qualité sur les zones visuellement importantes. La seconde traite de la création d'images ou de séquences d'images miniatures permettant d'augmenter le confort visuel lorsque l'écran d'affichage est de faible tailleThis thesis describes the modeling of the bottom-up visual attention on color pictures and image sequences. The principal aim is to automatically detect areas of an image that effortlessly attract the attention. The method presented here uses only low level visual features in order to identify the salient regions. Two saliency-based applications are described. We first propose to build a psychovisual space in which achromatic and chromatic data is normalized to its individual differential visibility threshold. This data is expressed in the same unit, namely the visibility. Several biological-based transformations that simulate the most important perception mechanisms (the long-range interactions, the modelling of cortical cells) are used to calculate the achromatic and chromatic salient values. The final saliency map is obtained by a new merging process, which combines the achromatic and chromatic maps. The performance assessment consists of comparing our results to the ground truth stemming from Eye-tracking experiments. Three metrics, linear correlation coefficient, the Kullback-Leibler divergence and a classification method, are used. Moreover, a comparison with reults coming from L. Itti's model is also conducted; the proposed approach yields in average better results, regardless of the metric used. The temporal dimension has been added to the model in order to compute the temporal saliency. The local motion is first computed from the normalized achromatic data. The dominant motion is then deduced. The local motion contrast, which is a relevant estimator of the temporal saliency, is the difference between local and dominant motion. The final spatio-temporal map is the combination of the spatial and the temporal saliency maps. The spatio-temporal model was assessed using new eye tracking experiments. On average, 77% of the salient regions are correctly detected. Two saliency-based applications, saliency-based H. 264 coding and saliency-based thumbnails, have been developed. The former deals with a video compression scheme driven by a saliency map: perceptually non-important areas are subjected to higher compression than more relevant parts of the data. The latter concerns the construction of saliency-based thumbnails. The goal is to ease the image viewing on devices with limited display sizes
13
Tomala, Frédéric. "Propositions de modèles et méthodes pour l'aide à l'évaluation des performances d'une innovation dès sa conception." Valenciennes, 2002. https://ged.uphf.fr/nuxeo/site/esupversions/e10e773d-3a96-4c44-aa8f-8b79df9979c3.
Full textAbstract:
Dans le contexte économique actuel les entreprises sont tenues d'innover avec succès. La compétitivité repose aujourd'hui sur les critères de coût, de délai et de qualité mais aussi sur la capacité des entreprises à générer un flux d'innovation. Ce nouveau contexte appelle d'une part l'évolution des modes d'évaluation de la performance et d'autre part une nouvelle définition du concept de performance qui est aujourd'hui multi-critères, multi-périodes et multi-acteurs. Les entreprises doivent évaluer et piloter leurs performances dès la phase de conception de produit et des processus. Notre contribution dans ce cadre est la proposition de méthodes et modèles d'évaluation de la performance globale d'une innovation, dès la phase de conception. Elle repose principalement sur trois éléments : un modèle du processus d'innovation, un ensemble de modèles et méthodes d'estimation et d'évaluation de l'innovation et un environnement d'aide à la décision permettant la mise en œuvre des méthodesIn the current economic context, companies must innovate successfully. The competitiveness rests today on the criteria of cost, time and quality but also on the capacity of the companies to generate a flow of innovation. This new context calls, on the one hand, the evolution of the modes of performance evaluation and, on the other hand, a new definition of the concept of performance which is today multi-criteria, multi-periods and multi-actors. The companies must evaluate and control their performances as of the phase of design of product and processes. Our contribution within this framework is the proposal of methods and models of total performance evaluation of an innovation, as of the phase of design. Our proposal rests mainly on three elements: a model of the process of innovation, a whole of models and methods of estimate and evaluation of the innovation and an environment of decision-making aid allowing implementation methods
14
Rugina, Ana-Elena. "Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2007. http://tel.archives-ouvertes.fr/tel-00207502.
Full textAbstract:
Conduire des analyses de sûreté de fonctionnement conjointement avec d'autres analyses au niveau architectural permet à la fois d'estimer les effets des décisions architecturales sur la sûreté de fonctionnement du système et de faire des compromis. Par conséquent, les industriels et les universitaires se concentrent sur la définition d'approches d'ingénierie guidées par des modèles (MDE) et sur l'intégration de diverses analyses dans le processus de développement. AADL (Architecture Analysis and Design Language) a prouvé son aptitude pour la modélisation d'architectures et ce langage est actuellement jugé efficace par les industriels dans de telles approches. Notre contribution est un cadre de modélisation permettant la génération de modèles analytiques de sûreté de fonctionnement à partir de modèles AADL dans lobjectif de faciliter l'obtention de mesures de sûreté de fonctionnement comme la fiabilité et la disponibilité. Nous proposons une approche itérative de modélisation. Dans ce contexte, nous fournissons un ensemble de sous-modèles génériques réutilisables pour des mécanismes de tolérance aux fautes. Le modèle AADL de sûreté de fonctionnement est transformé en un RdPSG (Réseau de Petri Stochastique Généralisé) en appliquant des règles de transformation de modèle. Nous avons mis en Suvre un outil de transformation automatique. Le RdPSG résultant peut être traité par des outils existants pour obtenir des mesures de sûreté defonctionnement. L'approche est illustrée sur un ensemble du SystèmeInformatique Français de Contrôle de Trafic Aérien.
15
Covès, Christine. "Analyse et estimation des performances de processus d'entreprise." Montpellier 2, 2000. http://www.theses.fr/2000MON20225.
Full textAbstract:
Les travaux présentés dans cette thèse ont été développés dans le cadre du projet « maîtrise des aléas de production » entre l'industriel Merlin-Gerin et les deux laboratoires de recherche, le LIRMM et le LG12P. Afin de décrire la complexité du fonctionnement d'une entreprise, nous avons été amenés à modéliser les processus qui la composent. Face aux insuffisances des principaux modèles d'entreprise, nous avons alors défini le modèle MOVES permettant notamment d'intégrer l'influence de l'entité humaine à travers les caractéristiques et les compétences de cette dernière. L'étude du comportement des processus et de leurs performances nécessite une analyse des processus modélisés. Nous proposons donc dans un premier temps de procéder à une analyse qualitative. L'étude des propriétés du réseau de Pétri autonome équivalent, obtenu après traduction du processus d'entreprise modélisé, permet d'analyser la cohérence de la modélisation et la mise en évidence d'anomalies structurelles et de dysfonctionnements. Dans un second temps, une analyse quantitative permet d'estimer la performance des processus selon un aspect particulier (qualité, temporel, financier, etc. ) en fonction de plusieurs paramètres, composantes ou comportements qui leur sont associés. En particulier, l'influence des acteurs à travers leurs caractéristiques, compétences et expérience, est prise en compte dans l'estimation de performance. Nous illustrons dans ce manuscrit la mise en oeuvre de ces travaux sur un exemple de processus industriel et présentons le prototype informatique associé à l'estimation de performance.
16
Salem, Osman. "Modélisation algébrique et évaluation de performances des mécanismes de gestion de la qualité de service dans les réseaux Ad hoc." Toulouse 3, 2006. http://www.theses.fr/2006TOU30093.
Full textAbstract:
Les chaînes de Markov sont souvent utilisées pour l’analyse des performances des systèmes dans de nombreux domaines, et elles sont souvent obtenues par le biais d’un formalisme de modélisation de haut niveau. Parmi les formalismes couramment utilisés, on se place dans le cadre des algèbres de processus stochastiques. La restriction de la description temporelle aux distributions sans mémoire limite les domaines d’applications des algèbres de processus stochastiques, et laisse beaucoup de questions sur l’exactitude des valeurs des performances, obtenues par l’approximation des fonctions de distributions de délais de toutes les activités d’un système par des distributions Markoviennes. Cette thèse propose des méthodes et des algorithmes visant à optimiser le formalisme afin de pouvoir spécifier et évaluer les performances des modèles proches de la réalité. Les méthodes et les algorithmes développés au cours de cette thèse ont été implémentés, et des exemples numériques sont présentés pour illustrer les apports de cette thèse. Pour cela, nous introduisons tout d’abord le concept des algèbres de processus stochastiques, et les techniques d’analyses et d’agrégation utilisées, ainsi que les nouveautés qu’on peut ramener à ce formalisme. Ensuite, nous nous intéressons aux mécanismes de gestion de la qualité de service dans les réseaux ad hoc, comme nouveau domaine d’application. Après l’identification des questions fondamentales liées aux caractéristiques de ce type de réseaux, nous proposons un nouveau mécanisme de gestion de la qualité de service de bout en bout, puis nous réalisons une modélisation algébrique et des analyses qualitatives et quantitatives sur les diagrammes de transitions sous jacents du modèle algébrique, avant d’utiliser ce dernier pour la construction d’un modèle de simulation. Les analyses quantitatives réalisées sur le modèle de simulation sous différentes conditions, montrent la capacité du modèle proposé à s’adapter au dynamicité des ressources du réseauMarkov chains are often used for quantitative analysis of systems in many areas of application, and they are usually obtained by means of high level modeling formalism due to manual difficulty in specifying even a small system. Among widely used high level formalisms, we use stochastic process algebra. Unfortunately, restriction of temporal delay to memoryless distributions limits the application area of this framework, and leaves a lot of doubt around the precision of the results obtained by approximating distribution delay of all activities by Markovian one. This thesis proposes new methods and algorithms for enhancing the algebraic framework in order to make it able to specify and analyze real models. Methods and algorithms developed during this thesis are implemented, and numerical examples are presented to illustrate our contributions. We begin by introducing the concept of modeling with stochastic process algebras, and the widely used techniques to reduce and analyze the underlying transition diagram, as well as the novelties that we can bring to this formalism. Afterwards, we turn our attention to quality of service management mechanisms used in ad hoc network, like a new application area for formal design and modeling with algebraic formalism. After the identification of fundamental problems related to the dynamic characteristics of these kind of networks, we propose a new mechanism for providing end to end quality of service, then we realize functional and temporal analysis at the underlying transition diagram from the algebraic model, that we will use for the construction of a simulation model. Simulation results under various network loads show the ability of the proposed model to adapt with resources variations and the dynamic characteristics of ad hoc networks
17
Martin, Alexandre. "Évaluation de la performance des règles de gestion d'un réservoir de production hydroélectrique mises à jour à l'aide de la programmation dynamique stochastique et d'un modèle hydrologique." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/9567.
Full textAbstract:
L’entreprise Rio Tinto effectue la gestion du système hydrique de la rivière Nechako, situé en Colombie-Britannique (Canada), à partir de règles de gestion optimisées à l’aide d’un algorithme de programmation dynamique stochastique (PDS) et de scénarios d’apports historiques. Les récents développements en recherche opérationnelle tendent à démontrer que la mise à jour des règles de gestion en mode prévisionnel permet d’améliorer la performance des règles de gestion lorsque des prévisions d’ensemble sont utilisées pour mieux cerner les incertitudes associées aux apports à venir. La modélisation hydrologique permet de suivre l’évolution d’un ensemble de processus hydrologiques qui varient dans le temps et dans l’espace (réserve de neige, humidité du sol, etc.). L’utilisation de modèles hydrologiques, en plus d’offrir la possibilité de construire des prévisions d’ensemble qui tiennent compte de l’ensemble des processus simulés, permet de suivre l’évolution de variables d’état qui peuvent être utilisées à même l’algorithme d’optimisation pour construire les probabilités de transition utiles à l’évaluation de la valeur des décisions futures.
À partir d’un banc d’essais numériques dans lequel le comportement du bassin versant de la rivière Nechako est simulé à l’aide du modèle hydrologique CEQUEAU, les résultats du présent projet démontrent que la mise à jour des règles avec l’algorithme de PDS en mode prévisionnel permet une amélioration de la gestion du réservoir Nechako lorsque comparée aux règles optimisées avec l’algorithme en mode historique. Le mode prévisionnel utilisant une variable hydrologique combinant un modèle autorégressif d’ordre 5 (AR5) et la valeur maximale de l’équivalent en eau de la neige (ÉENM) a permis de réduire les déversements non-productifs et les inondations tout en maintenant des productions similaires à celles obtenues à l’aide de règles optimisées en mode historique utilisant l’ÉENM comme variable hydrologique. De plus, les résultats du projet démontrent que l’utilisation de prévisions hydrologiques d’ensemble en mode historique pour construire une variable hydrologique permettant d’émettre une prévision du volume d’apport médian pour les huit mois à venir (PVAM) ne permettait pas d’obtenir des résultats de gestion supérieurs à ceux obtenus avec la variable d’ÉENM.
18
Mediouni, Braham Lotfi. "Modélisation et analyse de systèmes stochastiques et temps réel." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM028/document.
Full textAbstract:
Dans cette thèse, nous abordons le problème de la modélisation et de la vérification de systèmes complexes présentant des comportements à la fois probabilistes et temporisés. La conception de tels systèmes est devenue de plus en plus complexe en raison de l’hétérogénéité des composants impliqués, l’incertitude découlant d’un environnement ouvert et les contraintes temps réelinhérentes à leurs domaines d’application. La gestion à la fois du logiciel et du matériel dans une vue unifiée tout en incluant des informations sur les performances (par exemple, temps de calcul et de communication, consommation d’énergie, etc.) devient indispensable. Construire et analyser des modèles de performance est d’une importance primordiale pour donner des garanties sur les exigences fonctionnelles et extra-fonctionnelles des systèmes, et permettre uneprise de décision fondée sur des mesures quantitatives dès les premières étapes de la conception.Cette thèse apporte plusieurs nouvelles contributions. Tout d’abord, nous introduisons un nouveau formalisme de modélisation appelé BIP stochastique et temps réel (SRT-BIP) pour la modélisation, la simulation et la génération de code de systèmes à base de composants. Ce formalisme hérite du framework BIP ses capacités de modélisation basées sur les composants et le temps réel et, en outre, il fournit des primitives pour exprimer des comportements stochastiquescomplexes.Deuxièmement, nous étudions des techniques d’apprentissage automatique pour faciliter la construction de modèles de performance. Nous proposons d’améliorer et d’adapter une procédure d’apprentissage présentée dans la littérature pour déduire des modèles stochastiques et temporisés à partir d’exécutions concrètes du système, et de les exprimer dans le formalisme SRT-BIP.Troisièmement, étant donné les modèles de performance dans SRT-BIP, nous explorons l’utilisation du model checking statistique (SMC) pour l’analyse d’exigences concernant la fonctionnalité et les performances du système. Pour ce faire, nous fournissons un framework complet, appelé SBIP, en tant qu’outil de support pour la modélisation, la simulation et l’analyse des systèmes SRT-BIP. SBIP est un environnement de développement intégré (IDE) qui implémente des algorithmes SMC pour des analyses quantitatives, qualitatives et d’événementsrares, en plus d’une procédure d’automatisation pour l’exploration des paramètres d’une propriété. Nous validons nos propositions sur des études de cas réels touchant à des domaines variés tels que les protocoles de communication, les systèmes concurrents et les systèmesembarqués.Enfin, nous étudions plus en détail l’intérêt du SMC lorsqu’il est inclus dans des méthodes d’analyse de système élaborées. Nous illustrons cela en proposant deux approches d’évaluation des risques. Dans la première approche, nous introduisons une méthodologie en spirale pour modéliser des systèmes résilients avec des composants FDIR que nous validons à travers l’évaluation de la sécurité du système de locomotion d’un rover d’exploration planétaire. La deuxième approche concerne l’évaluation des politiques de sécurité des organisations selon une approche de sécurité offensive. L’objectif est de synthétiser des configurations de défense efficaces contre des stratégies d’attaque optimisées (qui minimisent le coût d’attaque et maximisent la probabilité de succès). Ces stratégies d’attaque sont obtenues en combinant l’apprentissage de modèles et les méthodes méta-heuristiques, dans lesquels le SMC a le rôle principal d’évaluer et de prioriser les potentielles stratégies candidatesIn this thesis, we address the problem of modeling and verification of complex systems exhibiting both probabilistic and timed behaviors. Designing such systems has become increasingly complex due to the heterogeneity of the involved components, the uncertainty resulting from open environment and the real-time constraints inherent to their application domains. Handling both software and (abstraction of) hardware in a unified view while also including performanceinformation (e.g. computation and communication times, energy consumption, etc.) becomes a must. Building and analyzing performance models is of paramount importance in order to give guarantees on the functional and extra-functional system requirements and to make well-founded design decisions based on quantitative measures at early design stages.This thesis brings several new contributions. First, we introduce a new modeling formalism called Stochastic Real-Time BIP (SRT-BIP) for the modeling, the simulation and the code generation of component-based systems. This formalism inherits from the BIP framework its component-based and real-time modeling capabilities and, extends it by providing comprehensive primitives to express complex stochastic behaviors.Second, we investigate machine learning techniques to ease the construction of performance models. We propose to enhance and adapt a state-of-the-art learning procedure to infer stochastic real-time models from concrete system execution and to represent them in the SRT-BIP formalism.Third, given performance models in SRT-BIP, we explore the use of statistical Model Checking (SMC) for the anaysis of system’s functional and performance requirements. To do so, we provide a full framework, called SBIP, as a support tool for the modeling, simulation and analysis of SRT-BIP systems. SBIP is an Integrated Development Environment (IDE) that implements SMC algorithms for quantitative, qualitative and rare events analyses together with an automated exploring procedure for parameterized requirements. We validate our proposalson real-life case studies ranging from communication protocols and concurrent systems to embedded systems.Finally, we further investigate the interest of SMC when included in elaborated system analysis workflows. We illustrate this by proposing two risk assessment approaches. In the first approach, we introduce a spiral methodology to build resilient systems with FDIR components that we validate on the safety assessment of a planetary rover locomotion system. The second approach is concerned with the security assessment of organization’s defenses following an offensive security approach. The goal is to synthesize impactful defense configurations against optimized attack strategies (that minimize attack cost and maximize success probability). These attack strategies are obtained by combining model learning with meta heuristics, and where SMC is used to score and prioritize potential candidate strategies
19
Idel, Mahjoub Yassine. "Etude des systèmes de transport public et réseaux logistiques par les réseaux de Petri colorés et l'algèbre (max, +) : modélisation, évaluation de performances et optimisation." Electronic Thesis or Diss., Amiens, 2019. http://www.theses.fr/2019AMIE0055.
Full textAbstract:
Ce travail de recherche porte sur les problématiques de modélisation, de résolution de conflits et de gestion optimale dans les Systèmes de Transport Public (STP) et les réseaux logistiques. Dans un premier temps, nous nous intéressons au développement d'une approche générique permettant de représenter le fonctionnement d'un STP dans un contexte réel et dynamique, avec moins d'hypothèses simplificatrices. Il s'agit plus précisément de développer un modèle théorique, décrivant le comportement du système physique caractérisé par différents phénomènes dont les conflits liés au partage de ressources, le parallélisme et la synchronisation. Pour ce type de phénomènes, notamment les conflits, il s'avère indispensable de développer des algorithmes et des politiques de routage, permettant de les arbitrer et ainsi déterminer et contrôler les différents états du système. Pour ce faire, une nouvelle approche de modélisation combinant les réseaux de Petri colorés et l'algèbre (max, +) est proposée. Les modèles obtenus permettent d'étudier et d'évaluer le comportement du système et par conséquent, prouver ses propriétés de bon fonctionnement. Ensuite, afin d'améliorer les performances du système, une approche de contrôle fondée sur la théorie de la résiduation dans l'algèbre des dioïdes est développée. La finalité de ce contrôle est d'assurer une meilleure performance aussi bien pour les utilisateurs, en termes des temps d'attente et des temps de trajet, que pour les entreprises en termes de gestion et d'organisation (moyens matériels et ressources humaines à déployer sur le réseaux). Les modèles graphiques et mathématiques développés sont génériques et peuvent être appliqués à tout type de réseau de transport public (réseau de bus, réseau ferroviaire, réseau multimodal, etc.) de n'importe quelle taille. Par ailleurs, ces mêmes modèles sont adaptés et appliqués aux réseaux logistiques dans le but de minimiser les temps de transport et de stockage des marchandises dans différents entrepôts ou centres de distribution. Cette adaptation est fondée sur une analogie parfaite et une similarité entre les STP (transport de passagers) et les réseaux logistiques (transport de marchandises). En outre, des exemples illustratifs sont fournis pour montrer l'applicabilité et l'efficacité de l'approche proposée. Les résultats obtenus sont prometteurs et permettent d'atteindre les objectifs visés. Enfin, nous avons développé un outil de simulation à événements discrets. La version actuelle, au moment de la rédaction de ce manuscrit, permet d'étudier, d'analyser et de commander à la fois les STP et les réseaux logistiquesThe present work focuses on optimal management, resource sharing and conflicts resolution in Discrete Event Systems (DES). We mainly focus on public transportation systems and supply chains. The main objective of this work is to develop a generic approach to represent the functioning of a DES in a real and dynamic context, with fewer simplifying assumptions. More precisely, we aim to develop theoretical models, describing the behavior of the real system characterized by different phenomena including conflicts and resource sharing. In order to solve these phenomena, we develop algorithms and routing policies to arbitrate conflicts and thus determine and control the different states of the system. To this end, we propose a new modelling approach combining colored Petri nets and (max, +) algebra. The obtained models make it possible to study and evaluate the behavior of the system and therefore prove its performance properties. As a second contribution, and in order to improve the performance of the system, a control approach based on residuation theory in dioid algebra is developed. The purpose of this control is to ensure a certain performance both for users, in terms of waiting times and travel times, and for companies in terms of the number of transportation means to deploy in the network (vehicles, etc.) in order to minimize their costs. The developed models are generic and can be applied to any public transportation network (bus network, rail network, multimodal network, etc.) of any size. Similarly, these models are adapted to supply chain networks in order to minimize storage and transport times for goods in different warehouses and distribution hubs. Illustrative examples are given to show the applicability of the proposed approach and the obtained results are promising. These examples enables the verification and the validation of the developed models through concrete scenarios. Finally, a simulation tool, based on established models and programmed with python, is developed. This tool is used to study, analyze and control DES, particularly public transportation systems and supply chains
20
Coroller, Fabienne. "Surveillance et évaluation du risque de transmission des maladies vectorielles émergentes : apport de la capacité vectorielle : exemple de la fièvre catarrhale du mouton." Montpellier 2, 2006. http://www.theses.fr/2006MON20227.
Full textAbstract:
Les maladies animales vectorielles sont devenues depuis 2000 une préoccupation majeure pour la France et certains pays de l’Union Européenne du fait de l’apparition et la persistance de virus pathogènes en provenance du Sud. La fièvre catarrhale du mouton (FCM) est un bon exemple de la progression en zone tempérée d’arboviroses tropicales sous l’effet, semble-t-il, de l’extension de son vecteur principal sur le littoral méditerranéen européen (Corse, îles Baléares, Catalogne, Italie, Sardaigne, Sicile, Var). L’objectif de cette thèse est à la fois d’étudier les outils méthodologiques et diagnostiques disponibles pour la gestion sanitaire de la FCM et d’en développer d’autres afin d’améliorer le dispositif de surveillance de cette maladie en France. Une première étude a constitué à évaluer les performances épidémiologiques du test sérologique (ELISA de compétition) utilisé pour le diagnostic et la surveillance de la FCM en Corse et sur le continent français. Une analyse du plan de surveillance de la circulation virale dans le contexte particulier corse a également été conduite. Elle a permis notamment d’identifier les points critiques de ce dispositif. Suite à la détection de la présence de Culicoides imicola, le vecteur impliqué dans la circulation du virus de la FCM (BTV) sur le pourtour méditerranéen, en grand nombre dans plusieurs fermes de la vallée de l’Argens (département du Var), le besoin de développer de nouveaux outils pour surveiller et évaluer le risque de transmission de ce virus est devenu nécessaire. Une étude entomologique a ainsi mis en place dans plusieurs fermes de la vallée de l’Argens afin i) de confirmer l’installation de C. Imicola dans cette zone, ii) de suivre la dynamique de cette population sur une saison d’activité, iii) de collecter des données entomologiques pour estimer le potentiel de transmission de cette population de vecteurs. Un modèle stochastique de capacité vectorielle regroupant des données spécifiques des populations de C. Imicola présentes et des données publiées dans la littérature est ainsi proposé. Une étude de la compétence de C. Imicola vis-à-vis du sérotype 9 de la FCM a, de plus, été initiée. La discussion générale s’attarde sur les points qui semblent importants pour améliorer le dispositif de surveillance et avancer vers la mise en place d’un système d’alerte précoce. Elle ouvre également de nouvelles perspectives pour prolonger l’approche intégrative proposée en incluant notamment des travaux de géomatique initiés sur C. Imicola. Elle pose, de plus, la question d’un passage à une échelle d’étude plus large. Les questions de recherche que pose l’épizootie récente de FCM dans le Nord de l’Europe sont finalement examinées
21
Ben, Atitallah Rabie. "Modèles et simulation des systèmes sur puce multiprocesseurs : estimation des performances et de la consommation d'énergie." Thesis, Lille 1, 2008. http://www.theses.fr/2008LIL10019/document.
Full textAbstract:
La simulation des systèmes embarqués multiprocesseurs (MPSoC), dés les premières phases de conception, joue un rôle primordial puisqu'elle permet de réduire le temps d'arrivée sur le marché du produit final. Néanmoins, comme ces MPSoC deviennent de plus en plus complexes et hétérogènes, les méthodes conventionnelles de simulation de bas niveau ne sont plus adéquates. La solution proposée à travers cette thèse est l'intégration dans un seul environnement de plusieurs niveaux de simulation. Ceci permet l'évaluation des performances à un niveau précoce dans le flot de conception. L'environnement est utile dans l'exploration de l'espace des solutions architecturales et permet de converger rapidement vers le couple Architecture/Application le plus adéquat. Dans la première partie de cette thèse, nous présentons un outil de simulation performant et qui offre, à travers les trois niveaux qui le composent, différents compromis entre la vitesse de simulation et la précision de l'estimation des performances. Ces trois niveaux se différencient par les détails de l'architecture nécessaires à chacun et se basent sur le standard SystemC-TLM. Dans la deuxième étape, nous nous sommes intéressés à la consommation d'énergie dans les MPSoc. Pour cela, nous avons enrichi notre environnement de simulation par des modèles de consommation d'énergie flexibles et précis. Enfin dans la troisième étape de notre thèse, une chaîne de compilation basée sur la méthodologie Ingénierie Dirigée par les Modèles (!DM) est développée et intégrée à l'environnement Gaspard. Cette chaîne permet la génération automatique du code SystemC à partir d'une modélisation de haut niveau d'un MPSocMultiprocessor system on chip (MPSoC) simulation in the first design steps has an important impact in reducing the time to market of the final product. However, MPSoC have become more and more complex and heterogeneous. Consequently, traditional approaches for system simulation at lower levels cannot adequately Support the complexity needed for the design of future MPSoc. ln this thesis, we propose a framework composed of several simulation levels. This enables early performance evaluation in the design flow. The proposed framework is useful for design space exploration and permits to find rapidly the most adequate Architecture/Application configuration. ln the first part ofthis thesis, we present an efficient simulation tool composed of three levels that offer several performance/energy tradeoffs. The three levels are differentiated by the accuracy of architectural descriptions based on the SystemC- TLM standard. ln the second part, we are interested by the MPSoC energy consumption. For this, we enhanced Our simulation framework with flexible and accurate energy consumption models. FinaIly in the third part, a compilation chain based on a Model Driven Engineering (MDE) approach is developed and integrated in the Gaspard environment. This chain allows automatic SystemC code generation from high level MPSoC modeling
22
Sboui, Sami. "Modélisation, évaluation des performances et optimisation des flux logistiques d'un réseau d'entreprises partenaires dans la filière Textile-Habillem̀ent-Distribution." Lille 1, 2003. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2003/50376-2003-117.pdf.
Full textAbstract:
Face à l'évolution du contexte technico-économique, à l'interdépendance croissante entre les entreprises et à la mondialisation des échanges, les entreprises éprouvent de plus en plus de difficultés à rester compétitives et à être en phase avec le marché. Ces évolutions ont fait surgir l'importance de la logistique et des approvisionnements pour la survie de toute entreprise évoluant dans un environnement incertain. Suite à ce constat, les travaux présentés dans cette thèse portent sur un problème industriel lié à l'optimisation stratégique des flux physiques dans une chaîne logistique d'approvisionnement et de service, étendue et partagée. Lors de ce travail, nous avons essayé d'être à l'écoute des préoccupations réelles des entreprises de la filière Textile/Habillement/Distribution (T/H/D). Plus particulièrement, l'objectif de la thèse est de définir un ensemble de méthodologies et un outil d'aide à la décision pour le pilotage des approvisionnements. La première partie de la thèse porte sur le partenariat, l'évaluation de performance et les politiques collaboratives inter-entreprise. Elle présente une démarche préalable qui permet de remettre à plat et de transformer le processus (politique de gestion, structure de coûts, etc. ) pour mieux l'optimiser par la suite. La seconde partie de la thèse porte sur l'optimisation dynamique des approvisionnements textiles. La filière T/H/D est une réalité complexe qu'il est nécessaire de modéliser pour d'une part la rendre intelligible et, d'autre part pouvoir l'optimiser. Après une étude bibliographique sur les critères et les méthodes de planification dynamique des approvisionnements à partir d'une prévision des demandes, nous présenterons un outil de simulation et d'optimisation dynamique. Cet outil permet à une entreprise de la filière T/H/D, à partir d'une prévision unique et dynamique des demandes, de mieux planifier ses approvisionnements en maximisant les profits.
23
Benoit, Anne. "Méthodes et algorithmes pour l'évaluation des performances des systèmes." Phd thesis, Grenoble INPG, 2003. http://tel.archives-ouvertes.fr/tel-00004361.
Full textAbstract:
Les chaînes de Markov facilitent l'analyse des performances des systèmes dynamiques dans de nombreux domaines d'application. Cette thèse présente le formalisme des réseaux d'automates stochastiques pour représenter des systèmes markoviens. Le principal objectif des travaux consiste à améliorer les méthodes existantes pour évaluer les performances de systèmes informatiques à grand espace d'états. Pour cela, nous introduisons le concept de réseaux d'automates stochastiques avec réplication, ainsi que des techniques pour simplifier le modèle étudié en réduisant la taille de l'espace d'états. Pour rechercher des indices de performances, on propose une amélioration de l'opération de base en tenant compte du fait que dans de nombreux modèles, la proportion d'états accessibles est faible. Les méthodes et algorithmes développés au cours de la thèse ont été implémentés dans le logiciel PEPS 2003. Des exemples numériques sont présentés pour illustrer les apports de cette thèse.
24
Nott, David. "Modélisation et évaluation de performances des algorithmes liés au routage de paquets de taille fixe dans le réseau de coeur ROMéO." Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0039.
Full textAbstract:
All optical is a promising and challenging technology for future networks. Feasibility and performances were studied in the ROM project. With all optical technology, both transmission and switching are done in optical format. Optical memory is unavailable. The most studied routing for all optical network is the deflection routing which offers a good throughput but suffers from unbounded tail of transport time distribution. Eulerian Routing offers an finite ending guarantee, but has a low throughput. Mixed routing is a combination of deflection routing and eulerian routing, in which a packet enters the network in deflection mode. If this packet takes too much time to reach its destination, it ends the trip in eulerian mode. This thesis follows the works from de ROM project in the ROMéO project and focuses in the routing aspect of an all optical core network. The first part of the work focuses on the performance evaluation of the deflection routing. Performance criteria of interest are the probability of packet to suffer from a deflection and the transport time distribution of a packet. The second part of the work focuses on the mixed routing. We show that mixed routing's throughput significantly drops during a congestion and may be unable to recover from a congestion. We show that adding an access control permits to prevent congestion and to recover from congestion if it occursLa technologie tout-optique représente une technologie séduisante et prometteuse pour les réseaux du futur. La faisabilité et les performances d'un réseau tout-optique ont été étudiées dans le projet ROM. Avec le tout-optique, la transmission et la commutation des paquets sont effectuées en optique. La mémoire optique n'est pas ou peu disponible. Le routage le plus étudié pour le tout-optique est le routage à déflexion qui offre un bon débit mais dont la queue de la distribution de transport n'est pas bornée. Le routage eulérien offre une garantie de terminaison au transport des paquets, mais un faible débit. Le routage mixte est une combinaison du routage à déflexion et du routage eulérien dans laquelle un paquet débute en mode déflexion, et s'il prend trop de temps pour sortir du réseau, finit son transport en mode eulérien. Cette thèse poursuit les travaux de ROM dans le projet ROMéO en considérant l'aspect routage d'un réseau tout-optique. Le premier aspect étudié porte sur l'évaluation de performance du routage à déflexion, avec comme critère de performance, la probabilité d'un paquet de subir une déflexion et la distribution du temps de transport. Le second aspect étudié porte sur le routage mixte. D'une part, nous proposons des algorithmes pour construire des circuits eulériens en abaissant la garantie de terminaison du routage mixte. D'autre part, nous mettons en évidence la vulnérabilité du routage mixte face à une congestion. Nous montrons que le débit du routage mixte baisse significativement à la suite d'une rafale de trafic et que le débit du réseau peut ne pas remonter, même après la fin de la rafale de trafic. Nous montrons qu'un contrôle d'accès à l'entrée du réseau permet de prévenir la congestion et de sortir le réseau d'une congestion
25
Gamatié, Abdoulaye. "Modélisation polychrone et évaluation de systèmes temps réel." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00879359.
Full textAbstract:
Les systemes temps reel sont des dispositifs constitues de materiels et de logiciels soumis a des contraintes a la fois fonctionnelles et temporelles pour realiser des traitements, et agir sur leur environnement. Des exemples de domaines o u on rencontre de tels systemes sont les telecommunications, le nucl eaire, l'avionique ou le medical. Ces systemes sont souvent critiques a cause d'enjeux humains et economiques importants. Leur developpement exige donc des methodes tres ables. L'approche synchrone a et e proposee dans le but de repondre a cette attente. Ses fondements mathematiques o rent un cadre formel propice a la description et la validation des systemes temps reel. Parmi les modeles de specification synchrone, le modele multi-horloge ou polychrone se distingue par le fait qu'il permet de decrire des systemes o u chaque composant peut avoir sa propre horloge d'activation. Outre la validation formelle, il favorise des approches orientees composants et le d eveloppement modulaire de systemes a grande echelle. Cette these propose une m ethodologie de conception de syst emes temps reel en utilisant comme formalisme de description le langage synchrone Signal fond e sur le mod ele polychrone. Elle utilise les outils et techniques formels bas es sur ce modele pour verifier des proprietes comportementales portant sur des aspects tant fonctionnels que non fonctionnels. Cette demarche facilite l' evaluation des choix de conception. La methodologie propos ee permet de concevoir des systemes comportant des m ecanismes asynchrones a l'aide de l'approche synchrone. Elle illustre la caracterisation de comportements temps r eel dans le modele polychrone. L'avionique est le domaine d'application privilegie par la these. Cette derniere s'inscrit dans le cadre du projet europ een IST SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software), regroupant plusieurs industriels. Nous nous sommes particulierement interesses a la conception d'applications suivant le mod ele d'architecture IMA (Integrated Modular Avionics) sur lequel repose la norme avionique ARINC. Cela a conduit a la r ealisation d'une bibliotheque Signal de composants, constituee en majeure partie de services d'un ex ecutif temps reel d e nis par ARINC.
26
Pham, Le Anh. "Consortium algues-bactéries des lagunes à haut rendement algal : évaluation des performances, devenir des nutriments des eaux usées et conception à base de modèles expérimentaux et numériques." Thesis, Strasbourg, 2018. http://www.theses.fr/2018STRAD023/document.
Full textAbstract:
La présente thèse porte sur des travaux expérimentaux et de modélisation visant à étudier les processus bactériens et algaux au sein d’une lagune a haut rendement algal (HRAP). Un système pilote HRAP a été construit et les impacts des différentes conditions opérationnelles sur l’hydrodynamique et le transfert gaz/liquide du pilote ont été étudiés. De plus, le rapport d'inoculation optimal entre les algues et les bactéries (Al-Bac) a également été étudié. La biomasse Al-Bac a ensuite été inoculée dans le système HRAP pour une évaluation à long terme du traitement des eaux usées et de la récupération des nutriments. Le HRAP dans cette étude peut être appliqué en traitement secondaire de eaux usées ou comme étape primaire éliminant rapidement les charges élevées de DCO et de TKN des retour en tête de digesteurs anaérobies (centrats). Les résultats expérimentaux obtenus ont également été utilisés pour calibrer et valider des modèles de type « boîte noire » et mécanistes. Les deux modèles peuvent décrire le fonctionnement à long terme du système. Le premier permet ainsi d'évaluer rapidement les performances du système ainsi que de le dimensionner, tandis que le second simule avec succès les résultats à long (général) et à court (détaillé) terme. L'étape suivante devrait être l'application du système à grande échelleThe thesis focused on both experimental and modeling works aiming to investigate the algal bacterial processes in High-Rate Algal Pond (HRAP) system. A pilot HRAP system was built and the impacts of different operational conditions on hydraulic and gas transfer rate of the pilot were investigated. Moreover, optimal inoculation ratio between algae and bacteria (Al-Bac) was also studied. The Al-Bac biomass was theninoculated in the HRAP system for long term assessment of wastewater treatment and nutrient recovery. The HRAP in this study can be applied for secondary treatment application or as a primary step removing rapidly high loads of COD and TKN from centrate wastewater. Experimental results obtained were also employed in calibrating and validating black box and comprehensive algal bacterial models. Both models coulddescribe the system in long term. The former was adequate for giving quick assessment of the system performance as well as sizing application while the latter successfully simulated the results both in long (general) and short (detailed) time scale. A next step should be applying the system in large scale
27
Boyer, Grâce. "Évaluation d’indicateurs de sûreté de fonctionnement d’architectures de contrôle-commande dans un contexte dynamique et incertain." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0029.
Full textAbstract:
Ce mémoire, réalisé dans le cadre d’une convention CIFRE avec la société Schneider Electric, porte sur l’évaluation sur l’évaluation d’indicateurs de sûreté de fonctionnement des architectures de contrôle-commande. Le problème industriel posé est un problème d’aide au dimensionnement des architectures en réponse à des exigences de performances. Les problèmes scientifiques sont relatifs, d’une part, à la génération automatique des modèles support à l’évaluation pour un ensemble d’architectures dans la mesure où leur construction manuelle ne permet pas de faire face à la multiplicité des architectures dans des délais contraints, et, d’autre part, à la prise en compte des phénomènes de dégradation dans les modèles dysfonctionnels des architectures. Le choix du formalisme de modélisation s’est porté sur les réseaux de Petri colorés et temporisés (CPN) qui permet notamment la hiérarchisation des modèles et la prise en compte de phénomènes temporisés dont les durées peuvent suivre des distributions de probabilité. Notre contribution se présente sous la forme d’une méthodologie permettant la construction automatique d’un modèle CPN d’architecture par instanciation d’un ensemble de composants élémentaires et de la définition d’observateurs génériques couvrant les besoins exprimés et qui permettent de déterminer les indicateurs de sûreté de fonctionnement tels que la fiabilité, la disponibilité du système, son MTTF, le nombre de défaillances mais aussi des facteurs d’importance permettant d’orienter les choix des concepteurs en phase d’élaboration en réponse à un appel d’offreThis PhD dissertation, supported by a CIFRE agreement with the Schneider Electric company, deals with the dependability performances assessment of industrial control system (ICS) architectures. The industrial challenge is to provide a tool able to guide on the sizing of ICS architectures in terms of performances. The scientific challenge in another hand is double. Firstly, we must generate automatically the models which are the core of the performance evaluation for a set of ICS architecture, since their manual modelling is challenging based on the wide variety of architecture to model and the limited amount of time and resources. Secondly, we must consider the degradation phenomena in those architectures. The selected modelling formalism is the coloured and timed Petri nets (CPN) which allows to represent model hierarchically, to handle random time delays which help on characterizing the components lifetime. Our contribution is on the development of a method for automatically generate a CPN model of ICS by instantiating a set of elementary components and defining generic observers, covering dependability indicators such as system reliability, availability, MTTF, number of failures and importance measures, and allowing to guide the choices of system integrators during pre-sales stage
28
Meunier, Pascal. "Évaluation de performance d'architectures de commande de systèmes automatisés industriels." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2006. http://tel.archives-ouvertes.fr/tel-00761994.
Full textAbstract:
Les performances temporelles d'une architecture de contrôle-commande conditionnent fortement celles du système automatisé de production commandé. Pour maîtriser ces performances temporelles, l'architecte automaticien doit pouvoir les évaluer à chaque phase du cycle de développement : de l'étude d'avant-projet à la conception détaillée ainsi que lors de la mise au point. Il n'a cependant pas les mêmes attentes concernant les performances estimées. Des résultats approximatifs, obtenus rapidement à partir de données encore imprécises, lui suffisent en début de cycle de développement, alors que des prévisions fiables, même si elles sont plus difficiles à obtenir, lui sont nécessaires en conception détaillée. L'approche que nous présentons prend en compte ces différents besoins et contraintes. Elle consiste en une méthode d'évaluation des performances temporelles d'architectures de commande complexes distribuées en réseaux, destinée à accompagner l'architecte tout au long du cycle de développement. Cette méthode est basée sur une modélisation modulaire du comportement temporel de la commande par réseaux de Petri Colorés Temporisés. Pour ce faire, trois temps sont nécessaires dans la modélisation. La modélisation de l'architecture fonctionnelle consiste à représenter les fonctions de commande, et leurs interactions. La modélisation de l'architecture matérielle permet de traduire la topologie et les connexions entre équipements de commandes (automates programmables, réseaux de communication, ...). L'affectation des fonctions de commande aux équipements ainsi que la prise en compte des communications entre ces fonctions via des réseaux de communication constitue le modèle de l'architecture opérationnelle. Une fois le modèle de comportement de l'ensemble de l'architecture opérationnelle constitué, l'évaluation des performances temporelles est réalisée par simulation du réseau de Petri obtenu. Pour valider notre approche, nous traitons un exemple significatif à l'aide de la plate forme logicielle Design CPN. Cette étude de cas nous permet de présenter une série d'études portant sur la convergence de nos modèles, sur la sensibilité des résultats de simulation aux erreurs de paramétrages et sur la précision des performances obtenues par simulation en les confrontant à celles mesurées sur le système réel.
29
Boukra, Rabah. "Contributions à la modélisation, l'évaluation de performances et la commande des systèmes à événements discrets." Phd thesis, Université d'Angers, 2013. http://tel.archives-ouvertes.fr/tel-01010037.
Full textAbstract:
Les travaux abordés dans cette thèse concernent la modélisation des systèmes à événements discrets à l'aide d'automates à multiplicités dans l'algèbre (max,+), appelés automates (max,+). Nous proposons des représentations alternatives pour les automates (max,+). Celles-ci traduisent l'évolution des automates de façon approximative, car seuls leurs comportements extrémaux sont décrits, mais il est escompté de pouvoir résoudre à l'aide de celles-ci des problèmes importants avec une complexité raisonnable. Plus exactement, des équations récursives ont été définies dans l'algèbre (max,+) et l'algèbre (min,+) afin de décrire les comportements pire-cas et meilleur-cas des automates (max,+). Il est montré que ces représentations permettent d'évaluer les performances de systèmes avec une faible complexité de calcul. L'influence d'une entrée exogène peut être prise en compte dans ces représentations et on obtient alors un modèle analogue aux équations d'état standard pour les systèmes non-autonomes dans l'algèbre (max,+). Cette caractéristique permet l'adaptation de lois de commande développées pour les systèmes (max,+) linéaires aux systèmes à événements discrets appréhendés à l'aide d'automates (max,+).
30
Abboud, Khodor. "Conception et évaluation d'un modèle adaptatif pour la qualité de service dans les réseaux MPLS." Phd thesis, Ecole Centrale de Lille, 2010. http://tel.archives-ouvertes.fr/tel-00590422.
Full textAbstract:
L'objectif de ce travail de thèse dans un premier temps est l'évaluation de performances des modèles de routage multi-chemins pour l'ingénierie de trafic et l'équilibrage de charge sur un réseau de type IP/MPLS (MPLS-TE). Nous comparons la capacité de ces modèles à équilibrer la charge du réseau tout en faisant de la différentiation de trafic. Nous les appliquons sur des grandes topologies générées par le générateur automatique des topologies BRITE, qui s'approchent en forme et en complexité du réseau réel. Nous mesurons ainsi l'impact de leur complexité respective et donc la capacité à les déployer sur des réseaux de grande taille (scalabilité). Dans un second temps, l'objectif est de proposer un concept de modélisation générale d'un réseau à commutations par paquets. Ce modèle est établi sur la base de la théorie différentielle de trafic et la théorie des files d'attente, tout en utilisant des approches graphiques. Le but est d'estimer l'état de charge du réseau et de ses composants (routeurs, liens, chemins). Ensuite, en fonction de ça, nous développons des approches de contrôle de congestion et commande sur l'entrée améliorant les techniques de routage adaptatif et l'équilibrage de charge dans les réseaux IP/MPLS
31
Benedetti, Giuseppe. "Investissement optimal et évaluation d'actifs sous certaines imperfections de marché." Phd thesis, Université Paris Dauphine - Paris IX, 2013. http://tel.archives-ouvertes.fr/tel-00957313.
Full textAbstract:
Dans cette thèse, nous nous intéressons à des sujets différents en mathématiques financières, tous liés aux imperfections de marché et à la technique fondamentale de la maximisation d'utilité. Elle comporte trois parties. Dans la première, qui se base sur deux papiers, nous considérons le problème d'investissement optimal sur un marché financier avec coûts de transaction proportionnels. On commence par étudier le problème d'investissement dans le cas où la fonction d'utilité est multivariée (ce qui s'adapte particulièrement bien aux marchés des devises) et l'agent a une dotation initiale aléatoire, qui peut s'interpréter comme une option ou un autre contrat dérivé. Après avoir analysé les propriétés du problème et de son dual, nous utilisons ces résultats pour examiner, dans ce contexte, certains aspects d'une technique de pricing devenue populaire dans le cadre des marchés incomplets, l'évaluation par indifférence d'utilité. Dans le deuxième chapitre, nous étudions le problème d'existence d'un ensemble de prix (appelés "prix fictifs" ou "shadow prices") qui offrirait la même utilité maximale à l'agent si le marché n'avait pas de frictions. Ces résultats sont utiles pour clarifier le lien entre la théorie classique des marchés sans frictions et la littérature en croissance rapide sur les coûts de transaction. Dans la deuxième partie de cette thèse, nous considérons le problème d'évaluation de produits dérivés par indifférence d'utilité dans des marchés incomplets, où la source d'incomplétude provient du fait que certains actifs ne peuvent pas être échangés sur le marché, ce qui est le cas par exemple dans le cadre des modèles structurels pour le prix de l'électricité. Sous certaines hypothèses, nous dérivons une caractérisation en terme d'équations différentielles stochastiques rétrogrades (EDSR) pour le prix, et nous nous concentrons ensuite sur les options européennes en établissant en particulier l'existence d'une stratégie de couverture optimale, même lorsque le payoff présente des discontinuités et est éventuellement non borné. Dans la dernière partie, nous analysons un simple problème de principal-agent à horizon fini, où le principal est essentiellement interprété comme un régulateur et l'agent comme une entreprise qui produit certaines émissions polluantes. Nous traitons séparément les problèmes du principal et de l'agent et nous utilisons la théorie des EDSR pour fournir des conditions nécessaires et suffisantes d'optimalité. Nous effectuons également des analyses de sensibilité et nous montrons des résultats numériques dans le but de fournir une meilleure compréhension du comportement des agents.
32
Rameh, Hala. "Instrumentation optimale pour le suivi des performances énergétiques d’un procédé industriel." Thesis, Paris Sciences et Lettres (ComUE), 2018. http://www.theses.fr/2018PSLEM032/document.
Full textAbstract:
L’efficacité énergétique devient un domaine de recherche incontournable dans la communauté scientifique vu son importance dans la lutte contre les crises énergétiques actuelles et futures. L'analyse des performances énergétiques, pour les procédés industriels, nécessite la connaissance des grandeurs physiques impliquées dans les équilibres de masse et d'énergie. D’où la problématique : comment choisir les points de mesure sur un site industriel de façon à trouver les valeurs de tous les indicateurs énergétiques sans avoir des redondances de mesure (respect des contraintes économiques), et en conservant un niveau de précision des résultats ? La première partie présente la formulation du problème d’instrumentation ayant pour but de garantir une observabilité minimale du système en faveur des variables clés. Ce problème est combinatoire. Une méthode de validation des différentes combinaisons de capteurs a été introduite. Elle est basée sur l’interprétation structurelle de la matrice représentant le procédé. Le verrou de long temps de calcul lors du traitement des procédés de moyenne et grande taille a été levé. Des méthodes séquentielles ont été développées pour trouver un ensemble de schémas de capteurs pouvant être employés, en moins de 1% du temps de calcul initialement requis. La deuxième partie traite le choix du schéma d’instrumentation optimal. Le verrou de propagation des incertitudes dans un problème de taille variable a été levé. Une modélisation du procédé basée sur des paramètres binaires a été proposée pour automatiser les calculs, et évaluer les incertitudes des schémas trouvés. Enfin la méthodologie complète a été appliquée sur un cas industriel et les résultats ont été présentésEnergy efficiency is becoming an essential research area in the scientific community given its importance in the fight against current and future energy crises. The analysis of the energy performances of the industrial processes requires the determination of the quantities involved in the mass and energy balances. Hence: how to choose the placement of the measurement points in an industrial site to find the values of all the energy indicators, without engendering an excess of unnecessary information due to redundancies (reducing measurements costs) and while respecting an accepted level of accuracy of the results ? The first part presents the formulation of the instrumentation problem which aims to guaranteeing a minimal observability of the system in favor of the key variables. This problem is combinatory. A method of validation of the different sensors combinations has been introduced. It is based on the structural interpretation of the matrix representing the process. The issue of long computing times while addressing medium and large processes was tackled. Sequential methods were developed to find a set of different sensor networks to be used satisfying the observability requirements, in less than 1% of the initial required computation time. The second part deals with the choice of the optimal instrumentation scheme. The difficulty of uncertainty propagation in a problem of variable size was addressed. To automate the evaluation of the uncertainty for all the found sensor networks, the proposed method suggested modeling the process based on binary parameters. Finally, the complete methodology is applied to an industrial case and the results were presented
33
Raveaux, Romain. "Fouille de graphes et classification de graphes : application à l'analyse de plans cadastraux." Phd thesis, Université de La Rochelle, 2010. http://tel.archives-ouvertes.fr/tel-00567218.
Full textAbstract:
Les travaux présentés dans ce mémoire de thèse abordent sous différents angles très intéressants, un sujet vaste et ambitieux : l'interprétation de plans cadastraux couleurs.Dans ce contexte, notre approche se trouve à la confluence de différentes thématiques de recherche telles que le traitement du signal et des images, la reconnaissance de formes, l'intelligence artificielle et l'ingénierie des connaissances. En effet, si ces domaines scientifiques diffèrent dans leurs fondements, ils sont complémentaires et leurs apports respectifs sont indispensables pour la conception d'un système d'interprétation. Le centre du travail est le traitement automatique de documents cadastraux du 19e siècle. La problématique est traitée dans le cadre d'un projet réunissant des historiens, des géomaticiens et des informaticiens. D'une part nous avons considéré le problème sous un angle systémique, s'intéressant à toutes les étapes de la chaîne de traitements mais aussi avec un souci évident de développer des méthodologies applicables dans d'autres contextes. Les documents cadastraux ont été l'objet de nombreuses études mais nous avons su faire preuve d'une originalité certaine, mettant l'accent sur l'interprétation des documents et basant notre étude sur des modèles à base de graphes. Des propositions de traitements appropriés et de méthodologies ont été formulées. Le souci de comblé le gap sémantique entre l'image et l'interprétation a reçu dans le cas des plans cadastraux étudiés une réponse.
34
Raveaux, Romain. "Fouille de graphes et classification de graphes : application à l’analyse de plans cadastraux." Thesis, La Rochelle, 2010. http://www.theses.fr/2010LAROS311/document.
Full textAbstract:
Les travaux présentés dans ce mémoire de thèse abordent sous différents angles très intéressants, un sujet vaste et ambitieux : l’interprétation de plans cadastraux couleurs.Dans ce contexte, notre approche se trouve à la confluence de différentes thématiques de recherche telles que le traitement du signal et des images, la reconnaissance de formes, l’intelligence artificielle et l’ingénierie des connaissances. En effet, si ces domaines scientifiques diffèrent dans leurs fondements, ils sont complémentaires et leurs apports respectifs sont indispensables pour la conception d’un système d’interprétation. Le centre du travail est le traitement automatique de documents cadastraux du 19e siècle. La problématique est traitée dans le cadre d'un projet réunissant des historiens, des géomaticiens et des informaticiens. D'une part nous avons considéré le problème sous un angle systémique, s'intéressant à toutes les étapes de la chaîne de traitements mais aussi avec un souci évident de développer des méthodologies applicables dans d'autres contextes. Les documents cadastraux ont été l'objet de nombreuses études mais nous avons su faire preuve d'une originalité certaine, mettant l'accent sur l'interprétation des documents et basant notre étude sur des modèles à base de graphes. Des propositions de traitements appropriés et de méthodologies ont été formulées. Le souci de comblé le gap sémantique entre l’image et l’interprétation a reçu dans le cas des plans cadastraux étudiés une réponseThis thesis tackles the problem of technical document interpretationapplied to ancient and colored cadastral maps. This subject is on the crossroadof different fields like signal or image processing, pattern recognition, artificial intelligence,man-machine interaction and knowledge engineering. Indeed, each of thesedifferent fields can contribute to build a reliable and efficient document interpretationdevice. This thesis points out the necessities and importance of dedicatedservices oriented to historical documents and a related project named ALPAGE.Subsequently, the main focus of this work: Content-Based Map Retrieval within anancient collection of color cadastral maps is introduced
35
Broy, Perrine. "Evaluation de la sûreté de systèmes dynamiques hybrides complexes : application aux systèmes hydrauliques." Phd thesis, Université de Technologie de Troyes, 2014. http://tel.archives-ouvertes.fr/tel-01006308.
Full textAbstract:
Ces travaux s'intéressent à l'estimation de la fiabilité des évacuateurs de crues vannés. Le comportement fiabiliste de ces systèmes hydrauliques dépend à la fois d'événements aléatoires discrets, mais aussi de l'évolution d'une variable déterministe continue : ce sont des systèmes dynamiques hybrides. Pour ces systèmes, l'événement redouté est réalisé lorsque le niveau de la retenue atteint un seuil de sûreté. La démarche de fiabilité dynamique proposée dans cette thèse vise à prendre en compte l'information temporelle, de la modélisation à la synthèse d'indicateurs fiabilistes pour l'aide à la décision et développe deux contributions : 1) L'élaboration d'une base de connaissances dédiée à la description des évacuateurs de crues en termes de fiabilité dynamique. Chaque classe de composants est décrite par un automate stochastique hybride dont les états sont les différentes phases de son fonctionnement. 2) Le suivi de la simulation de Monte Carlo, le traitement et l'analyse des "histoires" (séquence de tous les états activés et des dates d'activation) obtenues en simulation. Cela permet de construire des indicateurs de fiabilité classique (probabilité d'occurrence de l'évènement redouté, identification des coupes équivalentes prépondérantes, ...). Des indicateurs de fiabilité dynamique basés sur la classification des histoires en fonction des dates de défaillance des composants concernés et sur l'estimation de l'importance dynamique sont aussi proposés.
36
Brenner, Leonardo. "Réseaux d'Automates Stochastiques : Analyse transitoire en temps continu et algèbre tensorielle pour une sémantique en temps discret." Phd thesis, 2009. http://tel.archives-ouvertes.fr/tel-00424652.
Full textAbstract:
Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de modèles avec très grands espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la représentation de très grands systèmes par la composition de sous-systèmes (automates), où ces automates interagissent entre eux par des événements synchronisants ou des taux et des probabilités fonctionnels. La première partie de cette thèse s'intéresse au calcul des indices de performances transitoires pour des grands modèles. Lorsqu'on calcule des indices de performances transitoires, tel que la disponibilité ponctuelle, la méthode d'uniformisation est la plus souvent utilisée. Cependant le nombre d'itérations vecteur-matrice peut être très grand ce qui devient critique pour de très grands modèles. Des méthodes de détection du régime stationnaire peuvent réduire le coût de calcul en arrêtant les itérations lorsque le régime stationnaire est atteint. Dans cette thèse, nous proposons une adaptation et une comparaison de différentes méthodes de détection du régime stationnaire lorsque la matrice est stockée sous un format tensoriel. Les méthodes sont comparées selon deux critères : nombre d'itérations et précision des résultats.
Dans la deuxième partie, nous présentons le formalisme SAN à temps discret. La définition formelle du formalisme SAN présentée dans cette thèse nous permet de définir la sémantique des modèles en temps discret que nous souhaitons exploiter. Nous définissons une nouvelle algèbre tensorielle (appelée Algèbre Tensorielle compleXe - ATX) capable d'exprimer cette sémantique. Pour cela, trois opérateurs sont définis afin de décrire différents comportement d'un système, tels que la simultanéité, la concurrence et le choix. Enfin, le principal apport de cette thèse réside dans la définition d'une formule tensorielle (appelée Descripteur discret) qui utilise cette nouvelle algèbre pour représenter un modèle SAN à temps discret de façon compacte. Nous montrons que ce descripteur discret permet aisément de générer la chaîne de Markov représentée par le modèle SAN.