Sökning: "Hårdvara"

Visar resultat 16 - 20 av 43 avhandlingar innehållade ordet Hårdvara.

  1. 16. Enriching Automated Travel Diaries Using Biometric Information

    Författare :Robin C. O. Palmberg; Yusak O. Susilo; Gyözö Gidofalvi; Clas Rydergren; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Transportsystem; Transport Systems;

    Sammanfattning : The methods for collecting travel data about travellers today incorporate either fully manual or semi-automatic elements, which makes the methods susceptible to errors. The travellers might respond subjectively rather than objectively or even wholly incorrect, albeit with or without purpose. LÄS MER

  3. 17. Methods for Testing and Analyzing Lithium-Ion Battery Cells intended for Heavy-Duty Hybrid Electric Vehicles

    Författare :Pontus Svens; Göran Lindbergh; Mårten Behm; Søren Juhl Andreasen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Li-ion; battery; hybrid electric vehicle; Chemical Engineering; Kemiteknik;

    Sammanfattning : Lithium-ion batteries designed for use in heavy-duty hybrid vehicles are continuously improved in terms of performance and longevity, but they still have limitations that need to be considered when developing new hybrid vehicles.               The aim of this thesis has been to study and evaluate potential test and analysis methods suitable for being used in the design process when maximizing lifetime and utilization of batteries in heavy-duty hybrid vehicles. LÄS MER

  4. 18. Cerium as a quantum state probe for rare-earth qubits in a crystal

    Författare :Jenny Karlsson; Atomfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Spectroscopy; Quantum Computing; Rare-earth-ion-doped crystals; Microscopy; Fysicumarkivet A:2015:Karlsson;

    Sammanfattning : Rare-earth ions doped into a transparent crystal can have optically excited states with coherence times of milliseconds and hyperfine levels with coherence times of hours when cooled down to liquid helium temperatures. This makes them attractive for developing quantum computing hardware. LÄS MER

  5. 19. Deciphering conformational ensembles and communication pathways in biomolecules

    Författare :Annie M. Westerlund; Lucie Delemotte; Erik Lindahl; Kresten Lindorff-Larsen; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Molecular dynamics; Clustering; Machine learning; Network analysis; Calmodulin; KCNQ1; Biological Physics; Biologisk fysik;

    Sammanfattning : Life is constructed by small building blocks called cells. Proteins are the biomolecules within these cells which carry out different functions. Proteins located in the cell membrane, for example, allow for the transport of ions and small molecules, as well as communication, across the cell membrane. LÄS MER

  7. 20. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER