Gotowe bibliografie tematyczne / Simulation de processus distribués / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Simulation de processus distribués.

Rozprawy doktorskie na temat „Simulation de processus distribués”

Autor: Grafiati
Data publikacji: 14 grudnia 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Simulation de processus distribués”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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<
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
11

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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 :
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
14

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
16

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
31

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
33

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
34

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
35

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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,. . .
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
42

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

Pełny tekst źródła
Streszczenie:
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é.
Style APA, Harvard, Vancouver, ISO itp.
43

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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 :
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
49

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Simulation de processus distribués” dla innych typów źródeł:
Artykuły w czasopismach Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii