Sökning: "mixed system"

Visar resultat 1 - 5 av 711 avhandlingar innehållade orden mixed system.

  1. 1. Secure System Virtualization : End-to-End Verification of Memory Isolation

    Författare :Hamed Nemati; Mads Dam; Gustavo Betarte; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; Cache attack; Security Monitor; Information Flow; Datalogi; Computer Science;

    Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER

  2. 2. Design, analysis and integration of mixed-signal systems for signal and power integrity

    Författare :Li-Rong Zheng; KTH; []
    Nyckelord :signal integrity; power distribution; interconnects; deep submicron circuits; system-on-chip; system-in-package; mixed signalsystem; single level integration;

    Sammanfattning : .... LÄS MER

  3. 3. Nutrient cycling in agroecosystems: nitrogen cycling in southern Sweden in the 1850s and two Tanzanian villages in the 1990s

    Författare :Lars-Erik Williams; Biologiska institutionen; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; nutrient; nutrient model; nutrient cycling; nitrogen fixation; nitrogen budget; mixed system; miombo; manure; livestock; land use; historical system; food production; efficiency; crops; agroecosystem; carrying capacity; phosphorus; Scania; sustainability; Plant ecology; Växtekologi;

    Sammanfattning : This study presents a general model for analysing nutrient cycling in agroecosystems. The focus is on food production intensity, human carrying capacity, sustainability and efficiency. The model can be used on systems including different kinds of land uses, which makes it applicable for studies on different scales. LÄS MER

  4. 4. Haulage system optimization for underground mines : A discrete event simulation and mixed integer programming approach

    Författare :Abubakary Salama; Luleå tekniska universitet; []

    Sammanfattning : In coming decades, many underground mines will operate at greater depths, which will affect many operational factors such as increased rock stress, longer haulage distances, and higher energy consumption, which potentially can generate lower production rates. The increased rock stresses may lead to smaller sized openings, further restricting the size of loading and hauling equipment that can be used. LÄS MER

  5. 5. End-user activity-based service design in the built environment context : Exploring everyday life in KTH Live-in-Lab

    Författare :Elena Malakhatka; Per Lundqvist; Marco Molinari; Shaun West; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; service design; human activity system; building system; service system; actors network analysis; living lab; sustainable building; Energiteknik; Energy Technology; Installations- och energisystem; Building Service and Energy Systems;

    Sammanfattning : The main goal of this thesis is to communicate the motivation, process, and result of the research project dedicated to exploring the topic of Service Design, based on end-user activities analysis in the built environment context. We have elected to use a KTH Live-in-Lab as a testbed in relation to the chosen living lab network of actors and stakeholders. LÄS MER