Avancerad sökning

Visar resultat 1 - 5 av 44 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Framgångsrik implementering av processbekräftelse : En fallstudie på LKAB om arbetssättet processbekräftelse och projektet Störningsfri pelletsproduktion

    Kandidat-uppsats, Uppsala universitet/Industriell teknik

    Författare :Filip Flygare; [2023]
    Nyckelord :gemba walk; lean; LKAB; offensive quality development; process confirmation; TQM.; gemba walk; hörnstensmodellen; lean; ledarslingan; ledartid; LKAB; offensiv kvalitetsutveckling; processbekräftelse; TQM; verksamhetsrunda;

    Sammanfattning : Several companies have been inspired by Lean to achieve continuos improvement in their operations. Unfortunately, many manufacturing industries have struggled with the successful implementation of such improvement programs. LÄS MER

  2. 2. Effektiviseringsmöjligheter i administrativt arbete för projekthantering: En fallstudie

    M1-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Agnes Gylling; Hugo Nordahl; [2023]
    Nyckelord :Projekthantering; Projektledning; Administrativt arbete; Dataflödesanalys; Processkartläggning; Dataflödesdiagram; Lean; Effektivisering;

    Sammanfattning : Syfte: Syftet med examensarbetet är att Identifiera effektiviseringsmöjligheter för administrativt arbete i projekthantering. Det finns intresse i att undersöka hur det går att standardisera och effektivisera de administrativa arbetet i projektprocesserna. LÄS MER

  3. 3. Flödeseffektivisering samt slöseriminimering : i en byggarbetsprocess

    M1-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Andreas Celikovic; Amir Karamehmedovic; [2021]
    Nyckelord :lean; bygg; byggeffektivisering;

    Sammanfattning : Arbetet handlar om renoveringar i miljonprogrammen och hur man kan effektivisera dessa med hjälp av ett Lean inspirerat arbetssätt. Genom studiens gång kommer man att på djupet analysera de arbetsmoment som i nuläget utförs för en totalrenovering av en lägenhet. LÄS MER

  4. 4. Simple formally verified compiler in Lean

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Leo Okawa Ericson; [2021]
    Nyckelord :;

    Sammanfattning : Computer checked proofs that a compiler is correct are important for increasing the confidence in programs. This report presents a simple compiler and a proof that the compiler is correct for terminating evaluations using the interactive theorem prover Lean, based on Concrete Semantics: with Isabelle/HOL. LÄS MER

  5. 5. Computational and accuracy benchmarking of simulation and system-theoretic models for production systems engineering

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskap

    Författare :Antonio José Ramos Calderón; [2021]
    Nyckelord :DES; benchmarking; lean buffer; optimization; simulation software; performance measure; plant simulation; FACTS; PSE toolbox;

    Sammanfattning : The modern industry has an increasing demand for simulation software able to help workers and decision-makers visualize the outputs of a specific process in a fast, accurate way. In this report, a comparative study between FACTS (Factory Analyses in ConcepTual phase using Simulation), Plant Simulation, and PSE (Production System Engineering) Toolbox is done regarding their capacity to simulate models with increasing complexity, how accurate they are in their outputs with different optimized buffer allocations, and how well they perform on the task of detecting the bottlenecks of a process. LÄS MER