• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 124
  • 54
  • 11
  • 10
  • 1
  • Tagged with
  • 197
  • 81
  • 38
  • 32
  • 30
  • 27
  • 26
  • 25
  • 24
  • 24
  • 22
  • 20
  • 20
  • 20
  • 19
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
161

Analyse et implémentation du contrôle par modes glissants en temps discret / Discrete sliding mode control : analysis and implementation

Huber, Olivier 05 May 2015 (has links)
Le contrôle par mode glissant est une technique d'automatique qui possède une longue histoire, la littérature remontant jusqu'au année 50. Son essence est la suivante : le contrôle est définit comme étant l'image d'une fonction discontinue de la variable de glissement, contraignant le système à évolué sur une variété, le système glisse alors dessus, d'où le nom. Cette variable de glissement est elle définie à partir de l'état du système. Les développements ont mené à la constitution d'une théorie bien établie à propos de cette technique, avec de nombreuses propriétés théoriques fort intéressante. Toutefois ceci ne porte que sur la version continue, c'est à dire quand le contrôle peut changer de valeur à chaque instant. En comparaison la version discrète du ce contrôleur est définie par le fait que la valeur du contrôle ne peut changer qu'à des instants isolés discrets. On a alors une fonction en escalier, constante sur la période d'échantillonnage. Cette situation est rencontrée par exemple lorsque le contrôleur est implémenté à l'aide d'un micro-contrôleur, ce qui est le cas dans nombre d'applications industrielles. Le principal problème avec le mode glissant est l'apparition d'un phénomène largement indésirable, le chattering (ou broutement) avec la version discrète du contrôleur, où même déjà en simulation. Dans ce dernier cas, nous appelons ceci du chattering numérique que nous attribuons à une mauvaise discrétisation du contrôle. L'approche développée ici se focalise sur ce point et est largement inspirée par les travaux effectués en mécanique non régulière, où ce type de comportement a aussi été observé lors de la simulation de système avec frottements et/où impacts. L'idée principale est de discretisé le contrôle de manière implicite et non explicite. Ceci permet d'éliminer le chattering numérique dans les cas simples (systèmes linéaires par exemple) où bien de le réduire grandement. Pour mener à bien l'analyse, des outils provenant de l'analyse convexe ainsi que des inégalités variationnelles en dimension finie sont utilisés. Le contrôleur proposé possède des propriétés intéressantes et proches de celles du temps continu. Ainsi on peut montrer que la variable de glissement est régie par une dynamique stable en temps finie, avec une fonction de Lyapunov. Le contrôle discret convergence vers celui du cas continu quand la période d'échantillonnage tends vers 0. Une atténuation d'éventuelles perturbations de type "matching" peut être établie. Ces travaux ont essentiellement portés sur le contrôle par mode glissant classique. L'algorithme dit twisting a pu être discrétisé avec la même technique et sa stabilité en temps finie grâce à une fonction de Lyapunov a pu être montrée. Ces propriétés ont été vérifiée en simulation, mais aussi de manière expérimentale. Ainsi des essais ont pu être menés sur deux banc d'essai: le premier est basé sur un système electropneumatique où à la fois le contrôle par mode glissant classique ainsi que le twisting ont pu être implémentés. L'objectif étant de suivre une trajectoire de référence. Le second système est un pendule inverse où le système doit être stabilisé à la position d'équilibre instable. Ici seul le contrôleur classique a été testé. L'analyse des données expérimentales a permis de mettre en lumière les performances supérieures des contrôleurs proposés par rapport à ceux classiquement usités. Les objectifs de contrôle sont mieux atteint et le chattering est grandement diminué. / Sliding Mode Control is a control technique with a long history, with research efforts dating back to the 50's. The basic idea is to define the control input as a discontinuous function of the sliding variable, which solely depends on the state, and to constraint the system to evolve on a manifold, hence the term sliding. Over the years a strong theory was build around this technique, but only in continuous time. In our context, this means that control input value can change value at any time. The discrete-time case is when the control input can only change at isolated time instants and the dynamical system on which the control is still a continuous-time process. The control input is therefore a step function. This case appears when the controller is digitally implemented, for instance with the help of a microcontroller. This kind of setup is nowadays ubiquitous in benchmarks and industrial applications. One of the main limitation of the applicability of sliding mode control is the chattering phenomenon that is witnessed when this control technique is applied in practice, but already in simulations. In contrast to previous approaches, we single out the chattering that is already witnessed in simulation, even with no disturbance and with perfect knowledge of the dynamics. This is called the numerical chattering and one of its distinct feature is the constant chattering, or high-frequency bang-bang behavior, of the control input. This naturally induces a chattering of the sliding variable. The claim that this type of chattering is usually predominant and that it is due to a bad discretization of the signum multifunction. The approach developed in this work was inspired by the research effort in the nonsmooth mechanical to properly simulate some systems like those with dry friction and/or unilateral constraints. The main point is to discretize the signum in an implicit fashion, that is its argument is the value of the sliding variable at the end of the next sampling period. With this change, the numerical chattering can be removed in the simplest cases, largely attenuated. The research effort was focused on classical sliding mode controller, rather than the higher order ones. The frameworks used to perform the analysis are convex analysis and variational inequalities. This discrete-time controller enjoys several interesting theoretical properties. First it is finite-time Lyapunov stable: the sliding variable goes to 0 in finite-time. The discrete-time control input converges to the continuous-time one as the sampling period goes to 0. The control action also attenuates the effect of matched perturbations. Also the increase of the gain of the controller does not affect the performances when the system is sliding. The twisting controller can be discretized in the same way and is also finite-time Lyapunov stable. This good theoretical properties have been verified in simulations, but also on experimental setups. Two tests were conducted: the first one on an electropneumatic system, where both the classical first-order sliding mode controller and the twisting algorithm were tested. The objective was to track a reference trajectory. The second one was an inverted pendulum on a cart with only the classical SMC. The goal was to stabilize the system at the unstable equilibrium. The analysis from the data collected during those experiments shows that the proposed controllers perform better than the their explicitly discretized versions. The performances are better and the chattering is effectively reduced.
162

Opérateurs d’inf-convolution et inégalités de transport sur les graphes / Infimum-convolution operators and transport inequalities on discrete spaces

Shu, Yan 07 July 2016 (has links)
Dans cette thèse, nous nous intéressons à différents opérateurs d'inf-convolutions et à leurs applications à une classe d'inégalités de transport générales, plus spécifiquement sur les graphes. Notre objet de recherche s'inscrit donc dans les théories du transport de mesure et de l'analyse fonctionnelle. En introduisant une notion de gradient adapté au cadre discret (et plus généralement à tout espace métrique dont les boules sont compactes), nous prouvons que certains opérateurs d'inf-convolution sont solutions d'une inéquation d'Hamilton Jacobi sur les graphes. Ce résultat nous permet d'étendre au cadre discret un théorème classique de Bobkov, Gentil et Ledoux. Plus précisément nous montrons que des inégalités de transport faible (adaptées au cadre discret) sont équivalentes, sur un graphe, à l'hypercontractivité des opérateurs d'inf-convolutions. On en déduit plusieurs résultats concernant différentes inégalités fonctionnelles, dont celle de Sobolev logarithmique et de transport faible. Nous étudions par ailleurs les propriétés générales de différents opérateurs d'inf-convolutions, incluant le précédent, mais aussi un opérateur relié à un modèle issu de la physique (et au phénomène de grande déviation), toujours sur les graphes (dérivabilités, convexité, points extremum etc.). Dans un deuxième temps, nous nous intéressons aux liens entre différentes notions de courbure de Ricci sur les graphes -- proposées récemment par plusieurs auteurs -- et les inégalités fonctionnelles de type transport-entropie, ou transport-information associées à une chaîne de Markov. Nous obtenons également une borne supérieure sur le diamètre d'un graphe dont la courbure, en un certain sens, est minorée, un résultat à la Bonnet-Myers. Enfin, en nous restreignant au cas de la dimension 1, sur la droite réelle, nous obtenons une caractérisation d'une inégalité de transport faible et de l'inégalité de Sobolev logarithmique restreinte aux fonctions convexes. Ces résultats utilisent des propriétés géométriques liés à l'ordre convexe. / In this thesis, we interest in different inf-convolution operators and their applications to a class of general transportation inequalities, more specifically in the graphs. Therefore, our research topic fits in the theories of transportation and functional analysis. By introducing a gradient notion adapting to a discrete space (more generally to all space in which all closed balls are compact), we prove that some inf-convolution operators are solutions of a Hamilton-Jacobi's inequation. This result allows us to extend a classical theorem from Bobkov, Gentil and Ledoux. More precisely, we prove that, in a graph, some weak transport inequalities are equivalent to the hypercontractivity of inf-convolution operators. Thanks to this result, we deduce some properties concerning different functional inequalities, including Log-Sobolev inequalities and weak-transport inequalities. Besides, we study some general properties (differentiability, convexity, extreme points etc.) of different inf-convolution operators, including the one before, but also an operator related to a physical model (and to a large deviation phenomenon). We stay always in a graph. Secondly, we interest in connections between different notions of discrete Ricci curvature on the graphs which are proposed by several authors in the recent years, and functional inequalities of type transport-entropy, or transport-information related to a Markov chain. We also obtain an extension of Bonnet-Myers' result: an upper bound on the diameter of a graph of which the curvature is floored in some ways. Finally, restricting in the real line, we obtains a characterisation of a weak transport inequality and a log-Sobolev inequality restricted to convex functions. These results are from the geometrical properties related to the convex ordering.
163

