Sökning: "indata utdata"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden indata utdata.

  1. 1. Formal Verification of Peripheral Memory Isolation

    Författare :Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Sammanfattning : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. LÄS MER

  3. 2. Neural Network Ensembles and Combinatorial Optimization with Applications in Medicine

    Författare :Henrik Haraldsson; Beräkningsbiologi och biologisk fysik - Genomgår omorganisation; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; machine learning; artificial neural networks; ensemble methods; feature extraction; ECG; combinatorial optimization; mean field annealing; Computer science; numerical analysis; systems; Datalogi; control; system; kontroll; Artificial intelligens; Artificiell intelligens; Fysicumarkivet A:2003:Haraldsson;

    Sammanfattning : Artificial neural network (ANN) and combinatorial optimization algorithms are developed, and applied to the medical domain. A novel method for training an ensemble of ANN is presented, based on random weight updates alternated with replication of networks with low error. LÄS MER

  4. 3. A study of the track degradation process related to changes in railway traffic

    Författare :Dan Larsson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Drift och underhållsteknik; Operation and Maintenance;

    Sammanfattning : This licentiate thesis presents the results of a research project concerning railroad maintenance. After acquiring the state-of-the-art knowledge in relevant areas a prediction model for railroad track degradation has been developed. The model is named DeCoTrack (Degradation Cost Of Track). LÄS MER

  5. 4. Dynamics of forest soil chemistry

    Författare :Mattias Alveteg; Avdelningen för kemiteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Chemical technology and engineering; critical loads; regional; recovery; acidification; modelling; SAFE; MAKEDEP; Kemiteknik och kemisk teknologi; Environmental technology; pollution control; Miljöteknik; kontroll av utsläpp;

    Sammanfattning : Acidification caused by emissions of Nitrogen and Sulphur and associated adverse effects on forest ecosystems has been an issue on the political agenda for decades. Temporal aspects of soil acidification and/or recovery can be investigated using the soil chemistry model SAFE, a dynamic version of the steady-state model PROFILE used in critical loads assessment on the national level, e. LÄS MER

  7. 5. Data-driven and real-time prediction models for iterative and simulation-driven design processes

    Författare :Mohammad Arjomandi Rad; Joel Johansson; Fredrik Elgh; Alessandro Bertoni; Jönköping University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Development lead time; Iterative design; Simulation-driven design; Design automation; Data-driven design; Artificial Intelligence;

    Sammanfattning : The development of more complex products has increased dependency on virtual/digital models and emphasized the role of simulations as a means of validation before production. This level of dependency on digital models and simulation togetherwith the customization level and continuous requirement change leads to a large number of iterations in each stage of the product development process. LÄS MER