Search for dissertations about: "formal invariant"

Found 5 swedish dissertations containing the words formal invariant.

  2. 1. Residue fixed point index and wildly ramified power series

    Author : Jonas Nordqvist; Karl-Olof Lindahl; Robert Laurent Benedetto; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; wildly ramified power series; residue fixed point index; formal invariant; iterative residue; ramification numbers; non-archimedean; discrete dynamical systems; arithmetic dynamics; periodic points; Nottingham group; Mathematics; Matematik;

    Abstract : This thesis concerns discrete dynamical systems. These are systems where the dynamics is modeled by iterated functions. There are several applications of discrete dynamical system e.g. READ MORE

  4. 2. Symmetries and conservation laws

    Author : Raisa Khamitova; Börje Nilsson; Claes Jougréus; Maria Luz Gandarias; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; conservation law; Noether s theorem; Lie group analysis; Lie-Bäcklund transformations; basis of conservation laws; formal Lagrangian; self-adjoint equation; quasi-selfadjoint; equation; nonlocal conservation law; Mathematical physics; Matematisk fysik;

    Abstract : Conservation laws play an important role in science. The aim of this thesis is to provide an overview and develop new methods for constructing conservation laws using Lie group theory. The derivation of conservation laws for invariant variational problems is based on Noether’s theorem. READ MORE

  5. 3. Knots and Surfaces in Real Algebraic and Contact Geometry

    Author : Johan Björklund; Tobias Ekholm; Grigory Mikhalkin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Algebra and geometry; Algebra och geometri; Mathematics; Matematik;

    Abstract : This thesis consists of a summary and three articles. The thesis is devoted to the study of knots and surfaces with additional geometric structures compared to the classical smooth structure. READ MORE

  6. 4. Model-driven Analysis and Verification of Automotive Embedded Systems

    Author : Raluca Marinescu; Cristina Seceleanu; David Garlan; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. READ MORE

  7. 5. Partitioning and Control for Dynamical Systems Evolving on Manifolds

    Author : Xiao Tan; Dimos V. Dimarogonas; James D. Biggs; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning and control; Transition system; Geometric control; Barrier functions; Electrical Engineering; Elektro- och systemteknik;

    Abstract : With the development and integration of cyber-physical and safety-critical systems, control systems are expected to achieve tasks that include logic rules, receptive decision-making, safety constraints, and so forth. For example, in a persistent surveillance application, an unmanned aerial vehicle might be required to "take photos of areas A and B infinitely often, always avoid unsafe region C, and return to the charging point when the battery level goes low. READ MORE