Sökning: "Buffer function"

Visar resultat 1 - 5 av 52 uppsatser innehållade orden Buffer function.

  1. 1. Nulägesanalys av vätgasetablering : En uppdatering av Färdplan 2020 mot ett Jämtkraftsperspektiv

    Uppsats för yrkesexamina på grundnivå, Mittuniversitetet/Institutionen för naturvetenskap, design och hållbar utveckling (2023-)

    Författare :Elin Jönsson; [2023]
    Nyckelord :Hydrogen gas; LCOH; Intermittent electricity production; energy storage; energy development; Vätgas; LCOH; Intermittent elproduktion; energilagring; energiutveckling;

    Sammanfattning : In connection to the increase of emissions of greenhouse gases, electrification of the society is pointed out as absolute necessary to achieve the climate goals. To succeed with this, a substantial proportion of the intermittent electricity production needs, with the help from technical solutions, be used as a buffer for this production. LÄS MER

  3. 2. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

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

    Författare :Aïssata Maiga; [2023]
    Nyckelord :Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

    Sammanfattning : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. LÄS MER

  4. 3. A viscoelastic evaluation of an injectable disulfide cross-linked thiol-collagen hydrogel: for tissue bulking post-myocardial infarction to prevent heart failure

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Makromolekylär kemi

    Författare :Karin Dungner; [2023]
    Nyckelord :;

    Sammanfattning : Cardiovascular diseases are currently the leading cause of death globally. Progression of the disease affects the composition and function of the heart and in many cases subsequently results in heart failure over time where a heart transplant is vital. Therefore, there is a need for medical treatments to stop the progression of the disease. LÄS MER

  5. 4. Exploring Column Update Elimination Optimization for Spike-Timing-Dependent Plasticity Learning Rule

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

    Författare :Ojasvi Singh; [2022]
    Nyckelord :Spike-Timing Dependent Plasticity; neuromorphic computing; Hebbian Learning; Spiking Neural Networks; memory optimization.; Spike-Timing Beroende Plasticitet; neuromorfisk beräkning; Hebbiansk inlärning; Spiking Neural Networks; Minnes optimering;

    Sammanfattning : Hebbian learning based neural network learning rules when implemented on hardware, store their synaptic weights in the form of a two-dimensional matrix. The storage of synaptic weights demands large memory bandwidth and storage. LÄS MER

  7. 5. Exploring the column elimination optimization in LIF-STDP networks

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

    Författare :Mingda Sun; [2022]
    Nyckelord :SpikingNeuralNetwork SNN ; neuromorphiccomputing; memoryoptimization; Hebbian learning; Spike-timing-depend plasticity STDP learning; Spiking Neural Network SNN ; neuromorphic computing; minnesoptimering; Hebbisk inlärning; spike-timing-depend plasticity STDP inlärning;

    Sammanfattning : Spiking neural networks using Leaky-Integrate-and-Fire (LIF) neurons and Spike-timing-depend Plasticity (STDP) learning, are commonly used as more biological possible networks. Compare to DNNs and RNNs, the LIF-STDP networks are models which are closer to the biological cortex. LÄS MER