Sökning: "no decomposition"

Visar resultat 1 - 5 av 171 avhandlingar innehållade orden no decomposition.

  1. 1. Advances in Functional Decomposition: Theory and Applications

    Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

    Sammanfattning : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. LÄS MER

  3. 2. Future stratospheric ozone depletion will affect a subarctic dwarf shrub ecosystem

    Författare :Ulf Johanson; Biologiska institutionen; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Vaccinium; UVB; subarctic; shoot growth; ozone depletion; leaf thickness; irradiation system; heath ecosystem; Empetrum; dwarf shrubs; Calamagrostis; decomposition; Physiological biophysics; Växtfysiologi;

    Sammanfattning : The stratospheric ozone depletion and the concomitant increase in ultraviolet-B (UV-B, 280-320 nm) radiation is of global concern due to the effects of UV-B on living organisms. To investigate the effects of increased levels of UV-B, a field irradiation system was established at a subarctic dwarf shrub heath in Northern Sweden (68 °N). LÄS MER

  4. 3. Soil Organic Matter Dynamics and Methane Fluxes at the Forest – Tundra Ecotone in Fennoscandia

    Författare :Sofie Sjögersten; Gaius Shaver; Uppsala universitet; []
    Nyckelord :Decomposition; forest – tundra ecotone; environmental change; Fennoscandia; methane; soil organic matter; subarctic.; naturgeografi; Physical Geography;

    Sammanfattning : This thesis presents results from several studies that have focused on the carbon and nutrient dynamics in soils at the forest – tundra ecotone in Fennoscandia. The main objectives of the study were: (i) to investigate the links between the physical environment, above-ground vegetation communities, soil carbon storage, nutrient status and the chemical composition of the soil organic matter (SOM), and (ii) to quantify trace gas fluxes (methane and carbon dioxide) between mesic soils and the atmosphere. LÄS MER

  5. 4. Structuring factors for macroinvertebrate communities and the importance for ecosystem processing

    Författare :Pia Hertonsson; Biologiska institutionen; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; ephemeroptera; competition; Predation risk; brownification; invasive sp.; decomposition; grazing; growth; gastropoda; mortality; amphipoda; isopoda;

    Sammanfattning : Aquatic macroinvertebrates play important roles in our ecosystems and are essential for the ecosystem processing. An improved knowledge of structuring factors, such as competition and predation, and the way in which they operates in the macroinvertebrate community is crucial for our understanding of not only the macroinvertebrates but also the ecosystem in general. LÄS MER

  7. 5. Optimisation methods for solving a large-scale avionics scheduling problem

    Författare :Emil Karlsson; Elina Rönnberg; Kaj Holmberg; Simin Nadjm-Tehrani; Musliu Nysret; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Optimisation; Decomposition; Large-scale scheduling; Avionics scheduling;

    Sammanfattning : Modern computer systems in aircraft are based on an integrated modular avionic architecture. In this architecture, software applications share hardware resources on a common avionic platform. Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences. LÄS MER