Bibliographies thématiques / Simulation de processus distribués / Thèses
Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Simulation de processus distribués.

Thèses sur le sujet « Simulation de processus distribués »

Auteur : Grafiati
Publié le 14 décembre 2024
Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Simulation de processus distribués ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Aliouat, Makhlouf. "Reprise de processus dans un environnement distribué après pannes matérielles transitoires ou permanentes." Phd thesis, Grenoble INPG, 1986. http://tel.archives-ouvertes.fr/tel-00320133.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Rafaralahy, Hugues. "Modélisation d'un processus thermique et reconstruction de l'état et des défauts pour une classe de systèmes à paramètres distribués de type parabolique." Nancy 1, 1993. http://www.theses.fr/1993NAN10223.

Texte intégral
Résumé :
Les travaux présentés dans ce mémoire concernent d'une part la modélisation et la simulation numérique d'un processus thermique industriel et, d'autre part, la reconstruction de l'état et le diagnostic pour une classe de systèmes à paramètres distribués de type parabolique. Dans une première partie, la modélisation d'un four de réchauffe de billettes, de type poussant, alimenté au gaz naturel est réalisée. Ce modèle est un système à paramètres repartis de type parabolique décrivant la conduction de la chaleur avec des conditions aux frontières de type Fourier non linéaires représentant les tra
Styles APA, Harvard, Vancouver, ISO, etc.
3

Trieu, Thanh Ngoan. "Open data and environment simulation : environmental and social simulation on distributed process systems based on irregular cell space." Electronic Thesis or Diss., Brest, 2024. http://www.theses.fr/2024BRES0047.

Texte intégral
Résumé :
La combinaison d’automates cellulaires (CA) et de systèmes distribués offre un moyen simple de modéliser les problèmes environnementaux et sociaux en divisant les zones d’intérêt en segments spatiales discrètes pour le calcul parallèle. L’évolution de l’état de chaque segment est divisée en étapes temporelles discrètes. Les divisions géographiques en tant qu’espace cellulaire irrégulier permettent de tirer parti des données ouvertes pour alimenter les systèmes de simulation. Les données sont analysées pour en déduire les règles de transition apportant des influences distribuées dans un quartie
Styles APA, Harvard, Vancouver, ISO, etc.
4

Gnouma, Raouf. "Aide à la calibration d'un modèle hydrologique distribué au moyen d'une analyse des processus hydrologiques : application au bassin versant de l'Yzeron." Lyon, INSA, 2006. http://theses.insa-lyon.fr/publication/2006ISAL0084/these.pdf.

Texte intégral
Résumé :
Ce travail de thèse s'inscrit dans le contexte des recherches actuelles en hydroogie consacrées à l'amélioration des performances des modèles hydrologiques à l'aide des connaissances acquises par l'approche expérimentale. Le bassin versant de l'yzeron (A=147,3 km2), situé à l'Ouest de l'agglomération lyonnaise, constitue le terrain d'étude. Après un état de l'art concernant les processus hydrologiques de génèse des écoulements et la modélisation hydrologique distribuée, le modèle WISTOO a été implémenté sur le bassin de l'Yzeron. Ce premier travail de modélisation a soulevé les différents prob
Styles APA, Harvard, Vancouver, ISO, etc.
5

Cauffriez, Laurent. "Méthodes et modèles pour l'évaluation de la sûreté de fonctionnement de systèmes automatisés complexes : Application à l'exploitation de lignes de production - Application à la conception de systèmes intelligents distribués." Habilitation à diriger des recherches, Université de Valenciennes et du Hainaut-Cambresis, 2005. http://tel.archives-ouvertes.fr/tel-00289414.

Texte intégral
Résumé :
La nécessité de prendre en considération les aspects sûreté de fonctionnement des systèmes automatisés, dès la phase de conception, pour tendre vers le concept de « systèmes automatisés sûrs de fonctionnement » représente aujourd'hui un enjeu majeur. <br />Nous présentons dans cette Habilitation à Diriger les Recherches le concept de systèmes automatisés sûrs de fonctionnement et procédons à une analyse de la problématique globale de la conception de tels systèmes. Nous identifions clairement les frontières des différents systèmes constituant les systèmes automatisés sûrs de fonctionnement : p
Styles APA, Harvard, Vancouver, ISO, etc.
6

Lucas, Pierre-Yves. "Modélisations, Simulations, Synthèses pour des réseaux dynamiques de capteurs sans fil." Thesis, Brest, 2016. http://www.theses.fr/2016BRES0114/document.

