Search for dissertations about: "power line"
Showing result 1 - 5 of 509 swedish dissertations containing the words power line.
-
1. Conceptual Politics in Practice : How Soft Power Changed the World
Abstract : Concepts are a key feature of academic research and international politics. Despite the fact that interpreting, classifying and communicating the world through concepts has far-reaching social and political consequences, their various roles and complex dynamics remain poorly understood in International Relations (IR). READ MORE
-
2. Line protection and Power System Collapse
Abstract : .... READ MORE
-
3. Power System Operation Planning and Wind Power Curtailment : Efficient Methods for Power System Scheduling and Integration Studies of Variable Renewable Energy
Abstract : To reduce carbon dioxide emissions, variable renewable energy (VRE) sources are replacing conventional fossil-based power plants for electricity generation. Due to the variability and uncertainty of weather dependent VRE sources, there can be situations when it is not possible to accommodate all the available VRE production, and VRE sources have to be curtailed. READ MORE
-
4. Power line communication and customer equipment
Abstract : In Sweden, the change from manual meter reading at irregular intervals, to automatic remote meter reading at predefined instants was completed in July 2009. This change is ongoing or largely completed in a number of other European countries as well. Several methods for communication between the meter and the network operator are in use. READ MORE
-
5. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus
Abstract : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. READ MORE