Suffusion and its effects on the mechanical behavior of granular soils : numerical and experimental investigations / La suffusion et ses effets sur le comportement mécanique des sols granulaires : études numériques et expérimentales

Aboul Hosn, Rodaina 16 November 2017 (has links)
La suffusion est un cas particulier d'érosion interne qui apparait dans les ouvrages hydrauliques. Elle se caractérise par le détachement et le transport des particules fines à travers les gros grains sous l'action d'un écoulement hydraulique en laissant derrière un squelette granulaire dont les caractéristiques en termes de densité et d'arrangement géométrique granulaire ont été changées. De telles modifications dans la micro-structure du sol peuvent conduire à des déformations à l'échelle macroscopique et peuvent influencer le comportement mécanique du sol. Ce travail a été consacré à l'étude du mécanisme de suffusion et à son impact sur les propriétés mécaniques des sols non-cohésifs. Pour atteindre cet objectif, deux approches ont été suivies dans ce travail: l'une numérique et l'autre expérimentale. Un modèle numérique discret a été défini pour décrire quantitativement le comportement macroscopique du sol et analyser la micro-structure des assemblages granulaires. Il est basé sur l'utilisation de particules sphériques et la résistance au roulement aux contacts, ainsi que sur une nouvelle méthode de compactage des échantillons pour simuler celle utilisée au laboratoire, et atteindre une large gamme de densités initiales. Le modèle a été validé par comparaison de résultats numériques et de données expérimentales. Ce modèle a d'abord été appliqué sur des assemblages granulaires avec des teneur en fines différentes afin d'étudier le rôle des particules fines pour une micro-structure de sol donnée, sans tenir compte d'un processus d'érosion. Il a été montré qu'il existe un pourcentage de fines, en dessous de la teneur seuil, où des particules fines peuvent commencer à participer au transfert de force, et que, si la suffusion s'initie et mobilise ces particules, ceci pourra affecter le comportement macroscopique du sol. Par la suite, une cinétique simplifiée d'extraction du grain a été proposée pour décrire le processus de suffusion. Elle est basée sur une approche de couplage fluide-solide partielle. L'intérêt de cette procédure d'extraction est que, d'une part, elle tient en compte des critères géométriques et hydrauliques complexes; d'autre part, le modèle induit un coût de calcul raisonnable. Cette procédure a été validée sur la base d'essais expérimentaux de suffusion effectués avec un dispositif nouvellement développé. Les conséquences de cette érosion sur les propriétés mécaniques des sols ont été caractérisées par la réalisation en laboratoire et la simulation d'essais de compression triaxiale. Le développement de la suffusion et ses conséquences sur le comportement macroscopique sont discutés en terme de densité et granulométrie initiale du sol, de chargement hydraulique et du type de particules érodées (actives ou inactive vis-à-vis du transfert de force). / Suffusion is a particular case of internal erosion taking place in hydraulic earth structures. It is characterized by the detachment and migration of fine particles by interstitial flow leaving behind the granular skeleton. Such modifications in the soil microstructure may lead to deformations at the macroscopic scale and may influence the mechanical behavior of the soil. This research was devoted to investigate the suffusion mechanism and its impact on the mechanical properties of cohesionless soils. To achieve this objective, two approaches were followed in this work: numerical and experimental approaches. A discrete numerical model was defined to describe quantitatively the soil macroscopic behavior and to analyze the microstructure of granular assemblies. It is based on the use of spherical particles and contact rolling resistance, as well as a new method of compaction to mimic the one used in laboratory and to reach a wide range of initial densities. The model was validated through comparison of numerical results with experimental data. This model was first applied on granular assemblies with different fines contents to study the role of fine particles with respect to a given soil microstructure, without taking into account an erosion process. It was shown that there exists a fines content, below the threshold, where fine particles may start to participate in the force transfer that if suffusion initiates and mobilizes these particles, it may affect the macroscopic behavior of the soil. Thereafter, a simplified kinetics of grain extraction was proposed to describe the suffusion process. It was based on a one-way fluid-solid coupling approach. The importance of this extraction procedure is that, on one hand, it takes into account complex geometric and hydraulic criteria; on the other hand, the model involves an affordable computational cost. This procedure was validated based on experimental tests carried out using a newly developed suffusion apparatus. Consequences of this erosion on the mechanical properties of soils were characterized from experimental and simulated triaxial compression tests. Suffusion development and its consequences on the macroscopic behavior are discussed from the results obtained in terms of the initial soil density and gradation, the hydraulic loading and the type of eroded particles (active or inactive in the force transfer).
164

