Relevant bibliographies by topics / Simulation séquentielle / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Simulation séquentielle.

Dissertations / Theses on the topic 'Simulation séquentielle'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Simulation séquentielle.'

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

Wackernagel, Hans. "Géostatistique et assimilation séquentielle de données." Habilitation à diriger des recherches, Université Pierre et Marie Curie - Paris VI, 2004. http://tel.archives-ouvertes.fr/tel-00542362.

Full text
Abstract:
La géostatistique spatio-temporelle traditionnelle n'est pas en mesure de décrire adéquatement la dynamique, en général fortement non-linéaire, de processus spatio-temporels multivariables. Pour cela des modèles de transport physico-chimiques sont en général bien mieux adaptés. Cependant, étant donné que ces derniers ne maîtrisent pas totalement la complexité des processus qu'ils cherchent à décrire, soit parce qu'ils sont basés sur des hypothèses simplificatrices, soit parce que l'information servant à établir les conditions initiales et aux limites est imparfaite, il est opportun d'introduir
APA, Harvard, Vancouver, ISO, and other styles
2

Meneveaux, Daniel. "Simulation d'éclairage dans des environnements architecturaux complexes : approches séquentielle et parallèle." Phd thesis, Université Rennes 1, 1998. http://tel.archives-ouvertes.fr/tel-00007237.

Full text
Abstract:
Effectuer des calculs d'illumination globale pour des environnements complexes et les visualiser de manière interactive demeure un problème difficile en synthèse d'images. En effet, la radiosité hiérarchique est un processus très coûteux en termes de temps de calcul et de ressources mémoire, même pour des scènes de complexité moyenne. Par conséquent, dans le cas d'environnements complexes, une étape de précalcul est nécessaire. Ce précalcul consiste à découper la scène en plusieurs régions (appelées cellules) et évaluer les relations de visibilité entre ces régions. La méthode de découpage (ou
APA, Harvard, Vancouver, ISO, and other styles
3

Klaudel, Witold. "Contribution aux logiciels de simulation généralisée basée sur une approche séquentielle et l'emploi de flux d'information." Châtenay-Malabry, Ecole centrale de Paris, 1989. http://www.theses.fr/1989ECAP0085.

Full text
Abstract:
La présente érude définit une nouvelle conception de la modélisation des états stationnaires des installations chimiques. Cette conception augmente l'efficacité numérique de l'approche modulo-séquenteille. Elle s'appuie sur l'existence de plusieurs variantes admissibles de calcul des unités technologiques. L'étude introduit de nouvelles notions comme le graphe de flux d'information au cours des calculs et l'arbre de complexité des calculs. On présente des algorithmes de leur transformation qui optimisent les calculs.
APA, Harvard, Vancouver, ISO, and other styles
4

Sahki, Nassim. "Méthodologie data-driven de détection séquentielle de ruptures pour des signaux physiologiques." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0185.

Full text
Abstract:
Cette thèse traite de la problématique de la détection de rupture dans le cadre séquentiel où le signal est supposé être observé en temps réel et le phénomène passe de son état de départ "normal" à un état post-changement "anormal". Le défi de la détection séquentielle est de minimiser le délai de détection, soumis à une limite tolérable de fausse alarme. L'idée est de tester séquentiellement l'existence d'une rupture par l'écriture récursive de la statistique de détection en fonction du score, qui remplace le Log-Likelihood Ratio lorsque la distribution des données est inconnue. La procédure
APA, Harvard, Vancouver, ISO, and other styles
5

Poli, Emmanuelle. "Stratigraphie séquentielle haute-résolution, modèles de dépôt et géométrie 2D-3D des séquences triasiques de la marge téthysienne ardéchoise." Dijon, 1997. http://www.theses.fr/1997DIJOS081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rivallain, Mathieu. "Étude de l'aide à la décision par optimisation multicritère des programmes de réhabilitation énergétique séquentielle des bâtiments existants." Phd thesis, Université Paris-Est, 2013. http://pastel.archives-ouvertes.fr/pastel-00861172.

Full text
Abstract:
Sous nos latitudes, l'usage des bâtiments existants et les consommations énergétiques associées (chauffage, climatisation, ventilation, eau chaude sanitaire, éclairage et autres usages) sont responsables d'impacts considérables sur l'Environnement. De plus, le renouvellement du parc existant étant inférieur à 1% par an, dans la plupart des pays développés, la réhabilitation des bâtiments constitue un levier majeur de réduction des consommations d'énergie et des émissions de gaz à effet de serre. Cependant, l'identification de stratégies optimales de réhabilitation énergétique, incluant la plan
APA, Harvard, Vancouver, ISO, and other styles
7

Emery, Xavier. "Simulation conditionnelle de modèles isofactoriels." Phd thesis, École Nationale Supérieure des Mines de Paris, 2004. http://pastel.archives-ouvertes.fr/pastel-00001185.

Full text
Abstract:
Cette thèse vise à développer des algorithmes de simulation conditionnelle de fonctions aléatoires à lois bivariables isofactorielles, c'est-à-dire telles qu'il existe une base de fonctions (facteurs) sans corrélations spatiales croisées. Les lois isofactorielles réalisent un compromis entre deux exigences souvent difficiles à concilier: d'une part, elles forment une vaste classe de modèles et permettent de s'adapter à la description de nombreux phénomènes; d'autre part, l'inférence statistique du modèle repose sur un faible nombre de paramètres. La première partie de la thèse met en relief le
APA, Harvard, Vancouver, ISO, and other styles
8

Shields, Jean-Philippe. "Élaboration du modèle conceptuel flexible et extensible d'une architecture logicielle orientée-objet permettant la parallélisation et la distribution d'une architecture de simulation séquentielle." Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24474/24474.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sakho, Ibrahima. "Synthèse et simulation d'algorithmes systoliques." Phd thesis, Grenoble INPG, 1987. http://tel.archives-ouvertes.fr/tel-00323979.

Full text
Abstract:
Proposition d'une méthode dite de positionnement pour la conception d'algorithmes parallèles pour réseaux symboliques composés de cellules programmables. Simulation d'algorithmes symboliques dans le langage Occam, caractérisé par un mécanisme de synchronisation locale. Quelques résultats partiels sur une conjecture a propos du plus long cycle que peut générer séquentiellement un réseau booléen monotone sont présentés
APA, Harvard, Vancouver, ISO, and other styles
10

Langlais, Clothilde. "Étude de la variabilité interannuelle des échanges côte-large : simulation haute résolution de la dynamique du Golfe du Lion." Toulon, 2007. http://www.theses.fr/2007TOUL0030.

Full text
Abstract:
Le milieu côtier est une zone de transition entre continent et mer du large. Les interactions entre le courant Nord, composante de la circulation à l'échelle du bassin méditerranéen occidental, et la circulation côtière (upwelling côtier, formation d'eau dense, cascading. Panache du Rhône,. . ) revêtent d'une importance capitale pour l'étude des échanges côte-large qui sont un facteur clef (et encore peu maîtrisé) des modifications du milieu marin à l'échelle climatique. Pour cette étude, on utilise le modèle OPA. 9. 0 MEMO en configuration côtière avec une haute résolution horizontale (1,25km
APA, Harvard, Vancouver, ISO, and other styles
11

Aunay, Bertrand. "Apport de la stratigraphie séquentielle à la gestion et à la modélisation des ressources en eau des aquifères côtiers." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2007. http://tel.archives-ouvertes.fr/tel-00275467.

Full text
Abstract:
Lieu de développement économique et démographique intense, les zones littorales font l'objet de pressions importantes sur l'environnement et, en particulier, sur les ressources en eau. Bien que la gestion des eaux souterraines côtières bénéficie de nombreux résultats issus de la recherche scientifique, une des problématiques majeures reste la connaissance de la géométrie des aquifères. Des interprétations géologiques de la genèse du bassin Plio-Quaternaire du Roussillon, issues de la stratigraphie séquentielle, sont confrontées, par l'intermédiaire d'une base données, à l'hydrogéologie de cet
APA, Harvard, Vancouver, ISO, and other styles
12

Gardet, Caroline. "Modélisation multi-échelles de réservoir et calage d'historique de production." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066645/document.

Full text
Abstract:
Dans cette thèse, nous proposons deux algorithmes multi-échelles pour la simulation de modèles géologiques de réservoir. Le premier algorithme relève des méthodes géostatistiques à deux points. Il s'agit d'une simulation séquentielle Gaussienne avec variable secondaire. Dans notre approche multi-échelle, la variable secondaire est supposée connue à une deuxième échelle, de résolution plus grossière. Elle représente alors la tendance ou moyenne de la variable principale. A partir d'une paramétrisation adéquate, on montre que le calage des propriétés du modèle géologique à l'échelle grossière es
APA, Harvard, Vancouver, ISO, and other styles
13

Bosch, Daphnée. "Simulation, fabrication et caractérisation électrique de transistors MOS avancés pour une intégration 3D monolithique." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALT077.

Full text
Abstract:
De nos jours, l’industrie microélectronique doit maitriser un véritable « déluge de données » et une demande toujours en croissance de fonctionnalités ajoutées pour les nouveaux secteurs de marchés tels que la 5G, l’internet des objets, l’intelligence artificielle… Par ailleurs, l’énergie et sa gestion est un enjeu majeur au sein des architectures Von-Neumann traditionnelles. Dans ce cadre, ce travail de thèse explore l’intégration 3D monolithique ainsi que des dispositifs pour le calcul dans la mémoire. Premièrement, l’intégration 3D monolithique n’est pas perçue uniquement comme une alternat
APA, Harvard, Vancouver, ISO, and other styles
14

