Sökning: "Verified"

Visar resultat 1 - 5 av 1547 uppsatser innehållade ordet Verified.

1. 1. Reconstructing point patterns from spatially aggregated data

   Master-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaper

   Författare :Jens Michelsen; [2024-03-13]
   Nyckelord :lorem; ipsum; dolor; sit; amet; consectetur; adipisicing; elit; sed; do.;

   Sammanfattning : In this thesis we explore the ability to reconstruct samples (point configurations) from a point process, based only on the information contained in spatially aggregated data, namely the number of points in the partitions of a larger region. The ability to reconstruct a point configuration, in such a way that it retains most of it’s statistical properties, could be useful in cases where one is faced with a mixed dataset; some regions containing the full point configuration data, while other regions only contain aggregated data, i. LÄS MER

3. 2. 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

4. 3. Increasing the diodicity of ceramic Tesla valves by exploiting the design freedom of additive manufacturing : A study in design optimizations of Tesla valves for ceramic 3D printing

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

   Författare :Udit Sharma; [2024]
   Nyckelord :additive; manufacturing; Tesla; valve; ceramic; 3D; printing;

   Sammanfattning : The work presented in this thesis was conducted at Uppsala University and at Fraunhofer IKTS, Dresden. The thesis aims to study design optimizations for increasing the diodicity and thereby performance of a Tesla valve, a type of “no moving parts” (NMP) valve, through design freedoms offered by ceramic additive manufacturing. LÄS MER

5. 4. Solving the incompressible Navier-Stokes equations in 3-D to model gas flow in a room

   Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för beräkningsvetenskap

   Författare :Fredrik Malmström; [2024]
   Nyckelord :;

   Sammanfattning : The thesis proposes to model the flow of gases in a room by solving the incompressible Navier-Stokes equations in three dimensions. The transportationof scalars such as temperature and concentration of CO2 is modeled by solving the advection-diffusion equation, and the effects of temperature on thevelocity is accounted for by employing the Boussinesq approximation. LÄS MER

7. 5. A study of productivity measurement and modeling of inhaler production at AstraZeneca

   Master-uppsats, Linköpings universitet/Kommunikations- och transportsystem; Linköpings universitet/Tekniska fakulteten

   Författare :Vilma Björk Öhhrfelt; Ebba Österman; [2023]
   Nyckelord :Produktivitet; produktivitetsmått; produktionsplanering; diskret händelsestyrd simulering; kapacitetsförändringar; produktionslogistik; Industriell ekonomi; Industriell ekonomi;

   Sammanfattning : Production planning and evaluation can be performed using various tools. This study encompasses two main topics: productivity measurement and production simulation. The study was conducted at AstraZeneca, a pharmaceutical company, where their production of inhalers was examined. LÄS MER