Approche numérique couplée discret-continu appliquée aux ouvrages cellulaires impactés / Coupled continuous - discrete element method applied to cellular structures under impact.

Breugnot, Antonin 10 June 2011 (has links)
Le cadre général de ce travail concerne la modélisation du comportement mécanique sous impact de merlons de protection contre les chutes de blocs rocheux. Les ouvrages ciblés sont à technologie cellulaire, et sont composés de gabions à enveloppe grillagée remplis de matériaux granulaires (pierres concassées ou mélange de sable et de déchiquetas de pneus). L'absence de recommandations relatives au dimensionnement de ce type de structure de protection a conduit à la mise en place du projet ANR REMPARe couplant expérimentations in situ et modélisations numériques. Dans le cadre de ce projet, une méthode numérique innovante couplant les approches discrète et continue a été développée. Localement, la méthode des éléments discrets est employée pour conserver la précision de modélisation dans les zones fortement sollicitées proches de l'impact. Le remblai technique aval, peu sollicité, a été discrétisé par une méthode continue aux différences finies. La jonction entre ces deux zones fait l'objet d'un couplage basé sur des critères de conservation d'énergie et de condition cinématique en déplacement. Un modèle de comportement pour les gabions a été proposé et calibré à partir d'essais expérimentaux réalisés à l'échelle de la cellule. Des simulations d'impacts sur un merlon de protection prototype ont été menées puis validées par comparaison avec les mesures issues des expérimentations en vraie grandeur. Afin d'améliorer la compréhension des mécanismes engendrés, l'étude paramétrique portant sur les propriétés des matériaux et les caractéristiques d'impact a permis d'évaluer leur influence sur le mécanisme d'impact. / This study focuses on numerical modelling of the mechanical behaviour of rockfall protection structure submitted to impact. The concerned structures are constituted by cell assembly composed by wire mesh cages filled with granular material (crushed stone, mixture of sand and shredded tires). The lack of design norms led to the set up of the ANR REMPARE project which is based on real scale experiment and numerical modelling. In this project, an innovative numerical method, combining continuous and discrete approaches, has been developed. Locally, the discrete element method is used to maintain the accuracy of modelling in the highly stressed areas near the impacted zone. Downstream, the embankment, lowly stressed, is simulated by a finite difference method. The link between the two domains is ensured by a combined method which is based on energy conservation and respect of border kinematic conditions. A model for the geocells is proposed and calibrated from experimental tests carried out at the cell scale. Impacts on rockfall protection prototype are simulated and validated by comparison with measurements obtained on real scale experiments. Parametric studies on material's properties and characteristics of impact are carried out to evaluate their influence on the impact mechanisms.
165

Modélisation numérique des milieux granulaires immergés : initiation et propagation des avalanches dans un fluide / Numerical simulation of immersed granular materials : initiation and propagation of landslids avalanches

