Sökning: "Felix Liljefors"

Hittade 2 uppsatser innehållade orden Felix Liljefors.

1. 1. Time dependent modeling of turbocharger failure using machine learning

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

   Författare :Felix Liljefors; [2020]
   Nyckelord :;

   Sammanfattning : Data-driven predictive vehicle maintenance can in principle reduce the risk of costly breakdowns, damaged cargo, and increased emissions due to faulty components. However, implementing a cost efficient predictive maintenance policy is far from trivial. LÄS MER

3. 2. Formalizing security properties in blockchain protocols

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

   Författare :Felix Liljefors; Niclas Hedberg; [2018]
   Nyckelord :;

   Sammanfattning : In this report we have used the logic L to write a formal specification of security properties in blockchain protocols for managing Electronic Health Records. The protocols have been adapted from previous research, and then formalized with regards to the properties data privacy and data integrity. We used the logic L to define a logical model M. LÄS MER