Texte intégral
Résumé :
L’intégration de l’environnement et des systèmes d’information progresse très vite depuis 10 ans. Cette intégration permet de suivre des évolutions naturelles, physiques, sociétales ; de les mesurer, de les comprendre ; quelquefois de les contrôler. On peut assimiler cette intégration à des besoins, tels que les changements climatiques ou les économies de ressources ; mais aussi à des progrès technologiques dans les domaines des systèmes miniatures, des communications sans fil et des capteurs.Dans ce contexte, nous avons d’abord effectué un apprentissage technologique, en réalisant plusieurs p
Styles APA, Harvard, Vancouver, ISO, etc.
7

Vitay, Julien. "Emergence de fonctions sensorimotrices sur un substrat neuronal numérique distribué." Phd thesis, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00096818.

Texte intégral
Résumé :
Cette thèse s'inscrit dans le domaine des neurosciences<br />computationnelles dont le but est de modéliser des fonctions<br />cognitives complexes par le biais de simulations<br />informatiques et numériques en s'inspirant du fonctionnement<br />cérébral. Contrairement à une approche descendante nécessitant de<br />connaître une expression analytique de la fonction à simuler,<br />l'approche ascendante retenue permet d'observer<br />l'émergence d'une fonction grâce à l'interaction de populations de<br />neurones artificiels sans qu'elle soit connue à l'avance. Dans un<br />premier temps, nous
Styles APA, Harvard, Vancouver, ISO, etc.
8

Yaghi, Mohammed. "Phase Field Modeling of Water Solidification : A Port-Hamiltonian Approach." Electronic Thesis or Diss., Lyon 1, 2024. http://www.theses.fr/2024LYO10198.

Texte intégral
Résumé :
Cette thèse présente une étude sur la modélisation, la formulation par le formalisme des Systèmes Hamiltoniens à ports et la discrétisation des processus de solidification dont l'interface est supposée diffuse et est modélisée par l'approche des champs de phase. Ses travaux traitent en détail de la solidification de l'eau dans le contexte de fournir des modèles numériques adaptés à la simulation, à la conception et au contrôle de procédés de purification de l'eau. Le premier chapitre rappelle d'abord de manière synthétique les modèles physiques de systèmes biphasique et de leur interface. Il p
Styles APA, Harvard, Vancouver, ISO, etc.
9

Mallmann-Trenn, Frederik. "Analyse probabiliste de processus distribués axés sur les processus de consensus." Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLEE058/document.

Texte intégral
Résumé :
Cette thèse est consacrée à l'étude des processus stochastiques décentralisés. Parmi les exemples typiques de ces processus figurent la dynamique météorologique, la circulation automobile, la façon dont nous rencontrons nos amis, etc. Dans cette thèse, nous exploitons une large palette d'outils probabilistes permettant d'analyser des chaînes de Markov afin d'étudier un large éventail de ces processus distribués : modèle des feux de forêt (réseaux sociaux), balls-into-bins avec suppression, et des dynamiques et protocoles de consensus fondamentaux tels que Voter Model, 2-Choices, et 3-Majority<
Styles APA, Harvard, Vancouver, ISO, etc.
10

Barger, Pavol. "Evaluation et validation de la fiabilité et de la disponibilité des systèmes d'automatisation à intelligence distribuée, en phase dynamique." Nancy 1, 2003. http://www.theses.fr/2003NAN10222.

Texte intégral
Résumé :
L'étude de la sûreté de fonctionnement des systèmes d'automatisation est un sujet qui nécessite la prise en compte de différentes caractéristiques telles que les modes de fonctionnement, la présence d'un réseau de communication, etc. Des méthodes d'étude existent mais aucune ne peut être appliquée avec une vue d'ensemble. L'approche proposée consiste en une analyse du comportement dynamique, à la fois du point de vue fonctionnel et dysfonctionnel. Les Réseaux de Petri colorés (CPN) sont utilisés pour la modélisation de chaque composant et l'analyse est faite par une simulation de Monte Carlo s
Styles APA, Harvard, Vancouver, ISO, etc.
11

Zemmari, Akka. "Contribution à l'analyse d'algorithmes distribués." Bordeaux 1, 2000. http://www.theses.fr/2000BOR10609.

Texte intégral
Résumé :
La premiere partie de cette these est consacree a l'etude du degre de parallelisme des monoides de commutation modelisant les executions distribuees des algorithmes. Apres une presentation du modele et des differents resultats deja etablis, nous donnons des methodes pour calculer ce degre, l'outil principal utilise etant les marches aleatoires et les chaines de markov. La deuxieme partie s'interesse au probleme des synchronisations dans les reseaux anonymes. Des travaux ulterieurs ont montre que sous quelques hypotheses, on ne peut resoudre ce probleme de maniere deterministe, nous proposons d
Styles APA, Harvard, Vancouver, ISO, etc.
12

Grandemange, Quentin. "Contribution à la modélisation et à la détection d'anomalies du traffic Internet à partir de mesures d'un coeur de réseau opérateur." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0061.

Texte intégral
Résumé :
Grâce au partenariat avec l'entreprise luxembourgeoise Post Luxembourg, nous avons pu tester différentes méthodes pour mesurer le trafic interdomaine à la bordure de leur réseau avec Internet. Le choix s'est porté sur une technologie existante : Netflow. Avec ces données nous avons pu réaliser diverses analyses afin de comprendre l'évolution du trafic en fonction de différents paramètres comme l'heure de la journée, le jour de la semaine... D'après ces analyses, plusieurs solutions ont été envisagées pour modéliser le trafic. Deux méthodes ont été proposées et testées sur des données réelles :
Styles APA, Harvard, Vancouver, ISO, etc.
13

Pirson, Alain. "Conception et simulation d'architectures parallèles et distribuées pour le traitement d'images." Grenoble INPG, 1990. http://www.theses.fr/1990INPG0052.

Texte intégral
Résumé :
L'exploitation automatique d'une information de nature visuelle met en uvre des systemes de traitement particuliers. La diversite des operations et les puissances de calcul requises aboutissent a des structures fondees sur les notions de concurrence et de traitements distribues. Le present travail identifie une machine de vision a une association d'entites intelligentes specialisees, dialoguant par echanges de messages conformement au modele de parallelisme introduit par le language occam. Il propose une architecture du type reseau de processeurs enrichis. Il s'agit d'une approche multiprocess
Styles APA, Harvard, Vancouver, ISO, etc.
14

Slimi, Redouane. "Modélisation et simulation des systèmes distribués étalable par automates cellulaires." Perpignan, 2008. http://www.theses.fr/2008PERP0877.

Texte intégral
Résumé :
Le travail présenté dans cette thèse concerne l’élaboration de modèles déterministes ou probabilistes pour la simulation de systèmes complexes qui exhibent un phénomène d’étalement spatial. Cette modélisation est basée sur le paradigme automates cellulaires qui permet de mieux étudier le concept mathématique d’étalabilité déjà introduit avec le formalisme équations aux dérivées partielles. La simulation des modèles considérés a bénéficié des facilités d’implémentation des automates cellulaires considérés comme des machines autonomes qui permettent un traitement parallèle de l’information. Nous
Styles APA, Harvard, Vancouver, ISO, etc.
15

Hicheur, Awatef. "Modélisation et analyse des processus Workflows reconfigurables et distribués par les ECATNets récursifs." Paris, CNAM, 2009. http://www.theses.fr/2009CNAM0645.

Texte intégral
Résumé :
Dans cette thèse, nous proposons un nouveau modèle pour la modélisation et l'analyse des processus workflows reconfigurables et distribués, appelé ECATNet récursif (RECATNet). Les RECATNets sont une combinaison saine des ECATnets ordinaires (Extended Concurrent Algebraic Terms Nets) et des réseaux de Petri récursifs. L'intérêt majeur des RECATNets, dont nous précisons la syntaxe et la sémantique, est d'offrir un mécanisme récursif approprié à la modélisation de la création et de la suppression dynamique de processus. Nous montrons aussi à travers ce modèle la vérification des critères de corre
Styles APA, Harvard, Vancouver, ISO, etc.
16

Bui, Marc. "Étude comportementale d'algorithmes distribués de contrôle." Paris 11, 1989. http://www.theses.fr/1989PA112242.

Texte intégral
Résumé :
Cette thèse étudie les problèmes de contrôle qui se posent lorsqu'on veut gérer des réseaux de processeurs à mémoires locales ou machines distribuées. Le chapitre 1 a pour objet la mise en évidence de l'expression de problèmes distribués sous forme d'équations à l'aide du concept de point fixe qui offre une vision unificatrice de l'algorithmique distribuée. Le chapitre 2 propose une modélisation markovienne pour représenter localement les processus distribués et globalement les relations s'établissant entre ces processus. L'intérêt théorique et la pertinence de ce modèle markovien sont prouvés
Styles APA, Harvard, Vancouver, ISO, etc.
17

Vieira, De Mello Aline. "Tlmdt : une stratégie de modélisation basée sur temps distribué pour la simulation prallèle de systèmes multi-processeurs intégrés sur puce." Paris 6, 2013. http://www.theses.fr/2013PA066201.

Texte intégral
Résumé :
Les architectures matérielles innovantes dans l’industrie de la microélectronique se caractérisent principalement par leur niveau incroyablement élevé de parallélisme. Plusieurs environnements de conception industriels et académiques sont apparus pour aider dans la modélisation, la simulation et la mise au point de “Massively Parallel Multi-Processors System on Chip” (MP2SoCs). Le langage de description matérielle SystemC est le point commun de tous ces environnements. La bibliothèque SystemC de classes C++ permet de décrire le matériel à différents niveaux d’abstraction, allant de RTL synthét
Styles APA, Harvard, Vancouver, ISO, etc.
18