Mutabaruka, Patrick 06 December 2013 (has links)
Les études présentées dans ce mémoire portent sur la simulation numérique et l'analyse physique des milieux granulaires immergés dans un fluide. Des développements numériques ont été réalisés pour coupler la méthode Lattice Boltzmann pour la dynamique du fluide avec la méthode de Contact Dynamics en 2D et avec la méthode Molecular Dynamics en 3D pour la dynamique des grains. Ces outils numériques ont été utilisés pour étudier l'initiation des avalanches sur un plan incliné en fonction de la compacité initiale et de l'angle d'inclinaison en 3D. Les résultats sont en bon accord quantitatif avec les expériences et ont permis de mettre en évidence la stabilisation de la pente granulaire par une pression négative du fluide interstitielle induite par la dilatance, et l'évolution spatiotemporelle des grandeurs telles que la compacité et la déformation de cisaillement. Ces évolutions dans la phase de fluage qui précède la rupture de pente ont pu être mises à l'échelle par un modèle théorique incorporant la loi de Darcy et l'effet de la dilatance sur l'angle de frottement interne. L'analyse de la texture granulaire a révélé la distorsion du réseau des contacts pendant le fluage et la saturation de l'anisotropie comme un critère de rupture. La propagation des avalanches granulaires a été étudiée dans la configuration 2D pour deux géométries différentes : 1) l'effondrement et l'étalement d'une colonne sous son propre poids, 2) l'étalement d'une pente sous l'effet d'une énergie cinétique injectée. Nous avons en particulier montré que la distance et la durée d'étalement obéissent à des lois de puissances en fonction du rapport d'aspect initial ou de l'énergie injectée. Le fluide exerce deux effets contradictoires : réduire les temps de relaxation et lubrifier les contacts. Ces effets ont été analysés dans le régime visqueux en fonction des conditions initiales et la viscosité du fluide. / By means of numerical simulations, we investigate the behavior of granular materials immersed in a fluid. Numerical developments were carried out to interface the Lattice Boltzmann Method for fluid dynamics with the Contact Dynamics method in 2D and with the Molecular Dynamics method in 3D for the simulation of the grains. Extensive simulations were applied to study the initiation of avalanches in a granular bed inclined at an angle above its angle of repose as function of the initial packing fraction and slope angle in 3D. The results are in excellent quantitative agreement with the reported experimental data, and show the stabilization of the granular bed by a negative pore overpressure induced by the dilatancy of the bed and the spatiotemporal evolution of the packing fraction and the shear deformation. The time evolution of these variables during the creeping phase before slope failure is scaled by a theoretical model accounting for darcian drag forces and the effect of dilatancy on the internal friction coefficient. We also analyzed the granular microstructure, which shows a gradual distortion of the contact network during creep at nearly a constant connectivity and the saturation of the anisotropy at failure. The runout of granular avalanches were investigated in 2D for two different configurations : 1) the collapse of a granular column under its own weight and 2) the runout of a granular pile as a result of kinetic energy supplied directly to the grains. We find power-law dependence of the resulting runout lengths and times with respect to the initial geometry or energy of the system. The time scales are shown to be consequence of two competing effects of the fluid on the grains : reducing relaxation times by viscous friction and the lubricating the contacts between grains.
166

Handicap psychique et exclusion sociale : Place des phénomènes cliniques et psychopathologique dans les risques d’expulsion d’un logement / Psychological handicap and social exclusion : clinical and psychopathological phenomena in the risks of housing eviction

