To see the other types of publications on this topic, follow the link: Modèles de fermions sur réseau.
Dissertations / Theses on the topic 'Modèles de fermions sur réseau'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Modèles de fermions sur réseau.'
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
Linnér, Erik. "Interplay of collective fluctuations in strongly correlated fermionic systems." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAX090.
Full textAbstract:
Les systèmes fortement corrélés présentent souvent des diagrammes de phase riches avec différentes phases ordonnées impliquant des degrés de liberté de spin, de charge, d'appariement ou d'orbitale. La description théorique de la compétition entre les différentes instabilités dans les systèmes fortement corrélés, qui donne lieu à cette phénoménologie, reste l'un des Saint-Graal de la théorie moderne de la matière condensée. Elle pose un énorme défi de complexité à la fois conceptuelle et numérique, et l'interaction des fluctuations électroniques concurrentes constitue donc un obstacle à la compréhension des diagrammes de phase complexes d'une large gamme de matériaux quantiques corrélés. Cela motive la recherche de méthodes simplifiées pour étudier l'interaction des fluctuations collectives.Nous présentons une extension multicanal de l'approche du champ fluctuant récemment développée pour les fluctuations collectives concurrentes dans les systèmes électroniques corrélés. La méthode est basée sur une optimisation variationnelle d'une action d'essai qui contient explicitement les paramètres d'ordre des principaux canaux de fluctuation. Elle donne un accès direct à l'énergie libre du système, facilitant la distinction entre les phases stables et métastables du système. Nous appliquons notre approche au modèle de Hubbard étendu, un modèle de fermions sur réseau paradigmatique, qui occupe une place de choix dans la théorie de la matière condensée en raison de la pertinence potentielle de ses versions répulsives et attractives pour les matériaux électroniques et les systèmes artificiels. En utilisant notre technique pour étudier le régime de couplage faible à intermédiaire de l'interaction répulsive, nous constatons qu'elle capture la compétition entre les fluctuations d'onde de densité de charge et des fluctuations antiferromagnétiques en accord qualitatif avec des méthodes numériquement plus coûteuses. En outre, cette méthode permet d'accéder aux propriétés des états excités et aux effets de corrélation à plusieurs corps, directement sur l'axe des fréquences réelles sans utiliser de techniques de continuation analytique numériques. L'approche du champ fluctuant multicanal offre donc une voie prometteuse pour un traitement numériquement peu coûteux de l'interaction entre les fluctuations collectives dans les systèmes de petite et grande taille.En utilisant l'approche introduite du champ fluctuant multicanal, nous explorons le diagramme de phase du modèle de Hubbard étendu dans les régimes répulsif et attractif, en abordant l'interaction des fluctuations dans les canaux antiferromagnétiques, de l'onde de densité de charge, de l'onde s supraconductrice et de la séparation de phases. Bien que ce modèle ait été étudié de manière intensive depuis des décennies, notre nouvelle approche nous permet d'identifier une nouvelle phase caractérisée par la coexistence de fluctuations collectives de l'onde s supraconductrice et de la séparation de phases. Ces résultats sont en accord avec les observations précédentes de phases supraconductrices et de séparation de phases dans les systèmes électroniques, notamment dans les supraconducteurs à haute température critique. En outre, la méthode des champs fluctuants multicanaux permet de mettre en évidence la quintessence du modèle de Hubbard étendu grâce à la grande variété de types de compétitions qui émergent des différentes instabilités. La nature générale de la théorie proposée, qui permet d'incorporer une grande variété de modes collectifs, en fait un outil prometteur pour l'étude de l'interaction des fluctuations collectives dans les systèmes fermioniques fortement corrélésStrongly correlated systems often display rich phase diagrams exhibiting different ordered phases involving spin, charge, pairing, or orbital degrees of freedom. The theoretical description of the competition between different instabilities in strongly correlated systems giving rise to this phenomenology, remains one of the holy grails of modern condensed matter theory. It poses a tremendous challenge of both conceptual and computational complexity, and thus the interplay of competing electronic fluctuations constitutes a roadblock to the understanding of the complex phase diagrams of a wide range of correlated quantum materials. This motivates the search for constructing simplified methods to study interplaying collective fluctuations.We introduce a multichannel extension of the recently developed fluctuating field approach to competing collective fluctuations in correlated electron systems. The method is based on a variational optimization of a trial action that explicitly contains the order parameters of the leading fluctuation channels. It gives direct access to the free energy of the system, facilitating the distinction between stable and metastable phases of the system.We apply our approach to the extended Hubbard model, a paradigmatic fermionic lattice model, occupying a prime place in condensed matter theory due to the potential relevance of its repulsive and attractive versions for both electronic materials and artificial systems.Utilising the technique to study the weak to intermediate coupling regime of the repulsive interaction, we find it to capture the interplay of competing charge density wave and antiferromagnetic fluctuations with qualitative agreement with more computationally expensive methods. In addition, the method allows access to excited-state properties, through the one-particle excitation spectrum, and many-body correlation effects, through the self-energy, directly on the real-frequency axis without using numerical analytic continuation techniques. The multichannel fluctuating field approach thus offers a promising route for a numerically low-cost treatment of the interplay between collective fluctuations in small to large systems.Using the introduced multichannel fluctuating field approach, we explore the phase diagram of the extended Hubbard model in both repulsive and attractive regimes, addressing the interplay of fluctuations in the antiferromagnetic, charge density wave, s-wave superconducting, and phase separation channels. Despite the fact that this model has been intensively studied for decades, our novel approach allows us to identify a novel phase that is characterised by the coexistence of collective s-wave superconducting and phase separation fluctuations. These findings resonate with previous observations of interplaying phase separation and superconducting phases in electronic systems, most importantly in high-temperature superconductors. In addition, the multichannel fluctuating field method allows to display the quintessential nature of the extended Hubbard model through the large variety of types of competitions which emerges from the interplaying instabilities. The general nature of the proposed theory, allowing to incorporate a variety of collective modes, makes it a promising tool for studying the interplay of collective fluctuations in strongly correlated fermionic systems
2
Ruiz, Jean. "Contribution à l'étude des transitions de phases de modèles sur réseau : modèles à symétrie continue et modèles de Potts." Aix-Marseille 2, 1987. http://www.theses.fr/1987AIX22020.
Full textAbstract:
Ce travail se situe dans le cadre de la mecanique statistique de l'equilibre et comprend deux parties. La premiere concerne les systemes possedant un groupe de symetrie continue. Le premier chapitre est lie au phenomene d'absence de brisure spontanee de symetrie: nous derivons des bornes superieures sur la decroissance des fonctions de correlations dans des systemes de spins a symtrie so(n). Dans le deuxieme chapitre nous etudions le comportement du parametre de wilson dans les modeles de theorie de jauge sur reseau introduits par wilson, lorsque le groupe de jauge est u(1) et l'interaction a longue portee, et invariante de jauge. La deuxieme partie, chapitres trois et quatre, est consacree a l'etude du modele de potts, a q etats, plus particulierement aux problemes de transitions de phases, de coexistence de phases et de tensions superficielles. Pour le modele scalaire, en dimension superieure ou egale a deux, nous montrons en particulier l'existence d'une temperature unique de transition de phase de premiere espece, ou la derivee de l'energie libre par rapport a la temperature est discontinue: en ce point, phases coexistent, q phases ordonnees et une phase desordonnee. Pourle modele de jauge en dimension trois, nous demontrons l'existence d'une valeur de la constante de couplage ou la duree de l'energie libre par rapport a la constante de couplage et la tension de corde de wilson sont discontinues: le parametre de wilson a deux types de comportement (en aire ou en perimetre) suivant les conditions aux bords (libres ou fermees)
3
Harraud, Pierre-Antoine. "Etude de la structure du nucléon par des calculs de QCD sur réseau avec des fermions de masse twistée." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00546526.
Full textAbstract:
La compréhension de la structure interne du nucléon à partir de la ChromoDynamique Quantique est un enjeu majeur de la physique hadronique. Seule la QCD sur réseau permet d'évaluer numériquement les observables à partir des principes ab-initio. Le sujet de cette thèse est l'étude des facteurs de forme du nucléon et le premier moment des fonctions de distributions de partons en utilisant une action discrétisée avec des fermions de masse twistée. Cette dernière a l'avantage de supprimer les effets de discrétisation au premier ordre en la maille du réseau. D'autre part, l'ensemble des simulations permet un contrôle accru des erreurs systématiques. Après avoir détaillé les techniques de calcul utilisées, je présenterai les résultats obtenus pour un large éventail de paramètres, mailles de réseau variant entre 0.056 fm et 0.089 fm, volumes compris entre 2.1 et 2.7 fm et masses de pions dans le domaine 260-470 MeV. La constante de renormalisation vectorielle a ainsi été obtenue dans le secteur du nucléon avec une grande précision. Pour le rayon de charge électrique, les effets de volume fini mis en évidence fournissent une clef pour expliquer sa dépendance chirale vers le point physique. Les résultats pour le moment magnétique et axial, les fractions d'impulsion et d'hélicité portées par les quarks, ne présentent pas d'effets de discrétisation ni de volume fini significatifs. Aux masses de pions considérées, leurs valeurs montrent une déviation par rapport aux valeurs expérimentales, leur comportement chiral n'exhibant pas la courbure prédite par les perturbations chirales qui permettrait de résoudre ce désaccord apparent.
4
Harraud, Pierre-Antoine. "Étude de la structure du nucléon par des calculs de QCD sur réseau avec des fermions de masse twistée." Grenoble, 2010. http://www.theses.fr/2010GRENY057.
Full textAbstract:
La compréhension de la structure interne du nucléon à partir de la ChromoDynamique Quantique est un enjeu majeur de la physique hadronique. Seule la QCD sur réseau permet d'évaluer numériquement les observables à partir des principes ab-initio. Le sujet de cette thèse est l'étude des facteurs de forme du nucléon et le premier moment des fonctions de distributions de partons en utilisant une action discrétisée avec des fermions de masse twistée. Cette dernière a l'avantage de supprimer les effets de discrétisation au premier ordre en la maille du réseau. D'autre part, l'ensemble des simulations permet un contrôle accru des erreurs systématiques. Après avoir détaillé les techniques de calcul utilisées, je présenterai les résultats obtenus pour un large éventail de paramètres, mailles de réseau variant entre 0. 056 fm et 0. 089 fm, volumes compris entre 2. 1 et 2. 7 fm et masses de pions dans le domaine 260-470 MeV. La constante de renormalisation vectorielle a ainsi été obtenue dans le secteur du nucléon avec une grande précision. Pour le rayon de charge électrique, les effets de volume fini mis en évidence fournissent une clef pour expliquer sa dépendance chirale vers le point physique. Les résultats pour le moment magnétique et axial, les fractions d'impulsion et d'hélicité portées par les quarks, ne présentent pas d'effets de discrétisation ni de volume fini significatifs. Aux masses de pions considérées, leurs valeurs montrent une déviation par rapport aux valeurs expérimentales, leur comportement chiral n'exhibant pas la courbure prédite par les perturbations chirales qui permettrait de résoudre ce désaccord apparentUnderstanding the structure of the nucleon from Quantum ChromoDynamics is one of the greatest challenges of hadronic physics. Only lattice QCD allows to determine numerically the values of the observables from ab-initio principles. This thesis aims to study the nucleon form factors and the first moments of partons distribution fnctions by using a discretized action with twisted mass fermions. As a main advantage, the discretization effects are suppressed at first order in the lattice spacing. In addition, the set of simulations allows a good control of the systematical errors. After reviewing the computation technics, the results obtained for a wide range of parameters are presented, with lattice spacings varying from 0. 0056 fm to 0. 089 fm, spatial volumes from 2. 1 up to 2. 7 fm and several pion masses in the range of 260-470 MeV. The vector renormalization constant was determined in the nucleon sector with improved precision. Concerning the electric charge radius, we found a finite volume effect that provides a key towards an explanation of the chiral dependence to the physical point. The results for the magnetic moment, the axila charge, the magnetic and axial charge radii, the momentum and spin fractions carried by the quarks show no dependence on the lattice spacing nor volume. In our range of pion masses, their values show a deviationfrom the experimental values. Their chiral behaviour do not exhibit the curvature predicted by the chiral perturbation theory which could explain the apparent discrepancy
5
Vignaud, Yvon. "Interfaces rigides des modèles sur réseau : une application de la positivité par réflexion." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2007. http://tel.archives-ouvertes.fr/tel-00265658.
Full textAbstract:
Nous étudions les interfaces de quatre modèles de spins sur réseau: le modèle d'Ising à basse température, le modèle de Potts à la température critique, un modèle à symétrie continue et son approximation d'horloge.Pour chacun de ces modèles, nous imposons des conditions au bord spécifiques qui assurent l'existence d'une interface ; les mesures de Gibbs associées à de telles conditions au bord satisfont alors de puissantes inégalités de corrélation. Ces inégalités nous permettent de montrer que les interfaces considérées sont rigides, au sens où ce sont des hyperplans légèrement déformés par des aspérités locales. Cette méthode est une version restreinte de la méthode de positivité par réflexion, l'une des directions de réflexion étant prohibée par les conditions au bord choisies.
Pour Ising et Potts, notre méthode simplifie considérablement les démonstrations historiques, puisque ni la théorie de Pirogov-Sinai, ni les développements en amas ne sont nécessaires à son application. Par ailleurs, la théorie-PS n'est directement envisageable ni pour le modèle continu ni son approximation car leurs états fondamentaux sont infiniment dégénérés; notre méthode est donc une réelle alternative à ces techniques.
6
Tekitek, Mohamed Mahdi. "Identification de modèles et de paramètres pour la méthode de Boltzmann sur réseau." Phd thesis, Université Paris Sud - Paris XI, 2007. http://tel.archives-ouvertes.fr/tel-00207541.
Full textAbstract:
Cette thèse comporte trois parties: étude du schéma de Boltzmann sur réseau, schéma adjoint de Boltzmann sur réseau pour l'identification de paramètres et construction d'une couche parfaitement absorbante pour ce schéma.La première partie introduit et analyse la méthode.
La deuxième partie décrit une approche variationnelle pour l'assimilation de paramètres relatifs à la méthode du gaz de Boltzmann sur réseau. Une méthode adjointe discrète en temps est développée. L'algorithme est d'abord testé sur un écoulement de type Poiseuille linéaire (problème de Stokes), puis il est appliqué à un problème non linéaire. Des résultats encourageants sont obtenus pour un et deux paramètres inconnus.
Finalement la troisième partie décrit une adaptation des couches absorbantes de Bérenger. Il en résulte un modèle d'automate de Boltzmann à neuf vitesses discrètes. Une analyse des ondes réfléchies est ensuite réalisée entre deux milieux de Boltzmann à une dimension, ce qui permet d'obtenir un équivalent des formules de Fresnel pour les schémas de Boltzmann et de proposer des modifications du schéma à l'interface pour annuler les ondes réfléchies. En deux dimensions, la même analyse d'ondes réfléchies met en évidence l'apparition de modes de Knudsen et des ondes transverses qui rendent l'analyse complexe.
7
Vignaud, Yvon [Charlie]. "Interfaces rigides des modèles sur réseau : une application de la positivité par réflexion." Aix-Marseille 2, 2007. http://theses.univ-amu.fr.lama.univ-amu.fr/2007AIX22019.pdf.
Full textAbstract:
Nous étudions les interfaces de quatre modèles de spins sur le réseau Zd, d≥ 3 : le modèle d’Ising à basse température, le modèle de Potts à la température critique, un modèle à symétrie continue et son approximation d’horloge ; les interfaces de ces deux derniers modèles n’ont jamais été étudiées auparavant. Pour chacun de ces modèles, nous imposons des conditions au bord spécifiques qui assurent l’existence d’une interface ; les mesures de Gibbs associées à de telles conditions au bord satisfont alors de puissantes inégalités de corrélation, dites de l’échiquier. Ces inégalités nous permettent de montrer que les interfaces considérées sont rigides, au sens où ce sont des hyperplans légèrement déformés par des aspérités locales. Cette méthode est une version restreinte de la méthode de positivité par réflexion, l’une des directions de réflexion étant prohibée par les conditions au bord choisies. Pour Ising et Potts, notre méthode simplifie considérablement les démonstrations historiques respectivement dues à Dobrushin et Messager et al. , puisque ni la théorie de Pirogov-Sina˘ı, ni les développements en amas ne sont nécessaires à son application. Par ailleurs, la théorie-PS n’est directement envisageable ni pour le modèle continu ni pour son approximation car leurs états fondamentaux sont infiniment dégénérés ; notre méthode est donc une réelle alternative à ces techniquesWe study interfaces for four spin models on the lattice Zd, d ≥ 3: the Ising model at low temperature, the Potts model at critical point, a continuous symmetry model and its associated clock approximation. Interfaces of the last two models were not previously dealt with. For each model, we use specific boundary conditions that force the existence of an interface; related Gibbs measures then satisfy the so-called chessboard estimates, which are powerful correlation inequalities. These estimates are a simple way of showing that such interfaces are rigid, in the sense that they deviate only locally from a perfect hyperplane. This method is a restricted version of the so-called reflection positivity method, since reflections in certain directions are forbidden by the chosen boundary conditions. In the case of Ising and Potts models, our method drastically simplifies historical proofs respectively devised by Dobrushin and Messager et al. , since its requires neither Pirogov-Sina˘ı theory nor cluster expansions. Besides, PS-theory is not directly available for the continuous model and its clock approximation, their ground states being infinitely degenerated; our method is thus a true alternative to such techniques
8
Tekitek, Mohamed-Mahdi. "Identification de modèles et de paramètres pour la méthode de Boltzmann sur réseau." Paris 11, 2007. https://tel.archives-ouvertes.fr/tel-00207541.
Full textAbstract:
Cette thèse comporte trois parties: étude du schéma de Boltzmann sur réseau, schéma adjoint de Boltzmann sur réseau pour l'identification de paramètres et construction d'une couche parfaitement absorbante pour ce schéma. La première partie introduit et analyse la méthode. La deuxième partie décrit une approche variationnelle pour l'assimilation de paramètres relatifs à la méthode du gaz de Boltzmann sur réseau. Une méthode adjointe discrète en temps est développée. L'algorithme est d'abord testé sur un écoulement de type Poiseuille linéaire (problème de Stokes), puis il est appliqué à un problème non linéaire. Des résultats encourageants sont obtenus pour un et deux paramètres inconnus. Finalement la troisième partie décrit une adaptation des couches absorbantes de Bérenger. Il en résulte un modèle d'automate de Boltzmann à neuf vitesses discrètes. Une analyse des ondes réfléchies est ensuite réalisée entre deux milieux de Boltzmann à une dimension, ce qui permet d'obtenir un équivalent des formules de Fresnel pour les schémas de Boltzmann et de proposer des modifications du schéma à l'interface pour annuler les ondes réfléchies. En deux dimensions, la même analyse d'ondes réfléchies met en évidence l'apparition de modes de Knudsen et des ondes transverses qui rendent l'analyse complexeThis thesis is composed of three parts. Firstly a study of Lattice Boltzmann scheme (LBE) is performed. Then Adjoint Lattice Boltzmann scheme (ALBE) is introduced for parameters identification. Finally a new Lattice Boltzmann scheme (BRB) is proposed to modelise B\'erenger's Perfectly Matched Layer (PML) method. The first part introduces and analyzes the LBE method. The second part describes a variational approach for parameters identification adapted to LBE. A time discrete adjoint method is developed. At first the ALBE method is applied to Stokes' problem and then to a nonlinear problem. Good results have been obtained in the cases of one or tow unknown parameters. Finally the third part describes an adaptation of PML for LBE. The LB scheme is obtained with 9 discretes velocities. An analysis of reflected waves between two one dimensional LB media is performed. It provides us an equivalent for the Fresnel formula for LBE interface. That gives us same ideas to modify the LB scheme at the interface to vanish reflected waves. In the two dimensional case, the same analysis of reflected waves shows the existence of Knudsen modes and transverse waves, which make the analysis more difficult
9
Marcou, Olivier. "Modélisation et contrôle d’écoulements à surface libre par la méthode de Boltzmann sur réseau." Perpignan, 2010. http://www.theses.fr/2010PERP1001.
Full textAbstract:
Ce travail de thèse traite de la modélisation et la simulation des systèmes complexes et s’inscrit dans la thématique du contrôle et la gestion des ressources en eau. Nous proposons une approche originale basée sur les modèles de Boltzmann sur réseau pour représenter les écoulements au sein des canaux d’irrigation, habituellement décrits par les équations non linéaires de Saint-Venant. Nous avons adapté un modèle bi-fluide et étudié les conditions aux bords qui permettent de reproduire la géométrie d’un canal à surface libre. Des méthodes de détermination des grandeurs hydrauliques d’intérêt ont été développées. Nous nous sommes intéressés au comportement des vannes de fond en régime noyé, et nous démontrons que le modèle permet de décrire celui-ci spontanément dans différentes situations de fonctionnement. Des validations ont été effectuées par le biais d’une comparaison avec des expérimentations menées sur un micro-canal expérimental. Nous avons également introduit dans le modèle des phénomènes de sédimentation et étudié l’influence de la présence d’un dépôt de sédiments sur l’écoulement. Là aussi, les résultats de simulation et d’expérimentation convergentThis PhD work considers the general problem of modelling and simulation of complex systems and deals with the domain of control and management of water resources. We propose here an original approach based on Lattice Boltzmann models (LB) for modelling free surface flows in irrigation canals, usually described with the non-linear shallow water equations. We adapted a bi-fluid model and studied the boundary conditions which allow to reproduce the geometry of a free-surface irrigation canal. Methods for estimating the desired hydraulic quantities were developed. We studied the behavior of submerged underflow gates, and we show that the model is able to spontaneously and correctly describe how the gates function in quite different situations. Validations were realized by comparing results from simulations and experimentations performed on a laboratory micro-canal facility. We also introduced sedimentation phenomena in the model and studied the influence of a sedimentation deposit on the flow. Comparisons between experimental and simulation results were also performed and converged
10
Selva, Franck. "Formation d'une molécule de Wigner sur un réseau bidimensionnel : structure et aimantation." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2002. http://tel.archives-ouvertes.fr/tel-00001528.
Full textAbstract:
Dans ce travail nous explorons numériquement le diagramme de phase d'un système quantique d'électrons en interaction Coulombienne et en présence de désordre. Pour cela, nous étudions un modèle sur réseau dont la diagonalisation exacte, à l'aide d'un algorithme de Lanczos, nous donne les énergies et les états propres du système. L'étude de ces systèmes est motivée par des expériences récentes (1994 Kravchenko et al) montrant une transition métal-isolant dans des gaz bidimensionnels d'électrons, pour des énergies Coulombienne dix fois plus importantes que l'énergie cinétique. Les principaux résultats concernent l'état fondamental du cas bidimensionnel. On développe la théorie de perturbation autour du cristal de Wigner. On calcule en particulier le courant permanent dont le signe, qui est indépendant du désordre, se déduit par une règle simple que l'on donne ici. On a aussi étudié des systèmes de quelques électrons: on met en évidence une correspondance entre le comportement de ces systèmes et les résultats des expériences de transports et de magnétisme (1999 Mertes et al). On montre, en particulier, l'existence d'un régime, à des interactions intermédiaires, entre le cristal de Wigner à forte interaction et le verre de Fermi à faible interaction. L'état fondamental, dans ce régime, possède des caractéristiques à la fois du solide et du liquide, conformément a la conjecture d'Andreev-Lifshitz. Dans la dernière partie, on s'intéresse au problème de deux particules en interaction sur une chaîne désordonnée, où une interaction locale conduit à une délocalisation partielle de certains états (1994 Shepelyansky). En considérant une interaction Coulombienne, on montre qu'on a une délocalisation spatiale de ces états. On montre aussi que les statistiques spectrales sont identiques à celle d'un métal diffusif : on obtient une statistique de Wigner-Dyson, alors qu'avec une interaction locale on atteint seulement une statistique intermédiaire de semi-Poisson.
11
Gallois, Passat Isabelle. "Analyse de modèles d'évolution sur un réseau, cas d'un système épidémique avec diffusion non locale." Thesis, Cergy-Pontoise, 2015. http://www.theses.fr/2015CERG0786.
Full textAbstract:
Cette thèse porte sur l'analyse mathématique de modèles d'évolution sur des réseaux. La thèse se compose de trois chapitres. Les deux premiers portent sur un modèle de propagation d'épidémies dans des réseaux et le troisième porte sur l'équation de Price, qui intervient dans la modélisation de la croissance des réseaux complexes.L'essentiel de la thèse est constituée des deux premiers chapitres, où nous proposons et analysons un modèle épidémique de type SIS avec diffusion non locale. Ce modèle est obtenu à partir d'un modèle discret, en supposant que le degré des noeuds du réseau est ici une variable continue à valeurs positives. Le réseau est ainsi modélisé par la distribution de probabilité des degrés des noeuds du réseau, où a lieu la transmission épidémique. La migration le long des arêtes du réseau correspond à une diffusion non locale. Le système d'évolution en temps pour les densités d'individus sains et infectés se ramène ainsi à un système couplé d'équations différentielles non linéaires avec des termes non locaux, qui sont des moyennes sur le réseau de ces densités. Nous analysons ce système d'évolution, en étudiant successivement le cas d'une transmission limitée (Chapitre 1) et non limitée (Chapitre 2).Nous prouvons tout d'abord rigoureusement l'existence d'une unique solution, locale ou globale, par une méthode de point fixe. Nous établissons ensuite des conditions de seuils nécessaires et suffisantes pour l'existence d'un équilibre endémique. Puis nous étudions la stabilité linéaire des équilibres sain et endémique et comparons nos résultats à ceux obtenus sur le modèle discret de départ. Dans le cas de la transmission limitée et de coefficients de diffusion égaux, on se ramène à une équation de type Fisher avec diffusion non locale, pour laquelle on établit un principe de comparaison. Ceci nous permet d'étudier le comportement asymptotique en temps pour des données initiales quelconques.Le dernier chapitre porte sur l'équation de Price, qui est un modèle de croissance des réseaux.Il se présente sous la forme d'une relation de récurrence donnant l'évolution de la distribution des degrés dans un réseau de taille croissante. Nous montrons rigoureusement la convergence de la solution du modèle de Price vers la solution stationnaire et nous montrons que celle-ci est équivalente à une loi puissance, dont nous précisons l'exposantThis thesis is devoted to the mathematic analysis of time-dependent models on complex networks. There are three chapters. The first two chapters concern a model for the spread of epidemics on networks while the third chapter concerns Price equation, which arises as a model for the growth of complex networks.Most part of this thesis is concentrated in the first two chapters, in which we propose and analyze a SIS-type epidemic model with nonlocal diffusion. This model is derived from a discrete model, by considering here the degree as a continuous variable taking nonnegative values. Hence the network is described by the degree distribution of its nodes, where the epidemic transmission takes place. Migration occurs along the edges of the network and corresponds to nonlocal diffusion. The evolution system for the density of susceptible and infected individuals reads as a coupled system of nonlinear equations with nonlocal terms, which are given by the mean values of these densities on the network. We provide the analysis of this time-dependent system, distinguishing the cases of limited transmision (chapter 1) and illimited transmission (chapter 2).We first rigorously prove the existence of a unique solution to the system, either locally or globally in time, using a fixed point method. Next we establish necessary and sufficient threshold conditions for the existence of an endemic equilibrium. We then investigate the linear stability of both the disease-free and the endemic equilibrium and compare our results to the ones obtained for the discrete system. In the case of equal diffusivities and illimited transmission, we reduce the system to a Fisher-type equation with nonlocal diffusion, for which we prove a comparison principle. This allows us to study the large-time asymptotics of the solution for arbitrary initial data.The last chapter deals with Price equation, which is a model for the growth of networks. The model reads as a discrete recursive equation that provides the time-evolution of the probability distribution of the degrees in a growing network. We show rigorously that the solution converges to a stationary state exhibiting a power-law tail, whose exponent is explicitly given
12
Amoretti, René. "Modélisation et commande optimale d'un réseau de distribution d'eau potable : mise en oeuvre, test et étude des performances sur le réseau de Fium'Orbo." Aix-Marseille 3, 1990. http://www.theses.fr/1990AIX30001.
Full textAbstract:
Dans le monde industrialise, les besoins en eau sont en forte croissance. Ces accroissements, ainsi que l'amelioration de la qualite exigee par les consommateurs entrainent pour le distributeur la necessite de maitriser des ouvrages de plus en plus complexes et aussi de contenir ses couts d'exploitation dans une limite compatible avec les contraintes financieres des collectivites. Ce memoire presente. D'une part part une description de la problematique liee au sujet et notamment: la modelisation d'un reseau de representation generale des adductions d'eau par pompage, son observabilite, sa commandabilite; l'estimation des variables non controlees (consommations, ressources gravitaires); l'optimisation en regard du critere cout et du respect des contraintes de hauteurs d'eau dans les reservoirs. D'autre part les enseignements tires de la mise en uvre de la strategie elaboree sur le reseau du syndicat inter-communal du fium'orbo en haute-corse qui revelent que les principales difficultes liees a la maitrise des systemes de distribution se situaient au niveau de la mesure des variables physiques essentielles
13
Baron, Rémi. "Chromodynamique quantique sur réseau et propriétés du nucléon." Phd thesis, Université Paris Sud - Paris XI, 2009. http://tel.archives-ouvertes.fr/tel-00439372.
Full textAbstract:
L'objet de cette thèse est le calcul ab-initio des propriétés du nucléon en partant de la théorie microscopique de l'interaction forte, la chromodynamique quantique (QCD). Cette théorie, dont les degrés de liberté sont les quarks et les gluons, a été bien testée dans les expériences à haute énergie car la liberté asymptotique, le fait que l'interaction s'annule à courte distance, permet d'utiliser l'approximation perturbative. Pour prédire des propriétés qui font intervenir de grandes distances, comme les masses ou les distributions de courant, il faut un traitement exact de la théorie. Celle-ci est discrétisée sur un réseau quadridimensionnel et les observables quantiques sont calculées par la méthode de l'intégrale de chemin, comme expliqué dans les chapitres II et III. Dans le chapitre IV nous discutons les problèmes posés par la discrétisation des fermions et nous expliquons le choix retenu pour nos calculs c'est-à-dire la discrétisation ``à la Wilson'' avec masse twistée. Elle présente l'avantage de supprimer les effets de discrétisation de l'ordre de la maille du réseau au prix de l'ajustement d'un paramètre. Le calcul numérique de l'intégrale de chemin est fait par la méthode de Monte Carlo avec échantillonnage préférentiel. L'algorithme ``Hybrid Monte Carlo'', basé sur la dynamique moléculaire, est présenté dans le chapitre V ainsi que la méthode de résolution de grands systèmes linéaires creux qui apparaîssent dans le calcul des observables. Ce chapitre présente aussi les aspects informatiques du problème, c'est-à-dire le parallélisme massif ainsi que les caractéristiques des machines utilisées. Dans le chapitre VI nous expliquons la méthodologie suivie pour la production des ensembles représentatifs de configuration de jauge. La mise en oeuvre et le contrôle de cette production est une part importante du travail effectué pendant cette thèse. Les deux derniers chapitres sont consacrés au calcul proprement dit des observables et à la présentation des résultats. La principale difficulté technique, l'évaluation des propagateurs de quark, a été résolue en exploitant au mieux les fermes de processeurs disponibles. Une part importante du travail de thèse a été consacrée à ce problème. Dans la conclusion nous faisons le point sur l'état des calculs de QCD sur réseau et nous discutons de l'évolution du domaine dans la perspective des nouveaux moyens de calculs et des développements théoriques récents.
14
Bouhali, Omar. "Contribution des convertisseurs multiniveaux au raccordement de la production d'origine éolienne sur un réseau électrique." Ecole Centrale de Lille, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Bouhali.pdf.
Full textAbstract:
L’objectif de ce travail consiste à évaluer les possibilités des convertisseurs multi niveaux pour le raccordement de systèmes de génération à base d’éolienne intégrant un système de stockage. Tout d’abord, la modélisation et la commande pour le raccordement d’une source sont étudiées. Classiquement le convertisseur utilisé pour réaliser la connexion au réseau est contrôlé de manière à réguler le bus continu intermédiaire. L’utilisation d’un convertisseur de topologie NPC nécessite l’équilibrage du bus continu. Une solution basée sur l’utilisation des configurations redondantes est proposée. Ensuite, la généralisation pour la modélisation et la commande d’un onduleur triphasé multi niveaux est développée. L’unité de stockage est utilisée pour réguler le bus continu et compenser les fluctuations de puissance de l’éolienne. La supervision énergétique de cette association de deux sources est réalisée. Le domaine de fonctionnement est déterminé. Différentes possibilités de connexion de ces deux sources sont développées et évaluées expérimentalement. Enfin, l’utilisation d’un convertisseur utilisant quatre condensateurs en série pour le bus continu est développée pour le raccordement d’un système multi sources. Diverses possibilités de raccordement sur ce bus continu sont abordées. Le système de supervision des puissances qui est rendu nécessaire pour chaque cas est également présentéThis work deals with the evaluation of the possibilities which offers the multilevel converters for the connection of a wind generation system including a storage system. First of all, modeling and control of the connection are given. Classically, the grid converter is controlled to regulate the intermediate continuous bus. The use of a NPC converter topology requires the balancing of the DC-bus voltage. A solution based on the redundant configurations is proposed. Then, the modeling and the control of a three-phase multilevel inverter are presented by extending the presented concepts, which are established by using the vectorial mathematical tools. The storage unit is used to control the continuous bus and consequently compensate the fluctuations of the wind power. The energy supervision of the association of both sources is presented and the operation range is given. Various possibilities of the connection of both sources are proposed and evaluated. Experimental validations are given. Finally, the use of a converter using four series capacitors in the DC-bus is developed for the multi source system connections. Various possibilities of connection on this continuous bus are investigated. The supervision system of the powers for each case is also given
15
Choungmo, Fofack Nicaise Éric. "Sur des modèles pour l'évaluation de performance des caches dans un réseau cœur et de la consommation d'énergie dans un réseau d'accès sans-fil." Phd thesis, Université Nice Sophia Antipolis, 2014. http://tel.archives-ouvertes.fr/tel-00968894.
Full textAbstract:
Internet est un véritable écosystème. Il se développe, évolue et s'adapte aux besoins des utilisateurs en termes de communication, de connectivité et d'ubiquité. Dans la dernière décennie, les modèles de communication ont changé passant des interactions machine-à-machine à un modèle machine-à-contenu. Cependant, différentes technologies sans-fil et de réseaux (tels que les smartphones et les réseaux 3/4G, streaming en ligne des médias, les réseaux sociaux, réseaux-orientés contenus) sont apparues pour améliorer la distribution de l'information. Ce développement a mis en lumière les problèmes liés au passage à l'échelle et à l'efficacité énergétique; d'où la question: Comment concevoir ou optimiser de tels systèmes distribués qui garantissent un accès haut débit aux contenus tout en (i) réduisant la congestion et la consommation d'énergie dans le réseau et (ii) s'adaptant à la demande des utilisateurs dans un contexte connectivité quasi-permanente? Dans cette thèse, nous nous intéressons à deux solutions proposées pour répondre à cette question: le déploiement des réseaux de caches et l'implantation des protocoles économes en énergie. Précisément, nous proposons des modèles analytiques pour la conception de ces réseaux de stockage et la modélisation de la consommation d'énergie dans les réseaux d'accès sans fil. Nos études montrent que la prédiction de la performance des réseaux de caches réels peut être faite avec des erreurs relatives absolues de l'ordre de 1% à 5% et qu'une proportion importante soit 70% à 90% du coût de l'énergie dans les cellules peut être économisée au niveau des stations de base et des mobiles sous des conditions réelles de trafic.
16
Choungmo, Fofack Nicaise Éric. "Sur des modèles pour l’évaluation de performance des caches dans un réseau cœur et de la consommation d’énergie dans un réseau d’accès sans-fil." Thesis, Nice, 2014. http://www.theses.fr/2014NICE4006/document.
Full textAbstract:
Internet est un véritable écosystème. Il se développe, évolue et s’adapte aux besoins des utilisateurs en termes de communication, de connectivité et d’ubiquité. Dans la dernière décennie, les modèles de communication ont changé passant des interactions machine-à-machine à un modèle machine-à-contenu. Cependant, différentes technologies sans-fil et de réseaux (tels que les smartphones et les réseaux 3/4G, streaming en ligne des médias, les réseaux sociaux, réseaux-orientés contenus) sont apparues pour améliorer la distribution de l’information. Ce développement a mis en lumière les problèmes liés au passage à l’échelle et à l’efficacité énergétique; d’où la question: Comment concevoir ou optimiser de tels systèmes distribués qui garantissent un accès haut débit aux contenus tout en (i) réduisant la congestion et la consommation d’énergie dans le réseau et (ii) s’adaptant à la demande des utilisateurs dans un contexte connectivité quasi-permanente? Dans cette thèse, nous nous intéressons à deux solutions proposées pour répondre à cette question: le déploiement des réseaux de caches et l’implantation des protocoles économes en énergie. Précisément, nous proposons des modèles analytiques pour la conception de ces réseaux de stockage et la modélisation de la consommation d’énergie dans les réseaux d’accès sans fil. Nos études montrent que la prédiction de la performance des réseaux de caches réels peut être faite avec des erreurs relatives absolues de l’ordre de 1% à 5% et qu’une proportion importante soit 70% à 90% du coût de l’énergie dans les cellules peut être économisée au niveau des stations de base et des mobiles sous des conditions réelles de traficInternet is a real ecosystem. It grows, evolves and adapts to the needs of users in terms of communication, connectivity and ubiquity of users. In the last decade, the communication paradigm has shifted from traditional host-to-host interactions to the recent host-to-content model; while various wireless and networking technologies (such as 3/4G smartphones and networks, online media streaming, social networks, clouds, Big-Data, information-centric networks) emerged to enhance content distribution. This development shed light on scalability and energy efficiency issues which can be formulated as follows. How can we design or optimize such large scale distributed systems in order to achieve and maintain high-speed access to contents while (i) reducing congestion and energy consumption in the network and (ii) adapting to the temporal locality of users demand in a continuous connectivity paradigm? In this thesis we focus on two solutions proposed to answer this question: In-network caching and Power save protocols for scalability and energy efficiency issues respectively. Precisely, we propose analytic models for designing core cache networks and modeling energy consumption in wireless access networks. Our studies show that the prediction of the performance of general core cache networks in real application cases can be done with absolute relative errors of order of 1%–5%; meanwhile, dramatic energy save can be achieved by mobile devices and base stations, e.g., as much as 70%–90% of the energy cost in cells with realistic traffic load and the considered parameter settings
17
Blondeau-Fournier, Olivier. "Approche combinatoire des modèles minimaux en théorie des champs conformes : connexion avec les chemins sur réseau demi-entier." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27705/27705.pdf.
Full text
18
Gobron, Thierry. "Modèles de gaz sur réseau appropriés à l'étude de systèmes de particules en régime de saut sous-amorti." Paris 11, 1986. http://www.theses.fr/1986PA112040.
Full textAbstract:
Cette thèse présente un modèle de gaz sur réseau permettant de décrire simplement les·propriétés de transport d'un système de particules classiques en régime de saut sous-amorti (superconducteurs ioniques, diffusion de molécules adsorbées…). Sur chaque site l'état d'une particule est décrit par un vecteur à plusieurs composantes [P(x,t)˃ chaque état cinétique de la particule étant associé à une des composantes. Une équation pilote, qui régit l'évolution de la distribution de probabilité [P(x,t)˃ dans un modèle de particules indépendantes est ensuite établie. Bien que l'opérateur M décrive l'évolution du système pour des temps très longs, on le construit en définissant ses élément· de matrice comme les probabilités de saut pour la particule entre l'instant t- τ et l'instant, t τ étant l'échelle de temps microscopique. On montre que l'opérateur M se factorise en un opérateur de déplacement G. Diagonal, et un opérateur de transition entre les états M. A partir de l'équation pilote et en utilisant au mieux le groupe de symétrie laissant M invariant, on calcule explicitement diverses grandeurs physiques constante de diffusion, conductivité alternative, facteur de structure, pour diverse; réseaux à 1,2, ou 3 dimensions. Malgré l'absence de bilan détaillé, on peut cependant relier fluctuation et dissipation par une formule de Kubo. L'influence d'un champ magnétique, ou de contraintes extérieures sur ces diverses grandeurs physiques est examinée. Enfin une équation de Boltzmann est établie que l'on compare à celle introduite dans l’approche empirique proposée par Rice et Roth pour étudier le transport dans les superconducteurs ioniquesThis thesis set out a lattice gas model which describes the transport properties of classical particle systems in the underdamped hopping régime (superionic conductors, diffusion of adsorbed particles. . . ) in a simple way. On each site, the state of a particle is described by a multicomponent vector [P(x,t)˃ each possible kinetic state for the particle being associated with one of the components. A master equation. That describes the evolution of probability distribution in an independent particle model is established. Although the operator m describes the evolution of the system on a long time scale, it is constructed by determining its matrix elements as the jump probabilities for the particle between times t- τ and t+ τ, τ being a microscopic time scale. Lt is shown that this operator can be factorised into a shifting operator G, diagonal, and a state transition operator Mσ. From the master equation and with the help of the symmetry group that leaves M invariant, several physical quantities such as the diffusion constant, the A. C. Conductivity and the structure factor are explicitly calculated for several lattices in 1 ,2 and 3 dimensions. Even though the model does not allow for a detailled balance, fluctuation and dissipation can be related with a Kubo formula. The influence of a magnetic field and external constraints applied to the system is examinated. Finally, a Boltzmann equation is established and compared to the one that have been proposed in an empirical approach by Rice and Roth
19
Bouaouiche, Toufik. "Commande à structure variable et étude de l'intégration d'éolienne à base de machine asynchrone à double alimentation sur le réseau électrique." Nantes, 2007. http://www.theses.fr/2007NANT2041.
Full textAbstract:
Cette thèse traite de la commande et de la minimisation des effets des perturbations électriques sur un système éolien à base de machine asynchrone à double alimentation (MADA). Après un bref historique sur l’évolution de l’énergie éolienne, un état de l’art des ensembles convertisseurs-machines utilisés est dressé. Pour la partie mécanique de la turbine, une hélice à angle de calage variable est utilisée pour maximiser la puissance extraite. Dans un deuxième temps, la modélisation et le contrôle de la MADA sont détaillés. La procédure de synchronisation au réseau est discutée. Ensuite, une commande vectorielle permettant un contrôle indépendant des puissances active et réactive statoriques avec une recherche du point de fonctionnement à puissance maximale (MPPT) est mise en œuvre. Les différentes lois de commande élaborées en synthétisant des régulateurs linéaires de type PI ou non linéaires par mode de glissement sont testées et comparées. La dernière partie est consacrée à l’étude de l’intégration de l’éolienne sur le réseau. Une attention particulière est portée sur la maîtrise des interactions stator/réseau en minimisant les effets des perturbations électriques telles que court circuit, déséquilibre tension ou courants harmoniques sur les performances de la génératrice. De nouvelles stratégies de contrôle permettant, par action mécanique sur la turbine ou électrique sur les convertisseurs rotoriques, de compenser efficacement ces différentes perturbations, d’améliorer la qualité de l’énergie fournie et de participer potentiellement aux services systèmes sont étudiéesThis thesis deals with a 7. 5 kW variable wind speed turbine with doubly-fed induction generator (DFIG). The goal is to design a robust control for the DFIG and minimise the impact of grid faults, unbalanced voltages or current harmonics on the performances of the system. After a brief historic of the evolution of wind turbines, the state of the art of used generators and their associated power electronics is presented. For mechanical part, a variable blade pitch wind turbine is used for maximal power extraction. The second part depicts the model of variable speed constant frequency DFIG using back-to-back PWM voltage source converters and the corresponding control schemes. The feasibility and advantages of soft synchronizing DFIG to the grid using stator voltage control method is discussed. The rotor side converter is used to control the wind turbine output power in order to follow a predefined power-speed tracking characteristics (MPPT) and the voltage (or reactive power) at the grid terminals. Both linear or non-linear control structures based respectively on PI regulator or variable structure control (sliding mode) are developed and compared. Some experimental results are shown to validate simulation study. The last part of this work is devoted to the integration of the wind turbine based on DFIG to the distribution network. In particular the behavior of the system under unbalanced power transmission grids, current harmonics or short circuit faults conditions is studied. A new active control strategy based on sliding mode regulators is developed to compensate electrical perturbations, improve power quality and assure the possibility of stabilizing and continuous mode function
20
Bourgougnon, Nathalie. "Modélisation au moyen des Réseaux de Petri Temporisés Stochastiques d'une application de contrôle-commande de poste de transformation d'énergie électrique répartie sur le réseau de terrain FIP." Toulouse 3, 1996. http://www.theses.fr/1996TOU30132.
Full textAbstract:
Ce memoire presente des travaux concernant la specification, la modelisation et l'analyse de systemes de controle-commande temps reel repartis sur un reseau de terrain. La problematique de modelisation de tels systemes, qui doivent satisfaire des contraintes temporelles, reside dans la maitrise de la taille et de la complexite des modeles. Pour cela, une methodologie de modelisation est proposee ; elle repose sur les concepts de structuration, de modelisation et de validation modulaires au moyen du modele formel reseaux de petri temporises stochastiques. La structuration consiste en une decomposition hierarchisee en blocs fonctionnels elementaires. Une structure est proposee pour des entites de communication d'un reseau local temps reel, ainsi que pour un systeme temps reel de commande et de surveillance reparties. La modelisation repose sur la construction et la composition de modeles de modules elementaires. Les principes enonces concernent la definition de regles de composition. Des modeles d'assertions logiques sont egalement proposes pour faciliter le passage des descriptions de comportements exprimees en langage naturel a une modelisation en reseaux de petri temporises stochastiques. La validation repose sur des etapes de composition partielle qui utilisent la modularite pour effectuer des verifications ascendantes du comportement. Cette methodologie est appliquee au reseau de terrain fip, ainsi qu'au futur systeme de controle-commande de poste de transformation d'energie electrique d'edf. L'etude du reseau fip porte plus particulierement sur les services et mecanismes periodiques de couche application pour les echanges temps reel. Les analyses qualitatives et quantitatives effectuees sur l'application d'edf, repartie sur le reseau fip portent sur la verification de proprietes fonctionnelles et de contraintes temporelles du systeme
21
Abdallah, Maher. "Sur les méthodes de discrétisation numérique de problèmes hyperboliques non linéaires appliquées aux équations de Barré de Saint-Venant pour la modélisation de l'hydraulique en réseau d'assainissement." Université Louis Pasteur (Strasbourg) (1971-2008), 2005. https://publication-theses.unistra.fr/public/theses_doctorat/2005/ABDALLAH_Maher_2005.pdf.
Full textAbstract:
Les dysfonctionnements des réseaux d’assainissement et des milieux naturels tels que fleuve et rivière, particulièrement par temps de pluie, sont fréquents dans certaines agglomérations. Les pollutions des milieux récepteurs, conséquences directes des déversements parfois intempestifs, sont mal supportées par les milieux naturels et par la population. Ainsi, l’amélioration de la qualité des milieux naturels récepteurs des pollutions urbaines est une nécessité primordiale et passe par une maîtrise de l’hydraulique et du transport de la charge polluante dans les conduites d´eau. Dans ce contexte, l’unité propre de recherche « Systèmes Hydrauliques Urbains » de l’Ecole Nationale du Génie de l’Eau et de l’Environnement de Strasbourg s’intéresse à la gestion en temps réel de l´écoulement de l´eau à surface libre et du transport solide dans les conduites des réseaux d’assainissement. L´objectif de cette thèse est la connaissance et la maîtrise de l’hydraulique dans les conduites d´eauThe dysfunctions of the sanitation networks and of the natural environments such as river, particularly in rainy weather, are frequent in certain agglomerations and can lead to serious problems for local communities. Pollution of the receiving environment can sustain major damage for the population, thus the improvement of the quality of the receiving natural environments of urban pollution is a paramount need and passes by a control of the flow of pollution discharged from overflows and to control their hydraulic behavior. In this context, the research unit of "urban hydraulic system" of the national school of waters and environment of Strasbourg is interested in management the shallow water and the solid transport in real time for the sanitation networks. In order to be able to determine the hydraulic behavior of this type of structure, it is necessary to take into account the hydraulic discontinuities and the transitory flow regime when formulating equations and creating the associated model. The objective of this thesis is the knowledge and the control of the hydraulic parameters in shallow water
22
Olivas, Carrion Marc. "Communications sur le réseau d'énergie électrique d'un véhicule : modélisation et analyse du canal de propagation." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Carrion.pdf.
Full textAbstract:
Actuellement, l'électronique se généralise dans le domaine automobile grâce à l'introduction de réseaux embarqués dans les véhicules. Afin de limiter l'implantation de nouveaux câbles pour des questions de coûts, poids et surtout fiabilité, une solution consiste à transmettre les informations sur le réseau d'énergie des véhicules en utilisant les techniques de courants porteurs en ligne (CPL) Cette thèse porte sur la caractérisation et la modélisation de ce type de canal de propagation pour des transmissions large bande tant d'un point de vue fonction de transfert que bruit électromagnétique. Notons que chaque toron d'un faisceau automobile est constitué d'un nombre de fils variant entre trois et cinquante, représentant une longueur totale de plusieurs kilomètres. Une approche déterministe basée sur la topologie électromagnétique est tout d'abord considérée pour calculer la fonction de transfert du canal entre deux points du faisceau de câbles Ce modèle déterministe a été validé par de nombreuses campagnes de mesures sur différents véhicules et nous a permis de bâtir un modèle stochastique qui, intégré dans les simulateurs de liaison, permet de tester les performances des systèmes Le bruit impulsif a été caractérisé dans les domaines temporel et fréquentiel. Une étude menée sur la récurrence des impulsions a montré que les phases d'accélération et de freinage sont, pour une grande part, à l'origine de ce bruit.
23
Michelet, Jordan. "Extraction du fouillis de mer dans des images radar marin cohérent : modèles de champ de phases, méthodes de Boltzmann sur réseau, apprentissage." Electronic Thesis or Diss., La Rochelle, 2022. http://www.theses.fr/2022LAROS048.
Full textAbstract:
Nous nous intéressons au problème d’extraction du fouillis de mer dans des images radar marin. Le parti pris est de développer des méthodes de traitement d’image permettant de s’affranchir au mieux d’hypothèses sur la nature du fouillis de mer et du signal d’intérêt. D’une part, nous proposons un algorithme basé sur une approche variationnelle originale : un modèle multiphasique à interface diffuse. Les résultats obtenus montrent que l’algorithme est efficace lorsque le signal d’intérêt a un rapport signal-sur-fouillis suffisamment grand. D’autre part, nous nous intéressons à l’implémentation de schémas de Boltzmann sur réseau pour des problèmes de convection-diffusion à vitesse d’advection non constante et un terme source non nul. Nous décrivons le calcul de la consistance obtenue par analyse asymptotique à l’échelle acoustique et avec un opérateur de collision à temps de relaxation multiples, et étudions la stabilité de ces schémas dans un cas particulier. Les résultats obtenus montrent que les schémas proposés permettent de supprimer le bruit résiduel et de renforcer le signal d’intérêt sur l’image obtenue grâce à la première méthode. Enfin, nous proposons une méthode d’apprentissage permettant de s’affranchir d’hypothèses sur la nature du signal d’intérêt. En effet, en complément de l’algorithme par approche variationnelle, nous proposons un algorithme basé sur le traitement pulse-Doppler lorsque le signal d’intérêt est exo-clutter et a un rapport signal-sur-fouillis faible. Les résultats obtenus à partir du double auto-encodeur que nous proposons, étant comparables aux résultats fournis par chacune des deux méthodes, permettent de valider cette approcheWe focus on the problem of sea clutter extraction in marine radar images. The aim is to develop image processing methods allowing us to avoid assumptions about the nature of the sea clutter and the signal of interest. On the one hand, we propose an original algorithm based on a variational approach : a multiphase model with diffuse interface. The results obtained show that the algorithm is efficient when the signal of interest has a sufficiently large signal-to-clutter ratio. On the other hand, we focus on the implementation of lattice Boltzmann schemes for convection-diffusion problems with non-constant advection velocity and non-zero source term. We describe the computation of the consistency obtained by asymptotic analysis at the acoustic scale and with a multiple relaxation time collision operator, and study the stability of these schemes in a particular case. The obtained results show that the proposed schemes allow removing the residual noise and to enhance the signal of interest on the image obtained with the first method. Finally, we propose a learning method allowing us to avoid assumptions on the nature of the signal of interest. Indeed, in addition to the variational approach, we propose an algorithm based on pulse-Doppler processing when the signal of interest is exo-clutter and has a low signal-to-clutter ratio. The results obtained from the proposed double auto-encoder, being comparable to the results provided by each of the two methods, allow validating this approach
24
Privault, Caroline. "Modèles mathématiques pour la gestion off-line et on-line des changements d'outils sur une machine flexible." Phd thesis, Grenoble 1, 1994. http://tel.archives-ouvertes.fr/tel-00344527.
Full textAbstract:
L'objet de cette thèse est l'étude d'un problème d'ordonnancement, dont le critère d'optimisation est la minimisation du nombre total de changements d'outils sur une machine flexible. Différents problèmes liés à l'outillage et pouvant constituer un obstacle au fonctionnement d'un atelier flexible sont brièvement examinés, (de la gestion de l'inventaire aux changements d'outils). Nous nous concentrons ensuite sur le problème d'ordonnancement avec gestion d'outils sur une seule machine: ce problème est NP-complet. Un premier aspect qui est la gestion off-line des outils est étudié: différents modèles sont proposés pour la minimisation des changements en fonction d'une séquence des tâches donnée. Dans ce cas, le problème est polynomial. Nous revenons ensuite au problème d'ordonnancement proprement dit, pour lequel plusieurs types de méthodes heuristiques sont décrites et comparées. La seconde partie du travail est consacrée à la gestion on-line des changements d'outils; elle se compose de deux chapitres: dans le premier, le modèle que nous allons utiliser est décrit en détail. Il s'agit de la modélisation des problèmes de k-serveurs. Le principe peut être résumé comme suit: sur un réseau de n clients potentiels, on dispose de k serveurs mobiles, avec lesquels on doit répondre on-line aux demandes unitaires et successives des clients, tout en optimisant les déplacements des serveurs. Ce problème est en étroite relation avec la gestion des mémoires en informatique. Dans le dernier chapitre, le modèle des k-serveurs «classique» est généralisé aux problèmes avec service par blocs de demandes, ce qui permet d'adapter l'algorithme de partitionnement, (fortement compétitif pour le service unitaire), au cas plus général des demandes groupées. Cet algorithme dont nous étudions les propriétés et la compétitivité est applicable à la gestion on-line des changements d'outils. Il sert de base à la construction d'une heuristique d'ordonnancement avec gestion d'outils. Cette dernière méthode se révèle très efficace comparée aux précédentes
25
Lifran, Robert. "La contrainte de liquidité et l'accumulation du patrimoine professionnel dans une perspective de cycle de vie : modèles et tests empiriques sur les données du RICA (réseau d'information comptable agricole)." Montpellier 1, 1992. http://www.theses.fr/1992MON10044.
Full textAbstract:
Le but de ce travail est l'elaboration d'un modele de cycle de vie dans lequel les ressources viageres de l'agent economique dependent des decisions d'epargne, et d'investissement. La fonction d'objectif est l'utilite escomptee sur le cycle de vie. Apres avoir defini, dans le cas determine, les types de contraintes de liquidite rencontrees, on etablit l'equation d'euler qui definit le taux de croissance de la consommation. On absorbe le cas du modele avec ressources incertaines. L'hypothese de separabilite entre l'epargne et l'investissement permet de determiner la condition d'optimalite de l'endettement de l'entreprise. Elle revient a une neutralisation de l'effet de levier financier, et permet la maximisation des ressources disponibles de la periode suivante. Dans une derniere partie, on teste l'existence d'un contrainte de financement, dans le cas d'un panel d'exploitations agricoles du rica. L'estimation d'une equation d'endettement, par classe d'age, met en evidence l'heterogeneite des jeunes agriculteurs, face a la contrainteThe aim of the work is to build an life model for self employed, with endogeneous income. First, we define the type of constraints facing an selfemployed who is willing to maximize his dicounted life time utility. Second, assuming a separability between saving and borrowing for the firm, we derive a optimality condition for the firm debt from a equation which maximize ressources (disposable income and equity) of the next period. Third, we demonstrate that the euler equation is the same as the case of exogenous income, but the level of initial consumption is different. If the borrowing decision, is exogenously constrained, the rate of growth of consumption will be lower, and depends on the technology and the initial equity. We test a model for optimal debt of farmers on panel data fraom the rica. The heterogeneity of farmers facing a borrowing constraint is studied estimating a borrowing equation by age groups
26
Bouassam, Hamid. "Analyse et modélisation de l’effet des impédances de charge sur les performances d’une liaison CPL sur le réseau électrique domestique." Thesis, Lille 1, 2017. http://www.theses.fr/2017LIL10040/document.
Full textAbstract:
Les communications à courant porteur en ligne (CPL) permettent de transmettre des données haut débit en utilisant le réseau électrique comme support de transmission. Cependant la complexité et la diversité des topologies, la diversité des appareils électriques domestiques connectés sur le réseau et les perturbations électromagnétiques peuvent limiter les performances de cette technologie. Ce mémoire a pour objectif d’analyser les caractéristiques du réseau et les performances d’une liaison CPL large bande et de souligner les topologies et charges du réseau qui dégradent les performances de la liaison CPL. La démarche scientifique consiste tout d’abord à caractériser le canal de transmission principalement en termes de gain d’insertion, puis à caractériser les performances de la liaison en termes de capacité, afin de dégager les caractéristiques de topologie ayant une influence prépondérante sur la liaison. Cette caractérisation se décompose en deux parties. Une première partie expérimentale étudie l’impact de la charge du réseau et du réseau de distribution avec un réseau test. Une seconde partie théorique souligne l’influence de la topologie et des impédances de charges domestiques à l’aide d’un outil de simulation basé sur la théorie des lignes multifilaires liée à la topologie électromagnétique. Deux modes de transmission sont étudiés ; une liaison SISO (Single Input Single Output), où le modem d’émission/réception est relié au réseau via un couplage capacitif entre la phase et le neutre et une transmission MIMO (Multiple Input Multiple Output) pour laquelle les signaux sont émis/reçus simultanément sur deux paires, entre phase et neutre et entre terre et neutrePowerline communication (PLC) is used to transmit high-speed data using power network as a transmission medium. However the complexity and diversity of electrical network topologies, the diversity of domestic electrical appliances connected to the network and the electromagnetic disturbances can limit the performance of this technology. The purpose of this thesis is to analyze the network characteristics and the performance of a broadband PLC link and also to highlight network topologies and loads that affect the performance of a PLC communication. The scientific approach consists firstly in characterizing the transmission channel in terms of insertion gain and then in characterizing the performance of the PLC link in terms of Shannon's capacity, in order to identify the topology characteristics that mainly influence the communication. This characterization is divided into two parts. A first experimental part studies the impact of the load and of the architecture of the electrical distribution network. A second theoretical part emphasizes on the influence of the topology and the impedances of domestic loads using a simulation tool based on the multiwire transmission line theory and the electromagnetic topology. Two transmissions are studied; a SISO (Single Input Single Output) link with the PLC transmitter and receiver connected to the network via capacitive coupling between phase and neutral, and a MIMO (Multiple Input Multiple Output) link where signals are transmitted / received between two pairs of wires : phase-neutral and earth-neutral
27
Gonthier, Sabine. "Systèmes modèles du réseau carré frustré : synthèses, caractérisations structurales et propriétés magnétiques : étude en fonction de la température." Toulouse 3, 2005. http://www.theses.fr/2005TOU30096.
Full textAbstract:
Ce travail est consacré à la synthèse et aux études structurales et magnétiques de systèmes frustrés sur un réseau carré : VMoO5 et Li2V1-xTixSiO5. Après s'être intéressé à l'élaboration de VMoO5, ses propriétés magnétiques ont été corrélées à des études à basse température par diffraction neutronique et par rayonnement synchrotron sur poudre, celles-ci étant motivées par la mise en évidence d'une instabilité structurale concomitante de l'instauration des corrélations magnétiques à courte portée. Il a été montré que VMoO5 correspondait à un réseau 2D antiferromagnétique frustré. Les études par diffraction des neutrons ont permis de mettre en évidence l'existence d'un ordre magnétique de Néel en dessous de 40K. L'étude des phases Li2V1-xTixSiO5 a montré que la dilution magnétique de Li2VSiO5 permet de moduler les valeurs de ses interactions d'échange, ce qui rend ce système très prometteur pour l'étude du diagramme de phase magnétique des systèmes frustrés sur un réseau carréWe present synthesis, structural and magnetic characterizations of two frustrated systems on a square lattice : VMoO5 and Li2V1-xTixSiO5. The first part is related to the VMoO5 phase. After introducing its elaboration, its magnetic properties are correlated with neutron and synchrotron powder diffraction results at low temperature. These investigations are motivated by the presence of a structural instability, which occurs concomitantly with apparition of magnetic short-range correlations. VMoO5 is shown to be a frustrated 2D antiferromagnet. Moreover, neutron diffraction experiments allow the determination of the magnetic order below 40K. The study of the Li2V1-xTixSiO5 phases shows that magnetic dilution of Li2VSiO5 allows to modulate exchange interactions values. It is particularly interesting because it emphasizes the possibility to investigate the whole magnetic phase diagram of frustrated systems on a square lattice by means of well-chosen substitutions
28
Al-Chama, Mhd Feras. "Modélisation des effets des réseaux IP sur la transmission des médias haptiques et l'adaptation du téléapprentissage haptique à l'état du réseau." Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0005.
Full textAbstract:
Latence, gigue, perte de paquets sont les problèmes du réseau qui influent sur la transmission haptique, et par conséquent sur le télé-transfert d’expertise haptique ou motrice (télémentorat). Comme application, nous avons utilisé le télémentorat dans un environnement virtuel de simulation chirurgicale. Le choix du simulateur a été fait à partir de l’étude de plusieurs projets dans le domaine chirurgical desquels nous nous sommes inspirés pour construire une Plateforme de simulation chirurgicale pour qu’elle soit une base de notre système de téléapprentissage haptique. Notre étude a été basée sur deux parties : étude de l’effet des différents paramètres du réseau sur le télémentorat haptique pour déterminer la zone de travail optimal pour ces paramètres. .Latency, jitter, packet loss are some of the network characteristics which affect haptic transmission, and consequently affect motor or haptic skill tele-transfer (telementoring). As an application, we studied haptic telementoring in virtual surgical environment. The choice of simulator was made from our study of several projects in the surgical field from which we built a platform for surgical simulation, as a basis of our haptic e-learning system. Our study had two main objectives:To determine the optimal network parameters operational zones in haptic telementoring. To model the effect of network lag on the motor skill tele-transfer quality. This model was incorporated in our haptic e-learning platform making it adaptive to network status and ensuring a robust and stable e-learning environment
29
Simon, Franck. "Découverte causale sur des jeux de données classiques et temporels. Application à des modèles biologiques." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS528.
Full textAbstract:
Cette thèse porte sur le domaine de la découverte causale, c’est-à-dire la construction de graphes causaux à partir de données observées, et en particulier, la découverte causale temporelle et la reconstruction de larges réseaux de régulation de gènes. Après un bref historique, ce mémoire introduit les principaux concepts, hypothèses et théorèmes aux fondements des graphes causaux ainsi que les deux grandes approches : à base de scores et à base de contraintes. La méthode MIIC (Multivariate Information-based Inductive Causation), développée au sein de notre laboratoire est ensuite décrite avec ses dernières améliorations : Interpretable MIIC. Les problématiques et solutions mises en œuvre pour construire une version temporelle (tMIIC) sont exposées ainsi que les benchmarks traduisant les avantages de tMIIC sur d’autres méthodes de l’état de l’art. L’application à des séquences d’images prises au microscope d’un environnement tumoral reconstitué sur des micro-puces permet d’illustrer les capacités de tMIIC à retrouver, uniquement à partir des données, des relations connues et nouvelles. Enfin, cette thèse introduit l’utilisation d’un a priori de conséquence pour appliquer la découverte causale à la reconstruction de réseaux de régulation de gènes. En posant l’hypothèse que tous les gènes, hormis les facteurs de transcription, sont des conséquences, il devient possible de reconstruire des graphes avec des milliers de gènes. La capacité à identifier des facteurs de transcription clés de novo est illustrée par une application à des données de séquençage d’ARN en cellules uniques avec identification de deux facteurs de transcription susceptibles d’être impliqués dans le processus biologique d’intérêtThis thesis focuses on the field of causal discovery : the construction of causal graphs from observational data, and in particular, temporal causal discovery and the reconstruction of large gene regulatory networks. After a brief history, this thesis introduces the main concepts, hypotheses and theorems underlying causal graphs as well as the two main approaches: score-based and constraint-based methods. The MIIC (Multivariate Information-based Inductive Causation) method, developed in our laboratory, is then described with its latest improvements: Interpretable MIIC. The issues and solutions implemented to construct a temporal version (tMIIC) are presented as well as benchmarks reflecting the advantages of tMIIC compared to other state-of-the-art methods. The application to sequences of images taken with a microscope of a tumor environment reconstituted on microchips illustrates the capabilities of tMIIC to recover, solely from data, known and new relationships. Finally, this thesis introduces the use of a consequence a priori to apply causal discovery to the reconstruction of gene regulatory networks. By assuming that all genes, except transcription factors, are only consequence genes, it becomes possible to reconstruct graphs with thousands of genes. The ability to identify key transcription factors de novo is illustrated by an application to single cell RNA sequencing data with the discovery of two transcription factors likely to be involved in the biological process of interest
30
Blaise, Jean-Yves. "Le formalisme objet appliqué à l'étude de l'édifice patrimonial : Problèmes de modélisation et d'échanges de données sur le réseau Internet." Phd thesis, Aix-Marseille 3, 2003. http://tel.archives-ouvertes.fr/tel-00268228.
Full textAbstract:
Dans ce travail nous évaluons la pertinence et la portée d'un ensemble de formalismes informatiques récents sur l'étude du patrimoine architectural, champ d'application dont nous montrons les spécificités et leurs implications. Le problème que pose ce travail peut être présenté ainsi : le raisonnement par classifications que le formalisme objet autorise est-il pertinent pour décrire un modèle de l'édifice patrimonial; les concepts classifiés peuvent-ils être le maillon fédérateur d'une chaîne d'applications relevant de points de vues bien distinct sur l'édifice patrimonial ? Nous définissons une méthodologie d'analyse de l'édifice qui se veut générique, et un ensemble d'outils d'évaluation et d'exploitation du modèle. Nous montrons qu'une analyse a priori du corpus d'éléments physiques formant l'édifice peut grandement en faciliter l'étude. Mesure, représentations et documentation, trois exemples d'applications abordés, deviennent dans ce cadre des processus visant à renseigner le modèle et ses instances. Nous montrons que la compréhension globale de l'édifice bâti et de son évolution est mieux assurée.
31
Amroun, Hamdi. "Modèles statistiques avancés pour la reconnaissance de l’activité physique dans un environnement non contrôlé en utilisant un réseau d’objets connectés." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS406/document.
Full textAbstract:
Avec l’arrivée des objets connectés, la reconnaissance de l’activité physique connait une nouvelle ère. De nouvelles considérations sont à prendre en compte afin d’aboutir à un meilleur processus de traitement. Dans cette thèse, nous avons exploré le processus de traitement pour la reconnaissance de l’activité physique dans un environnement non contrôlé. Les activités physiques reconnues, avec seulement une centrale inertielle (accéléromètre, gyroscope et magnétomètre), sont dites élémentaires. Les autres types d’activités dépendantes d’un contexte sont dites « basés sur le contexte ». Nous avons extrait la transformée en cosinus discrète (DCT) comme principal descripteur pour la reconnaissance des activités élémentaires. Afin de reconnaitre les activités physiques basées sur le contexte, nous avons défini trois niveaux de granularité : un premier niveau dépendant des objets connectés embarqués (smartphone, smartwatch et samrt TV). Un deuxième niveau concerne l’étude des comportements des participants en interaction avec l’écran de la smart TV. Le troisième niveau concerne l’étude de l’attention des participants envers la TV. Nous avons pris en considération l’aspect imperfection des données en fusionnant les données multi capteurs avec le modèle de Dempster-Shafer. A ce titre, nous avons proposé différentes approches pour calculer et approximer les fonctions de masse. Afin d’éviter de calculer et sélectionner les différents descripteurs, nous avons proposé une approche basée sur l’utilisation d’algorithmes d’apprentissage en profondeur (DNN). Nous avons proposé deux modèles : un premier modèle consiste à reconnaitre les activités élémentaires en sélectionnant la DCT comme principal descripteur (DNN-DCT). Le deuxième modèle consiste à apprendre les données brutes des activités basées sur le contexte (CNN-brutes). L’inconvénient du modèle DNN-DCT est qu’il est rapide mais moins précis, alors que le modèle CNN-brutes est plus précis mais très lent. Nous avons proposé une étude empirique permettant de comparer les différentes méthodes pouvant accélérer l’apprentissage tout en gardant un niveau élevé de précision. Nous avons ainsi exploré la méthode d’optimisation par essaim particulaires (PSO). Les résultats sont très satisfaisants (97%) par rapport à l’apprentissage d’un réseau de neurones profond avec les méthodes d’optimisation classiques telles que la descente de Gradient Stochastique et l’optimisation par Gradient accéléré de Nesterov. Les résultats de nos travaux suggèrent le recours à de bons descripteurs dans le cas où le contexte n’importe peu, la prise en compte de l’imperfection des données capteurs quand le domaine sous-jacent l’exige, l’utilisation de l’apprentissage profond avec un optimiseur permettant d’avoir des modèles très précis et plus rapidesWith the arrival of connected objects, the recognition of physical activity is experiencing a new era. New considerations need to be taken into account in order to achieve a better treatment process. In this thesis, we explored the treatment process for recognizing physical activity in an uncontrolled environment. The recognized physical activities, with only one inertial unit (accelerometer, gyroscope and magnetometer), are called elementary. Other types of context-dependent activities are called "context-based". We extracted the DCT as the main descriptor for the recognition of elementary activities. In order to recognize the physical activities based on the context, we defined three levels of granularity: a first level depending on embedded connected objects (smartphone, smartwatch and samrt TV . A second level concerns the study of participants' behaviors interacting with the smart TV screen. The third level concerns the study of participants' attention to TV. We took into consideration the imperfection aspect of the data by merging the multi sensor data with the Dempster-Shafer model. As such, we have proposed different approaches for calculating and approximating mass functions. In order to avoid calculating and selecting the different descriptors, we proposed an approach based on the use of deep learning algorithms (DNN). We proposed two models: a first model consisting of recognizing the elementary activities by selecting the DCT as the main descriptor (DNN-DCT). The second model is to learn raw data from context-based activities (CNN-raw). The disadvantage of the DNN-DCT model is that it is fast but less accurate, while the CNN-raw model is more accurate but very slow. We have proposed an empirical study to compare different methods that can accelerate learning while maintaining a high level of accuracy. We thus explored the method of optimization by particle swarm (PSO). The results are very satisfactory (97%) compared to deep neural network with stochastic gradients descent and Nesterov accelerated Gradient optimization. The results of our work suggest the use of good descriptors in the case where the context matters little, the taking into account of the imperfection of the sensor data requires that it be used and faster models
32
Huc, Pierre-Emmanuel. "Modélisation probabiliste du couplage d'un champ électromagnétique stochastique sur un équipement électronique dans un système multi-cavités." Toulouse 3, 2004. http://www.theses.fr/2004TOU30164.
Full text
33
Bouillot, Nicolas. "La Cohérence dans les Applications Multimédia Interactives et Distribuées : du concert réparti sur Internet aux jeux multijoueurs en réseau." Phd thesis, Conservatoire national des arts et metiers - CNAM, 2006. http://tel.archives-ouvertes.fr/tel-00145440.
Full textAbstract:
Les Applications Multimédia Interactives et Distribuées (AMID) sur Internet ouvrent des perspectives nouvelles de travail et de loisir entre utilisateurs du réseau Internet. Dans ces applications, le sentiment de co-présence est obtenu par la numérisation et l'envoi sur le réseau de certaines de leurs actions. Cependant, le délai de transmission de ces actions introduit des ambiguïtés temporelles au niveau de l'interface. Ce problème est connu sous le nom de cohérence, mais il est généralement traité du point de vue de l'ordre dans lequel les actions sont prises en compte, et non du point de vue du temps physique. Afin de prendre en compte les contraintes psycho-perceptives liées à l'utilisation du système, nous proposons un formalisme pour l'étude et l'analyse de modèles de cohérence qui permet de spécifier les propriétés temporelles et les propriétés d'ordonnancement. Les propriétés développées dans ce formalisme sont l'instantanéité, la simultanéité, la $\Delta$ légalité et les conflits d'ordonnancement. Nous avons expérimenté un de nos protocoles de cohérence dans nJam, notre prototype de Performance Musicale Interactive et Distribuée (PMID). Pour ce type d'applications, nos résultats permettent de construire un métronome réparti partagé entre musiciens distants et cela malgré des latences importantes sur le réseau. A l'aide d'expérimentations publiques et de tests effectués avec des utilisateurs, nous montrons l'efficacité de nJam. De plus, nous montrons que nos résultats se transposent dans le domaine des jeux vidéo distribués et qu'ils peuvent améliorer les performances des mécanismes de cohérence existants dans ce domaine. Actuellement, dans le domaine des AMID, notre solution distribuée est la seule qui prend en compte les latences réseau tout en fournissant les propriétés définies par la Cohérence Perceptive.
34
Pelay, Johan. "Garantir la cohérence applicative lors des changements de configuration réseau : étude de cas sur la connectivité dans les Software Defined Infrastructures." Thesis, Rennes 1, 2020. http://www.theses.fr/2020REN1S001.
Full textAbstract:
Des solutions de vérification efficaces nous semblent indispensables afin d’assurer la continuité des services en place et le déploiement de nouveaux services dans les réseaux 5G. Cette problématique ne se limite pas aux techniques de vérification, nos travaux portent aussi sur la formalisation des besoins d'un service réseau complet. Nous avons travaillé sur un langage de programmation facilitant la vérification dans les contrôleurs SDN. Puis nous avons défini des contrats de comportement réseau afin de clarifier les propriétés à vérifier pour assurer le bon fonctionnement d'un service. Enfin nous avons étudié MANO pour proposer une extension du standard permettant de vérifier les configurations réseau au niveau de l'orchestrateurWe believe that effective verification solutions are essential to ensure the continuity of existing services and the deployment of new services in 5G networks. This problem is not limited to verification techniques, our work also concerns the formalization of needs of a complete network service. We worked on a programming language to facilitate verification in SDN controllers. Then we defined network behavior contracts to clarify the properties to be verified to ensure the proper functioning of a service. Finally, we studied MANO to propose an extension of the standard to check the network configurations at the orchestrator level
35
Alvarez-Hamelin, José Ignacio. "Routage dans Internet : trafic autosimilaire, multicast et modèles de typologie." Paris 11, 2002. http://www.theses.fr/2002PA112267.
Full textAbstract:
La première partie de cette thèse est consacrée à l'étude de la topologie d'Internet, à travers son organisation logique, et à un bref état de l'art des modèles d'Internet. Nous présentons ensuite un nouveau modèle pour la topologie d'Internet. Ce modèle nous servira d'outil pour vérifier des comportements de protocoles de routage unicast et multicast discutés plus loin dans le document. La deuxième partie est consacré à l'étude des protocoles multipoint. Nous nous intéressons dans un premier temps aux techniques de construction d'arbres multipoint, au travers d'un bref état de l'art. Nous proposons ensuite deux protocoles. Le protocole MSDA a pour objet l'optimisation de l'utilisation d'un arbre de multicast donné. Nous avons réalisé des expérimentations sur des topologies obtenues avec notre générateur de topologie afin de mesurer l'amélioration obtenue par MSDA. Nous proposons ensuite un nouveau protocole de construction d'arbre de multicast. Ce protocole s'appelle MCT (pour "Minimum Congestion Tree"). Il permet de construire des arbres optimaux selon tout paramètre de qualité de service donné. Nous avons effectué des simulations sur la topologie du réseau ARPANET (1995) en comparant MCT à d'autres protocoles multipoint classiques. Ces simulations démontrent l'impact positif de MCT pour le multicast. La dernière partie est consacrée à la présentation d'un modèle autosimilaire du trafic d'Internet, et d'un nouveau paramètre de qualité de service : la congestion probabiliste. Ce paramètre permet d'approximer efficacement le taux de pertes. Il est adapté à une description à long terme du trafic, et peut être utilisé dans des protocoles de routage point à point ou multipoint. Nous avons effectué des simulations pour valider notre approche (sur les topologies du réseau UUNET et obtenues à partir de notre modèle d'Internet). Ces simulations démontrent l'utilité de la congestion probabiliste pour les protocoles multipointThe first part of this thesis is dedicated to the study of the Internet topology, and a survey of the Internet models. We present a new model for Internet. This model will allows us to test unicast and multicast routing protocols. The second part is dedicated to multicast protocols. First, we presented a survey of construction technique for multicast trees. We propose two multicast protocols. MSDA protocol optimizes the total delay of multicast messages in a multicast tree. In order to quantify the optimization, we tested MSDA with the topologies obtained with our topology generator. MCT protocol builds the optimal multicast tree according to some predefined quality-of-service parameter. We performed simulations with ARPANET (1995) network topology in order to compare MCT with other classical multicast protocols. These simulations prove the positive impact of MCT for multicast communications. The last part is dedicated to the self-similar model of Internet traffic, and to a new quality-of-service parameter: the probabilistic congestion. This parameter allows the estimation of the rate of packet loss. Probabilistic congestion is adapted to a long-term description of the traffic, and it can be used for unicast routing protocols. We performed a simulation in order to validate our ideas (in the UUNET network and in the generated topologies from our topology model). These simulations prove the usefulness of probabilistic congestion for multicast protocols
36
Merino, Laso Pedro. "Détection de dysfonctionements et d'actes malveillants basée sur des modèles de qualité de données multi-capteurs." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0056/document.
Full textAbstract:
Les systèmes navals représentent une infrastructure stratégique pour le commerce international et les activités militaires. Ces systèmes sont de plus en plus informatisés afin de réaliser une navigation optimale et sécurisée. Pour atteindre cet objectif, une grande variété de systèmes embarqués génèrent différentes informations sur la navigation et l'état des composants, ce qui permet le contrôle et le monitoring à distance. Du fait de leur importance et de leur informatisation, les systèmes navals sont devenus une cible privilégiée des pirates informatiques. Par ailleurs, la mer est un environnement rude et incertain qui peut produire des dysfonctionnements. En conséquence, la prise de décisions basée sur des fausses informations à cause des anomalies, peut être à l'origine de répercussions potentiellement catastrophiques.Du fait des caractéristiques particulières de ces systèmes, les méthodologies classiques de détection d'anomalies ne peuvent pas être appliquées tel que conçues originalement. Dans cette thèse nous proposons les mesures de qualité comme une potentielle alternative. Une méthodologie adaptée aux systèmes cyber-physiques a été définie pour évaluer la qualité des flux de données générés par les composants de ces systèmes. À partir de ces mesures, une nouvelle approche pour l'analyse de scénarios fonctionnels a été développée. Des niveaux d'acceptation bornent les états de normalité et détectent des mesures aberrantes. Les anomalies examinées par composant permettent de catégoriser les détections et de les associer aux catégories définies par le modèle proposé. L'application des travaux à 13 scénarios créés pour une plate-forme composée par deux cuves et à 11 scénarios pour deux drones aériens a servi à démontrer la pertinence et l'intérêt de ces travauxNaval systems represent a strategic infrastructure for international commerce and military activity. Their protection is thus an issue of major importance. Naval systems are increasingly computerized in order to perform an optimal and secure navigation. To attain this objective, on board vessel sensor systems provide navigation information to be monitored and controlled from distant computers. Because of their importance and computerization, naval systems have become a target for hackers. Maritime vessels also work in a harsh and uncertain operational environments that produce failures. Navigation decision-making based on wrongly understood anomalies can be potentially catastrophic.Due to the particular characteristics of naval systems, the existing detection methodologies can't be applied. We propose quality evaluation and analysis as an alternative. The novelty of quality applications on cyber-physical systems shows the need for a general methodology, which is conceived and examined in this dissertation, to evaluate the quality of generated data streams. Identified quality elements allow introducing an original approach to detect malicious acts and failures. It consists of two processing stages: first an evaluation of quality; followed by the determination of agreement limits, compliant with normal states to identify and categorize anomalies. The study cases of 13 scenarios for a simulator training platform of fuel tanks and 11 scenarios for two aerial drones illustrate the interest and relevance of the obtained results
37
Rouissi, Fatma. "Optimisation de la couche PHY des systèmes de communication sur le réseau d'énergie en présence de bruit impulsif." Thesis, Lille 1, 2008. http://www.theses.fr/2008LIL10042/document.
Full textAbstract:
Les travaux de cette thèse concernent l'étude et la proposition de nouvelles solutions d'adaptation d'un système de transmission CPL haut débit aux caractéristiques du canal ligne électrique en accordant un intérêt particulier au bruit impulsif qui représente une contrainte sévère encore difficile à surmonter. Le premier objectif concerne la conduite d'une analyse statistique des mesures du bruit impulsif puis l'étude et la définition d'un modèle à la fois simple et fidèle qui servira à dimensionner et évaluer par simulation les techniques à proposer. Les campagnes de mesure réalisées dans les milieux indoor et automobile ont permis de dégager les caractéristiques du bruit dans les deux environnements et de les comparer pour déduire l'agressivité du bruit indoor et la difficulté de sa compensation. Dans la phase de modélisation du bruit, trois modèles ont d'abord été présentés et étudiés: la classe A du modèle de Middleton, l'approche basée sur les chaînes de Markov et l'approche stochastique. Ensuite, une approche hybride, permettant à la fois une simplicité et une efficacité à reproduire les caractéristiques temporelles, a été proposée. La comparaison des mesures aux différents modèles étudiés ainsi qu'à celui proposé a montré l'efficacité de l'approche hybride qui sera adoptée dans la suite de ce travail. Le deuxième objectif concerne la proposition d'une nouvelle méthode de compensation de l'effet du bruit impulsif qui soit à la fois performante mais à faible complexité d'implantation matérielle. D'abord, la solution d'ajout de modules d'annulation de bruit au niveau du récepteur a été étudiée en proposant des techniques d'annulation de bruit basées sur l'estimation de sa puissance, ensuite différentes structures de codage canal ont été développés, et leurs performances ont été vérifiées et comparées en présence de plusieurs types de scénarios de bruit impulsifThis thesis deals with the study and the suggestion of new solutions to improve high bit rate power line communications. A special interest is given to impulsive noise presence which is the most difficult transmission constraint to overcome. The first aim of this work is to analyze statistically measure results then to propose a simple and efficient noise model that will be used in a simulation tool to define accurately suitable noise cancellation techniques. Experimental measurements done in both Indoor and vehicle PLC channels allowed to deduce noise characteristics in the two environments, to compare these characteristics and to prove high effect of Indoor impulsive noise. ln next step, three models were studied: c1ass A of Middleton mode 1, Markov chains-based model and the stochastic approach. Then, a new hybrid model, that combines the stochastic approach and Markov chains, was proposed. This model is simple, easy to implement and allows a satisfying fitting to noise temporal characteristics. Comparisons of models to measured noise show the efficiency of the hybrid approach that will be used afterward. The second aim of this work is to defme new appropriate and cost-effective methods to compensate impulsive noise effect. The frrst solution is to add a noise canceller module in the PLC system receiver. This solution was studied by proposing techniques to cancel noise by estimating its power. The second solution is to use error correction methods. ln this case, three channel coding structures were developed and their performances were studied in the presence of different impulsive noise scenarios
38
Batany, Stéphane. "Influence d’un macropore sur l’écoulement et le transport de solutés en milieu poreux : expérimentations sur sol modèle macroporé et simulations numériques." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1085/document.
Full textAbstract:
La modélisation des écoulements et du transport dans les milieux poreux est un domaine actif pour, notamment, progresser dans la compréhension du transfert des polluants dans les sols. Les sols présentent fréquemment des hétérogénéités comme des macropores (provoqués par la faune, la flore ou des fissures) et un certain nombre de modèles numériques utilisent les concepts de double ou de multi-perméabilité pour tenir compte de tous les types d’écoulements susceptibles de coexister dans de tels systèmes. Cependant, les modèles classiques semblent sous-estimer l’effet de la macroporosité sur l’écoulement et le transfert préférentiels et restreindre la zone d’écoulement préférentiel au seul volume occupé par la macroporosité. Diverses études expérimentales antérieures à cette thèse ont questionné cette hypothèse. Cette étude se propose de comprendre l’établissement de l’écoulement et du transport préférentiel et en particulier les mécanismes d’échange d’eau et de masse entre un macropore et une matrice poreuse environnante en condition saturée. Pour cela, des traçages de l’eau sont réalisés pour un milieu poreux modèle constitué de billes de verre, traversé par un macropore synthétique et mis en place en colonnes de laboratoire. Elution et transfert dans les colonnes sont caractérisés par suivi de la concentration en sortie et par imagerie par résonance magnétique. Un modèle numérique développé sur la base de la méthode de Boltzmann sur réseau est utilisé pour simuler numériquement des écoulements dans un système macroporé et identifier les mécanismes d’écoulements préférentiels à l’échelle de pores. Les données expérimentales montrent que le transfert du traceur est fortement dépendant du débit d’injection ainsi que du coefficient de diffusion dans l’eau. À fort débit, le transfert semble s’effectuer exclusivement dans le macropore, avec très peu d’échange avec la matrice. Pour des débits plus faibles, la percée présente une inflexion suivie d’un pic. Les images IRM montrent alors un échange significatif de traceur entre le macropore et la matrice poreuse environnante. Les simulations numériques sont utilisées pour calculer le champ de vitesse de l’écoulement dans le système en fonction du débit. Les modélisations numériques montrent que l’écoulement préférentiel est étendu dans la matrice poreuse sur une zone de même dimension que le diamètre moyen des grains indépendamment de la taille du macropore et du débit, dans la gamme de débits simulés. Ces résultats expérimentaux et numériques montrent que l’influence du macropore sur les transferts doit être étendue dans la matrice poreuse sur une zone de la taille des grains pour l’écoulement et sur une zone dépendant du coefficient de diffusion du traceur ainsi que du temps de séjour moyen de celui-ci pour le transfert des solutésFlow and transport modeling through porous media is of primary concern nowadays, especially in order to progress in the understanding of pollutant transfers through soils. Soils present frequently heterogeneities such as macropores (caused by fauna, flora or cracks) and several numerical models use double or multi permeability concepts in order to take into account all flow types that may exist in such porous systems. Nevertheless, classical models seem underestimate the macropore effect on preferential flow and transport by restricting the preferential flow zone only to the volume occupied by the macroporosity. Various experimental studies prior to this thesis have questioned this hypothesis. This study proposes to understand the establishment of preferential flow and transport and in particular the mechanism of flow and solute exchanges between a synthetic macropore and a surrounding porous matrix in saturated condition. For this purpose, water tracing are realized for a model porous media constituted by glass beads, crossed by a synthetic macropore and implemented in laboratory columns. Breakthrough and transport in columns are characterized by monitoring the concentration at the end of the column by magnetic nuclear resonance. A numerical model developed on the basis of lattice-Boltzmann method is used to simul ate flow in macroporous system and identify preferential flow mechanisms at pore scale. Experimental data show that tracer transport is strongly dependent on injection flow rate and the diffusion coefficient in water. At high flow rate, the transport seems to occur exclusively in the macropore, with very little masse exchange with the porous matrix. At lower flow rates, the breakthrough exhibits an inflexion followed by a peak. The MRI images show a significant mass exchange of tracer between the macropore and the surrounding porous matrix. The numerical simulations are used to calculate the flow field in a porous system as a function of flow rate. They show that preferential flow is extended in porous matrix into a zone of same dimension the mean diameter of beads regardless of macropore size or injected flow rate, in the range of simulated flow rates. These experimental and numerical results show that macropore influence on transport should be extended through the surrounding porous matrix into a zone of the same size of grains diameter for flow and into a zone depending on diffusion coefficient as well as mean residence time of the studied tracer for solute transport
39
Leal, Gabriel da Silva Serapião. "Support à la décision pour l'analyse de l'interopérabilité des systèmes dans un contexte d'entreprises en réseau." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0001/document.
Full textAbstract:
L'interopérabilité entre les systèmes a été identifiée comme un problème majeur auquel sont confrontées les entreprises lorsqu’ils ont le besoin de collaborer avec d'autres organisations et de participer au sein d’un réseau d’entreprises. Pour atteindre une qualité d'interopérabilité supérieure et garantir une collaboration efficace, un certain nombre d'Exigences d'Interopérabilité (EI) doivent être satisfaites. Ainsi, l'interopérabilité doit être vérifiée et continuellement améliorée. L’Analyse de l’Interopérabilité (ANIN) est une manière de vérifier l’interopérabilité des systèmes. Cependant, en général, la notion « d’exigence » est implicite et présentée sous forme de critères d'évaluation dans les approches ANIN. Il a également été identifié que les interdépendances entre les EI ne sont pas explicitement définies. En effet, leurs interdépendances doivent être prises en compte car elles peuvent aider à identifier les impacts sur l'ensemble du système. De plus, la majorité des approches ANIN sont manuelles, ce qui est un processus laborieux et long qui dépend souvent des connaissances « subjectives » des experts. Dans ce contexte, cette recherche propose un Système d'Analyse de l'Interopérabilité basé sur la Connaissance (SAIC) pour soutenir la prise de décision au sein des entreprises en réseau. Une méthodologie « Design Science Research » (DSR) a été adoptée pour mener à bien la contribution proposée. Premièrement, une approche basée sur l’ingénierie des exigences a été adaptée pour obtenir des EI pertinentes, établir un lien entre les EI obtenues et les composantes du système concerné et définir les interdépendances entre les EI. Pour conceptualiser formellement les connaissances sur l’ANIN, en englobant l'ensemble des EI, les problèmes et solutions d'interopérabilité ainsi que leurs relations, nous avons proposé l’Ontologie de l'Analyse de l'Interopérabilité (OAI). Une approche d'Ingénierie Système basée sur des Modèles a été appliquée pour définir les concepts de l'ontologie. Un prototype du SAIC utilisant l'OAI comme modèle de connaissance a été développé sur une plate-forme Java. L'outil résultant peut exploiter les connaissances sur l'interopérabilité et les informations provenant de la situation actuelle des systèmes évalués pour identifier les problèmes et améliorations potentiels. La contribution proposée a été évaluée grâce à une étude de cas basée sur une véritable entreprise en réseauEnterprise systems’ interoperability has been identified as a significant issue faced by enterprises, which need to collaborate with other companies and participate within Networked Enterprises. To achieve a higher quality of interoperability and ensure an effective collaboration, a certain number of Interoperability Requirements (IRs) should be satisfied. Thus, interoperability should be verified and continuously improved. A manner for verifying the enterprise systems’ interoperability is through the Interoperability Assessment (INAS). However, in general, the notion of “requirement” is implicit and presented as Interoperability Evaluation Criterion (IEC) in the INAS approaches. It also has been identified that the IEC interdependencies are not explicitly defined. Indeed, their interdependencies should be considered as they can support the identification of impacts on the overall system. Further, the majority of the INAS approaches are manual-conducted, which is a laborious and time-consuming process and in many times depends on the “subjective” knowledge of experts, which can be expensive in time and money when hiring external consultants. In this context, this research proposes a Knowledge-Based Interoperability Assessment System (KBIAS) for supporting decision-making within Networked Enterprises. A Design Science Research (DSR) methodology has been adopted for conducting the work. First, A Requirement Engineering (RE) approach has been adapted to elicit and define relevant IRs, which are father related with system’s components. Such IRs are used as IEC during the INAS process. To formally conceptualise the knowledge about the INAS (subsuming the set of IRs, interoperability problems and solutions), we proposed the Ontology of Interoperability Assessment (OIA). A Model-Based System Engineering approach has been applied for defining and organising the concepts of the proposed ontology. A prototype of the KBIAS using the OIA as its knowledge model has been developed in a Java platform. The developed tool can exploit the knowledge about interoperability issues and information from the as-is situation of the assessed systems for identifying potential problems and improvements. The contribution proposed in this research has been evaluated through a case study based on a real Networked Enterprise
40
Dumora, Christophe. "Estimation de paramètres clés liés à la gestion d'un réseau de distribution d'eau potable : Méthode d'inférence sur les noeuds d'un graphe." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0325.
Full textAbstract:
L'essor des données générées par les capteurs et par les outils opérationnels autour de la gestion des réseaux d'alimentation en eau potable (AEP) rendent ces systèmes de plus en plus complexes et de façon générale les événements plus difficiles à appréhender. L'historique de données lié à la qualité de l’eau distribuée croisé avec la connaissance du patrimoine réseau, des données contextuelles et des paramètres temporels amène à étudier un système complexe de par sa volumétrie et l'existence d'interactions entre ces différentes données de natures diverses pouvant varier dans le temps et l’espace. L'utilisation de graphes mathématiques permet de regrouper toute cette diversité et fournit une représentation complète des réseaux AEP ainsi que les évènements pouvant y survenir ou influer sur leur bon fonctionnement. La théorie des graphes associées à ces graphes mathématiques permet une analyse structurelle et spectrale des réseaux ainsi constitués afin de répondre à des problématiques métiers concrètes et d'améliorer des processus internes existants. Ces graphes sont ensuite utilisés pour répondre au problème d'inférence sur les noeuds d'un très grand graphe à partir de l'observation partielle de quelques données sur un faible nombre de noeuds. Une approche par algorithme d'optimisation sur les graphes est utilisée pour construire une variable numérique de débit en tout noeuds du graphe (et donc en tout point du réseau physique) à l'aide d'algorithme de flots et des données issues des débitmètres réseau. Ensuite une approche de prédiction par noyau reposant sur un estimateur pénalisé de type Ridge, qui soulève des problèmes d'analyse spectrale de grande matrice creuse, permet l'inférence d'un signal observé sur un certains nombre de noeuds en tout point d'un réseau AEPThe rise of data generated by sensors and operational tools around water distribution network (WDN) management make these systems more and more complex and in general the events more difficult to predict. The history of data related to the quality of distributed water crossed with the knowledge of network assets, contextual data and temporal parameters lead to study a complex system due to its volume and the existence of interactions between these various type of data which may vary in time and space. This big variety of data is grouped by the use of mathematical graph and allow to represent WDN as a whole and all the events that may arise therein or influence their proper functioning. The graph theory associated with these mathematical graphs allow a structural and spectral analysis of WDN to answer to specific needs and enhance existing process. These graphs are then used to answer the probleme of inference on the nodes of large graph from the observation of data on a small number of nodes. An approach by optminisation algorithm is used to construct a variable of flow on every nodes of a graph (therefore at any point of a physical network) using flow algorithm and data measured in real time by flowmeters. Then, a kernel prediction approach based on a Ridge estimator, which raises spectral analysis problems of a large sparse matrix, allow the inference of a signal measured on specific nodes of a graph at any point of a WDN
41
Rocha, Loures de Freitas Eduardo. "Surveillance et diagnostic des phases transitoires des systèmes hybrides basés sur l'abstraction des dynamiques continues par réseau de Pétri temporel flou." Toulouse 3, 2005. http://www.theses.fr/2006TOU30022.
Full textAbstract:
Les systèmes de surveillance et de supervision jouent un rôle majeur pour la sécurité des installations industrielles et la disponibilité des équipements. Signaler le plus tôt possible à l'opérateur les écarts détectés par rapport au comportement nominal prévu est fondamental pour la mise en œuvre des actions préventives et correctives sur le procédé. Certains types d'installations tels que les procédés chimiques et de traitement par lots (batch systems) présentent une grande complexité pour la commande/surveillance en raison de leur caractère hybride (aspects continus et discrets étroitement liés), du nombre de variables mis en jeu et de la complexité de leurs relations. Cette complexité est accentuée par la nécessité de nombreux changements de modes opératoires qui conduisent à de nombreuses phases transitoires. La surveillance de ces phases transitoires est délicate. Le nombre élevé de variables à considérer rend difficile l'interprétation du comportement du procédé. En cas de défaut, un diagnostic devient alors une tâche complexe. Les écarts, même marginaux, par rapport au comportement nominal souhaité doivent être surveillés de façon à avertir l'opérateur sur des évolutions non prévues qui peuvent aboutir à une défaillance. Les écarts marginaux peuvent indiquer un dysfonctionnement qui dégénère lentement ou encore une conduite inadéquate de l'opérateur ou du système de pilotage. Pour faire face à la complexité, le système de commande/surveillance est hiérarchisé selon la hiérarchie procédurale proposée par la norme ISA88. Notre démarche de surveillance et diagnostic se situe à deux niveaux hauts de cette hiérarchie procédurale : i) au niveau d'une opération et plus particulièrement lors du transitoire du mode opératoire (MOt) où les relations d'influence entre les variables sont faiblement connues ou non connues, ii) au sein d'une phase où les relations d'influence sont connues dans un intervalle de temps appartenant à l'horizon du mode opératoire. Concernant la complexité des relations des variables mises en jeu, il n'est pas toujours facile et forcément nécessaire une modélisation précise de la dynamique du procédé. Dans ce cas, les approches qualitatives permettent une représentation avec un degré d'abstraction plus en adéquation avec le niveau haut de surveillance considéré. Pour cela, nous proposons une abstraction des dynamiques continues basée sur un raisonnement temporel et événementiel compatibles avec les niveaux de la hiérarchie de surveillance. Cette abstraction est basée sur un partitionnement temporel flou de la dynamique des variables importantes définissant ainsi un ensemble d'états qualitatifs. Des mécanismes de vérification et de rétablissement de cohérence temporelle entre les variables sont proposés de façon à décrire les relations dynamiques locales existantes. Pour son pouvoir de représentation et pour rester cohérent avec une approche hiérarchique basée réseau de Petri, les Réseaux de Petri Temporels Flous ont été choisisThe supervision and monitoring systems have a major role to the security of an industrial plant and the availability of its equipments. Forewarn the operator earliest about the deviations of the process nominal behaviour is fundamental to carry out preventive and corrective actions. Some kind of industrial plants like the chemical process and batch systems set significant complexities to the monitoring and supervision systems because of their hybrid nature (discrete and continuous interactions), the number of active variables and the complexity of theirs behaviour relations. This complexity becomes more pronounced in systems characterized by numerous operating mode changes leading to a numerous transitory phases. The monitoring of these transitory phases is a delicate issue. The large amount of variables to be taken into account leads to a difficult reasoning and interpretation of the process behaviour. In case of fault, the diagnosis becomes then a complex task. The marginal deviations of process behaviour may indicate a dysfunction that degenerates slowly or be caused by operator misbehaviour or piloting system fault. To cope with this complexity we propose a hierarchical monitoring and control system completed by a procedural decomposition proposed by the ISA88 norm, defining from the upper level the recipes, procedures, operations, phases and tasks. Our monitoring and diagnosis approach is located at two high levels of this procedural hierarchy: i) at the operation level, particularly on the transition period of operating modes where the influence relations between the variables are weekly or not known, ii) at the phase level where the influence relations are known in a period of time belonging the transition operating mode horizon. .
42
Chapuis, Olivier. "Influence des conditions de mouillage sur les déplacements quasi-statiques eau-air et l'évaporation en milieux poreux modèles : application à la gestion de l'eau dans les piles à combustibles PEMFC." Phd thesis, Toulouse, INPT, 2006. http://ethesis.inp-toulouse.fr/archive/00000556/.
Full textAbstract:
Cette étude est motivée par le problème de la gestion de l'eau des piles à combustible à membrane échangeuse de protons (PEMFC). Elle a pour objectif principal une étude expérimentale et le développement d'outils de simulation d'écoulements quasi-statiques eau-air avec ou sans changement de phase en milieu poreux modèles dans le but d'améliorer les connaissances, notamment en ce qui concerne l'effet de la mouillabilité du milieu poreux sur les lois d'invasion et les cinétiques de séchage. L'implication des résultats sur la problématique de la gestion de l'eau dans les piles à combustibles est discutéeThis study is motivated by the water management problem of a proton exchange mass fuel cell. Experimental studies have been carried out and numerical tools have been designed in order to improve the knowledge on water-air quasi-static displacements with or without phase change in porous medium. Wettability impact of the porous medium on invasion rules and evaporation rate is particularly investigated. Results are then discussed within the framework of fuel cell water management issue
43
Boulle, Alexandre. "Diffraction des rayons X sur couches d'oxydes épitaxiées : Elaboration et analyse microstructurale." Limoges, 2002. http://www.theses.fr/2002LIMO0040.
Full textAbstract:
Ce travail concerne la mise en oeuvre de la diffraction des rayons X pour l'analyse microstructurale de couches épitaxiées de matériaux oxydes. A cet effet ont été élaborées des méthodes d'acquisition des données spécifiques à ce type de matériau, telle que la cartographie du réseau réciproque, sur un appareil précédemment développé au laboratoire et dédié à l'étude des ma tériaux nanostructurés. Ce montage permet l'enregistrement de cartes du réseau réciproque en haute résolution en quelques dizaines de minutes. La fonction de résolution instrumentale bidimensionnelle a été évaluée en prenant en compte chaque élément optique du montage : source, monochromateur à quatre réflexions, échantillon et détecteur à localisation. Cette étude a montré que la résolution angulaire atteint quelques millièmes de degrés dans la plupart des modes de fonctionnement. Deux systèmes oxydes ont été étudiés. Le premier est le matériau ferroélectrique SrBi2Nb2O9 déposé sur SrTiO3 par voie sol-gel. L' analyse de la largeur, ainsi que l'analyse de Fourier des profils de raie de diffraction X ont montré l'existence de fautes d'empilement le long de l'axe c. L'étude de la microstructure de couches de ZrO2 dopé Y2O3 déposées par voie sol-gel sur Al2O3 a été basée sur la modélisation des profils de diffraction dans plusieurs directions de l'espace réciproque en prenant en compte des paramètres physiques( instrument et microstructure). Les mécanismes d'épitaxie par croissance granulaire et de séparation de phase vide/matière au sein de la couche ont été mis en évidence. L'analyse a de plus montré que les couches sont fortement déformées et que ces déformations sont partiellement relaxées par l'insertion de défauts d'accommodationThis work deals with microstructural analysis in oxide epitaxial layers. Specific acquisition methods have been developed, such as the so-called reciprocal space mapping technique. Experiments have been carried out on a home made diffractometer devoted to the study of nanostructured materials. This set-up allows very fast reciprocal space map acquisitions (e. G. A few tens of minutes) in a high resolution mode. The two-dimensional instrumental profile has been calculated taking into account each optical element in the beam path : the X-ray source, the four-bounce monochromator, the sample and the curved position sensitive detector. This study showed that the instrumental broadening can be as low as a few thousandth of degrees in most of the scanning modes. Two oxide systems have been investigated. The first one is the ferroelectric material SrBi2Nb2O9 deposited onto SrTiO3 by sol-gel coating. Integral breadth as well as Fourier analysis of the diffraction profiles showed that the samples contain stacking faults located along the c-axis. The microstructural analysis of Y2O3 stabilized ZrO2 thin films deposited onto Al2O3 by sol-gel coating has been undertaken by profile modeling into several directions of reciprocal space taking into account physical parameters (the instrument and the microstructure). A peculiar epitaxial growth mechanism and a void/matter phase separation have been evidenced. Additionally it is shown that the layers are highly strained, and strain relaxation probably occurs by the introduction of misfit dislocations
44
Batt, Grégory. "Validation de modèles qualitatifs de réseaux de régulation génique : une méthode basée sur des techniques de vérification formelle." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00012040.
Full textAbstract:
Les réseaux de régulation génique contrôlent le développement et le fonctionnement des organismes vivants. Etant donné que la plupart des réseaux de régulation génique d'intérêt biologique sont grands et que leur dynamique est complexe, la compréhension de leur fonctionnement est un problème biologique majeur. De nombreuses méthodes ont été développées pour la modélisation et la simulation de ces systèmes. Etonnamment, le problème de la validation de modèle n'a reçu jusqu'à récemment que peu d'attention. Pourtant, cette étape est d'autant plus importante que dans le contexte de la modélisation de réseaux de régulation génique, les systèmes modélisés sont complexes et encore imparfaitement connus.Dans cette thèse, nous proposons une approche permettant de tester la validité de modèles de réseaux de régulation génique en comparant les prédictions obtenues avec les données expérimentales. Plus spécifiquement, nous considérons dans ce travail une classe de modèles qualitatifs définis en termes d'équations différentielles linéaires par morceaux (LPM). Ces modèles permettent de capturer les aspects essentiels des régulations géniques, tout en ayant une forme mathématique simple qui facilite leur analyse symbolique. Egalement, nous souhaitons utiliser les informations qualitatives sur la dynamique du système données par les changements du sens de variation des concentrations des protéines du réseau. Ces informations peuvent être obtenues expérimentalement à partir de profils d'expression temporels.
La méthode proposée doit satisfaire deux contraintes. Premièrement, elle doit permettre d'obtenir des prédictions bien adaptées à la comparaison avec le type de données considéré. Deuxièmement, étant donné la taille et la complexité des réseaux d'intérêt biologique, la méthode doit également permettre de vérifier efficacement la cohérence entre prédictions et observations.
Pour répondre à ces deux contraintes, nous étendons dans deux directions une approche précédemment développée par de Jong et collègues pour l'analyse symbolique des modèles LPM qualitatifs. Premièrement, nous proposons d'utiliser une représentation plus fine de l'état du système, permettant d'obtenir, par abstraction discrète, des prédictions mieux adaptées à la comparaison avec les données expérimentales. Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking. Nous montrons que l'utilisation combinée d'abstraction discrète et de model checking permet de vérifier efficacement les propriétés dynamiques, exprimées en logique temporelle, des modèles continus.
Cette méthode a été implémentée dans une nouvelle version de l'outil Genetic Network Analyzer (GNA 6.0). GNA 6.0 a été utilisé pour la validation de deux modèles grands et complexes de l'initiation de la sporulation chez B. subtilis et de la réponse au stress nutritionnel chez E. coli. Nous avons ainsi pu vérifier que les prédictions obtenues étaient en accord avec la plupart des données expérimentales disponibles dans la littérature. Plusieurs incohérences ont également été identifiées, suggérant des révisions des modèles ou la réalisation d'expériences complémentaires. En dehors d'une contribution à une meilleure compréhension du fonctionnement de ces systèmes, ces deux études de cas illustrent plus généralement que, par la méthode proposée, il est possible de tester si des prédictions obtenues pour des modèles complexes sont cohérentes avec un large éventail de propriétés observables expérimentalement.
45
Alatriste, Contreras Martha Gabriela. "Essais sur les propriétés structurelles et la dynamique du système économique." Paris, EHESS, 2014. http://www.theses.fr/2014EHES0132.
Full textAbstract:
Cette thèse analyse empiriquement les propriétés structurelles de l'économie et évalue l'impact des changements de sa structure sur les résultats agrèges. L’analyse se base sur une approche multidisciplinaire ou l'analyse des entrées-sorties est combinée avec l'analyse de systèmes complexes. Le premier chapitre étudie la structure des liaisons entre secteurs en identifian les secteurs les plus importantes. Nous comparons ces secteurs aux secteurs qui, simultanément génèrent les effets sur la production agrégée les plus élevés et qui ont la diffusion la plus grande sur l'économie. Nous avons trouvée des structures asymétriques ou il y a seulement quelques secteurs qui sont très importants. Le deuxième chapitre de la thèse évalue l'impact de deux types de chocs sectoriels : sur la demande finale et un choc technologique. L’objective est d'étudier l'émergence des avalanches. Nous appliquons trois modèles. Un premier modèle est base sur le modèle d'entrées-sorties, et les deux autres modèles sont basés sur un type de modèle de diffusion des réseaux. Les résultats montrent que la diffusion des chocs les avalanches sont grands grâce à la structure asymmetric du system. Le troisième chapitre propose un modèle dynamique de la structure de l'économie et de son évolution qui capture les différentes étapes du développement. Le modèle est inspire par les propriétés structurelles de l'économie française et les changements technologiques observées de 1959 à 2008. Les résultats les plus importants montrent que un mécanisme de type `preferential attachment' génère une structure qui est très proche de la structure réelle de l'économie françaisThis thesis analyses empirically the structural properties of the economy and evaluates the impact of changes in its structure on aggregate outcomes such as production and the spreading of shocks. The analysis in this thesis is part of a multidisciplinary approach where input-output is combined with complex network analysis to study the productive structure of an economy. We analyze the european union's input-output network as a whole, the input-output network of 22 member countries, and the french input-output network using a more disaggregated classification of sectors. The first chapter studies the structural properties of the economy identifying the most important sectors. In this first chapter, we investigate if global centrality measures in network analysis provide additional information of the productive structure and the role and importance of sectors in it. We found that the economy has an asymmetric structure with only a few very important sectors that have good diffusion properties. The second chapter evaluates the impact of these properties as the capability of sectors to spread shocks and form avalanches in the economy. We use three models to measure the impact of two types of sectoral shocks : a shock on final demand and a shock on technology. Results show that the asymmetrical structure of european economies makes them vulnerable to large avalanchess. Finally, third explores the mechanism generating the structure of the economy and its evolution through time driven by technological progress. In the model proposed in the third chapter sectors create new connections and change the intensity of old ones according to their centrality
46
Raoux, Aurore. "Approche écosystémique des énergies marines renouvelables : étude des effets sur le réseau trophique de la construction du parc éolien au large de Courseulles-sur-Mer et du cumul d'impacts." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC251.
Full textAbstract:
Dans le cadre de la transition énergétique, le gouvernement Français prévoit la constructionde huit parcs éoliens en mer (offshore) le long des côtes Manche-Atlantique parmi lesquels le futurparc éolien au large de Courseulles-sur-mer. A ce jour, il n’existe pas d’étude globale et intégrée deseffets de la construction et de l’exploitation de ces parcs sur l’écosystème. L’innovation principale decette thèse a donc été de poser les bases d’une approche écosystémique des Energies MarinesRenouvelables (EMR) à travers l’exemple du futur parc éolien de Courseulles-sur-mer. Pour ce faire,une combinaison d’outils de modélisation a été utilisée afin de : 1) caractériser le fonctionnement etla structure de l’écosystème du site d’implantation du parc ; 2) tester des scénarios d’évolutionpossible du fonctionnement trophique du système. Ainsi, un modèle de réseau trophique et troisscénarios ont été construits afin d’analyser les conséquences de l’effet récif et réserve générées par leparc sur l’écosystème. Les indices de l’analyse des réseaux écologiques ainsi que d’autres indices telsque le niveau trophique moyen ont été analysés afin de caractériser le fonctionnement du système.Toutefois, conscient que cet écosystème est menacé par de multiples pressions, il estnécessaire de comprendre comment ces activités humaines vont interagir entre elles et quelles sontleurs conséquences sur l’écosystème dans un contexte de changements globaux. Ainsi, une visionglobale des impacts cumulés a également été développée grâce à un autre type de modélisation appelé'modélisation qualitative’ ou en ‘digraphe orienté’. Les résultats ont mis en évidence des changementsdans la structure et le fonctionnement de l’écosystème après la mise en place du parc éolien. Lesrésultats de ces modèles pourraient être utilisés dans la définition de mesures de suivi aprèsl’installation du parc et dans l’évaluation de la nécessité de mettre en place des mesures decompensation. Enfin, les modèles qualitatifs pourraient également servir d’outils de communicationavec le public et ainsi permettre une meilleure appropriation des projets EMRAs part of the energy transition, the French government is planning the construction of eightOffshore Wind Farms (OWF) along the English Channel and Atlantic coasts including the Courseulles-sur-mer OWF. Until now, there is no holistic study on the OWF construction and operation effects onan ecosystem taken as a whole. This thesis is the first study to lay the foundations for an ecosystemapproach of Marine Renewable Energy (MRE) through the Courseulles-sur-mer OWF example. For thata combination of innovative modelling tools was applied to 1) characterise the ecosystem structureand functioning before the OWF construction; 2) simulate the impacts of this future OWF on theecosystem structure and functioning. A food-web model and three scenarios were constructed toinvestigate the “reef” and “reserve” effects induced by the OWF on the ecosystem. Ecological NetworkAnalysis indices, other ecosystem attributes and Mean Trophic Level were derived to investigate theecosystem health and state.However, being aware that this ecosystem is threatened by multiple perturbations, there is aneed to understand how human activities interact to influence ecosystem functioning in a long termclimate change context. Thus, a holistic view of cumulated impacts on the Courseulles-sur-mer’ecosystem through the use of an oriented signed digraph was also developed. Results highlighted acombination of significant changes in the food-web structure and ecosystem functioning. These resultscan play a vital role in both decision making by improving long term planning for the marineenvironment but also as tool for communication with the public and so contribute to a betteracceptability of MRE project
47
Leboeuf, Mathilde. "Influence des paramètres du procédé sur les propriétés électriques et rhéologiques des polyamides chargés de noir de carbone." Phd thesis, École Nationale Supérieure des Mines de Paris, 2007. http://tel.archives-ouvertes.fr/tel-00246810.
Full textAbstract:
Ce travail de thèse porte sur l'étude de l'influence des paramètres de mise en œuvre sur les propriétés électriques de polyamides chargés de noir de carbone. Deux approches sont utilisées :* Une étude expérimentale dont le but est de déterminer les paramètres du procédé favorables aux propriétés électriques. Nous avons caractérisé les produits obtenus à l'aide de la microscopie ainsi que de mesures électriques et rhéologiques. Pour cela, nous avons mis en place une nouvelle méthode de caractérisation qui consiste à mesurer simultanément les propriétés rhéologiques et électriques des produits.* Une étude numérique traitant de la dispersion d'un agglomérat dans un écoulement de cisaillement, à l'échelle microscopique. La charge modélisée est constituée d'un assemblage de charges sphériques, reliées entre elles par une énergie de cohésion.
48
Voignier, Pierre. "Influence de la structure spatiale des pluies et du bassin versant sur les écoulements en réseau : approche à l'aide du logiciel EAUSER : Application à Saint-Etienne." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 1990. http://tel.archives-ouvertes.fr/tel-00838436.
Full textAbstract:
La thèse est structurée en trois chapitres. Dans le premier, on rappelle brièvement le contexte historique et législatif de l'évolution de l'assainissement en Europe. Le deuxième chapitre s'intéresse à l'étude diagnostic du réseau d'assainissement de la ville de Saint-Etienne, tant sur les plans quantitatif que qualitatif. Pour cela, nous développons un logiciel de simulation dont l'originalité réside dans sa structure informatique. Nous effectuons une étude de la pluviométrie locale, nous localisons les points de dysfonctionnement par la simulation et nous analysons l'impact des rejets stéphanois en phosphore sur la qualité des eaux de la Loire. Le troisième chapitre essaie par des développements méthodologiques de répondre aux questions soulevées précédemment, tout d'abord par une étude visant à caractériser les structures spatiales des pluies en utilisant des techniques issues de l'analyse de données, ensuite par une étude de sensibilité du modèle d'écoulement à la distribution spatiale de la pluie, au coefficient de ruissellement et au temps de réponse de bassins versants élémentaires, enfin par une dernière étude visant à déterminer la localisation optimale du réseau de pluviographes, en utilisant la technique du krigeage, en y intégrant la structure spatiale de la pluie et les coefficients de ruissellement des bassins versants
49
Houssamo, Issam. "Contribution à l'étude théorique, à la modélisation et à la mise en oeuvre d'un système multisource appartenant à un micro-réseau électrique : considération sur la qualité de l'énergie." Compiègne, 2012. http://www.theses.fr/2012COMP2020.
Full textAbstract:
L’objectif de cette thèse est d’étudier, d’analyser et de développer un système multisource appartenant à un micro-réseau DC avec la prise en considération de quelques aspects de la qualité de l’énergie. Le chapitre I présente l’intérêt du réseau intelligent afin d’assurer la meilleure coordination entre la production d’électricité distribuée et la consommation électrique. En vue de la prédiction, un modèle purement expérimental de la source photovoltaïque est développé et présenté dans le chapitre II. Par ailleurs, afin d’extraire la puissance maximale de la source photovoltaïque, un algorithme classique est amélioré et comparé énergétiquement avec trois autres méthodes. Dans le chapitre III, les éléments de la sécurisation du système multisource, soit le stockage électrochimique et le réseau public, sont caractérisés. Dans le cas d’un déficit du stockage, le réseau public est utilisé pour assurer l’alimentation de la charge, mais aussi pour évacuer le surplus d’énergie. Le chapitre IV est consacré au contrôle du système multisource et à sa validation expérimentale. La commutation entre les éléments de la sécurisation du système global fait l’objet d’une stratégie de gestion d’énergie dans laquelle la priorité est donnée au stockage caractérisé par son état de charge. Grâce à cette stratégie, la faisabilité technique du système multisource est expérimentalement validée. Le chapitre V présente quelques aspects portant sur l’amélioration de la qualité de l’énergie : du côté réseau public un correcteur résonnant est proposé, du côté bus continu on élimine la puissance pulsante par l’injection de son opposé à l’aide du stockage électrochimiqueThe objective of this thesis is to study, analyze and develop a multisource system belonging to a DC micro-grid with consideration of some aspects of the power quality. Chapter I presents the interest of the smart grid to ensure better coordination between distributed generation and power consumption. Having in view the prediction, a purely experimental model of photovoltaic source is developed and presented inChapter II. Furthermore, in order to extract the maximum power of the photovoltaic source, a classical algorithm is improved and the extracted energy is compared with three other methods. In Chapter III, the security system elements, the electrochemical storage and the public grid, are characterized. In the case of a storage shortage, the public grid is used to supply power to the load, but also trade back excess energy. Chapter IV presents the control of multisource system and its experimental validation. The energy management strategy taken into account is based on switching between the elements which secure the multisource system. For this, the priority is given to storage characterized by its state of charge. Thanks to this strategy, the technical feasibility of the multisource system is experimentally validated. Chapter V gives some aspects related to the improvement of the power quality: for the public grid side, a resonant controller is proposed, for the DC bus side, the pulsating power is eliminated by injecting the opposite signal supplied by the electrochemical storage
50
Delorme-Costil, Alexandra. "Modèles prédictifs et adaptatifs pour la gestion énergétique du bâtiment résidentiel individuel : réseaux de neurones artificiels basés sur les données usuellement disponibles." Thesis, Ecole nationale des Mines d'Albi-Carmaux, 2018. http://www.theses.fr/2018EMAC0020.
Full textAbstract:
L'utilisation de régulation prédictive permet de diminuer la consommation d'énergie des bâtiments résidentiels sans diminuer le confort de l'habitant. C'est dans ce but que la société BoostHeat développe une chaudière thermodynamique à grande efficacité énergétique. La production simultanée de l'eau chaude sanitaire (ECS) et du chauffage permet de nombreuses stratégies de régulation pour en optimiser les performances. L'utilisation de régulations prédictives permet d'anticiper les besoins énergétiques, de prendre en compte l'impact de l'inertie du bâtiment sur la température intérieure et ainsi de faire des choix de gestion de productions minimisant la consommation énergétique. Les modèles utilisés aujourd'hui dans les régulations prédictives sont contraignants. En effet, ces modèles nécessitent de grandes quantités de données, soit sur un échantillon représentatif de bâtiments, soit sur chaque bâtiment modélisé. Ils peuvent également avoir besoin d'études détaillées sur le bâtiment, les occupants et leurs habitudes de consommation. Afin de permettre à la société BoostHeat d'utiliser une régulation prédictive sur sa chaudière sans passer par une étape complexe de modélisation à chaque installation de chaudière, nous proposons des modèles adaptatifs utilisant les informations communément disponibles sur une installation classique. Nous choisissons de développer des réseaux de neurones artificiels pour la prédiction d'une part des consommations d'ECS et d'autre part de la température intérieure du bâtiment. Les réseaux de neurones artificiels sont déjà utilisés pour modéliser les consommations énergétiques d'un bâtiment spécifique, cependant nos modèles sont génériques et s'adaptent automatiquement au bâtiment dans lequel la chaudière est installée. Plusieurs modèles sont développés afin d'étudier l'impact du choix des entrées, des quantités de données d'apprentissage et de l'architecture du réseau de neurones artificiels sur la qualité de la prédiction. Les modèles de prédiction de consommation d'ECS ainsi réalisés sont testés sur trois cas expérimentaux alors que les modèles de prédiction de température intérieure sont testés sur deux cas expérimentaux et cent-vingt cas simulés. Cela permet de tester leur adaptation à l'ensemble du parc immobilier français. Nous montrons, pour la prédiction de consommation d'ECS comme pour la prédiction de température intérieure, que deux semaines de données collectées suffisent à une bonne adaptation des modèles à un cas spécifique. Le modèle le plus performant pour la prédiction de consommation d'eau chaude sanitaire a uniquement besoin des consommations des instants précédents. Le modèle de prédiction de température intérieure a de meilleures performances sur les bâtiments les moins isolés. Les résultats obtenus sont prometteurs pour l'application des régulations prédictives à grande échelleThe use of predictive control permits to reduce the energy consumption of residential buildings without reducing the comfort of the inhabitant. The company BoostHeat develops a thermodynamic furnace with high energy efficiency for this purpose. Simultaneous production of domestic hot water (DHW) and heating allows many control strategies to optimize performance. The use of predictive controls makes it possible to anticipate energy needs, to take into account the impact of building inertia on indoor temperature and thus to make production management choices that minimize energy consumption. The models used today in predictive controls are binding. Indeed, these models require large amounts of data, either on a representative sample of buildings or on each modeled building. They may also need detailed studies of the building, the occupants and their consumption practices. In order to allow BoostHeat to use predictive control without going through a complex modeling step at every furnace installation, we propose adaptive models using information commonly available on a typical installation. We choose to develop artificial neural networks for the prediction on the one hand of the consumptions of DHW and on the other hand of the ambiant temperature of the building. Artificial neural networks are already used to model the energy consumption of a specific building, however our models are generic and automatically adapt to the building in which the furnace is installed. Many models are developed to study the impact of the choice of inputs, amounts of learning data and artificial neural network architecture on the accuracy of prediction. The DHW consumption prediction models are tested on three experimental cases while the indoor temperature prediction models are tested on two experimental cases and one hundred and twenty simulated cases. This makes it possible to test their adaptation to the entire French housing stock. We show, for the prediction of DHW consumption as for the indoor temperature prediction, that two weeks of collected data are sufficient for a good adaptation of the models to a specific case. The most efficient model for the prediction of domestic hot water consumption only needs the consumptions of the previous instants. The indoor temperature prediction model performs better on less isolated buildings. The results obtained are promising for the application of predictive controls on a large scale