Geisweiller, Nil. "Étude sur la modélisation et la vérification probabiliste d'architectures de simulations distribuées pour l'évaluation de performances." Toulouse, ENSAE, 2006. http://www.theses.fr/2006ESAE0003.

Texte intégral
Résumé :
L'objectif défini dans cette thèse est d’utiliser les récentes techniques de model checking probabiliste afin de vérifier des contraintes de performances sur des architectures de simulations distribuées. L'aspect probabiliste de l'approche permet à la fois de réduire la complexité du modèle et d’exprimer des contraintes de performances plus souples. Dans cette thèse nous avons dans un premier temps tenté d’utiliser le model checking probabiliste afin de formuler et de vérifier de telles contraintes de performances. Nous avons utilisé le model checker PRISM et confronté les résultats obtenus avec de
Styles APA, Harvard, Vancouver, ISO, etc.
19

Rosa, Cristian. "Évaluation de la Performance et de la Correction de Systèmes Distribués." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00749039.

Texte intégral
Résumé :
Les systèmes distribués sont au cœur des technologies de l'information. Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes dépassant les capacités d'une seule unité de traitement. La conception d'algorithmes adaptés au contexte distribué est particulièrement difficile en raison de l'asynchronisme et du non-déterminisme qui caractérisent ces systèmes. La simulation offre la possibilité d'étudier les performances des applications distribuées sans la complexité et le coût des pla
Styles APA, Harvard, Vancouver, ISO, etc.
20

Rosa, Cristian. "Vérification des performances et de la correction des systèmes distribués." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10113/document.

Texte intégral
Résumé :
Les systèmes distribués sont au coeur des technologies de l'information.Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes dépassant les capacités d'une seule unité de traitement. La conception d'algorithmes adaptés au contexte distribué est particulièrement difficile en raison de l'asynchronisme et du non-déterminisme qui caractérisent ces systèmes. La simulation offre la possibilité d'étudier les performances des applications distribuées sans la complexité et le coût des pla
Styles APA, Harvard, Vancouver, ISO, etc.
21

Cavaliere, Domenico. "DAMeSI : un profil pour l'évaluation de performances des systèmes d'automatisation distribués." Vandoeuvre-les-Nancy, INPL, 2002. http://www.theses.fr/2002INPL032N.

Texte intégral
Résumé :
L'augmentation de la complexité de projets de conception/rénovation des architectures des systèmes d'information des lignes de production nécessite la mise en œuvre de méthodes/outils assurant leur validation avant de l'implantation. Le profil UML, nommé DAMeSI (Description d'Architectures Manufacturières et de Systèmes d'Information), formalise une méthode de modélisation modulaire permettant la validation par des techniques de simulation. L'originalité de DAMeSI est d'identifier deux classes d'utilisateurs: l'architecte et l'expert de modélisation. Cette distinction permet d'identifier toujo
Styles APA, Harvard, Vancouver, ISO, etc.
22

Rosa, Cristian. "Vérification des performances et de la correction des systèmes distribués." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10113.

Texte intégral
Résumé :
Les systèmes distribués sont au coeur des technologies de l'information.Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes dépassant les capacités d'une seule unité de traitement. La conception d'algorithmes adaptés au contexte distribué est particulièrement difficile en raison de l'asynchronisme et du non-déterminisme qui caractérisent ces systèmes. La simulation offre la possibilité d'étudier les performances des applications distribuées sans la complexité et le coût des pla
Styles APA, Harvard, Vancouver, ISO, etc.
23

Djahanguir, Amir Hossein. "Accélération de la simulation logico-fonctionnelle : simulateur à évènements discrets totalement distribués." Toulouse, INSA, 1989. http://www.theses.fr/1989ISAT0017.

Texte intégral
Résumé :
Les deux principaux types de simulation (compilee et a evenements discrets) ont ete experimentes selon une approche parallele relativement nouvelle qui offre une facilite de programmation et d'apprehension d'un monde reel en termes de processus concurrents. Le simulateur a evenements discrets a ete mis en oeuvre sur un reseau de processeurs
Styles APA, Harvard, Vancouver, ISO, etc.
24

Jacewicz, Przemyslaw. "Modélisation et simulation des systèmes distribués par automates cellulaires : application en écologie." Perpignan, 2002. http://www.theses.fr/2002PERP0455.

Texte intégral
Résumé :
Le travail réalisé dans cette thèse concerne la modélisation, l'analyse et la simulation par les automates cellulaires de certaines classes de systèmes à paramètres répartis. Les notions d'étalabilité, d'identification et d'estimation de paramètres y sont traités. Une application en écologie à une dynamique de végétation y est développée. Plusieurs simulations ont été effectuées en utilisant aussi bien des logiciels de calcul formel que des programmes spécifiques écrits essentiellement en C++<br>The work developed in this thesis concerns modeling, analysis and simulation by cellular automata a
Styles APA, Harvard, Vancouver, ISO, etc.
25

