Search for dissertations about: "John Power"

Showing result 1 - 5 of 66 swedish dissertations containing the words John Power.

  2. 1. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

    Author : Johan Glimming; Karl Meinke; John Power; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; denotational semantics; axiomatic domain theory; coalgebra; primitive co recursion; object-based programming; typed object calculus; Computer science; Datavetenskap; datalogi; Computer Science;

    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

  4. 2. Relations in Models of Calculi and Logics with Names

    Author : Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

    Abstract : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. READ MORE

  5. 3. Numerical simulations of hydro power flows

    Author : John Bergström; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Abstract : .... READ MORE

  6. 4. Modeling and numerical simulation of hydro power flows

    Author : John Bergström; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Abstract : This work is about high precision numerical water flow simulations of hydro power related applications, and especially draft tube flows. Because of the accuracy requirements for these types of simulations (the efficiency of a hydro power turbine can be over 90%), the work has been devided into several steps; verification, validation and modeling. READ MORE

  7. 5. In the Air Gap of Linear Generators for Wave Power

    Author : Anna E. Frost; Mats Leijon; Sandra Eriksson; Irina Temiz; John Ringwood; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Linear generator; Wave Power; Poynting s theorem; Partial stator overlap; Permanent-magnet synchronous generator PMSG ; Linear electrical machines; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Abstract : Wave power conversion is one type of renewable electricity generation. Within wave power, there are many different concepts, whereof some utilizes linear generators for converting the energy in the ocean waves into electricity. READ MORE