Essays about: "dedicated line"

Showing result 1 - 5 of 44 essays containing the words dedicated line.

  1. 1. Dynamic Risk Management in Air Traffic Management System Failures

    University essay from Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Author : Nick Lowth; [2024]
    Keywords : Air Traffic Control; Uncertainty; Risk Management; Air Traffic Management; Resilience; Emergence; Trade-offs; FLMU06; Social Sciences;

    Abstract : Context This research looks at managing uncertainty and recovery processes following failure of a sociotechnical system. The provision of Air Traffic Services (ATS) is an essential service that must continue to function supporting at a minimum; medical flights, search and rescue operations, humanitarian aid, State and military flights (as demonstrated during the recent global pandemic). READ MORE

  3. 2. Parallel Operation of Grid-Forming Power Inverters

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Alessia Camboni; [2023]
    Keywords : ;

    Abstract : The use of renewable energy sources has been increasing during the last few years, both to obtain a less impacting energy production, and because of the limited fossil resources. Renewable sources are connected to the grid using inverters, which can be controlled in two main modes, grid-following, and grid-forming. READ MORE

  4. 3. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  5. 4. Evaluation of the auroral large imagining system for automatic space debris detection

    University essay from Luleå tekniska universitet/Rymdteknik

    Author : Pulmu Pietikäinen; [2023]
    Keywords : Space debris; optical system; auroral imager;

    Abstract : The performance of the auroral large imagining system (ALIS_4D) and an automatic track detection algorithm was evaluated for space debris surveillance and tracking. The evaluation of the ALIS_4D was done through a numerical simulation and data annotations, while the track detection results were manually evaluated. READ MORE

  6. 5. Comparison of infrastructure as code frameworks from a developer perspective

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Daniel Karlsson; [2023]
    Keywords : ;

    Abstract : The cloud has become much more important and relevant to the IT industry in recentyears. Instead of buying and maintaining their own physical servers, companies now often opt for renting servers and services from cloud providers. READ MORE