skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Categorical Databases for Mathematical Formalization of AC Optimal Power Flow
It has been decades since category theory was applied to databases. In spite of their mathematical elegance, categorical models have traditionally had difficulty representing factual data, such as integers or strings. This paper proposes a categorical dataset for power system computational models, which is used for AC Optimal Power Flows (ACOPF). In addition, categorical databases incorporate factual data using multi-sorted algebraic theories (also known as Lawvere theories) based on the set-valued functor model. In the advanced metering infrastructure of power systems, this approach is capable of handling missing information efficiently. This methodology enables constraints and queries to employ operations on data, such as multiplicative and comparative processes, thereby facilitating the integration between conventional databases and programming languages like Julia and Python’s Pypower. The demonstration illustrates how all elements of the model, including schemas, instances, and functors, can modify the schema in ACOPF instances.  more » « less
Award ID(s):
1851602
PAR ID:
10515344
Author(s) / Creator(s):
Publisher / Repository:
IEEE
Date Published:
ISBN:
978-1-6654-9071-9
Page Range / eLocation ID:
1 to 5
Subject(s) / Keyword(s):
Optimal Flow, Optimal Power Flow, AC Optimal Power Flow, Power System, Classification Datasets, Categorical Model, Functor, Optimization Problem, Information Exchange, Algebra, Loss Of Resistance, Topological Changes, Semidefinite Programming, Time Overhead, Optimization Solver, Second-order Cone Programming, Galaxy Server, Power Flow Equations, Composition Rules, Database Schema, Power Flow Problem, Duality Gap, Colimits
Format(s):
Medium: X
Location:
College Station, TX, USA
Sponsoring Org:
National Science Foundation
More Like this
  1. Emerging distribution systems with a proliferation of distributed energy resources are facing with new challenges, such as voltage collapse and power flow congestion in unsymmetrical network configurations. As a fundamental tool that could help quantify these new challenges and further mitigate their impacts on the secure and economic operation of distribution systems, effective AC optimal power flow (ACOPF) models and solution approaches are in urgent need. This study focuses on ACOPF of three‐phase four‐conductor configured distribution systems, in which neutral conductors and ground resistances are modelled explicitly to reflect practical situation. In addition, by leveraging the Kirchhoff's current law (KCL) theorem and the effect of zero injections, voltage variables of neutrals and zero‐injection phases can be effectively eliminated. The ACOPF problem is formulated as a convex semidefinite programming (SDP) relaxation model in complex domain. In recognising possible solution inexactness of SDP relaxation model, a Karush–Kuhn–Tucker condition based process is further proposed to effectively recover feasible solutions to the original ACOPF problem by calculating a set of computational‐inexpensive non‐linear equations. Numerical studies on a modified IEEE 123‐bus system show the effectiveness of the proposed SDP relaxation model with variable reductions and the feasible solution recovery process for three‐phase four‐conductor configured distribution systems. 
    more » « less
  2. Alternative current optimal power flow (ACOPF) problems have been studied for over fifty years, and yet the development of an optimal algorithm to solve them remains a hot and challenging topic for researchers because of their nonlinear and nonconvex nature. A number of methods based on linearization and convexification have been proposed to solve ACOPF problems, which result in near-optimal or local solutions, not optimal solutions. Nowadays, with the prevalence of machine learning, some researchers have begun to utilize this technology to solve ACOPF problems using the historical data generated by the grid operators. The present paper reviews the research on solving ACOPF problems using machine learning and neural networks and proposes future studies. This body of research is at the beginning of this area, and further exploration can be undertaken into the possibilities of solving ACOPF problems using machine learning. 
    more » « less
  3. Abstractive summarization models often generate inconsistent summaries containing factual errors or hallucinated content. Recent works focus on correcting factual errors in generated summaries via post-editing. Such correction models are trained using adversarial non-factual summaries constructed using heuristic rules for injecting errors. However, generating non-factual summaries using heuristics often does not generalize well to actual model errors. In this work, we propose to generate hard, representative synthetic examples of non-factual summaries through infilling language models. With this data, we train a more robust fact-correction model to post-edit the summaries to improve factual consistency. Through quantitative and qualitative experiments on two popular summarization datasets— CNN/DM and XSum—we show that our approach vastly outperforms prior methods in correcting erroneous summaries. Our model—FactEdit—improves factuality scores by over ~11 points on CNN/DM and over ~31 points on XSum on average across multiple summarization models, producing more factual summaries while maintaining competitive summarization quality. 
    more » « less
  4. This paper presents a three-phase iterative direct current optimal power flow (DCOPF) algorithm with fictitious nodal demand. Power losses and realistic distribution system operating constraints such as line flow limits and phase imbalance limits are carefully modeled in the DCOPF formulation. The definition of locational marginal prices (LMPs) is extended to three-phase distribution systems. The three-phase LMP decomposition is derived based on the Lagrangian function. The proposed algorithm is implemented in an IEEE test case and compared with three-phase alternating current optimal power flow (ACOPF) algorithm. The simulation results show that the proposed DCOPF algorithm is effective in coordinating the operations of distributed energy resources (DERs) and managing phase imbalance and thermal overloading. The proposed iterative three-phase DCOPF algorithm provides not only a computationally efficient solution but also a good approximation to the ACOPF solution. 
    more » « less
  5. Most current theories and models of second language speech perception are grounded in the notion that learners acquire speech sound categories in their target language. In this paper, this classic idea in speech perception is revisited, given that clear evidence for formation of such categories is lacking in previous research. To understand the debate on the nature of speech sound representations in a second language, an operational definition of “category” is presented, and the issues of categorical perception and current theories of second language learning are reviewed. Following this, behavioral and neuroimaging evidence for and against acquisition of categorical representations is described. Finally, recommendations for future work are discussed. The paper concludes with a recommendation for integration of behavioral and neuroimaging work and theory in this area. 
    more » « less