Fix, Jérémy. "Mécanismes numériques et distribués de l'anticipation motrice." Phd thesis, Université Henri Poincaré - Nancy I, 2008. http://tel.archives-ouvertes.fr/tel-00336194.

Texte intégral
Résumé :
Cette thèse s'inscrit dans le domaine des neurosciences computationnelles dont le but est de modéliser des fonctions cognitives complexes par le biais de simulations informatiques et numériques en s'inspirant du fonctionnement cérébral. Les modèles et simulations proposées reposent sur le paradigme des champs neuronaux, que nous exploitons pour étudier dans quelle mesure des capacités cognitives complexes peuvent être le résultat émergeant de l'interaction de cellules élémentaires simples.<br /><br />Nous nous intéressons dans cette thèse à la modélisation de l'attention visuelle, avec ou sans
Styles APA, Harvard, Vancouver, ISO, etc.
26

Atamna, Youcef. "Réseaux de Petri temporisés stochastiques classiques et bien formés. Définition, analyse et application aux systèmes distribués temps réel." Toulouse 3, 1994. http://www.theses.fr/1994TOU30095.

Texte intégral
Résumé :
Cette these s'inscrit dans le cadre general de l'utilisation de techniques de specification formelle lors de la phase de conception de systemes logiciels et materiels. Plus precisement, l'objectif est de definir, developper et appliquer un modele formel, base sur les reseaux de petri, permettant la modelisation et des analyses, a la fois qualitatives et quantitatives, des systemes informatiques distribues temps reel. Les principales contributions de cette these concernent: ? definition du modele reseaux de petri temporises stochastiques (rdpts) qui permet d'exprimer sans contraintes, des combi
Styles APA, Harvard, Vancouver, ISO, etc.
27

Toto-Zarasoa, Velotiaray. "Codage de sources distribués : outils et applications à la compression vidéo." Rennes 1, 2010. https://tel.archives-ouvertes.fr/tel-00539044.

Texte intégral
Résumé :
Le codage de sources distribuées est une technique permettant de compresser plusieurs sources corrélées sans aucune coopération entre les encodeurs, et sans perte de débit si leur décodage s'effectue conjointement. Fort de ce principe, le codage de vidéo distribué exploite la corrélation entre les images successives d'une vidéo, en simplifiant au maximum l'encodeur et en laissant le décodeur exploiter la corrélation. Parmi les contributions de cette thèse, nous nous intéressons dans une première partie au codage asymétrique de sources binaires dont la distribution n'est pas uniforme, puis au c
Styles APA, Harvard, Vancouver, ISO, etc.
28

Tang, Gula. "Research on distributed warning system of water quality in Mudan river based on EFDC and GIS." Thesis, Strasbourg, 2016. http://www.theses.fr/2016STRAD023/document.

Texte intégral
Résumé :
Le système de simulation et d'avis précoce d'alerte est un outil puissant pour la surveillance de la qualité de l'eau de la rivière Mudan, une rivière importante dans les régions froides du nord-est de la Chine et qui se jette finalement dans la rivière de l'Amour en Russie. Ainsi la qualité de l'eau dans la rivière Mudan est une préoccupation importante non seulement au niveau local et régional,mais aussi au niveau international. L'objectif de cette étude est de créer un système de simulation et d'avis précoce d'alerte pour que la distribution spatio-temporelle de la qualité de l'eau durant l
Styles APA, Harvard, Vancouver, ISO, etc.
29

Messika, Stéphane. "Méthodes probabilistes pour la vérification des systèmes distribués." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2004. http://tel.archives-ouvertes.fr/tel-00136083.

Texte intégral
Résumé :
Les probabilités sont de plus en plus utilisées dans la conception et l'analyse des systèmes logiciels et matériels informatiques. L'introduction des tirages aléatoires dans les algorithmes concurrents et distribués permet de résoudre certains problèmes insolubles dans le cadre déterministe et de réduire la complexité de nombreux autres. Nous avons été amenés à étudier deux types de propriétés probabilistes. La convergence : cette propriété assure que, quel que soit l'état de départ et quel que soit l'enchainement des actions, le système atteindra toujours (avec probabilité 1) un ensemble donn
Styles APA, Harvard, Vancouver, ISO, etc.
30

Azeli, Nourelhouda. "Maintenance prévisionnelle des systèmes de production géographiquement distribués sous ressources limitées." Electronic Thesis or Diss., Troyes, 2022. http://www.theses.fr/2022TROY0017.

Texte intégral
Résumé :
Cette thèse aborde la problématique de l’aide à la décision de maintenance prévisionnelle pour des systèmes de production géographiquement dispersés (GDPS). La structure des GDPS représente un défi important pour l'établissement de stratégies de maintenance efficaces et des stratégies de maintenance prévisionnelle sont particulièrement adaptées. Cependant, la question de la disponibilité des ressources de maintenance doit être analysée et intégrée. Dans cette thèse, nous proposons trois politiques de maintenance prévisionnelles prenant en compte des ressources limitées de maintenance pour un G
Styles APA, Harvard, Vancouver, ISO, etc.
31

Kadi, Imène Yamina. "Simulation et monotonie." Versailles-St Quentin en Yvelines, 2011. http://www.theses.fr/2011VERS0029.

Texte intégral
Résumé :
Les travaux de cette thèse portent sur l'apport de la monotonie sur les méthodes de simulations. Dans un premier temps, nous nous intéressons à l'étude des différentes notions de monotonie utilisées dans la modélisation stochastique, en essayant de définir les relations qui existent entre elles. Trois concepts ont été définis dans ce domaine: la monotonie stochastique basée sur la comparaison stochastique, la monotonie réalisable et enfin, la monotonie événementielle utilisée dans la simulation parfaite. Cette étude a permis d'utiliser les propriétés de monotonie stochastique dans le cadre de
Styles APA, Harvard, Vancouver, ISO, etc.
32

Puig, Bénédicte. "Modélisation et simulation de processus stochastiques non gaussiens." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2003. http://tel.archives-ouvertes.fr/tel-00003526.

Texte intégral
Résumé :
L'objet de ce travail de recherche est de construire un modèle approché en vue de simuler les trajectoires d'un processus stochastique non gaussien strictement stationnaire sous la seule donnée (incomplète) de sa loi marginale d'ordre un, ou des N premiers moments de cette loi, et de sa fonction d'autocorrélation. La méthode de simulation développée au cours de cette thèse s'appuie sur deux méthodes bien connues de simulation de processus gaussiens : la méthode spectrale et la markovianisation. D'autre part, si seuls les N premiers moments de la loi marginale sont donnés, le principe de maximu
Styles APA, Harvard, Vancouver, ISO, etc.
33

Canicas, Jean-François. "Formalisation et simulation du processus de reconnaissance intermoléculaire." Bordeaux 1, 1985. http://www.theses.fr/1985BOR10585.

Texte intégral
Résumé :
S'inscrivant dans le cadre plus general de la recherche et la conception de substances medicamenteuses nouvelles, ce travail vise a apporter une contribution a l'etude du processus de reconnaissance intermoleculaire. Il a pour but de completer les approches purement graphiques et liees aux calculs et minimisation d'energie par une demarche plus automatique et systematique. Il consiste, ainsi, a se donner des outils graphiques et des outils mathematiques, en l'occurence theorie de la geometrie des distances traitee a l'aide du vocabulaire des graphes, afin de proceder aux etapes suivantes: form
Styles APA, Harvard, Vancouver, ISO, etc.
34

Canicas, Jean-François. "Formalisation et simulation du processus de reconnaissance intermoléculaire." Grenoble : ANRT, 1985. http://catalogue.bnf.fr/ark:/12148/cb37594545c.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
35

Lenôtre, Lionel. "Étude et simulation des processus de diffusion biaisés." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S079/document.

Texte intégral
Résumé :
Nous considérons les processus de diffusion biaisés et leur simulation. Notre étude se divise en quatre parties et se concentre majoritairement sur les processus à coefficients constants par morceaux dont les discontinuités se trouvent le long d'un hyperplan simple. Nous commençons par une étude théorique dans le cas de la dimension un pour une classe de coefficients plus large. Nous donnons en particulier un résultat sur la structure des densités des résolvantes associées à ces processus et obtenons ainsi une méthode de calcul. Lorsque cela est possible, nous effectuons une inversion de Lapla
Styles APA, Harvard, Vancouver, ISO, etc.
36

Reuillon, Romain. "Simulations stochastiques en environnements distribués : application aux grilles de calcul." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2008. http://tel.archives-ouvertes.fr/tel-00731242.

Texte intégral
Résumé :
Contrairement aux modèles déterministes, le déroulement d'un modèle stochastique est conditionné par la réalisation de variables aléatoires. L'utilisation de hasard permet d'approcher un résultat le plus souvent incalculable de manière déterministe. En contrepartie, il est nécessaire d'estimer les paramètres des distributions associées aux quantités aléatoires en sortie du modèle stochastique. Ce calcul requiert l'exécution de multiples réplications indépendantes de la même expérience et de ce fait, d'une importante quantité de calcul. Toutes les simulations stochastiques comportent par concep
Styles APA, Harvard, Vancouver, ISO, etc.
37

