Sökning: "C- LIU"

Visar resultat 26 - 30 av 581 uppsatser innehållade orden C- LIU.

  1. 26. Compiler Testing by Random Source Code Generation

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Victor Löfgren; [2023]
    Nyckelord :Compiler testing; random testing; fuzz testing; random program generation; automated testing;

    Sammanfattning : Most software projects today are written using programming languages. Compilers in turn translate programs written in these higher level languages into machine code, executable on actual hardware. Ensuring that these compilers function correctly is therefore paramount. LÄS MER

  3. 27. A Study on Poset Probability

    Kandidat-uppsats, Linköpings universitet/Algebra, geometri och diskret matematik; Linköpings universitet/Tekniska fakulteten

    Författare :Albin Jaldevik; [2022]
    Nyckelord :Discrete mathematics; Order theory; Combinatorics; Partially ordered set; Poset; Linear extension; Topological sorting; Probability; Partition; Young diagram;

    Sammanfattning : Let be a finite poset (partially ordered set) with cardinality . A linear extension of is an order-preserving bijection : , that is, if in then . We define the poset probability as the proportion of linear extensions where . We are primarily interested in for incomparable elements . LÄS MER

  4. 28. Extending applicability of symbolic execution to uncover possible shared memory transactions in GPU programs

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jonathan Hjort; [2022]
    Nyckelord :;

    Sammanfattning : General-purpose computing on the graphics processing unit has become popular since the cost-to-power ratio is lower for GPUs (compared to CPUs) and the programmability of the GPU has increased. CUDA is an extension of the C/C++ programming languages which enables software developers to more easily make use of the computational power of the GPUs. LÄS MER

  5. 29. Implementation and Evaluation of Monocular SLAM

    Master-uppsats, Linköpings universitet/Medie- och Informationsteknik; Linköpings universitet/Tekniska fakulteten

    Författare :Jesper Martinsson; [2022]
    Nyckelord :SLAM; Monocular SLAM; OpenCV; SIFT; CUDASIFT; Ceres Solver; Data set; C ;

    Sammanfattning : This thesis report aims to explain the research, implementation, and testing of a monocular SLAM system in an application developed by Voysys AB called Oden, as well as the making and investigation of a new data set used to test the SLAM system. Using CUDASIFT to find and match feature points, OpenCV to compute the initial guess, and the Ceres Solver to optimize the results. LÄS MER

  7. 30. Lithium-ion Battery Modeling and Simulation for Aging Analysis using PyBaMM

    Master-uppsats, Linköpings universitet/Institutionen för systemteknik

    Författare :Amina Coric; [2022]
    Nyckelord :Battery charging; Lithium-ion; Doyle-Fuller Newman; P2D; Single Particle Model; Pulse Charging; Constant Current Constant Voltage; Solid Electrolyte Interphase; SEI; Lithium Plating; Cycle Life; Cyclic Aging; PyBaMM; Batteri laddning; Litiumjonbatteri; Doyle-Fuller Newman; P2D; Singelpartikelmodell; Pulsad Laddning; Konstant Ström Konstant Spänning; Fast Elektrolytinterfas; SEI; Litiumplätering; LP; Cykellivslängd; Cykliskt Åldrande; PyBaMM;

    Sammanfattning : The rate of degradation of a lithium-ion battery depends on its use i.e. how it is charged and discharged. Physics-based models are used to represent the processes inside a cell as well as the degradation mechanisms. LÄS MER