Fèvre, Eric 11 May 2017 (has links)
Le handicap psychique est une expression française qui s’est imposée récemment, mais qui fait l’objet de diverses acceptions. Nous le situons dans le contexte très large des vulnérabilités et dans celui plus restreint des situations de handicap. Alors qu’il est communément admis que le handicap psychique est une conséquence sociale d’une maladie mentale, nous montrons que des personnes sont en situation de handicap d’origine psychique (shop) alors qu’elles n’ont aucune pathologie mentale avérée et qu’elles ne suivent aucun traitement psychiatrique. Pour cela, nous nous appuyons sur l’expérience d’un dispositif appelé Médiation logement ; dans ce contexte, des psychologues cliniciens vont au-devant de personnes recluses dans leur logement, ou qui manifestent des troubles du comportement ou du voisinage, et qui n’ont aucun antécédent psychiatrique. Nous montrons qu’il s’agit bien de personnes en situation de handicap d’origine psychique (peshop). Cela nous conduit à donner une nouvelle définition du handicap psychique. Puis nous proposons une grille de lecture clinique qui permettrait qu’une équipe mobile puisse faire un diagnostic précoce d’un syndrome incapacitant discret d’origine psychique (sidop) qui se révèle chez une personne ayant une fragilité singulière au moment où elle est confrontée à un évènement traumatique personnel et/ou social. / The handicap psychique (psychological handicap) is a French expression which has imposed itself recently. It is the subject of various meanings. We place it in the very broad context of vulnerabilities and in the more restricted situations of handicap. While it is commonly accepted that psychological handicap is a social consequence of a mental disease, we show that people with handicap of psychological origin (HOPO) have no proven mental disorder and do not undergo any psychiatric treatment. We rely on the experience of a plan called Médiation logement. In this “Housing mediation” clinical psychologists meet people who are reclusive in their homes, or who exhibit behaviour or neighbourhood disturbances. Those people have no psychiatric history and we show that they share a common feature: a discrete incapacitating syndrome of psychological origin (DISOPO). This leads us to give a new definition of psychological handicap. Then we propose a clinical reading tool that would allow a team to make an early diagnosis of this DISOPO that appears in a person with a singular fragility when faced with personal and / or social traumatic of stressful event.
167

Coordination modulaire de gestionnaires autonomes par contrôle discret / Modular Coordination of Autonomic Managers Using Discrete Control

Gueye, Soguy Mak-Karé 03 December 2014 (has links)
Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d'erreurs. L'administration autonome a été proposée comme solution à ce problème. Elle consiste à automatiser l'administration des systèmes informatiques à l'aide de boucles de contrôle appelées gestionnaires autonomes. De nombreux travaux de recherche se sont intéressés à l'automatisation des fonctions d'administration de systèmes informatiques et aujourd'hui, beaucoup de gestionnaires autonomes sont disponibles. Toutefois, les gestionnaires autonomes existants sont, la plupart, spécialisés dans la gestion de quelques aspects d'administration. Cela rend nécessaire la coexistence de plusieurs gestionnaires autonomes pour atteindre une gestion globale des systèmes. La coexistence de plusieurs gestionnaires permet la gestion de plusieurs aspects, mais nécessite des mécanismes de coordination afin d'éviter des décisions incohérentes. Nous étudions l'utilisation de techniques de contrôle pour la conception de contrôleurs de coordination, nous utilisons la programmation synchrone qui fournit des méthodes formelles, et la synthèse de contrôleur discret pour automatiser la construction de contrôleur. Nous suivons une approche à base de composants, et utilisons le contrôle discret modulaire qui permet de décomposer la complexité combinatoire inhérente à la technique d'exploration d'espace d'états. Cela améliore le passage à l'échelle de notre approche et permet la construction d'un contrôle hiérarchique. Notre approche permet la réutilisation de gestionnaires complexes dans des contextes différents, sans modifier leurs spécifications de contrôle. Nous construisons une coordination de gestionnaires basée sur le modèle à composants offrant introspection, adaptabilité et reconfiguration. Cette thèse présente notre méthodologie et des études de cas. Nous évaluons et démontrons les avantages de notre approche par la coordination de gestionnaires autonomes dédiés à la gestion de la disponibilité, et à la gestion de la performance et l'optimisation de ressources. / Computing systems have become more and more distributed and heterogeneous, making their manual administration difficult and error-prone. The Autonomic Computing approach has been proposed to overcome this issue, by automating the administration of computing systems with the help of control loops called autonomic managers. Many research works have investigated the automation of the administration functions of computing systems and today many autonomic managers are available. However the existing autonomic managers are mostly specialized in the management of few administration concerns. This makes necessary the coexistence of multiple autonomic managers for achieving a global system management. The coexistence of several managers make possible to address multiple concerns, yet requires coordination mechanisms to avoid incoherent management decisions. We investigate the use of control techniques for the design of coordination controllers, for which we exercise synchronous programming that provide formal semantics, and discrete controller synthesis to automate the construction of the controller. We follow a component-based approach, and explore modular discrete control allowing to break down the combinatorial complexity inherent to the state-space exploration technique. This improves scalability of the approach and allows constructing a hierarchical control. It also allows re-using complex managers in different contexts without modifying their control specifications. We build a component-based coordination of managers, with introspection, adaptivity and reconfiguration. This thesis details our methodology and presents case-studies. We evaluate and demonstrate the benefits of our approach by coordinating autonomic managers which addresse the management of availability, and the management of performance and resources optimization.
168

