Sökning: "exempel på synergier"

Visar resultat 1 - 5 av 12 uppsatser innehållade orden exempel på synergier.

  1. 1. Increasing process reconfigurability and quality in HMLV assembly lines using Industry 4.0 : A case study in the automotive industry

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Dagvadorj Bazarkhuu; Evelina Dannert; [2023]
    Nyckelord :Reconfigurability; Industry 4.0; quality; assembly; High-Mix Low-Volume; HMLV; Rekonfigurerbarhet; Industri 4.0; kvalitet; montering; Hög-mix Låg-volym; HMLV;

    Sammanfattning : The automotive industry is responsible for substantial emissions and is therefore transitioning to the new market of electromobility. With changing market conditions and uncertain demand, frequent product launches and customization are increasingly common. LÄS MER

  3. 2. M&A-transaktioner på fastighetsmarknaden - Varför sker de och vilka effekter ger de?

    Master-uppsats, Lunds universitet/Fastighetsvetenskap

    Författare :Ossian Larsson; Oskar Mosén; [2022]
    Nyckelord :Fusioner och förvärv; M A; företagsförvärv; fastighetsmarknaden; motiv; synergier; tillväxt; finansiering.; Technology and Engineering;

    Sammanfattning : This study aims to research the motives for and value creation from M&A transactions in the Swedish Real Estate Market. All transactions in the period 2017-2021 were analyzed in detail. LÄS MER

  4. 3. COVID-19 and housing market effects from an Icelandic context

    Master-uppsats, Lunds universitet/Fastighetsvetenskap

    Författare :Elsa Frisk; [2022]
    Nyckelord :COVID-19; Corona pandemic; restrictions; sales prices; transactions frequency; Technology and Engineering;

    Sammanfattning : The global emergency declared by the World Health Organization in early 2020 due to the outbreak of SARS-CoV-2 would later develop into a pandemic that has since affected global markets at large. Though its affects have been varied in nature and magnitude, housing markets in many countries have seen a boom since the initial outbreak. LÄS MER

  5. 4. Automated inference of ACSL function contracts using TriCera

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jesper Amilon; [2021]
    Nyckelord :Formal Verification; Contract inference; Hoare Logic; Model Checking; Horn clauses; Formell verifikation; Kontraktgenerering; Formell semantik; Hoare logik; Modellprovning; Horn clauses;

    Sammanfattning : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. LÄS MER

  7. 5. Data-driven Decision-making for Efficient & Sustainable Production

    Master-uppsats, KTH/Industriell ekonomi och organisation (Inst.)

    Författare :Arvid Broms; Simon Liljenberg Olsson; [2021]
    Nyckelord :Data-driven decision-making; smart manufacturing; sustainable manufacturing; Datadrivet beslutsfattande; smart tillverkning; hållbar tillverkning;

    Sammanfattning : As a result of digitalization, previously analog systems in the manufacturing industry have become digitalized, including the decision-making processes. Companies are, therefore,becoming more dependent on data for strategic decisions. LÄS MER