Sökning: "internal timing"
Visar resultat 21 - 25 av 67 avhandlingar innehållade orden internal timing.
21. Predictive Control of HCCI Engines Using Physical Models
Sammanfattning : Homogeneous Charge Compression Ignition (HCCI) is a promising internal combustion engine concept. It holds promise of combining low emission levels with high efficiency. However, as ignition timing in HCCI operation lacks direct actuation and is highly sensitive to operating conditions and disturbances, robust closed-loop control is necessary. LÄS MER
22. Physical Modeling and Control of Low Temperature Combustion in Engines
Sammanfattning : The topic of this thesis is model-based control of two combustion engine concepts, Homogeneous Charge Compression Ignition (HCCI) and Partially Premixed Combustion (PPC), using physics-based models. The studied combustion concepts hold promise of reducing the emission levels and fuel consumption of internal combustion engines. LÄS MER
23. MAC, A Verified Information-Flow Control Library
Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER
24. Understanding West African Monsoon Variability : Insights from Paleoclimate Modelling of Past Warm Climates
Sammanfattning : The Sahel, a water-vulnerable region in West Africa, relies heavily on rainfed agriculture. The region experienced pronounced droughts during the 20th Century, emphasising the socio-economic importance of understanding the drivers of the rainfall variability. LÄS MER
25. Clocks, DBMs and States in Timed Systems
Sammanfattning : Today, computers are used to control various technical systems in our society. In many cases, time plays a crucial role in the operation of computers embedded in such systems. This thesis is about techniques and tools for the analysis of timing behaviours of computer systems. LÄS MER