Fleury, Cédric. "Modèles de conception pour la collaboration distante en environnements virtuels distribués : del'architecture aux métaphores." Rennes, INSA, 2012. http://www.theses.fr/2012ISAR0012.

Texte intégral
Résumé :
Nos contributions visent à améliorer la collaboration dans les environnements virtuels tant au niveau de l'architecture distribuée qu'au niveau des métaphores de collaboration. Pour garantir que tous les utilisateurs perçoivent le même état de l'environnement virtuel au même moment, nous proposons un premier modèle d'adaptation dynamique de la distribution des données sur le réseau. Nous proposons un deuxième modèle d'architecture logicielle qui sépare les données de l'environnement virtuel de cette partie réseau et des composants spécifiques à chaque utilisateur. Pour permettre à des utilisat
Styles APA, Harvard, Vancouver, ISO, etc.
38

Villefranche, Laurent, and Frédéric Serin. "Simulateur de gestion d'un terminal à conteneurs : simulation discrète par macro-processus et processus complementaires." Rouen, 1996. http://www.theses.fr/1996ROUES002.

Texte intégral
Résumé :
Ces deux thèses ont été inspirées par un problème réel rencontré par un manutentionnaire portuaire de conteneurs sensible à l'évolution d'un marché en pleine expansion. La préoccupation de cette société était de disposer d'un outil informatique lui permettant de tester des hypothèses de transformation propres à son domaine d'activité. Par une volonté déclarée de réaliser un travail se plaçant dans le cadre général des problèmes de manutention, il a été convenu d'étudier un modèle capable de capter tous les attributs concernant les objets manipulés (géométrie, caractéristiques techniques,. . .
Styles APA, Harvard, Vancouver, ISO, etc.
39

Glardon, Carmen. "Simulation et optimisation du processus constructif de rénovation d'immeubles /." [S.l.] : [s.n.], 1995. http://library.epfl.ch/theses/?nr=1355.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
40

Droux, Jean-Jacques. "Simulation numérique bidimensionnelle et tridimensionnelle de processus de solidification /." [S.l.] : [s.n.], 1991. http://library.epfl.ch/theses/?nr=901.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
41

Roudier, Pascale. "Synthèse de paysages réalistes par simulation de processus d'érosion." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 1993. http://tel.archives-ouvertes.fr/tel-00835373.

Texte intégral
Résumé :
Cette thèse entre dans le cadre de la synthèse d'images de paysages s'appuyant sur une nouvelle modélisation des terrains par simulation dynamique de processus géomorphologiques. La restitution des phénomènes naturels agissant sur la création et l'évolution des reliefs semble un des moyens les plus sûrs pour obtenir des paysages réalistes. Après une présentation des différentes modélisations de terrain existantes, le modèle proposé est détaillé. Il s'appuie sur la création de terrains géologiquement contrastés sur lesquels sont appliqués des processus déterministes d'érosion. Le relief est con
Styles APA, Harvard, Vancouver, ISO, etc.
42

Cantegrit, Eric. "Modélisation et simulation orientées objets des processus par lot." Lille 1, 1988. http://www.theses.fr/1988LIL10045.

Texte intégral
Résumé :
L'objectif est de préciser les évolutions du processus face à des défaillances des objets technologiques et d'examiner les réactions des opérateurs de pilotage soit pour bâtir une base d'expertise des pilotes chevronnés, soit pour faire l'apprentissage des pilotes néophytes, soit aussi pour vérifier la qualité de la programmation de la partie commande vis-à-vis de la sécurité.
Styles APA, Harvard, Vancouver, ISO, etc.
43

Marti, Aliod Carles. "Simulation de processus de stockage chimique pour l'énergie renouvelable." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30358.

Texte intégral
Résumé :
L'objectif de la présente thèse englobe différents processus liés au stockage d'énergie provenant de sources renouvelables. Concrètement, cette thèse vise à étudier, d'un point de vue théorique, les processus liés à la réaction de Sabatier assistée par plasma (CO 2 + 4 H2 → CH4 + 2 H2O), où le catalyseur hétérogène est composé d'éléments Ni / Ru. La recherche est par conséquent divisée en thèmes développés dans les spécialités de chaque partenaire. À l'université de Pérouse, les processus plasma / phase gazeuse sont pris en compte, concrètement l'étude de l'OH + H 2 selon la méthode quantique
Styles APA, Harvard, Vancouver, ISO, etc.
44

Cantegrit, Eric. "Modélisation et simulation orientées objets des processus par lot." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb376123822.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
45

Rachah, Amira. "Modélisation mathématique, simulation et contrôle de processus de cristallisation." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2528/.

