Sökning: "one-step reduction"

Visar resultat 1 - 5 av 24 avhandlingar innehållade orden one-step reduction.

  1. 1. Proving the correctness of a virtual machine by a bisimulation

    Författare :Mikael Rittri; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stack machine; snapshot; one-step reduction; interpreter correctness; verification mapping; bisimulation; operational semantics; compiler correctness; SECD--machine; context; McGowan mapping; state-trace; debugging;

    Sammanfattning : .... LÄS MER

  3. 2. Vibrations in Metal Cutting : Measurement, Analysis and Reduction

    Författare :Linus Pettersson; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Vibration and noise in metal cutting are ubiquitous problems in the workshop. The turning operation is one kind of metal cutting that exhibits vibration related problems. Today the industry aims at smaller tolerances in surface finish. Harder regulations in terms of the noise levels in the operator environment are also central. LÄS MER

  4. 3. Hierarchical Variance Reduction Techniques for Monte Carlo Rendering

    Författare :Petrik Clarberg; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer graphics; Monte Carlo methods; importance sampling; hierarchical techniques; rendering;

    Sammanfattning : Ever since the first three-dimensional computer graphics appeared half a century ago, the goal has been to model and simulate how light interacts with materials and objects to form an image. The ultimate goal is photorealistic rendering, where the created images reach a level of accuracy that makes them indistinguishable from photographs of the real world. LÄS MER

  5. 4. Optimisation of Two-step Steam Pretreatment of Softwood for Bioethanol Production

    Författare :Johanna Söderström; Avdelningen för kemiteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Chemical technology and engineering; Kemiteknik och kemisk teknologi;

    Sammanfattning : Fuel ethanol can be produced from lignocellulosics by an enzymatic process consisting of steam pretreatment, enzymatic hydrolysis, fermentation and ethanol refining. This thesis deals with the steam pretreatment step in the enzymatic process used for ethanol production from softwood, which is an abundant lignocellulosic raw material in the Northern hemisphere. LÄS MER

  7. 5. Development of the Steam Pretreatment Process for Production of Ethanol from Lignocellulosic Biomass

    Författare :Sanam Monavari; Bioteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Spruce; Ethanol production; Sugarcane bagasse; SSF; Fermentation; Enzymatic hydrolysis; SO2; Steam pretreatment; Acid catalyst;

    Sammanfattning : At a time when natural petroleum resources are on the verge of depletion, and concern about climate change is increasing, the potential of lignocellulosic material for the production of bioethanol is well recognized. Ethanol can be produced from biomass through enzymatic hydrolysis and fermentation. LÄS MER