Este trabalho apresenta um estudo sobre o método da continuação aplicado ao problema de fluxo de potência. Definições e conceitos de estabilidade de tensão são descritos de forma a explicitar as diferenças e semelhanças existentes com relação ao estudo de máximo carregamento em sistemas de energia elétrica. Uma síntese da teoria da bifurcação aborda sua importância em estudos de colapso de tensão. É proposta uma técnica de controle do tamanho do passo para o método da continuação com o objetivo de determinar o ponto de máximo carregamento (PMC) sem a necessidade de especificar, por meio do usuário, um valor para o tamanho inicial do passo. Os resultados dos estudos realizados em sistemas testes do IEEE (14, 30, 57 e 118 barras) mostram a aplicação do método da continuação convencional e de sua associação à técnica de controle do tamanho do passo. / This work presents a research about the continuation method applied to the power flow problem. Voltage stability definitions and concepts are described in a way to highlight and point out the differences and the similarities among several methods used to determine the maximum loading of electrical power systems. A short description of the bifurcation theory is also presented in order to show its importance to the voltage collapse studies. A technique based on automatically controlling the step size is proposed as an innovation of the continuation method. The objective of this technique is to determine the maximum loading point without the traditional need of asking the user for the initial step size. The results compare the performance between the conventional and the new method. These methods are analyzed using IEEE test systems (14, 30, 57 and 118-bus).

In this work, we make a brief review of the Conformal Field Theory in two dimensions,in order to understand some basic definitions in the study of the Liouville Field Theory, which has many application in theoretical physics like string theory, general relativity and supersymmetric gauge field theories. In particular, we focus on the analytic continuation of the Liouville Field Theory, context in which an interesting relation with the Chern-Simons Theory arises as an extension of its well-known relation with the Wess-Zumino-Witten model. Thus, calculating correlation functions by using the complex solutions of the Liouville Theory will be crucial aim in this work in order to test the consistency of this analytic continuation. We will consider as an application the time-like version of the Liouville Theory, which has several applications in holographic quantum cosmology and in studying tachyon condensates. Finally, we calculate the three-point function for the Wess-Zumino-Witten model for the standard Kac-Moody level k > 2 and the particular case 0 < k < 2, the latter has an interpretation in time-dependent scenarios for string theory. Here we will find an analogue relation we find by comparing the correlation function of the time-like and space-like Liouville Field Theory. / Neste trabalho, nós fazemos uma breve revisão da Teoria de Campo Conforme em duas dimensões, a fim de entender algumas denições básicas do estudo da Teoria de Campo de Liouville, que tem muitas aplicações em física teórica como a teoria das cordas, a relatividade geral e teorias de campo de calibre supersimétricas. Em particular, vamos nos concentrar sobre a continuação analítica da Teoria de Campo de Liouville, contexto no qual uma interessante relação com a Teoria de Chern-Simons surge como uma extensão de sua relação conhecida com o modelo de Wess-Zumino-Witten. Assim, o cálculo das funções de correlação usando as soluções complexas da Teoria Liouville será o objectivo fundamental neste trabalho, a fim de testar a consistência da continuação analítica. Vamos considerar como uma aplicação a versão time-like da Teoria de Liouville, que tem várias aplicações em cosmologia quântica holográfica e no estudo de condensados de tachyon. Finalmente, calculamos a função de três pontos para o modelo de Wess-Zumino-Witten no nível de Kac-Moody k > 2 e o caso particular 0 < k < 2, este último tem uma interpretação em cenários dependentes do tempo para a teoria das cordas. Aqui nós vamos encontrar uma relação análoga ao que temos para a função de correlação do space-like e time-like na Teoria de Campo de Liouville.

This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map $\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds $M \Subset \mathbb{R}\times M_0$. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on $M_0$. The construction is based on our proof of existence of Gaussian Beams on $M_0$, which are a family of smooth approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\tau \in \mathbb{R}$, bounded in $L^2$ norm and concentrating in measure along geodesics when $\tau \to \infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For $m > 1$ and $M_0$ simple we reduce the problem to a certain two dimensional $\textit{new non-abelian ray transform}$. In our second approach, we assume that the connection $A$ is a $\textit{Yang-Mills connection}$ and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m > 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: $\Lambda_A$ is a pseudodifferential operator of order $1$ acting on sections of $E|_{\partial M}$, whose full symbol determines the full Taylor expansion of $A$ at the boundary.

Orientador: Dilson Amancio Alves / Banca: Percival Bueno de Araujo / Banca: Carlos Roberto Minussi / Banca: Geraldo Roberto Martins da Costa / Banca: Luiz Carlos Pereira da Silva / Resumo: Este trabalho apresenta dois métodos para a análise estática de contingências em Sistemas Elétricos de Potência utilizando o Método da Continuação. No primeiro método a margem de carregamento pós-contingência é obtida a partir do ponto de máximo carregamento do caso base. A magnitude de tensão de uma barra qualquer é usada como parâmetro na etapa de parametrização do fluxo de carga continuado. O ramo selecionado para avaliação da contingência é parametrizado por um fator de escalonamento que possibilita a remoção gradual do ramo e assegura a convergência nos casos em que o método diverge para a retirada total da linha de transmissão. Em geral, para a maioria das contingências analisadas são necessárias poucas iterações para a determinação do ponto de máximo carregamento pós-contingência. Mostra-se que o método pode ser usado como uma técnica alternativa para a averiguação e até mesmo para a obtenção da lista de contingências críticas fornecida pela função de análise de segurança de sistemas elétricos. No outro método, o qual obtém o ponto de máximo carregamento de pós-contingência a partir do caso base, as variáveis ângulo de fase e magnitude de tensão de uma barra k qualquer, e a perda total de potência ativa, são propostas como parâmetros para a etapa de parametrização do fluxo de carga continuado utilizado na averiguação da lista de contingências críticas fornecida pela função de análise de segurança de sistemas elétricos. Nos casos em que há divergência do fluxo de carga, o método proposto possibilita confirmar se esta ocorre devido à deficiência numérica do método em si ou a inexistência de um ponto de operação factível de pós-contingência. O uso da perda total de potência ativa como parâmetro traz como vantagem a possibilidade da determinação de pontos além do ponto de singularidade sem a necessidade...(Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work presents two methods for static contingency analysis of electric power systems by using Continuation Methods. In the first the post-contingency loading margin is obtained from the base case maximum loading point. The voltage magnitude of any bus can be used as a parameter in the parameterization step of the proposed continuation power flow. The branch selected for contingency evaluation is parameterized by a scaling factor which allows its the gradual removal and assures the continuation power flow convergence for the cases where the method would diverge for the complete transmission line removal. In general, for most of the analyzed contingencies little iterations are necessary for the determination of the post-contingency maximum loading point. It is shown that the method can be used as an alternative technique to verify and even to obtain the list of critical contingencies supplied by the electric power systems security analysis function. In the other method, which obtains the maximum loading point from the base case, new parameters, namely the voltage magnitudes, phase angles and the total power losses, for evaluating the effects of branch outages. The approach can be used as a verification tool after a list of critical contingencies had been ranked according to their severities by the contingency selection functions. It is then possible to find whether the non-convergence of a power flow is due to a numerical problem or to an infeasible operating situation. The mains advantage of using the total real power losses as a parameter is that it is not necessary to change parameters during the solutions tracing until beyond the simple limit point, where the original Jacobian is singular. The proposed methods facilitate the development and the implementation of continuation methods for contingencies analysis / Doutor

<p>In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.</p><p>We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. This representation brings LK to a manageable form that allows us to split the succedent rules into parts. In this way, every succedent rule gives rise to a natural deduction style introduction rule. These introduction rules, taken together with the antecedent rules adapted to natural deduction, yield a natural deduction calculus whose subsequent interpretation in constructive type theory gives meaning to classical logic.</p><p>The Gentzen-Prawitz inversion principle holds for the introduction and elimination rules of the natural deduction calculus and allows for a corresponding notion of convertibility. We take the introduction rules to determine the meanings of the logical constants of classical logic and use the induced type-theoretic elimination rules to interpret the elimination rules of the natural deduction calculus. This produces an interpretation injective with respect to convertibility, contrary to an analogous translation into intuitionistic predicate logic.</p><p>From the interpretation in constructive type theory and the interpretation of cut by explicit substitution, we derive a full precision contraction relation for a natural deduction version of LK. We use a term notation to formalize the contraction relation and the corresponding cut-elimination procedure.</p><p>The interpretation can be read as a Brouwer-Heyting-Kolmogorov (BHK) semantics that justifies classical logic. The BHK semantics utilizes a notion of classical proof and a corresponding notion of classical truth akin to Kolmogorov's notion of pseudotruth. We also consider a second BHK semantics, more closely connected with Kolmogorov's double-negation translation.</p><p>The first interpretation reinterprets the consequence relation while keeping the constructive interpretation of truth, whereas the second interpretation reinterprets the notion of truth while keeping the constructive interpretation of the consequence relation. The first and second interpretations act on derivations in much the same way as Plotkin's call-by-value and call-by-name continuation-passing-style translations, respectively.</p><p>We conclude that classical logic can be given a constructive semantics by laying down introduction rules for the classical logical constants. This semantics constitutes a proof interpretation of classical logic.</p>

Cette thèse s'inscrit dans le domaine des problèmes inverses en traitement du signal. Elle est consacrée à la conception d'algorithmes de restauration et de séparation de signaux parcimonieux et à leur application à l'approximation de courbes de forces en microscopie de force atomique (AFM), où la notion de parcimonie est liée au nombre de points de discontinuité dans le signal (sauts, changements de pente, changements de courbure). Du point de vue méthodologique, des algorithmes sous-optimaux sont proposés pour le problème de l'approximation parcimonieuse basée sur la pseudo-norme ℓ0 : l'algorithme Single Best Replacement (SBR) est un algorithme itératif de type « ajout-retrait » inspiré d'algorithmes existants pour la restauration de signaux Bernoulli-Gaussiens. L'algorithme Continuation Single Best Replacement (CSBR) est un algorithme permettant de fournir des approximations à des degrés de parcimonie variables. Nous proposons aussi un algorithme de séparation de sources parcimonieuses à partir de mélanges avec retards, basé sur l'application préalable de l'algorithme CSBR sur chacun des mélanges, puis sur une procédure d'appariement des pics présents dans les différents mélanges. La microscopie de force atomique est une technologie récente permettant de mesurer des forces d'interaction entre nano-objets. L'analyse de courbes de forces repose sur des modèles paramétriques par morceaux. Nous proposons un algorithme permettant de détecter les régions d'intérêt (les morceaux) où chaque modèle s'applique puis d'estimer par moindres carrés les paramètres physiques (élasticité, force d'adhésion, topographie, etc.) dans chaque région. Nous proposons finalement une autre approche qui modélise une courbe de force comme un mélange de signaux sources parcimonieux retardées. La recherche des signaux sources dans une image force-volume s'effectue à partir d'un grand nombre de mélanges car il y autant de mélanges que de pixels dans l'image.

Cette thèse presente une étude numérique et analytique de la stabilité d'un écoulement incompressible de type jet tournant. L'entraînement du fluide externe par le jet est modélisé numériquement par l'hypothèse de frontières latérales et de sortie ouvertes, les conditions d'entrée correspondant à un profile de Grabowski. L'effet d'une faible viscosité dans le voisinage du nombre de swirl critique est étudié via une analyse asymptotique couplée à des simulations numériques axisymétriques. Un algorithme de continuation basé sur une méthode de projection récursive (RPM) a été implémenté pour capturer les états stationnaires et suivre ces branches de solutions dans l'espace de paramètres ainsi que leur stabilité. La continuation des solutions stationnaires vis-à-vis du paramètre de swirl montre l'existence d'une bifurcation pour les nombres de Reynolds assez grands. L'analyse asymptotique confirme ces résultats numériques. Le diagramme de bifurcation d'un jet tournant possédant une région de recirculation est déterminé dans le cas axisymétrique. Il est montré que l'état stationnaire subit une bifurcation de Hopf supercritique. Enfin, la stabilité globale tridimensionnelle d'un jet tournant avec une région de recirculation est étudiée numériquement par une méthode d'Arnoldi. L'état éclaté axisymétrique apparaît instable vis-à-vis de perturbations tridimensionnelles hélicoïdales. L'effet d'un gradient d'une pression extérieur sur le diagramme de bifurcation est étudié numériquement. Pour un nombre de Reynolds Re=1000, la branche colonnaire (solutions sans recirculation) existe dans le cas d'un gradient de pression favorable pour les grnads paramètres de swirl, mais disparaît quand le gradient de pression est zero. Ce résultat ouvre des perspectives pour une stratégie de contrôle pour retarder l'apparition de l'éclatement tourbillonnaire.

