Essays about: "use of integer"

Showing result 1 - 5 of 73 essays containing the words use of integer.

  1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

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

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

    Abstract : 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. READ MORE

  3. 2. Simultaneous scheduling of railway maintenance and trains : Modelling and solving train interactions close to a maintenance operation

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

    Author : Pauline Vaillant; [2023]
    Keywords : Optimization; Linear programming; Heuristics; Railway scheduling; Maintenance planning; Optimering; Linjärprogrammering; Heuristik; Järnvägsplanering; Underhållsplanering;

    Abstract : Rail transport plays a key role in the mobility of passengers and goods. It is expected to grow the decarbonization of society. In that context, it is important to use the railway network efficiently, and jointly planning trains and network maintenance allows for better use of resources. READ MORE

  4. 3. Network reconfiguration for renewable generation maximization

    University essay from Lunds universitet/Industriell elektroteknik och automation

    Author : Gabriel Malmer; Lovisa Thorin; [2023]
    Keywords : distributed generation; hosting capacity; network reconfiguration; optimal power flow; power distribution; optimization; mixed-integer programming; Technology and Engineering;

    Abstract : Increasing the amount of renewable generation in distribution networks is a fundamental part of the energy transition. Multiple methods exist to increase the hosting capacity in a grid, to allow larger injections of generation and more efficiently utilize existing infrastructure before operational limits are breached. READ MORE

  5. 4. A digital integer-N PLL architecture using a pulse-shrinking TDC for mmWave applications.

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

    Author : Simon Richter; [2023]
    Keywords : Phase-locked-loops; All-digital Phase-locked-loops; Time-to-digital converters; 5G and beyond; Radio-frequency design; Fas-låsd-loop; Helt-digital fas-låst-loop; Tid-till-digital-omvandlare; 5G och framtiden; Radio-frekvens design;

    Abstract : With the move of the broadband cellular network towards 5G taking off and the preparatory work on 6G and beyond starting, the need for low-complexity, low-power, and high-performance frequency synthesis using Phase-Locked Loop (PLL)s increases. As we get deeper into the mm-wave frequencies and push towards frequencies in the order of 50-70 GHz design challenges with existing PLL architectures, such as limited technology scaling and limited in-band noise performance become more apparent. READ MORE

  6. 5. Automatic text placement on maps using deep learning keypoint detection models

    University essay from Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Author : Azin Khosravi Khorashad; [2022]
    Keywords : machine learning; Stacked hourglass networks; attention mechanism; CNN; geomatics; Earth and Environmental Sciences;

    Abstract : Labeling the map is one of the most essential parts of the cartographic process that requires a huge time and energy. It is proven that the automation of map labeling is an NP-hard problem. There have been many research studies that tried to solve it such as rule-based methods, metaheuristics, and integer programming. READ MORE