Troncoso, Alan. "Conditional simulations of reservoir models using Sequential Monte-Carlo methods." Electronic Thesis or Diss., Université Paris sciences et lettres, 2022. http://www.theses.fr/2022UPSLM055.

Full text
Abstract:
Une méthode séquentielle de Monte Carlo, appelée filtrage particulaire, a été utilisée dans un contexte spatial pour simulerdeux modèles de réservoir en respectant les faciès observés aux puits. Le premier modèle, le schéma Booléen, est un modèle àbase d'objets. Il peut servir à modéliser des réservoirs à deux faciès: un faciès poreux, et un faciès imperméable qui agitcomme barrière à la circulation des fluides. Ce modèle se prête bien à des calculs mathématiques~: il existe des méthodes statistiques pour en inférer les paramètres, ainsi qu'un algorithme itératif de simulation conditionnelle.
APA, Harvard, Vancouver, ISO, and other styles
15

Heinrich, Franz. "Modélisation, prédiction et optimisation de la consommation énergétique d'applications MPI à l'aide de SimGrid." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM018/document.

Full text
Abstract:
Les changements technologiques dans la communauté du calcul hauteperformance (HPC) sont importants, en particulier dans le secteurdu parallélisme massif avec plusieurs milliers de cœurs de calcul sur unGPU unique ou accélérateur, et aussi des nouveaux réseaux complexes.La consommation d’énergie de ces machines continuera de croître dans les années à venir,faisant de l’énergie l’un des principaux facteurs de coût.Cela explique pourquoi même la métrique classique"flop / s", généralement utilisé pour évaluer les applications HPC etles machines, est progressivement remplacé par une métrique centré
APA, Harvard, Vancouver, ISO, and other styles
16

Gardet, Caroline. "Modélisation multi-échelles de réservoir et calage d'historique de production." Electronic Thesis or Diss., Paris 6, 2014. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2014PA066645.pdf.

Full text
Abstract:
Dans cette thèse, nous proposons deux algorithmes multi-échelles pour la simulation de modèles géologiques de réservoir. Le premier algorithme relève des méthodes géostatistiques à deux points. Il s'agit d'une simulation séquentielle Gaussienne avec variable secondaire. Dans notre approche multi-échelle, la variable secondaire est supposée connue à une deuxième échelle, de résolution plus grossière. Elle représente alors la tendance ou moyenne de la variable principale. A partir d'une paramétrisation adéquate, on montre que le calage des propriétés du modèle géologique à l'échelle grossière es
APA, Harvard, Vancouver, ISO, and other styles
17

Hoock, Jean-Baptiste. "Contributions to Simulation-based High-dimensional Sequential Decision Making." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00912338.

Full text
Abstract:
My thesis is entitled "Contributions to Simulation-based High-dimensional Sequential Decision Making". The context of the thesis is about games, planning and Markov Decision Processes. An agent interacts with its environment by successively making decisions. The agent starts from an initial state until a final state in which the agent can not make decision anymore. At each timestep, the agent receives an observation of the state of the environment. From this observation and its knowledge, the agent makes a decision which modifies the state of the environment. Then, the agent receives a reward
APA, Harvard, Vancouver, ISO, and other styles
18

Schegg, Pierre. "Autonomous catheter and guidewire navigation for robotic percutaneous coronary interventions." Electronic Thesis or Diss., Université de Lille (2022-....), 2022. http://www.theses.fr/2022ULILB007.

Full text
Abstract:
Cette thèse porte sur la navigation automatique de guides et cathéters dans les artères coronaires. Dans un premier temps, nous introduisons le contexte de la cardiologie interventionnelle et le cas particulier des interventions coronaires percutanées. Nous justifions aussi l'utilité de la robotisation de ces procédures. Nous faisons ensuite le pont entre le problème de la navigation de guides et le contrôle de robots déformables, puis examinons les travaux existants sur le même sujet.Notre étude commence par la conception de simulations dynamiques réalistes des artères, du coeur et de leur in
APA, Harvard, Vancouver, ISO, and other styles
19

De, Quatrebarbes Céline. "Un modèle d'équilibre général calculable pour questionner la TVA dans les pays en développement : les cas du Niger et du Sénégal." Thesis, Clermont-Ferrand 1, 2015. http://www.theses.fr/2015CLF10461.