Texte intégral
Résumé :
Ce travail est dédié à la modélisation mathématique des processus de cristallisation afin de les simuler, les optimiser et les commander. Dans un premier temps, nous présentons les principes de la modélisation, les notions fondamentales de la cristallisation et l'exploitation numérique des modèles de cristallisation. Dans un second temps, nous traitons le modèle mathématique de cristallisation du KCl avec dissolution des fines et classification du produit en mode continu. Ce modèle est décrit par une équation aux dérivées partielles hyperbolique couplée avec une équation intégro-différentielle
Styles APA, Harvard, Vancouver, ISO, etc.
46

Grandemange, Quentin. "Contribution à la modélisation et à la détection d'anomalies du traffic Internet à partir de mesures d'un coeur de réseau opérateur." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0061/document.

Texte intégral
Résumé :
Grâce au partenariat avec l'entreprise luxembourgeoise Post Luxembourg, nous avons pu tester différentes méthodes pour mesurer le trafic interdomaine à la bordure de leur réseau avec Internet. Le choix s'est porté sur une technologie existante : Netflow. Avec ces données nous avons pu réaliser diverses analyses afin de comprendre l'évolution du trafic en fonction de différents paramètres comme l'heure de la journée, le jour de la semaine... D'après ces analyses, plusieurs solutions ont été envisagées pour modéliser le trafic. Deux méthodes ont été proposées et testées sur des données réelles :
Styles APA, Harvard, Vancouver, ISO, etc.
47

Huck, Emmanuel. "Simulation de haut niveau de systèmes d'exploitations distribués pour l'exploration matérielle et logicielle d'architectures multi-noeuds hétérogènes." Phd thesis, Université de Cergy Pontoise, 2011. http://tel.archives-ouvertes.fr/tel-00781961.

Texte intégral
Résumé :
Concevoir un système embarqué implique de trouver un compromis algorithme/architecture en fonction des contraintes temps-réel. Thèse : pour concevoir un MPSoC et plus particulièrement avec les circuits reconfigurables modifiant le support d'exécution en cours de fonctionnement, la nécessaire validation des comportements fluctuants d'un système réactif impose une évaluation préalable que l'on peut réaliser par simulation (de haut niveau) tout en permettant l'exploration de l'espace de conception architectural, matériel mais aussi logiciel, au plus tôt dans le flot de conception. Le point de vue
Styles APA, Harvard, Vancouver, ISO, etc.
48

Occello, Michel. "Blackboards distribués et parallèles : application au contrôle de systèmes dynamiques en robotique et en informatique musicale." Nice, 1993. http://www.theses.fr/1993NICE4627.

Texte intégral
Résumé :
Le problème aborde dans cette thèse consiste en l'élaboration d'outils informatiques pour le contrôle intelligent de processus dynamiques, c'est-à-dire des systèmes intelligents temps réel. Ces outils doivent posséder des capacités de décision et d'assistance aux opérateurs, ils mettent en jeu de nombreux types d'expertise travaillant souvent en coopération. Dans le cadre de l'intelligence artificielle distribuée, le concept de blackboard peut être vu comme un cadre organisationnel basé sur le partage d'informations pour un système multi-agents. L'adéquation du concept de blackboard à la réali
Styles APA, Harvard, Vancouver, ISO, etc.
49

Gautier, Guillaume Michel Jean. "Sur l’échantillonnage des processus ponctuels déterminantaux." Thesis, Centrale Lille Institut, 2020. http://www.theses.fr/2020CLIL0002.

Texte intégral
Résumé :
Un processus ponctuel déterminantal (DPP) génère des configurations aléatoires de points ayant tendance à se repousser. La notion de répulsion est encodée par les sous-déterminants d’une matrice à noyau, au sens des méthodes à noyau en apprentissage artificiel. Cette forme algébrique particulière confère aux DPP de nombreux avantages statistiques et computationnels. Cette thèse porte sur l'échantillonnage des DPP, c'est à dire sur la conception d'algorithmes de simulation pour ce type de processus. Les motivations pratiques sont l'intégration numérique, les systèmes de recommandation ou encore
Styles APA, Harvard, Vancouver, ISO, etc.
50

Sbai, Mohamed. "Modélisation de la dépendance et simulation de processus en finance." Phd thesis, Université Paris-Est, 2009. http://tel.archives-ouvertes.fr/tel-00451008.

Texte intégral
Résumé :
La première partie de cette thèse est consacrée aux méthodes numériques pour la simulation de processus aléatoires définis par des équations différentielles stochastiques (EDS). Nous commençons par l'étude de l'algorithme de Beskos et al. [13] qui permet de simuler exactement les trajectoires d'un processus solution d'une EDS en dimension 1. Nous en proposons une extension à des fins de calcul exact d'espérances et nous étudions l'application de ces idées à l'évaluation du prix d'options asiatiques dans le modèle de Black & Scholes. Nous nous intéressons ensuite aux schémas numériques. Dans le
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Simulation de processus distribués » pour d’autres types de sources :
Articles de revues Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie