Sökning: "Functional properties"

Visar resultat 21 - 25 av 362 uppsatser innehållade orden Functional properties.

  1. 21. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  3. 22. Theoretical investigation of Co-dependence in magnetic high-entropy alloys

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Johan-Michael Kurak; [2023]
    Nyckelord :;

    Sammanfattning : High-entropy alloys (HEA) is a class of materials consisting of multiple principal elements that often crystallize in simple lattices such as body-centered cubic, face-centered cubic and hexagonal close-packed structures. Many HEAsexhibit exceptional mechanical properties, e.g. LÄS MER

  4. 23. Gravity water waves over constant vorticity flows: from laminar flows to touching waves

    Master-uppsats, Lunds universitet/Matematik (naturvetenskapliga fakulteten); Lunds universitet/Matematikcentrum

    Författare :Francisco Gonçalves Jorge Dias de Carvalho; [2023]
    Nyckelord :Partial differential equations; Water waves; Euler equations; Free boundary problem; Bifurcation theory; Nonlinear functional analysis; Hilbert transform; Mathematics and Statistics;

    Sammanfattning : In a recent paper, Hur and Wheeler proved the existence of periodic steady water waves over an infinitely deep, two-dimensional and constant vorticity flow and subject to gravity whose profile overhangs, among which, waves whose surface touches at a point, enclosing a bubble of air. We take this further, proving the existence of a continuous curve of water waves from a laminar flow up to a touching wave for fixed non-zero gravity. LÄS MER

  5. 24. A feasibility study of smart insoles with graphene coated resistive textile sensors.

    Master-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Tewolde Neud; [2023]
    Nyckelord :Smart Insoles; Resitive textile sensors; Pressure-sensitive insoles; Graphene coating;

    Sammanfattning : Pressure sensitive insoles are an emerging and promising technology that has always been interesting for gait and planar pressure related applications. This technology can be especially valuable for monitoring, movement, and rehabilitation purposes where the pressure sensing insoles could be utilized to assess for abnormalities in order to treat or prevent complications. LÄS MER

  7. 25. Error propagation in nuclear models

    Kandidat-uppsats, Lunds universitet/Matematisk fysik; Lunds universitet/Fysiska institutionen

    Författare :Artis Mucenieks; [2023]
    Nyckelord :Physics and Astronomy;

    Sammanfattning : In this thesis we perform error analysis of a nuclear model based on density-functional theory developed in Lund. The Lund model allows us to perform calculations of nuclear spectra more efficiently by constructing a simple effective Hamiltonian reproducing the quadrupole deformation and pairing interaction strength parameters of a spherical Hartree-Fock reference functional. LÄS MER