Avancerad sökning

Visar resultat 1 - 5 av 52 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Calculation and Measurement Methods for the Performance of Solar Collectors. Models of Flat Plate Collectors, Transparent Insulation and Efficiency Factors

   Författare :Bengt Hellström; Avdelningen för Energi och byggnadsdesign; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Transparent insulation; Test method; Calculation method; Concentrating collector; Efficiency factor; Fin efficiency; Flat plate collector; Heat conductivity; Honeycomb; Measurement method; Performance; Solar transmittance; Solar collector; Collector model; Energy research; Energiforskning;

   Sammanfattning : This thesis deals with models of flat plate collectors, transparent insulation and efficiency factors. An equation for the energy output from a glazed flat plate collector is derived by modelling the collector efficiency factor, F´ as the sum of a constant and a temperature dependent part. LÄS MER

3. 2. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

   Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

   Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

4. 3. Heat transfer in ordered porous media with application to batteries

   Författare :Amin Moosavi; Staffan Lundström; Anna-Lena Ljung; Tomas Muld; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; battery thermal management system; heat exchanger; cylindrical lithium-ion battery; cross-flow; analytical model; URANS model; thermal evaluation; wall effect; spacing effect; temperature distribution; Strömningslära; Fluid Mechanics;

   Sammanfattning : Environmental concerns, resource depletion, energy security, technological advancements, and global policies are just a few of the variables influencing the global energy perspective. In the case of technological advancement, lithium batteries play a key role in the development of a more sustainable energy infrastructure. LÄS MER

5. 4. DC Parameter Extraction and Modeling of Bipolar Transistors

   Författare :Martin Linder; KTH; []
   Nyckelord :bipolar transistors; papameter extraction; test structure; modeling; distributed model; base resistance; emitter resistance; collector resistance;

   Sammanfattning : .... LÄS MER

7. 5. Validated Modelling of Electrochemical Energy Storage Devices

   Författare :Niklas Mellgren; Anders Dahlkild; Michael Vynnycky; Jesper Oppelstrup; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; lithium ion battery; polymer electrolyte fuel cell; modelling; model validation; parameter fitting; Fluid mechanics; Strömningsmekanik;

   Sammanfattning : This thesis aims at formulating and validating models for electrochemical energy storage devices. More specifically, the devices under consideration are lithium ion batteries and polymer electrolyte fuel cells. A model is formulated to describe an experimental cell setup consisting of a LixNi0.8Co0. LÄS MER