Full text
Abstract:
La TVA est une taxe ad valorem facturée par les entreprises à leurs clients mais dont seule la différence entre la taxe collectée par l’entreprise et celle qu’elle a supportée sur ses achats est reversée à l’ Etat. Selon ce mécanisme, la TVA repose uniquement sur la consommation finale et semble adaptée aux principes d’une taxe indirecte optimale pour la maximisation du bien-être collectif. Cependant, dans les PED, la taille de l’assiette, les problèmes de remboursement des crédits de TVA et le non assujettissement de certains producteurs, modifient le fonctionnement de la taxe. Afin d’appréhe
APA, Harvard, Vancouver, ISO, and other styles
20

Cavallera, Philippe. "Simulation de pannes temporelles dans les circuits séquentiels." Montpellier 2, 1997. http://www.theses.fr/1997MON20043.

Full text
Abstract:
Les pannes temporelles, ou pannes de delai, modelisent des defauts physiques ou de conception qui perturbent le fonctionnement normal des circuits uniquement a frequence elevee. Cette these propose de realiser la simulation de pannes temporelles dans les circuits sequentiels. Les phenomenes produits par une panne temporelle sont differents suivant que l'on considere la partie combinatoire comme etant le siege d'une erreur, ou une erreur ayant transite par un element de memorisation. Pour les circuits sequentiels qui ne possedent pas d'architecture specifique qui permette de se ramener a l'etud
APA, Harvard, Vancouver, ISO, and other styles
21

Magnier, Janine. "Représentation symbolique et vérification formelle de machines séquentielles." Montpellier 2, 1990. http://www.theses.fr/1990MON20134.

Full text
Abstract:
Les travaux presentes ont pour objet la definition des bases formelles necessaires au developpement d'un systeme logiciel permettant la verification de machines sequentielles. La representation definie en logique temporelle par des formules valides elementaires permet de decrire le comportement des machines sequentielles; les regles d'unification de ces formules generent les comportements sur n'importe quel intervalle de temps: appeles evenements temporels. Ensuite, la definition formelle de la sensibilite d'un evenement temporel permet de generer des sequences de verification ou de demontrer
APA, Harvard, Vancouver, ISO, and other styles
22

Marquer, Yoann. "Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial." Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC1121/document.

Full text
Abstract:
Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'u
APA, Harvard, Vancouver, ISO, and other styles
23

Winter, Audrey. "Modèles d'appariement du greffon à son hôte, gestion de file d'attente et évaluation du bénéfice de survie en transplantation hépatique à partir de la base nationale de l'Agence de la Biomédecine." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS024/document.

Full text
Abstract:
La transplantation hépatique (TH) est la seule intervention possible en cas de défaillance hépatique terminale. Une des limitations majeures à la TH est la pénurie d'organes. Pour pallier ce problème, les critères de sélection des donneurs ont été élargis avec l'utilisation de foie de donneurs dits à "critères étendus" (extended criteria donor (ECD)). Cependant, il n'existe pas de définition univoque de ces foies ECD. Un score donneur américain a donc été mis en place : le Donor Risk Index (DRI), pour qualifier ces greffons. Mais à qui doit-on donner ces greffons "limites"? En effet, une utili
APA, Harvard, Vancouver, ISO, and other styles
24

Saadi, Toufik. "Résolution séquentielles et parallèles des problèmes de découpe / placement." Phd thesis, Université Panthéon-Sorbonne - Paris I, 2008. http://tel.archives-ouvertes.fr/tel-00354737.

Full text
Abstract:
Les problèmes de découpe et de placement sont des problèmes combinatoires. Ils sont classes dans la catégorie des problèmes NP-Complets et admettent de nombreuses applications en industrie, en systèmes multiprocesseurs. Nous proposons dans cette thèse, plusieurs méthodes de résolution exactes et approchées, séquentielles et parallèles du problème de découpe et de placement à deux dimensions.
APA, Harvard, Vancouver, ISO, and other styles
25

Goffinet, Étienne. "Clustering multi-blocs et visualisation analytique de données séquentielles massives issues de simulation du véhicule autonome." Thesis, Paris 13, 2021. http://www.theses.fr/2021PA131090.

Full text
Abstract:
La validation des systèmes avancés d’aide à la conduite reste l’un des plus grands défis que les constructeurs automobiles doivent relever pour fournir des voitures autonomes sûres. La validation fiable de ces systèmes nécessite d’évaluer la qualité et la cohérence de leur réaction dans un large éventail de scénarios de conduite. Dans ce contexte, les systèmes de simulation à grande échelle contournent les limites de la validation physique et produisent d’importantes quantités de séries temporelles en haute dimension. Le défi est de trouver des informations utiles dans ces ensembles de données
APA, Harvard, Vancouver, ISO, and other styles
26

Tomas, Jean. "Caractérisation par simulation de la métastabilité des circuits séquentiels : application à des structures VLSI." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10580.

Full text
Abstract:
Le travail presente consiste en la realisation d'un logiciel d'aide a la conception de circuits unifieurs, appele remus (recherche des etats metastables dans les circuits unifieurs par simulation), en vue de leur optimisation vis-a-vis de la metastabilite. Ce programme, ecrit en pascal, implante sur micro-vax est bati autour du simulateur electrique spice. Les algorithmes implantes permettent d'obtenir la courbe d'incertitude de l'unifieur avec en temps de calcul reduit. Les resultats de sept circuits temoins sont presentes comparativement
APA, Harvard, Vancouver, ISO, and other styles
27

Stroh, Rémi. "Planification d’expériences numériques en multi-fidélité : Application à un simulateur d’incendies." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC049/document.

Full text
Abstract:
Les travaux présentés portent sur l'étude de modèles numériques multi-fidèles, déterministes ou stochastiques. Plus précisément, les modèles considérés disposent d'un paramètre réglant la qualité de la simulation, comme une taille de maille dans un modèle par différences finies, ou un nombre d'échantillons dans un modèle de Monte-Carlo. Dans ce cas, il est possible de lancer des simulations basse fidélité, rapides mais grossières, et des simulations haute fidélité, fiables mais coûteuses. L'intérêt d'une approche multi-fidèle est de combiner les résultats obtenus aux différents niveaux de fidé
APA, Harvard, Vancouver, ISO, and other styles
28

Benhallam, Abdelahad. "Contribution à l'étude de l'algorithme à pile pour le décodage séquentiel des codes convolutionnels : conception d'un logiciel de simulation du décodeur." Toulouse, INPT, 1988. http://www.theses.fr/1988INPT083H.

Full text
Abstract:
On etudie le decodage sequentiel a pile des codes convolutionnels, perfores ou non, a l'aide de la simulaton du decodeur. On effectue d'abord une parametrisation des differents modules de la chaine de communication afin d'avaluer l'influence des parametres intervenant dans le comportement du decodeur. On evalue, ensuite, en fonction de ces parametres, une serie de grandeurs nous renseignant sur la facon dont le decodage d'un message donne s'est deroule. On evalue, egalement, le taux d'erreur sur les bits (teb), la probabilite de debordement de la memoire utilisee (pile et tampon d'entree), ain
APA, Harvard, Vancouver, ISO, and other styles
29

Galvao, Ferreira Afonso. "Contributions à la recherche dans des ensembles ordonnés : du séquentiel au parallèle." Phd thesis, Grenoble INPG, 1990. http://tel.archives-ouvertes.fr/tel-00336447.

Full text
Abstract:
Le problème de la recherche d'un élément dans un ensemble donne est un des problèmes fondamentaux en informatique non numérique, lie, par exemple, aux bases de données, a la compilation, a l'optimisation combinatoire, etc... Dans cette thèse nous abordons le problème de la recherche dans des ensembles ordonnes et quelques problèmes qui lui sont lies. Une matrice est dite triée si elle possédé une relation d'ordre total sur chaque ligne et chaque colonne. Un cas particulier est l'ensemble des matrices définies par x+y, la somme cartésienne de deux vecteurs tries. Après un tour d'horizon des pro
APA, Harvard, Vancouver, ISO, and other styles
30

Minvielle-Larrousse, Pierre. "Méthodes de simulation stochastique pour le traitement de l’information." Thesis, Pau, 2019. http://www.theses.fr/2019PAUU3005.

Full text
Abstract:
Lorsqu’une grandeur d’intérêt ne peut être directement mesurée, il est fréquent de procéder à l’observation d’autres quantités qui lui sont liées par des lois physiques. Ces quantités peuvent contenir de l’information sur la grandeur d’intérêt si l’on sait résoudre le problème inverse, souvent mal posé, et inférer la valeur. L’inférence bayésienne constitue un outil statistique puissant pour l’inversion, qui requiert le calcul d’intégrales en grande dimension. Les méthodes Monte Carlo séquentielles (SMC), aussi dénommées méthodes particulaires, sont une classe de méthodes Monte Carlo permettan
APA, Harvard, Vancouver, ISO, and other styles
31

Guglielmetti, Aurore. "Étude numérique du soudage par impulsion magnétique." Thèse, Compiègne, 2012. http://constellation.uqac.ca/2531/1/030358614.pdf.

Full text
Abstract:
Cette thèse traite de la simulation numérique du processus de soudage par impulsion magnétique. Le but est de pouvoir prédire la soudabilité d'un essai. Une première partie permet de se familiariser avec le procédé et une recherche bibliographique est présentée. Le soudage par explosion sert de comparatif pour dégager les critères de soudabilité, tandis que les études numériques sur le formage par impulsion magnétique permettent une première approche de la modélisation par le couplage séquentiel. La seconde section traite de la simulation électromagnétique dans ANSYS, simulation qui part d'un
APA, Harvard, Vancouver, ISO, and other styles
32

Péron, Samuel. "Nature et contrôle des systèmes fluviatiles du domaine Ouest Péri-Téthysien au trias inférieur : sédimentologie de faciès, reconstitutions paléoenvironnementales et simulations climatiques." Rennes 1, 2005. http://www.theses.fr/2005REN1S074.

Full text
Abstract:
Cette étude stratigraphique et paléoclimatique permet de mieux définir le rôle du climat dans la préservation et l'architecture des sédiments continentaux. Le Trias inférieur continental (Buntsandstein) du Bassin germanique a été étudié sur le terrain et en subsurface. L'établissement d'un modèle de faciès et stratigraphique montre l'évolution d'un paysage sédimentaire fluvio-éolien fortement influencée par les flux de sédiments et d'eau. Les géométries et les paléoenvironnements traduisent l'évolution d'un système endoréique devenant exoréique après une discontinuité tectonique majeure. Des r
APA, Harvard, Vancouver, ISO, and other styles
33

Lachat, Cédric. "Conception et validation d'algorithmes de remaillage parallèles à mémoire distribuée basés sur un remailleur séquentiel." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00932602.

Full text
Abstract:
L'objectif de cette thèse était de proposer, puis de valider expérimentalement, un ensemble de méthodes algorithmiques permettant le remaillage parallèle de maillages distribués, en s'appuyant sur une méthode séquentielle de remaillage préexistante. Cet objectif a été atteint par étapes : définition de structures de données et de schémas de communication adaptés aux maillages distribués, permettant le déplacement à moindre coût des interfaces entre sous-domaines sur les processeurs d'une architecture à mémoire distribuée ; utilisation d'algorithmes de répartition dynamique de la charge adaptés
APA, Harvard, Vancouver, ISO, and other styles
34

Meinvielle, Marion. "Ajustement optimal des paramètres de forçage atmosphérique par assimilation de données de température de surface pour des simulations océaniques globales." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00681484.

Full text
Abstract:
La température de surface de l'océan (SST) est depuis l'avènement des satellites, l'une des variables océaniques la mieux observée. Les modèles réalistes de circulation générale océanique ne la prennent pourtant pas en compte explicitement dans leur fonction de forçage. Dans cette dernière, seules interviennent les variables atmosphériques à proximité de la surface (température, humidité, vitesse du vent, radiations descendantes et précipitations) connues pour être entachées d'incertitudes importantes dès lors qu'on considère l'objectif d'étudier la variabilité à long terme de l'océan et son r
APA, Harvard, Vancouver, ISO, and other styles
35

Berkane, Bachir. "Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar." Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00340909.

Full text
Abstract:
La validation fonctionnelle d'un système matériel consiste a vérifier le système vis-a-vis de son fonctionnement attendu. Il existe deux façons de spécifier ce fonctionnement attendu. D'une part, la spécification peut être donnée sous forme d'une description fonctionnelle complète. D'autre part, l'expression de cette spécification peut être donnée sous forme d'un ensemble de propriétés temporelles critiques. Ces deux façons de spécifier les systèmes matériels ont donne lieu a deux problèmes de vérification. Notre domaine d'étude concerne les systèmes matériels numériques séquentiels synchrones
APA, Harvard, Vancouver, ISO, and other styles
36

Makhlouf, Azmi. "Régularité fractionnaire et analyse stochastique de discrétisations ; Algorithme adaptatif de simulation en risque de crédit." Phd thesis, Grenoble INPG, 2009. http://www.theses.fr/2009INPG0154.

Full text
Abstract:
Cette thèse concerne trois sujets de probabilités numériques et de mathématiques financières. D'abord, nous étudions le module de régularité L2 en temps de la composante Z d'une EDSR markovienne à coefficients lipschitziens, mais dont la fonction terminale g est irrégulière. Ce module est lié à l'erreur d'approximation par schéma d'Euler. Nous montrons, de façon optimale, que l'ordre de convergence est explicitement lié à la régularité fractionnaire de g. Ensuite, nous proposons une méthode de Monte-Carlo séquentielle pour le calcul efficace du prix d'une tranche de CDO, basée sur des variable
APA, Harvard, Vancouver, ISO, and other styles
37

Makhlouf, Azmi. "Régularité fractionnaire et analyse stochastique de discrétisations ; Algorithme adaptatif de simulation en risque de crédit." Phd thesis, Grenoble INPG, 2009. http://tel.archives-ouvertes.fr/tel-00460269.

