Sökning: "strong invariants"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden strong invariants.

  1. 1. Nonlinear Theory of Partially Coherent Optical Waves

    Författare :Tobias Hansson; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Nonlinear optics; partial coherence; beam collapse; saturable logarithmic media; soliton interaction; dressing method; parabolic beams; Wigner transform; invariants; modulational instability;

    Sammanfattning : Nonlinear effects arise in optics as a consequence of the medium properties being modified by the presence of light. Of particular interest are situations where the effect of the nonlinearity can be described by an intensity dependent refractive index and the subsequent interplay with dispersion and diffraction. LÄS MER

  2. 2. Functional Program Correctness Through Types

    Författare :Nils Anders Danielsson; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

    Sammanfattning : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. LÄS MER

  3. 3. Construction of Adaptive Multistep Methods for Problems with Discontinuities, Invariants, and Constraints

    Detta är en avhandling från Lund University, Faculty of Science, Centre for Mathematical Sciences

    Författare :Fatemeh Mohammadi; Lund University.; Lunds universitet.; Lund University.; Lunds universitet.; [2018-09]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; multistep methods; Initialization; beta-blocking; Discontinuity; Time adaptivity; Strong stability preserving; Differential algebraic equations;

    Sammanfattning : Adaptive multistep methods have been widely used to solve initial value problems. These ordinary differential equations (ODEs) may arise from semi-discretization of time-dependent partial differential equations(PDEs) or may combine with some algebraic equations to represent a differential algebraic equations (DAEs). LÄS MER

  4. 4. MHD Stability and Confinement of Plasmas in a Single Mirror Cell

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Natalia Savenko; Uppsala universitet.; [2006]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering physics; MHD; plasma confinement; magnetic mirror; adiabatic particle motion; adiabatic invariants; Teknisk fysik; TECHNOLOGY Engineering physics; TEKNIKVETENSKAP Teknisk fysik;

    Sammanfattning : Thermonuclear fusion is a promising energy source for the future. If an economically efficient thermonuclear reactor would be built it has to be a cheap, safe, and highly productive electric power plant, or, a heating plant. LÄS MER

  5. 5. Advances Towards Data-Race-Free Cache Coherence Through Data Classification

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Mahdad Davari; Uppsala universitet.; Uppsala universitet.; [2017]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Shared Memory Architectures; Multicore; Memory Hierarchy; Cache Coherence; Data Classification;

    Sammanfattning : Providing a consistent view of the shared memory based on precise and well-defined semantics—memory consistency model—has been an enabling factor in the widespread acceptance and commercial success of shared-memory architectures. Moreover, cache coherence protocols have been employed by the hardware to remove from the programmers the burden of dealing with the memory inconsistency that emerges in the presence of the private caches. LÄS MER