Sökning: "probabilistic model"

Visar resultat 1 - 5 av 199 uppsatser innehållade orden probabilistic model.

  1. 1. Utvecklingsbehov av probabilistisk säkerhetsanalys (PSA) för applicering på SMR:er

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Tillämpad kärnfysik

    Författare :Udd Emilia; [2024]
    Nyckelord :PSA; SMR; probabilistisk säkerhetsanalys; säkerhetsanalys; kärnkraftssäkerhet; BWRX-300;

    Sammanfattning : Nuclear power is an important part of Sweden's energy system and contributes with about 30 % of the supplied electric energy. Interest in new construction is currently high and one type of reactor that may be built is small modular reactors, SMRs. LÄS MER

  3. 2. Modeling Stoppage Time as a Convolution of Negative Binomials

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för systemteknik

    Författare :Råvan Talani; [2023]
    Nyckelord :Machine learning; negative binomial; convolution; stoppage time; injury time; extra time; football;

    Sammanfattning : This thesis develops and evaluates a probabilistic model that estimates the stoppage time in football. Stoppage time represents the additional minutes of play given after the original matchtime is over. It is crucial in determining the course of events during the remainder of a match, thereby affecting the odds of live sports betting. LÄS MER

  4. 3. Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes : Reducing the Conservativeness in Data-Driven Pedestrian Predictions by Incorporating Their Behavior

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

    Författare :August Söderlund; [2023]
    Nyckelord :Data-driven reachability analysis; Autonomous vehicles; Automated safety; Autonomous situational awareness; Datadriven nåbarhetsanalys; Autonoma fordon; Automatiserad säkerhet; Autonom situationsmedvetenhet;

    Sammanfattning : Predicting the future state occupancies of pedestrians in urban scenarios is a challenging task, especially considering that conventional methods need an explicit model of the system, hence introducing data-driven reachability analysis. Data-driven reachability analysis uses data, inherently produced by an unknown system, to perform future state predictions using sets, generally represented by zonotopes. LÄS MER

  5. 4. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  7. 5. Impact of Residual Stress on the Warm Pre-Stressing Effect

    Master-uppsats, KTH/Hållfasthetslära

    Författare :Emil Danielsson; [2023]
    Nyckelord :Warm Pre-Stressing effect; Residual stress; Cleavage fracture; Ferritic Steel; Fracture mechanics; Varm förspänning; Restspänningar; Klyvbrott; Brottmekanik; Ferritiskt stål;

    Sammanfattning : Irradiation of a reactor pressure vessel (RPV) causes a shift of the ductile to brittle transition region towards higher temperature regions. In the event of a pressurized thermal shock (PTS), where the temperature drops drastically, the ductile to brittle transition region might be entered for irradiated ferritic steel. LÄS MER