Um método de análise de cenários para sequenciamento da produção usando lógica nebulosa. / A Fuzzy classifier model for the production sequencing.

Silva, Allan Rodrigues da 31 May 2005 (has links)
Made available in DSpace on 2016-06-02T19:06:27Z (GMT). No. of bitstreams: 1 DissARS.pdf: 1479466 bytes, checksum: b0e4db694de6cc642354b502d3f9187f (MD5) Previous issue date: 2005-05-31 / Universidade Federal de Sao Carlos / Production planning in automated manufacturing environments is a complex task which comprehends, among other activities, the production sequencing. One of the techniques used to determine the best production sequencing is the simulation. All possible sequences can be simulated and, right after that, the sequences with the best performance are verified, according to some criteria. However, due to the combinatory nature of the sequencing, the simulation of all possible combinations takes long time, becoming quite impracticable in many cases. Besides, events that were not programmed occur frequently in automated manufacturing environments and the decision maker must be fast choosing alternatives. Aiming to contour this problem, this work proposes a fuzzy analyser of sceneries for the production sequencing (ANCSP). The goal is to reduce the quantity of sequences to be simulated by the decision maker when non programmed events occur in the productive system, according to a defined performance criteria. The maximum quantity of generated sequences is calculated based on the time avaliable to realize the simulation. The proposed model intends to support the usage of the simulation technique by the decision makers. The ANCSP was implemented and various tests were performed. A specific model of flexible manufacturing system was considered to perform the tests. The performance of the ANCSP was analyzed comparing its results with those presented by a simulation software, for the same test sets and in accordance to the performance measures established. / O planejamento da produção em ambientes automatizados de manufatura é uma tarefa complexa que compreende, dentre outras atividades, o sequenciamento da produção. Uma das técnicas usadas para determinar qual a melhor sequência de produção é a simulação. Todas as sequências possíveis são simuladas e, logo após, verifica-se qual a sequência que obteve o melhor desempenho, de acordo com algum critério. Entretanto, devido à natureza combinatória do sequenciamento, a simulação de todas as sequências possíveis consome muito tempo, tornando-se inviável em muitos casos. Além disso, eventos não programados ocorrem com frequência nos ambientes automatizados de manufatura e o tomador de decisão precisa ter escolhas rápidas. Visando contornar esses problemas, esse trabalho propõe um analisador nebuloso de cen´arios para o sequenciamento da produção (ANCSP). O objetivo é reduzir a quantidade de sequências a serem simuladas pelo tomador de decis ao no momento da ocorrência de eventos não programados no sistema produtivo, de acordo com alguma medida de desempenho. A quantidade máxima de sequências geradas é calculada com base no tempo que o tomador de decisão possui para realizar a simulação. Dessa maneira, o modelo proposto pretende apoiar o uso da técnica de simulação pelos tomadores de decisão. O ANCSP foi implementado e diversos testes foram realizados. Para a realização dos testes, considerou-se um modelo específico de sistema flexível de manufatura. O desempenho do ANCSP foi analisado mediante comparação dos seus resultados com aqueles apresentados por um software de simulação, para o mesmo conjunto de testes e de acordo com as medidas de desempenho estabelecidas.
169

Discrete algebra and geometry applied to the Pauli group and mutually unbiased bases in quantum information theory / Algèbre et géométrie discrètes appliquées au groupe de Pauli et aux bases décorrélées en théorie de l’information quantique

