Sökning: "conservative"

Visar resultat 1 - 5 av 462 avhandlingar innehållade ordet conservative.

  1. 1. Resource Conservative Manufacturing : New Generation of Manufacturing

    Författare :Farazee Mohammad Abdullah Asif; Mihai Nicolescu; Carmine Bianchi; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Conservative Manufacturing; Multiple Lifecycle; System Dynamics;

    Sammanfattning : The question of resource scarcity and emerging pressure of environmentallegislations have put the manufacturing industry with a new challenge. On theone side, there is a huge population that demands a large quantity ofcommodities, on the other side, these demands have to be met by minimumresources and with permissible pollution that the earth’s ecosystem can handle. LÄS MER

  3. 2. Effect of Hyporheic Exchange on Conservative and Reactive Solute Transport in Streams : Model Assessments Based on Tracer Tests

    Författare :Karin Jonsson; Anders Wörman; Bernhard H. Schmid; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Earth sciences; conservative; hyporheic exchange; model; reactive; retention; solute; sorption kinetics; stream transport; temporal moments; tracer experiment; Geovetenskap; Earth sciences; Geovetenskap; Sedimentology; sedimentologi;

    Sammanfattning : Understanding of the processes affecting solute transport in flowing water is important for the possibility to predict the evolution with time of polluted stream systems. This thesis presents tracer experiment methodology and model developments for solute transport in streams, with special focus on retention processes and their effect on solute stream transport. LÄS MER

  4. 3. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Författare :Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER

  5. 4. Publicitet för medborgsmannavett : Det nationellt svenska i Stockholmstidningar 1810-1831

    Författare :Henrik Edgren; Torkel Jansson; Lars Petterson; Henrik Höjer; Cecilia Rosengren; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; History; Sweden 1810–1831; freedom of the press; public life; national; patriotic; radical; conservative; national identity; civics; ethno-cultural; Historia; History subjects; Historieämnen; Historia; History;

    Sammanfattning : The aim of this thesis is to use social debate in political newspapers to study how Swedish national identity was constructed in the period between 1810 and 1831. Never before has the Swedish political press and national identity in the early nineteenth century been analysed using such an approach. LÄS MER

  7. 5. Mass Conserving Simulations of Two Phase Flow

    Författare :Elin Olsson; Gunilla Kreiss; Stig Larsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; free boundary; two phase flow; level set method; conservative; Numerical analysis; Numerisk analys;

    Sammanfattning : Consider a mixture of two immiscible, incompressible fluids e.g. oil and water. Since the fluids do not mix, an interface between the two fluids will form and move in time. LÄS MER