Sökning: "probabilistic"

Visar resultat 6 - 10 av 365 uppsatser innehållade ordet probabilistic.

  1. 6. 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

  3. 7. Gender dimension in the informal trade networks in the ECOWAS region: the case of the Nana Benz

    Master-uppsats, Lunds universitet/Ekonomisk-historiska institutionen

    Författare :Gloria Sánchez Sánchez; [2023]
    Nyckelord :Social Sciences;

    Sammanfattning : This research focuses on the determinants of participation in informal trade and firms for women in West Africa using the example of the Nana Benz in Togo as a case study. Women have been involved in informal trade for centuries, yet their role tends to be overlooked due to gender inequalities. LÄS MER

  4. 8. 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

  5. 9. Transmission expansion planning considering Probabilistic Risk Assessment : Implemented at Swedish National Grid

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

    Författare :Jakob Björns; [2023]
    Nyckelord :Probabilistic risk assessment; PSS E; Transmission expansion planning; National grid; Probabilistisk riskbedömning; PSS E; Transmissionsnätsutveckling; Stamnät;

    Sammanfattning : Svenska kraftnät (Swedish National Grid) is the transmission system operator in Sweden and is responsible for maintaining and developing the Swedish transmission grid. One of the tasks included in this responsibility is transmission expansion planning, which means analyzing and planning the capacity in the future transmission grid for the requested load and generation. LÄS MER

  7. 10. Modelling Long Term Memory in the Bayesian Confidence Neural Network Model

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

    Författare :Charu Karn; Samir Samahunov; [2023]
    Nyckelord :;

    Sammanfattning : Memory is a fascinating and complex part of human life. Understanding memory and simulating itthrough modelling can help society take steps towards understanding health issues such asAlzheimer's, dementia and amnesia. LÄS MER