Sökning: "Formula One"

Visar resultat 1 - 5 av 248 uppsatser innehållade orden Formula One.

  1. 1. A Verified QBF Solver

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

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Inventory management of redundant components in a highly automated environment - A case study at a manufacturing company

    Master-uppsats, Göteborgs universitet/Graduate School

    Författare :Gunnar Bodin; Johannes Miari; [2023-07-03]
    Nyckelord :Automation; Inventory management; Redundant components; Materials flows; AGVs;

    Sammanfattning : SKF is a leading manufacturer of bearings, seals, lubrication systems, and condition monitoring systems. Since its beginning in 1907, the company has grown steadily, and now it serves clients in over 130 countries worldwide. LÄS MER

  4. 3. Nulägesanalys av vätgasetablering : En uppdatering av Färdplan 2020 mot ett Jämtkraftsperspektiv

    Uppsats för yrkesexamina på grundnivå, Mittuniversitetet/Institutionen för naturvetenskap, design och hållbar utveckling (2023-)

    Författare :Elin Jönsson; [2023]
    Nyckelord :Hydrogen gas; LCOH; Intermittent electricity production; energy storage; energy development; Vätgas; LCOH; Intermittent elproduktion; energilagring; energiutveckling;

    Sammanfattning : In connection to the increase of emissions of greenhouse gases, electrification of the society is pointed out as absolute necessary to achieve the climate goals. To succeed with this, a substantial proportion of the intermittent electricity production needs, with the help from technical solutions, be used as a buffer for this production. LÄS MER

  5. 4. Optimizing a Steering System for a KTH Formula Student Race car

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

    Författare :Carl Elgcrona; Emil Nordahl; [2023]
    Nyckelord :;

    Sammanfattning : The primary objective of this study is to develop and evaluate a steering controller for aFormula Student driverless electric vehicle to enhance its performance and efficiency. By creatinga testing setup and testing scripts, the controller's sensitivity to various CAN bus parameters, suchas periodicity and message priority, could be assessed. LÄS MER

  7. 5. Methods and Purposes of Aerodynamic Correlation in Formula Student

    Master-uppsats, Lunds universitet/Institutionen för energivetenskaper

    Författare :Alix Le Bastard; [2023]
    Nyckelord :Technology and Engineering;

    Sammanfattning : This thesis investigates how methods of aerodynamic validation can assist a formula student team in designing their aerodynamic package. When de- signing their aerodynamic components, formula student team mostly rely on CFD software simulations, but there is no guarantee that the simulations de- pict properly the physical behaviour of the airflow around the car. LÄS MER