Search for dissertations about: "lifted"

Showing result 1 - 5 of 42 swedish dissertations containing the word lifted.

2. 1. Precise Reasoning About Non-strict Functional Programs; How to Chase Bottoms, and How to Ignore Them

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; partial; inductive; coinductive; non-strict; equational reasoning; lifted; infinite; functional programming;

   Abstract : This thesis consists of two parts. Both concern reasoning about non-strict functional programming languages with partial and infinite values and lifted types, including lifted function spaces.The first part is a case study in program verification: We have written a simple parser and a corresponding pretty-printer in Haskell. READ MORE

4. 2. Model Studies of Surface Waves and Sediment Resuspension in the Baltic Sea

   Author : Anette Jönsson; Lars Rahm; Åsa Danielsson; Tarmo Soomere; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Surface waves; Wave model; Wave friction velocity; Resuspension; Sediment dynamics; Nitrogen fixation; Baltic Sea; Havsvågor; Östersjön; Oceanografi; Sediment; Oceanography; Oceanografi;

   Abstract : Wave heights and periods of surface waves in the Baltic Sea have been modelled for a two-year period (1999-2000) with the wave model Hypas on an 11x11-km grid scale. There is a clear seasonal variation with higher waves during winter and lower during summer. READ MORE

5. 3. Numerical Modeling of Soot and NOx Formation in Non-Stationary Diesel Flames with Complex Chemistry

   Author : Feng Tao; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; soot and NOx formation; non-stationary Diesel sprays; complex chemistry; Diesel spray auto-ignition; reaction zone structure; Diesel flame liftoff; turbulence-chemistry interaction;

   Abstract : A complex chemistry model of reduced size (65 species and 268 reactions) derived on the basis of n-heptane auto-ignition kinetics, small hydrocarbon oxidation chemistry, polyaromatic hydrocarbon (PAH) and NOx formation kinetics together with a phenomenological soot model has been implemented in the KIVA code for multidimensional Diesel spray combustion simulations. An EDC (Eddy Dissipation Concept) based partially stirred reactor model is used to handle the turbulence-chemistry interaction. READ MORE

6. 4. Spin splitting in open quantum dots and related systems

   Author : Martin Evaldsson; Igor Zozoulenko; Igor Abrikosov; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; mesoscopic systems; 2DEG; ballistic transport; quantum dots; spin-polarised transport in quantum dots; spontanueous spin-splitting; Mesoscopic physics; Mesoskopisk fysik;

   Abstract : This thesis addresses electron spin phenomena in semi-conductor quantum dots/anti-dots from a computational perspective. In the first paper (paper I) we have studied spin-dependent transport through open quantum dots, i.e., dots strongly coupled to their leads, within the Hubbard model. READ MORE

7. 5. Experimental and Numerical Investigations of Flames Stabilized by Swirl Flow and Bluff-body:Flame Structures and Flame Instabilities

   Author : Yiheng Tong; Kraftverksteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Flame structures; Flame instabilities; Blowout limits; Flashback; Swirl Flow; Bluff-body; Chemiluminescence; PIV;

   Abstract : Combustion and its control are essential to our existence on this planet since we knew it. Nowadays, the largest share of the world’s electricity and most of our transportation systems are powered by combustion. In addition, industrial processes also rely heavily upon combustion. READ MORE