Sökning: "Validation"

Visar resultat 41 - 45 av 2587 uppsatser innehållade ordet Validation.

  1. 41. Identifying Threat Factors of Vulnerabilities in Ethereum Smart Contracts

    Magister-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Mah Noor; Syeda Hina Murad; [2023]
    Nyckelord :Smart contract; Blockchain; Ethereum; attacks; security vulnerabilities; security audits;

    Sammanfattning : Ethereum is one of the top blockchain platforms that represents this second generation of blockchain technology. However, the security vulnerabilities associated with smart contracts pose significant risks to confidentiality, integrity, and availability of applications supported by Ethereum. LÄS MER

  2. 42. UCov : A Static Analysis Tool for API Usage Coverage Validation

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

    Författare :Thomas Couturou; [2023]
    Nyckelord :Compatibility coverage; Static analysis; API; Usage pattern; Breaking changes; Kompatibilitetstäckning; Statisk analys; API; Användningsmönster; Förändringar;

    Sammanfattning : Nowadays, all software projects are based on a large number of libraries, so they do not have to start from scratch. These libraries evolve over time, whether to add functionality or to simplify their use. These updates are necessary to improve their libraries, but can lead to errors in their clients’ code. LÄS MER

  3. 43. Hydrogen storage systems : Methodology and model development for hydrogen storage systems performance evaluation based on a transient thermodynamic approach

    Master-uppsats, Mälardalens universitet/Akademin för ekonomi, samhälle och teknik

    Författare :Kreshnik Margaritari; [2023]
    Nyckelord :Hydrogen; Hydrogen storage system; Hydrogen filling process; Hydrogen storage system operation; Hydrogen storage system design; Hydrogen fast filling; Hydrogen tank modelling;

    Sammanfattning : The overall performance of a hydrogen storage system can be affected by various parameters, such as operation and design parameters, but also by the state of the hydrogen contained inside the storage tanks. In this work, a methodology is developed to evaluate the state of the hydrogen during the filling process and its impact on the overall system performance under variable operation conditions and design parameters. LÄS MER

  4. 44. Cable Shape Optimization - Drag Reduction of Cables Used in Marine Applications

    Master-uppsats, KTH/Teknisk mekanik

    Författare :Simon Garpenquist; [2023]
    Nyckelord :Wind Tunnel Experiment; Computational Fluid Dynamics; Aerodynamic Forces; Drag Reduction; Shape Optimization; Flow around Cylinders; Yacht Racing;

    Sammanfattning : It is important to understand the aerodynamic properties of tensioned cables (e.g. used in suspension bridges and yacht riggings), both for drag reduction and vibrational suppression purposes. LÄS MER

  5. 45. Monthly heatwave prediction in Sweden based on Machine Learning techniques with remote sensing data

    Master-uppsats, KTH/Hållbar utveckling, miljövetenskap och teknik

    Författare :Zhuoran Li; [2023]
    Nyckelord :Heatwave Prediction; Sweden; Machine Learning; Remote Sensing Data; Värmebölja förutsägelse; Sverige; Maskininlärning; Fjärravkänningsdata;

    Sammanfattning : Heatwave events as a kind of extreme climate event, have plagued the human race for the past few years. It severely influences people’s life quality, sometimes even leads to some serious diseases. In order to alleviate the possible damages heatwave events can do, some targeted actions are necessary and forecasting heatwaves is one of them. LÄS MER