• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 92
  • 79
  • 5
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 208
  • 52
  • 29
  • 27
  • 27
  • 26
  • 24
  • 22
  • 22
  • 21
  • 21
  • 19
  • 18
  • 17
  • 17
  • 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.
21

Quelques contributions en logique mathématique et en théorie des automates / Some contributions in mathematical logic and automata theory

Dahmoune, Mohamed 23 June 2014 (has links)
Les problèmes traités et les résultats obtenus dans ce travail s'inscrivent essentiellement dans le domaine de la théorie des automates, la logique mathématique et leurs applications. Dans un premier temps on utilise les automates finis pour démontrer l'automaticité de plusieurs structures logiques sur des mots finis écrits dans un alphabet infini dénombrable. Ceci nous permet de déduire la décidabilité des théories logiques associées à ces structures. On a considéré par exemple la structure $X=(Sigma^*;prec,clone)$ où $Sigma^*$ désigne l'ensemble des mots finis sur l'alphabet infini dénombrable $Sigma$, $prec$ désigne la relation de préfixe et $clone$ désigne le prédicat qui est vrai pour un mot se terminant par deux lettres identiques. On a démontré l'automaticité de la structure $X$ et la décidabilité de sa théorie du premier ordre et de sa théorie monadique du second ordre. On a aussi considéré des extensions de la structure $X$ obtenues en ajoutant des prédicats comme $sim$ qui est vrai pour deux mots de même longueur. Nous avons en particulier démontré la $M$-automaticité de la structure $(Sigma^*;prec,clone,sim)$, d'où la décidabilité de sa théorie du premier ordre. On a par ailleurs étudié des structures qui comportent le prédicat $diff$ qui est vrai pour un mot dont les lettres sont toutes distinctes. En particulier on a démontré l'automaticité de la structure $D=(Sigma^*;prec,clone,diff)$ et la décidabilité de sa théorie du premier ordre et de sa théorie monadique du second ordre. On a également obtenu, par interprétation logique, des résultats de décidabilité et des résultats d'indécidabilité pour plusieurs variantes des structures $X$ et $D$, ainsi que pour des familles de structures appelées emph{structure d'applications exclusives} et emph{structure de décomposition}.Dans un deuxième temps on s'est intéressé au problème de la réduction du nombre de transitions dans les automates finis. On a commencé par étendre le concept de emph{Common Follow Sets} d'une expression régulière aux automates finis homogènes. On a montré comment établir une liaison assez directe entre des systèmes de CFS spécifiques et les arbres binaires complets. Ce lien est prouvé en utilisant un objet combinatoire appelé emph{triangle d'Ératosthène - Pascal}. Cette correspondance permet de transformer la valeur qui nous intéresse (le nombre de transitions) en une valeur assez naturelle associée aux arbres (le poids d'un arbre). En effet, construire un automate ayant un minimum de transitions revient à trouver un arbre de poids minimal. On a montré, d'une part, que ce nombre de transitions est asymptotiquement équivalent à $n(log_2 n)^2$ (la borne inférieure). D'autre part, les tests expérimentaux montrent que pour les petites valeurs de $n$, les automates minimaux en nombre de transitions coïncident (en nombre et en taille) avec ceux obtenus par notre construction. Cela nous mène à suggérer que notre réduction est finalement une minimisation pour les automates triangulaires. Dans un dernier temps on a présenté une étude expérimentale concernant l'application des automates à trous dans le domaine de la recherche approchée de motif dans les dictionnaires de mots. Contrairement aux complexités théoriques, temps de recherche et espace de stockage exponentiels, nos expérimentations montrent la linéarité de l'automate à trous / This work deals mainly with automata theory, mathematical logic and their applications. In the first part, we use finite automata to prove the automaticity of several logical structures over finite words written in a countable infinite alphabet. These structures involve predicates like $pred$, $clone$ and $diff$, where $x pred y$ holds if $x$ is a strict prefix of $y$, $clone(x)$ holds when the two last letters of $x$ are equal, and $diff(x)$ holds when all letters of $x$ are pairwise distinct. The automaticity results allow to deduce the decidability of logical theories associated with these structures. Other related decidability/undecidability results are obtained by logical interpretation. In the second part, we generalize the concept of Common Follow Sets of a regular expression to homogeneous finite automata. Based on this concept and a particular class of binary trees, we devise an efficient algorithm to reduce/minimize the number of transitions of triangular automata. On the one hand, we prove that the produced reduced automaton is asymptotically minimal, in the sense that for an automaton with $n$ states, the number of transitions in the reduced automaton is equivalent to $n(log_2 n)^2$ , which corresponds at the same time to the upper and the lower known bounds. On the other hand, experiments reveal that for small values of $n$, all minimal automata are exactly those obtained by our reduction, which lead us to conjecture that our construction is not only a reduction but a minimization. In the last part, we present an experimental study on the use of special automata on partial words for the approximate pattern matching problem in dictionaries. Despite exponential theoretical time and space upper bounds, our experiments show that, in many practical cases, these automata have a linear size and allow a linear search time
22

Wastewater minimisation in multipurpose batch plants with changeover constraints and energy optimisation

Adekola, Omobolanle January 2017 (has links)
Water and energy are very necessary resources for operating any chemical plant and contribute to total costs. Economic reasons notwithstanding, the processing industry has been incentivised to practise sustainable production in which the consumption of energy and water are more efficient, in response to stringent environmental legislation and public perception. Published literature exists for the independent investigation of water and energy optimisation in batch plants. It has been established for the individual problems that, a true optimum can only be obtained if batch production scheduling and water use or energy optimisation are performed simultaneously. However, the simultaneous optimisation of both water and energy within the same production scheduling framework has been largely ignored, due to the potential complexities of such a problem. Additionally, literature addressing the minimisation of water in fixed load problems has usually assumed that the water using operations (washing) are sequence independent. This is unlikely, as equipment units usually perform more than one task in multipurpose batch plants. Since the sequence of tasks in a unit influences both the occurrence and extent of washing in the unit, appropriate consideration of task sequences during production can contribute to wastewater minimisation. This thesis presents a mathematical formulation for the production scheduling of multipurpose batch plants, in which sequence dependent changeover costs are addressed. When compared to an existing formulation, the proposed formulation leads to a smaller sized model with fewer binary variables, continuous variables and constraints for a given case study, although the same objective was obtained. Expanding upon this, a mathematical formulation for simultaneous batch production scheduling and wastewater minimisation, for which the water requirement in a unit is dependent on tasks and their successors, is presented. The effectiveness of the formulation was demonstrated using two case studies. The results show improvements in profit and reduced wastewater generation when the sequence of tasks is taken into consideration. One case study saw water savings of 48% achieved with this method. The formulation was extended to incorporate process integration in the form of direct water reuse, which resulted in a further improvement in profit and water use. The third contribution in this thesis is a simultaneous method for the optimisation of energy and water embedded within a scheduling framework. In addition, opportunities for direct and indirect heat integration as well as direct and indirect water reuse were explored with the objective of improving the profitability of the plant while minimising water and external utility usage. The applicability of the method was demonstrated with three case studies. The developed formulation proved superior to a method that solved the same problem sequentially. / Thesis (PhD)--University of Pretoria, 2017. / Chemical Engineering / PhD / Unrestricted
23

Avfallsförebyggande åtgärder : Incitament, hinder och metoder / Waste prevention : Incentives, obstacles and methods

Johanson, Emelie, Zakrisson, Lisa January 2019 (has links)
För att uppnå en hållbar utveckling krävs en omställning från den linjära ekonomin med sin avfallsgenerering till en mer cirkulär sådan där resurser inte utarmas utan används i en takt där de hinner förnyas och återskapas. En konsekvens av den ohållbara resursförbrukningen är att avfallsmängderna i världen ökar vilket bidrar till den ohållbara utvecklingen och bör således undvikas. För att lösa detta problem kan man arbeta avfallsförebyggande, det vill säga minska avfallsmängderna och dess negativamiljöeffekter innan avfallet uppkommer. Enligt avfallshierarkin som anger en prioriteringsordning utifrån vad som är bäst sett ur ett miljöperspektiv ska avfall i första hand förebyggas, därefter återanvändas, återvinnas, energiutvinnas och om inget av ovanstående alternativ är möjliga, deponeras. Rapporten har som syfte att sammanställa incitament, hinder, avfallsförebyggande metoder och utvärderande mätmetoder kopplade till avfallsförebyggande åtgärder och är en förstudie till ett större projekt som genomförs av IVL Svenska Miljöinstitutet. För att uppnå syftet har en litteraturstudie gjorts för insamling av material. Utöver litteraturstudien har intervjuer som IVL genomfört med aktörer som redan påbörjat ett avfallsförebyggande arbete använts som material. De intervjuade aktörerna är Ikea, JM, Avfall Sverige, Kretslopp och vatten samt Uppsala kommun. Resultatet sammanställer fyra olika typer av incitament: institutionella, ekonomiska, uppsatta mål och övriga incitament. Identifierade hinder grupperas också in i fyra olika typer: mål- och intressekonflikter, ekonomiska hinder, organisatoriska hinder och informativa hinder. Mätmetoder som lyfts för att utvärdera avfallsförebyggande åtgärder är direkt kvantifiering, kostnadsanalys, användande av indikatorer samt resursproduktivitetsförhållanden. Avfallsförebyggande metoder inkluderar i denna rapport product-service system (PSS), återanvändning, ekodesign och beteendeförändringar. Olika aktörer som arbetar avfallsförebyggande lyfts i ett exempelkapitel. I analysen kopplas metoderna samman med de utvalda aktörernas avfallsförebyggande arbete. Direkt kvantifiering visade sig vara en vanligt förekommande mätmetod och en vanligt förekommande avfallsförebyggande metod är beteendeförändringar. Ekonomiska incitament lyfts som särskilt viktiga och behovet av uppskalning och spridning av det avfallsförebyggande arbetet bedöms vara ett viktigt hinder att överbrygga. / To reach a sustainable development there is a need to convert from the linear economy with its waste generation to a more circular economy where natural resources are not depleted but are consumed in a sustainable rate so that the resources are given time to be renewed. One of the consequences of the unsustainable consumption of natural resources is that the amounts of waste is increasing in the world which contributes to the unsustainable development and should therefore be avoided. A solution to this problem is to work with waste prevention, which means to reduce the amounts of waste and its negative environmental effects before the waste is generated. According to the waste hierarchy, which is an order of priority decided by what is best in an environmental point of view, waste should primary be prevented, thereafter it should be reused, recycled, used for energy recovery and, if none of the other options are possible, be disposed. The objective of this report is to compile incentives, obstacles, methods and measuring methods for waste prevention. The report is a pilot study/pre-study for a bigger project by the Swedish environment institution (IVL). To reach the aim material has been collected from a literature study. Besides the literature study, the report also uses material from interviews held by IVL. The interviewees are actors who have already started preventing their waste and these are Ikea, JM, Avfall Sverige, Kretslopp och vatten and Uppsala kommun. In the result the incentives have been divided into four parts: institutional incentives, economic incentives, goals and other incentives. The obstacles are also divided into four parts: conflicts of interests and aims, economic obstacles, organisatory obstacles and informative obstacles. The measuring methods found in the material are direct quantification, cost analysis, indicators and resource productivity ratios. Waste prevention methods in this report includes PSS, reuse, ecodesign and behavioural changes. Also, some examples of actors who are preventing waste are presented. In the analysis the methods are connected to the chosen actors’ waste prevention. The most common method to prevent waste is, according to the result of the report, behavioural changes. The most common method for measuring waste prevention in the result is direct quantification. Economic incentives seem to be of significant importance and the need of spreading and upscaling of waste prevention is an important obstacle to tackle.
24

Un algorithme génétique pour l'arrimage moléculaire

Levac, François January 2001 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
25

Maintenance Scheduling With Delay-time Modelling - An Overview

Du, Jing-Yu, Li, Jian-Ping, Hu, Yim Fun, Guan, X., Si, M., Liu, B. 01 August 2021 (has links)
No / Effective maintenance is a key for infrastructures’ high operational reliability. The integration of corrective repairs and schedule-based failure preventions has been a mainstream of modern maintenance, and an associated policy-making technique, delay-time modelling, is overviewed in this paper for optimising the maintenance cost-efficiency in different practical scenarios, including imperfect, opportunistic and nested maintenance. A few typical examples of its applications in minimising maintenance operating expenses are discussed in this paper and their results are explained to better demonstrate the benefits of the technique. This work aims to prepare for the future applications of the delay-time modelling in railway maintenance policy making.
26

Modélisation, commande et optimisation d’un réseau multi-sources. Application à la traction de véhicules électriques. / Modeling, control and optimization of a multisource energy network. Application to electric vehicle traction systems

Aiteur, Imad-Eddine 20 June 2019 (has links)
Les travaux de cette thèse portent sur l’investigation d’approches de commande et de supervision permettant d’aborder la problématique de gestion d’énergie des réseaux électriques multi-sources. l’objectif souhaité était de proposer une démarche de conception de lois de commande pour ce type de système en vue de réguler la tension de sortie et de gérer d’une manière optimale les flux d’énergie entre les différentes sources et les consommateurs et au vu de minimiser la consommation d’hydrogène.A cette fin, deux configurations ont été envisagées :l’application d’approches à base d’un modèle statique et des stratégies à base d’un modèle dynamique de la PàC. Dans un premier temps, trois approches de gestion énergétique ont été appliquées au système visant à minimiser la consommation de masse d’hydrogène tout en respectant les contraintes physiques du système.Tout d’abord, l’optimisation est réalisée en utilisant une méthode d’optimisation hors ligne appelée la programmation dynamique. Deuxièmement, deux approches d’optimisation en ligne sont utilisées : stratégies ECMS et MPC. Une comparaison en termes de consommation d’hydrogène et de temps de calcul est réalisée.Dans un deuxième temps, une approche décentralisée de commande a été envisagée afin de tenir compte du modèle dynamique de la PàC dans la conception du superviseur. L’avantage de cette architecture réside dans sa capacité a aborder séparément chacune des problématiques dans l’optique de répondre aux différents objectifs de commande. Dans ce cadre, la régulation du système PàC et de l’état de charge de l’ESS est réalisée séparément avec deux contrôleurs différents, tous deux conçus en utilisant l’approche (MPC-LTV). Les troisième et quatrième niveaux de la structure de contrôle décentralisée consistent en des boucles de locale des courants de la PàC et de SC et un contrôle de tension du bus continu, conçu à l’aide de contrôleurs PI. La validation de la structure de contrôle est réalisée en simulation en utilisant un modèle non linéaire du système PàC.A la fin, les approches de commande conçues à base du modèle statique de la PàC (DP, ECMS et MPC) seront appliquées sur le modèle dynamique de cette dernière afin d’évaluer les performances de ces approches et d’en déduire des conclusions sur l’apport de l’intégration de la dynamique de la PàC dans la synthèse des lois de commande. / This thesis focuses on the investigation of control approaches to treat the issue of energy management of multi-source electrical networks. The considered electric motor supply system consists on a fuel cell as a main energy source and an additional element that supplies peak power and charges by regenerative braking. At first, three energy management strategies have been applied to the sypply system aiming to minimize the fuel cell hydrogen mass consumption while satisfying the system physical constraints. First, the optimization is realized using dynamic programming,an off-line optimization method that requires the knowledge of the entire power load profile. Secondly, twoon-line optimization approaches are used : ECMS and MPC strategies, for which only the current power demand is demanded.The second part of this thesis presents a decentralized control strategy applied to the power system. The dedicated control structure aims to assure an optimal operation of the FC system while respecting the compressor physical limits and to control the converter current sand network output voltage. To attain these objectives, a dynamic model of the FC system is used,in addition to the SSE and electric network dynamics. The FC system regulation and the control of the SSE state of energy are performed separately with two different controllers, both designed using (MPC-LTV) approach. The third and fourth levels of the decentralized control structure consists on inner control loops for fuel cell/supercapacitor currents and a DC bus voltage control loop, designed using PI controllers. The validation of the control structure is performed in simulation using a nonlinear models of the FC system and the SSE. To validate and compare the performance of different control methods based on a fuel cell static model, these approaches have been applied to the dynamic model of the FC and compared to the results obtained by applying the approched designed and based on an FC dynamic model. A comparison in terms of network efficiency and hydrogen consumption has been done.
27

Profils d'utilisation d'antipsychotiques en conditions réelles dans la population de personnes âgées démentes vivant à domicile : impact des interventions de communication de risque

Craig, Camille 11 1900 (has links)
Les antipsychotiques (APs) sont fréquemment prescrits pour les troubles comportementaux associés à la démence. Or, ces produits ont fait l'objet de trois mises en garde (2002, 2004, 2005) en raison d'une augmentation du risque d'événement cérébrovasculaire et de décès. L’objectif de ce mémoire est d’évaluer l'utilisation d’APs dans la population de personnes âgées démentes vivant à domicile, et de déterminer l’effet des mises en garde sur les profils observés. Une cohorte rétrospective de 10,969 personnes âgées démentes ayant débuté un traitement par AP entre le 1er janvier 2000 et le 31 décembre 2009 fut identifiée à partir des banques de données de la Régie de l'assurance maladie du Québec (RAMQ). Des séries chronologiques segmentées ont permis de quantifier l’effet des mises en garde sur l'utilisation d’APs. L'effet de la mise en garde de 2005 sur les caractéristiques des patients traités ainsi que sur les profils d'utilisation (dose et durée) a été évalué, respectivement par des modèles de régression logistique et de régression linéaire multivariés. Le taux délivrance d'APs atypiques a augmenté au cours du temps jusqu'à la mise en garde de 2005 pour ensuite diminuer de 8.96% (IC 95% : -11.91% – -6.02%). L'analyse par produit a révélé la même tendance pour la rispéridone, le seul AP approuvé au Canada pour les personnes âgées démentes. En revanche, le taux de délivrance de quétiapine, qui est hors-indication, a continué d'augmenter. Le taux d'initiation de traitement par APs a cependant diminué au cours du temps pour tous les produits. Les mises en garde ne semblent pas être associées avec un changement dans les caractéristiques des patients traités, ni avec les doses et durées d’utilisation. Le manque d'efficacité des mises en garde est probablement en partie lié à l'absence d'alternatives thérapeutiques pour le traitement des troubles psychologiques et comportementaux chez les patients atteints de démence. / Antipsychotics (APs) are frequently prescribed for the management of behavioural and psychological symptoms of dementia (BPSD). However, three safety warnings have been issued (2002, 2004 and 2005) due to an increased risk of cerebrovascular event and mortality. The aim of this thesis was to evaluate AP usage in the population of community-dwelling elderly with dementia, and to determine the effect of safety warnings on usage patterns. A retrospective cohort of 10,969 elderly with dementia who initiated an AP treatment between January 1st, 2000 and December 31st, 2009 was identified through in the databases of Régie de l’assurance maladie du Québec (RAMQ). Segmented time series analysis was used to quantify the effect of safety warnings on AP dispensing rate. The effect of the 2005 warning on the characteristics of treated patients and on usage patterns (dose and duration) was evaluated, respectively through multivariate logistic and multiple linear regression models. Atypical AP dispensing rates increased until the 2005 safety warning and decreased by 8.96% (95% CI: -11.91% – -6.02%) thereafter. Analysis by individual products yielded similar trends for risperidone, the only AP approved in Canada for elderly with dementia. However, usage of quetiapine, which is off-label, kept increasing. For all products, rate of treatment initiation decreased over time. Safety warnings did not seem to be associated with either changes in prescribed treatment dosage or duration, nor with prescription channeling toward lower risk patients. Apparent lack of efficacy of safety warnings is likely due, in part, to absence of effective treatment alternatives for BPSD.
28

Profils d'utilisation d'antipsychotiques en conditions réelles dans la population de personnes âgées démentes vivant à domicile : impact des interventions de communication de risque

Craig, Camille 11 1900 (has links)
Les antipsychotiques (APs) sont fréquemment prescrits pour les troubles comportementaux associés à la démence. Or, ces produits ont fait l'objet de trois mises en garde (2002, 2004, 2005) en raison d'une augmentation du risque d'événement cérébrovasculaire et de décès. L’objectif de ce mémoire est d’évaluer l'utilisation d’APs dans la population de personnes âgées démentes vivant à domicile, et de déterminer l’effet des mises en garde sur les profils observés. Une cohorte rétrospective de 10,969 personnes âgées démentes ayant débuté un traitement par AP entre le 1er janvier 2000 et le 31 décembre 2009 fut identifiée à partir des banques de données de la Régie de l'assurance maladie du Québec (RAMQ). Des séries chronologiques segmentées ont permis de quantifier l’effet des mises en garde sur l'utilisation d’APs. L'effet de la mise en garde de 2005 sur les caractéristiques des patients traités ainsi que sur les profils d'utilisation (dose et durée) a été évalué, respectivement par des modèles de régression logistique et de régression linéaire multivariés. Le taux délivrance d'APs atypiques a augmenté au cours du temps jusqu'à la mise en garde de 2005 pour ensuite diminuer de 8.96% (IC 95% : -11.91% – -6.02%). L'analyse par produit a révélé la même tendance pour la rispéridone, le seul AP approuvé au Canada pour les personnes âgées démentes. En revanche, le taux de délivrance de quétiapine, qui est hors-indication, a continué d'augmenter. Le taux d'initiation de traitement par APs a cependant diminué au cours du temps pour tous les produits. Les mises en garde ne semblent pas être associées avec un changement dans les caractéristiques des patients traités, ni avec les doses et durées d’utilisation. Le manque d'efficacité des mises en garde est probablement en partie lié à l'absence d'alternatives thérapeutiques pour le traitement des troubles psychologiques et comportementaux chez les patients atteints de démence. / Antipsychotics (APs) are frequently prescribed for the management of behavioural and psychological symptoms of dementia (BPSD). However, three safety warnings have been issued (2002, 2004 and 2005) due to an increased risk of cerebrovascular event and mortality. The aim of this thesis was to evaluate AP usage in the population of community-dwelling elderly with dementia, and to determine the effect of safety warnings on usage patterns. A retrospective cohort of 10,969 elderly with dementia who initiated an AP treatment between January 1st, 2000 and December 31st, 2009 was identified through in the databases of Régie de l’assurance maladie du Québec (RAMQ). Segmented time series analysis was used to quantify the effect of safety warnings on AP dispensing rate. The effect of the 2005 warning on the characteristics of treated patients and on usage patterns (dose and duration) was evaluated, respectively through multivariate logistic and multiple linear regression models. Atypical AP dispensing rates increased until the 2005 safety warning and decreased by 8.96% (95% CI: -11.91% – -6.02%) thereafter. Analysis by individual products yielded similar trends for risperidone, the only AP approved in Canada for elderly with dementia. However, usage of quetiapine, which is off-label, kept increasing. For all products, rate of treatment initiation decreased over time. Safety warnings did not seem to be associated with either changes in prescribed treatment dosage or duration, nor with prescription channeling toward lower risk patients. Apparent lack of efficacy of safety warnings is likely due, in part, to absence of effective treatment alternatives for BPSD.
29

Etude mathématique de la convergence de la PGD variationnelle dans certains espaces fonctionnels / Mathematical study of the variational PGD’s convergence in certain functional spaces

Ossman, Hala 23 May 2017 (has links)
On s’intéresse dans cette thèse à la PGD (Proper Generalized Decomposition), l’une des méthodes de réduction de modèles qui consiste à chercher, a priori, la solution d’une équation aux dérivées partielles sous forme de variables séparées. Ce travail est formé de cinq chapitres dans lesquels on vise à étendre la PGD aux espaces fractionnaires et aux espaces des fonctions à variation bornée, et à donner des interprétations théoriques de cette méthode pour une classe de problèmes elliptiques et paraboliques. Dans le premier chapitre, on fait un bref aperçu sur la littérature puis on présente les notions et outils mathématiques utilisés dans le corps de la thèse. Dans le second chapitre, la convergence des suites des directions alternées (AM) pour une classe de problèmes variationnels elliptiques est étudiée. Sous une condition de non-orthogonalité uniforme entre les itérés et le terme source, on montre que ces suites sont en général bornées et compactes. Alors, si en particulier la suite (AM) converge faiblement alors elle converge fortement et la limite serait la solution du problème de minimisation alternée. Dans le troisième chapitre, on introduit la notion des dérivées fractionnaires au sens de Riemann-Liouville puis on considère un problème variationnel qui est une généralisation d’ordre fractionnaire de l’équation de Poisson. En se basant sur la nature quadratique et la décomposabilité de l’énergie associée, on démontre que la suite PGD progressive converge fortement vers la solution faible de ce problème. Dans le quatrième chapitre, on profite de la structure tensorielle des espaces BV par rapport à la topologie faible étoile pour définir les suites PGD dans ce type d’espaces. La convergence de telle suite reste une question ouverte. Le dernier chapitre est consacré à l’équation de la chaleur d-dimensionnelle, où on discrétise en temps puis à chaque pas de temps on cherche la solution de l’équation elliptique en utilisant la PGD. On montre alors que la fonction affine par morceaux en temps obtenue à partir des solutions construites en utilisant la PGD converge vers la solution faible de l’équation. / In this thesis, we are interested in the PGD (Proper Generalized Decomposition), one of the reduced order models which consists in searching, a priori, the solution of a partial differential equation in a separated form. This work is composed of five chapters in which we aim to extend the PGD to the fractional spaces and the spaces of functions of bounded variation and to give theoretical interpretations of this method for a class of elliptic and parabolic problems. In the first chapter, we give a brief review of the litterature and then we introduce the mathematical notions and tools used in this work. In the second chapter, the convergence of rank-one alternating minimisation AM algorithms for a class of variational linear elliptic equations is studied. We show that rank-one AM sequences are in general bounded in the ambient Hilbert space and are compact if a uniform non-orthogonality condition between iterates and the reaction term is fulfilled. In particular, if a rank-one (AM) sequence is weakly convergent then it converges strongly and the common limit is a solution of the alternating minimization problem. In the third chapter, we introduce the notion of fractional derivatives in the sense of Riemann-Liouville and then we consider a variational problem which is a generalization of fractional order of the Poisson equation. Basing on the quadratic nature and the decomposability of the associated energy, we prove that the progressive PGD sequence converges strongly towards the weak solution of this problem. In the fourth chapter, we benefit from tensorial structure of the spaces BV with respect to the weak-star topology to define the PGD sequences in this type of spaces. The convergence of this sequence remains an open question. The last chapter is devoted to the d-dimensional heat equation, we discretize in time and then at each time step one seeks the solution of the elliptic equation using the PGD. Then, we show that the piecewise linear function in time obtained from the solutions constructed using the PGD converges to the weak solution of the equation.
30

Commande non linéaire fondée sur la platitude d'un système de production éolien / Nonlinear Flatness-based control of a wind generation system

Alhamed Aldwaihi, Hani 14 October 2013 (has links)
La problématique de la production d'énergie renouvelable, l'énergie du vent dans notre cas, est liée au réglage de l'amplitude et de la fréquence de la tension du générateur entraîné par l'éolienne. Ces réglages sont nécessaires pour injecter la puissance électrique produite sur le réseau électrique. Les avancées de l'électronique de puissance, en particulier les convertisseurs de puissances commandés (redresseur, onduleur, convertisseur boost, etc), ont aidé à résoudre ces problèmes de réglage. Le défi de la production éolienne est d'améliorer la stratégie de commande appliquée aux convertisseurs, afin d'augmenter la qualité de la puissance produite et de minimiser les pertes électriques et ainsi de réduire le coût de production. Dans cette thèse, nous avons développé la commande non linéaire fondée sur la platitude d'un système de production éolien et son couplage au réseau. Cette approche permet de faciliter la construction de la loi de commande. Nous avons exposé un réglage simple et intuitif des gains des contrôleurs, reposant sur très peu de paramètres. Les pertes électriques au stator du GSAP sont minimisées, la stratégie de MPPT est réalisée sur la partie de production. Le facteur de puissance de l'énergie injectée sur le réseau électrique est contrôlé à n'importe quelle valeur désirée comprise entre zéro et un. / The problem of the production of renewable energy, ``wind energy in our case'' is related to the adjustment of the amplitude and the frequency of the voltage of the generator driven by the wind turbine. These settings are required to supply the produced electrical power to an electrical network. The advancement of the power electronics used in the power converters (rectifiers, inverters, boost converters, etc.), helped to solve these two problems of adjustment. The challenge of wind generation is to improve the control strategy applied to the converters to increase the quality of the produced power and to minimize the electrical losses of the generator, and therefore to reduce the cost of production system. In this thesis, we developed the nonlinear flatness-based control of a wind generation system. This command is used to facilitate the construction of the control law. We have shown that this command allows the designer to choose the controller gains with few and intuitive tuning parameters. Electrical losses in the stator of the Permanent Magnets Synchronous Generator (PMSG) are minimized, the Maximum Power Point Tracking strategy (MPPT) is applied to the production system and the power factor of the apparent power injected to the grid is controlled to obtain any desired value between zero and one.

Page generated in 0.5643 seconds