Albouy, Olivier 12 June 2009 (has links)
Pour d non puissance d’un nombre premier, le nombre maximal de bases deux à deux décorrélées d’un espace de Hilbert de dimension d n’est pas encore connu. Dans ce mémoire, nous commençons par donner une construction de bases décorrélées en lien avec une famille de représentations irréductibles de l'algèbre de Lie su(2) et faisant appel aux sommes de Gauss.Puis nous étudions de façon systématique la possibilité de construire de telle bases au moyen des opérateurs de Pauli. 1) L’étude de la droite projective sur Zdm montre que, pour obtenir des ensembles maximaux de bases décorrélées à l’aide d'opérateurs de Pauli, il est nécessaire de considérer des produits tensoriels de ces opérateurs. 2) Les sous-modules lagrangiens de Zd2n, dont nous donnons une classification complète, rendent compte des ensembles maximalement commutant d'opérateurs de Pauli. Cette classification permet de savoir lesquels de ces ensembles sont susceptibles de donner des bases décorrélées : ils correspondent aux demi-modules lagrangiens, qui s'interprètent encore comme les points isotropes de la droite projective (P(Mat(n, Zd)²),ω). Nous explicitons alors un isomorphisme entre les bases décorrélées ainsi obtenues et les demi-modules lagrangiens distants, ce qui précise aussi la correspondance entre sommes de Gauss et bases décorrélées. 3) Des corollaires sur le groupe de Clifford et l’espace des phases discret sont alors développés.Enfin, nous présentons quelques outils inspirés de l’étude précédente. Nous traitons ainsi du rapport anharmonique sur la sphère de Bloch, de géométrie projective en dimension supérieure, des opérateurs de Pauli continus et nous comparons l'entropie de von Neumann à une mesure de l'intrication par calcul d'un déterminant. / For d not a power of a prime, the maximal number of mutually unbiased bases (MUBs) in a d-dimensional Hilbert space is still unknown. In this thesis, we begin by an original building of MUBs by means of Gauss sums, in relation with a family of irreducible representations of the Lie algebra su(2).Then, we sytematically study the possibility of building such bases by means of Pauli operators. 1) The study of the projective line on Zdm shows that, in order to obtain maximal sets of MUBs, tensorial products of these operators are in order. 2) Lagrangian submodules of Zd2n, of which we give a complete classification, account for maximally commuting sets of Pauli operators. This classification enables to know which of these sets are likely to yield unbiased bases. They correspond to Lagrangian half-modules that can be interpreted as the isotropic points of the projective line (P(Mat(n, Zd)²),ω). Hence, we establish an isomorphism between the unbiased bases thus obtained and distant Lagrangian half-modules, which precises by the way the correspondance between Gauss sums and MUBs. 3) Corollaries on the Clifford group and the finite phase space are then developed.Finally, we present some tools inspired by the previous study. We deal with the cross-ratio on the Bloch sphere and projective geometry in higher dimension, Pauli operators with continuous exponents and we compare von Neumann entropy with a determinantal measure of entanglement
170

Discrete-continuum coupling method for simulation of laser-inducced damage in silica glass / Couplage modèles discrets - modèles continus pour la simulation d'endommagement induit par choc laser sur la silice

Jebahi, Mohamed 13 November 2013 (has links)
Une méthode de couplage continu-discret a été développée pour simuler les mécanismes complexes d'endommagement de la silice soumise à un choc laser de haute puissance. Dans un premier temps, une classification des méthodes numériques existantes a été faite pour choisir celles les mieux adaptées à la simulation du comportement sous choc de la silice. Comme résultat de cette classification, deux méthodes ont été retenues: la méthode des éléments discrets (DEM) et la méthode des éléments naturels contraints (CNEM). Ces méthodes sont alors couplées en se basant sur la technique dite "Arlequin". Puis, un modèle numérique permettant de tenir compte des différents phénomènes qui caractérise le comportement de la silice sous haute pression a été développé. Pour bien caractériser les mécanismes de fissuration de la silice à l’échelle microscopique, un nouveau modèle de rupture a été développé dans ce travail. Finalement, ces deux modèles, modèle de comportement et modèle de rupture, ont été intégrés dans la méthode du couplage pour simuler d'un point de vue mécanique le choc laser sur un échantillon en silice. / A discrete-continuum coupling approach has been developed to simulate the laser-induced damage in silica glass. First, a classification of the different numerical methods has been performed to select the ones that best meet the objectives of this work. Acting upon this classification, the Discrete Element Method (DEM) and the Constrained Natural Element Method (CNEM) have been retained. Subsequently, a coupling approach between these methods has been proposed. This approach is based on the Arlequin technique. In the second part, a numerical model of the silica glass mechanical behavior has been developed to better characterize the silica glass response under highly dynamic loadings and particularly loading generated by a laser beam. To correctly characterize the silica glass cracking mechanisms, a new fracture model has been proposed in this work. Finally, all these developments have been used to simulate the laser-induced damage in silica glass.

Page generated in 0.0477 seconds