L'objectif de cette thèse est, d'une part, de fournir des méthodes de planification de mouvements pour les systèmes non-holonomes, et d'autre part, d'étudier la contrôlabilité spectrale pour les équations de Schrödinger linéarisées. Nous avons apporté une double contribution au problème de la planification de mouvements pour les systèmes non-holonomes. Fondé sur la géométrie sous-riemannienne, nous avons conçu un nouvel algorithme qui résout complètement le problème dans un cadre général. Nous avons également proposé une implémentation numérique de la méthode de continuation qui fournit des solutions satisfaisantes au problème de la planification du roulement sur le plan, un exemple classique de systèmes non-holonomes à deux entrées. Nous avons donné des conditions nécessaires et suffisantes de contrôlabilité spectrale en temps fini des équations de Schrödinger linéarisées en dimension 2 et 3. Leur généricité par rapport au domaine a été étudiée par une technique originale basée sur les équations intégrales.

In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK. We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. This representation brings LK to a manageable form that allows us to split the succedent rules into parts. In this way, every succedent rule gives rise to a natural deduction style introduction rule. These introduction rules, taken together with the antecedent rules adapted to natural deduction, yield a natural deduction calculus whose subsequent interpretation in constructive type theory gives meaning to classical logic. The Gentzen-Prawitz inversion principle holds for the introduction and elimination rules of the natural deduction calculus and allows for a corresponding notion of convertibility. We take the introduction rules to determine the meanings of the logical constants of classical logic and use the induced type-theoretic elimination rules to interpret the elimination rules of the natural deduction calculus. This produces an interpretation injective with respect to convertibility, contrary to an analogous translation into intuitionistic predicate logic. From the interpretation in constructive type theory and the interpretation of cut by explicit substitution, we derive a full precision contraction relation for a natural deduction version of LK. We use a term notation to formalize the contraction relation and the corresponding cut-elimination procedure. The interpretation can be read as a Brouwer-Heyting-Kolmogorov (BHK) semantics that justifies classical logic. The BHK semantics utilizes a notion of classical proof and a corresponding notion of classical truth akin to Kolmogorov's notion of pseudotruth. We also consider a second BHK semantics, more closely connected with Kolmogorov's double-negation translation. The first interpretation reinterprets the consequence relation while keeping the constructive interpretation of truth, whereas the second interpretation reinterprets the notion of truth while keeping the constructive interpretation of the consequence relation. The first and second interpretations act on derivations in much the same way as Plotkin's call-by-value and call-by-name continuation-passing-style translations, respectively. We conclude that classical logic can be given a constructive semantics by laying down introduction rules for the classical logical constants. This semantics constitutes a proof interpretation of classical logic.

The dynamics around managing urban infrastructure are changing dramatically. Today’s infrastructure management challenges – in the wake of shrinking coffers and stricter stakeholders’ requirements – include finding better condition assessment tools and prediction models, and effective and intelligent use of hard-earn data to ensure the sustainability of urban infrastructure systems. Wastewater collection networks – an important and critical component of urban infrastructure – have been neglected, and as a result, municipalities in North America and other parts of the world have accrued significant liabilities and infrastructure deficits. To reduce cost of ownership, to cope with heighten accountability, and to provide reliable and sustainable service, these systems need to be managed in an effective and intelligent manner. The overall objective of this research is to present a new strategic management framework and related tools to support multi-perspective maintenance, rehabilitation and replacement (M, R&R) planning for wastewater collection networks. The principal objectives of this research include: (1) Developing a comprehensive wastewater collection network asset database consisting of high quality condition assessment data to support the work presented in this thesis, as well as, the future research in this area. (2) Proposing a framework and related system to aggregate heterogeneous data from municipal wastewater collection networks to develop better understanding of their historical and future performance. (3) Developing statistical models to understand the deterioration of wastewater pipelines. (4) To investigate how strategic management principles and theories can be applied to effectively manage wastewater collection networks, and propose a new management framework and related system. (5) Demonstrating the application of strategic management framework and economic principles along with the proposed deterioration model to develop long-term financial sustainability plans for wastewater collection networks. A relational database application, WatBAMS (Waterloo Buried Asset Management System), consisting of high quality data from the City of Niagara Falls wastewater collection system is developed. The wastewater pipelines’ inspections were completed using a relatively new Side Scanner and Evaluation Technology camera that has advantages over the traditional Closed Circuit Television cameras. Appropriate quality assurance and quality control procedures were developed and adopted to capture, store and analyze the condition assessment data. To aggregate heterogeneous data from municipal wastewater collection systems, a data integration framework based on data warehousing approach is proposed. A prototype application, BAMS (Buried Asset Management System), based on XML technologies and specifications shows implementation of the proposed framework. Using wastewater pipelines condition assessment data from the City of Niagara Falls wastewater collection network, the limitations of ordinary and binary logistic regression methodologies for deterioration modeling of wastewater pipelines are demonstrated. Two new empirical models based on ordinal regression modeling technique are proposed. A new multi-perspective – that is, operational/technical, social/political, regulatory, and finance – strategic management framework based on modified balanced-scorecard model is developed. The proposed framework is based on the findings of the first Canadian National Asset Management workshop held in Hamilton, Ontario in 2007. The application of balanced-scorecard model along with additional management tools, such as strategy maps, dashboard reports and business intelligence applications, is presented using data from the City of Niagara Falls. Using economic principles and example management scenarios, application of Monte Carlo simulation technique along with the proposed deterioration model is presented to forecast financial requirements for long-term M, R&R plans for wastewater collection networks. A myriad of asset management systems and frameworks were found for transportation infrastructure. However, to date few efforts have been concentrated on understanding the performance behaviour of wastewater collection systems, and developing effective and intelligent M, R&R strategies. Incomplete inventories, and scarcity and poor quality of existing datasets on wastewater collection systems were found to be critical and limiting issues in conducting research in this field. It was found that the existing deterioration models either violated model assumptions or assumptions could not be verified due to limited and questionable quality data. The degradation of Reinforced Concrete pipes was found to be affected by age, whereas, for Vitrified Clay pipes, the degradation was not age dependent. The results of financial simulation model show that the City of Niagara Falls can save millions of dollars, in the long-term, by following a pro-active M, R&R strategy. The work presented in this thesis provides an insight into how an effective and intelligent management system can be developed for wastewater collection networks. The proposed framework and related system will lead to the sustainability of wastewater collection networks and assist municipal public works departments to proactively manage their wastewater collection networks.