Essays about: "Carl Björkman"

Found 2 essays containing the words Carl Björkman.

1. 1. Detection of lithium plating in lithium-ion batteries

   University essay from KTH/Kemiteknik

   Author : Carl Johan Björkman; [2019]
   Keywords : Lithium plating; Batteries; Battery monitoring; Battery charging; Battery ageing; Litiumplätering; Batterier; Batteriövervakning; Batteriladdning; Batteriåldring;

   Abstract : With an increasing demand for sustainable transport solutions, there is a demand for electrified vehicles. One way to store energy on board an electrified vehicle is to use a lithium-ion battery (LIB). This battery technology has many advantages, such as being rechargeable and enabling reasonably high power output and capacity. READ MORE

3. 2. Computing component specifications from global system requirements

   University essay from KTH/Teoretisk datalogi, TCS

   Author : Carl Björkman; [2017]
   Keywords : control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

   Abstract : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. READ MORE