Full text
Abstract:
Cette thèse concerne trois sujets de probabilités numériques et de mathématiques financières. D'abord, nous étudions le module de régularité L2 en temps de la composante Z d'une EDSR markovienne à coefficients lipschitziens, mais dont la fonction terminale g est irrégulière. Ce module est lié à l'erreur d'approximation par schéma d'Euler. Nous montrons, de façon optimale, que l'ordre de convergence est explicitement lié à la régularité fractionnaire de g. Ensuite, nous proposons une méthode de Monte-Carlo séquentielle pour le calcul efficace du prix d'une tranche de CDO, basée sur des variable
APA, Harvard, Vancouver, ISO, and other styles
38

Rabineau, Marina. "UN MODELE GEOMETRIQUE ET STRATIGRAPHIQUE DES SEQUENCES DE DEPÔTS QUATERNAIRES SUR LA MARGE DU GOLFE DU LION : ENREGISTREMENT DES CYCLES CLIMATIQUES DE 100 000 ANS." Phd thesis, Université Rennes 1, 2001. http://tel.archives-ouvertes.fr/tel-00136517.

Full text
Abstract:
Le Golfe du Lion a fait l'objet de nombreuses explorations depuis les débuts de l'Océanographie. Pourtant, plusieurs questions clefs n'ont pas été résolues et sont toujours l'objet de controverses. Quels sont les mécanismes de dépôts ? Quelle est la durée des séquences enregistrées ? Quelle est la relation entre les séquences sédimentaires, les cycles glacioeustatiques quaternaires et la tectonique ? <br />La zone d'étude d'environ 40 x 40 km est située à la charnière de la plate-forme externe et du haut de pente, dans la partie occidentale du Golfe, au large du Languedoc, où la plate-forme at
APA, Harvard, Vancouver, ISO, and other styles
39

Voon, Lew Yan, and Lew Fock Chong. "Contribution au test intégré déterministe : structures de génération de vecteurs de test." Montpellier 2, 1992. http://www.theses.fr/1992MON20035.

Full text
Abstract:
Ce memoire concerne la synthese de structures de generation de vecteurs de test (gvt) deterministes. Une etude empirique, basee sur des simulations exhaustives, des sequences generees par des registres a decalage a retroaction lineaire et non-lineaire montre que ces derniers sont inaptes a produire des sequences de vecteurs de test deterministes. Nous avons donc etendu notre recherche au cas general de machine d'etats finis lineaire et autonome (mefla) avec inversion. Apres avoir presente les principes fondamentaux d'une mefla avec inversion, nous proposons une methode de synthese de structure
APA, Harvard, Vancouver, ISO, and other styles
40

Liang, Yan. "Mise en œuvre d'un simulateur en OCCAM pour la conception d'architectures parallèles à base d'une structure multiprocesseur hiérarchique." Compiègne, 1989. http://www.theses.fr/1989COMPD176.

Full text
Abstract:
La simulation est devenue une étape indispensable dans la phase de conception de machines parallèles et permet d'éviter la construction de prototypes couteux. Dans cette thèse, un simulateur orienté vers des processus parallèles en langage OCCAM a été développé. Notre objectif a été de concevoir un simulateur adapté à un réseau de transputers pour la réalisation d'un prototype de machine parallèle utilisant des liaisons directes entre les transputers par les canaux séries. A titre d'exemple de simulation, une architecture parallèle (coprocesseur) à base d'une structure multiprocessor hiérarchi
APA, Harvard, Vancouver, ISO, and other styles
41

Robert, Yves. "Algorithmique parallèle : réseaux d'automates, architectures systoliques, machines SIMD et MIMD." Habilitation à diriger des recherches, Grenoble INPG, 1986. http://tel.archives-ouvertes.fr/tel-00319876.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Corbier, Franck. "Modélisation et émulation de la partie opérative pour la recette en plateforme d'équipements automatisés." Nancy 1, 1989. http://www.theses.fr/1989NAN10505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Duff, Christopher. "Codage d'automates et théorie des cubes intersectants." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00339918.

Full text
Abstract:
Cette thèse propose une methode de codage optimise d'automate synchrone dans un environnement du type compilateur de silicium. Dans une première partie, on recherche sur le graphe d'état des situations prédictives de minimisation des équations des variables internes et des sorties. Ceci définit des contraintes sur le codage en terme d'une liste de groupes d'adjacence d'états a immerger sur des faces ou cubes de l'hypercube. Dans une deuxième partie le codage est réalisé en satisfaisant au mieux ces affectations de faces et leurs intersections. Les principes de base de cette approche sont les s
APA, Harvard, Vancouver, ISO, and other styles
44

Hatoum, Rana. "Removal of micropollutants with activated sludge : proposition of a new kinetic model and special focus on hydrodynamic reactor configuration and local mixing." Electronic Thesis or Diss., Université de Lorraine, 2019. http://www.theses.fr/2019LORR0331.

