Essays about: "work specification"

Showing result 16 - 20 of 273 essays containing the words work specification.

  1. 16. Development and evaluation of concepts for a high acceleration test rig : Development of a test rig, which aims to expose components to large and controllable accelerations

    University essay from Karlstads universitet/Institutionen för ingenjörsvetenskap och fysik (from 2013)

    Author : Axel Jansson; [2023]
    Keywords : High acceleration; ballistics; acceleration test rig;

    Abstract : This thesis work is dedicated towards finding a feasible test rig design, which can expose small components, produced by SAAB, to a variety of accelerations under different conditions. A literature study is conducted with the objective of gathering information regarding high acceleration testing, where relevant components, designs and calculation methods are presented. READ MORE

  3. 17. Developing a Components List for a Shoe Repair Kit for Leather Sneakers, Designed for Consumer Use

    University essay from Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Author : Izabell Gustafsson; Ellen Nordholm; [2023]
    Keywords : Repair; Leather Sneaker Repair; Product Lifetime; Shoe-Wear; Sustainable Consumption; Circular Economy.;

    Abstract : This thesis is being conducted by two final year Bachelor degree students, collaborating with a Swedish fashion brand producing leather sneakers with the aim to investigate the most common wear and tear of shoes in metropolitan and suburban environments. Shoes are readily known for having a relatively short product lifecycle and with few alternatives to prolong the materials usefulness at the end. READ MORE

  4. 18. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  5. 19. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Johan Moritz; [2023]
    Keywords : Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Abstract : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. READ MORE

  6. 20. Teknisk utveckling för timmerbilar och deras släpvagn och kran

    University essay from SLU/Department of Forest Biomaterials and Technology (from 131204)

    Author : Joakim Forsberg; [2023]
    Keywords : lastbil; släp; timmersläp; kortvirkeskranar; skogshistoria; vidaretransporter;

    Abstract : Flottningen var det huvudsakliga transportmedlet för att transportera virke innan lastbilar började användas. Utbyggnaden av skogsbilvägnätet skapade möjligheter att komma ännu längre ut i skogen med timmerbilarna och kortade ner basvägtransporten. READ MORE