Essays about: "Formula One"

Showing result 1 - 5 of 158 essays containing the words Formula One.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Göteborgs universitet/Graduate School

    Author : Gunnar Bodin; Johannes Miari; [2023-07-03]
    Keywords : Automation; Inventory management; Redundant components; Materials flows; AGVs;

    Abstract : 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. READ MORE

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

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

    Author : Carl Elgcrona; Emil Nordahl; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Lunds universitet/Institutionen för energivetenskaper

    Author : Alix Le Bastard; [2023]
    Keywords : Technology and Engineering;

    Abstract : 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. READ MORE

  6. 5. The black hole information paradox and holography

    University essay from Uppsala universitet/Teoretisk fysik

    Author : Ona Mola Bertran; [2023]
    Keywords : information paradox; semiclassical physics; holography; AdS CFT correspondence; island formula; entanglement entropy;

    Abstract : Hawking theorized in 1974 that black holes emit particles as a quantum effect. It follows from this fact that a black hole that emits particles while absorbing none ends up evaporating. The process of black hole evaporation studied from semiclassical gravity violates quantum mechanics leading to serious problems. READ MORE