Full text
Abstract:
L'un des défis auxquels la conservation de l'environnement est actuellement confrontée est la réduction des rejets de micropolluants par les effluents des stations d’épuration des eaux usées. Les procédés biologiques sont les traitements les plus couramment utilisés, mais ces techniques classiques n’ont pas été conçues dans le but d’éliminer les micropolluants (MPs). Dans ce travail, l’amélioration de l’élimination de sept composés de micropolluants (des produits pharmaceutiques et un produit chimique industriel) qui couvrent divers degrés de biodégradabilité est étudiée à l’aide du procédé de
APA, Harvard, Vancouver, ISO, and other styles
45

Bacchus, Alexandre. "Représentativité de la modélisation aux éléments finis pour le diagnostic de machines synchrones de grande puissance." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10014/document.

Full text
Abstract:
Nous avons développé une méthode d'identification de courts-circuits et d'excentricités statiques d'un turboalternateur en fonctionnement. Cette méthode doit être non seulement capable d'identifier le type de défaut, mais également sa gravité et sa localisation. Pour cela, la force électromotrice issue d'une sonde de flux radiale est considérée pour identifier les défauts de la machine. Les méthodes d'apprentissage ayant fait leur preuve sur ce type de problématique, un ensemble d'échantillons des défauts, i.e. matrice des prototypes, est construit grâce à des simulations par la méthode des él
APA, Harvard, Vancouver, ISO, and other styles
46

Piteros, Panagiotis. "De l'utilisation de méta-modèles pour la modélisation et l'analyse de la réponse radar des forêts." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLC029/document.

Full text
Abstract:
Dans ce travail, une nouvelle approche de conduite des observations radar de la forêt est proposée. Elle combine des méthodes statistiques pour l’analyse de sensibilité et les plans d’expériences numériques séquentiels et un code de calcul simulant la rétrodiffusion d’une forêt en vue de l’élaboration d’un modèle approché (métamodèle) à moindre coût numérique. L’introduction de ces outils mathématiques a pour objectif d’aider à la planification et à l’exécution des simulations radar et à l’organisation et l’analyse de leurs résultats. D’une part, les techniques de l’analyse de sensibilité sont
APA, Harvard, Vancouver, ISO, and other styles
47

Brégère, Margaux. "Stochastic bandit algorithms for demand side management Simulating Tariff Impact in Electrical Energy Consumption Profiles with Conditional Variational Autoencoders Online Hierarchical Forecasting for Power Consumption Data Target Tracking for Contextual Bandits : Application to Demand Side Management." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASM022.

Full text
Abstract:
L'électricité se stockant difficilement à grande échelle, l'équilibre entre la production et la consommation doit être rigoureusement maintenu. Une gestion par anticipation de la demande se complexifie avec l'intégration au mix de production des énergies renouvelables intermittentes. Parallèlement, le déploiement des compteurs communicants permet d'envisager un pilotage dynamique de la consommation électrique. Plus concrètement, l'envoi de signaux - tels que des changements du prix de l'électricité – permettrait d'inciter les usagers à moduler leur consommation afin qu'elle s'ajuste au mieux à
APA, Harvard, Vancouver, ISO, and other styles
48

Rohmer, Tom. "Deux tests de détection de rupture dans la copule d'observations multivariées." Thèse, Université de Sherbrooke, 2014. http://hdl.handle.net/11143/5933.

Full text
Abstract:
Résumé : Il est bien connu que les lois marginales d'un vecteur aléatoire ne suffisent pas à caractériser sa distribution. Lorsque les lois marginales du vecteur aléatoire sont continues, le théorème de Sklar garantit l'existence et l'unicité d'une fonction appelée copule, caractérisant la dépendance entre les composantes du vecteur. La loi du vecteur aléatoire est parfaitement définie par la donnée des lois marginales et de la copule. Dans ce travail de thèse, nous proposons deux tests non paramétriques de détection de ruptures dans la distribution d’observations multivariées, particulièremen
APA, Harvard, Vancouver, ISO, and other styles
49

Ritter, G. "Nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents." Phd thesis, 2001. http://tel.archives-ouvertes.fr/tel-00163429.

Full text
Abstract:
Nous proposons une nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents. Nous avons utilisé un outil automatique de vérification formelle afin de montrer l'équivalence entre une description structurelle précisant les détails de réalisation et sa spécification comportementale. Des descriptions au niveau portes logiques issues d'un outil de synthèse commercial ont été comparées à des spécifications comportementales et structurelles au niveau transfert des registres. Cependant, il n'est pas nécessaire qu
APA, Harvard, Vancouver, ISO, and other styles
50

Fiset, Stéphanie. "Traitement séquentiels et parallèles dans la dyslexie lettre-par-lettre : étude de cas et simulation chez le lecteur normal." Thèse, 2004. http://hdl.handle.net/1866/14724.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography