Essays about: "uses of graphs"

Showing result 1 - 5 of 49 essays containing the words uses of graphs.

  1. 1. Route Planning of Battery Electric Heavy-Duty Commercial Vehicles : Using Contraction Hierarchies and Mixed Integer Programming

    University essay from Uppsala universitet/Datalogi

    Author : Olle Delborg; Elias Insulander; [2023]
    Keywords : route planning; route optimization; contraction hierarchies; mixed integer programming; vehicle routing problem; electric trucks; electric vehicles; battery; openstreetmap; shortest path; Dijkstra;

    Abstract : This thesis addresses route planning of Battery Electric Heavy-Duty Commercial Vehicles to enhance the reliability of electric vehicle transport. Collaborating with Scania, a Swedish truck manufacturing company, the goal is to develop a pipeline that uses open source data from OpenStreetMap and performs a modified Contraction Hierarchy in order to create a graph that can be used as input to a modified Vehicle Routing Problem formulation using Mixed Integer Programming. READ MORE

  3. 2. Generating corpora of semantic graphs based on graph extension grammar

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Eric Andersson; [2023]
    Keywords : ;

    Abstract : This thesis introduces the tool Lovelace which is used to generate corpora of semantic graphs to investigate which functionalities and design- as well as implementation aspects are important in a corpus generator. Lovelace uses the graph grammar formalism graph extension grammar (GEG) to generate these corpora. READ MORE

  4. 3. Evaluation of security threats in microservice architectures

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

    Author : William Lindblom; [2022]
    Keywords : Microservice architectures; Threat modelling; Design patterns; Mikrotjänstarkitekturer; Hotmodellering; Designmönster;

    Abstract : The microservice architecture is a popular architectural pattern in the industry to implement large systems as they can reduce the code bases of each service and increase the maintainability for each of the individual services by dividing the application into smaller components based on business logic. The services can be implemented in different programming languages and communicates over a network. READ MORE

  5. 4. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy

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

    Author : Joakim Savegren; Joar Edling; [2022]
    Keywords : ForSyDe; Models of Computation; Domain Specific Language DSL ; Data-flow; Embedded Software; Modeling; Programvara för inbyggda system; ForSyDe; Beräkningsmodeller; Domänspecifika språk; Data flöde; Modellering;

    Abstract : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. READ MORE

  6. 5. Exploring properties and limitations of Graph Neural Networks (GNNs) in Software Verification

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Kexin Xu; [2021]
    Keywords : ;

    Abstract : This study analyzes how applicable Graph Neural Networks (GNNs) can be used for learning the labels of Horn graphs that are generated from Constrained Horn Clauses (CHCs) using Eldarica. To answer this question, 121 mono-direction edge layer graphs and hyper-edge graphs are prepared to be trained and validated and tested, weights per 10 epochs and losses are collected and visualized in 6 scenarios. READ MORE