Browsing by Author "Kadalipp, Kaspar"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Knowledge Graphs for Cataloging and Making Sense of Smart City Data
    (Tartu Ülikool, 2024) Kadalipp, Kaspar; Jakovits, Pelle, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    Kaasaegsetes hoonetes ja linnades on rohkelt seadmeid, mille andurid saadavad pidevalt välja andmeid. Need andmed jäädvustatakse sageli anduri spetiifilises tehnilises vormingus, mida on inimesel keeruline mõista. Käesolev lõputöö proovib leida viisi süsteemselt organiseerida andurite poolt välja saadetud keerukaid andmeid, kasutades juhtumiuuringuna Tartu linna Cumulocity IoT platvormi andmestikku. Olemasolevatest andmetest ülevaate saamiseks ja nende edasise analüüsimisega seotud probleemide tuvastamiseks visualiseeriti andmestik lihtsustatud teadmusgraafi kujul ning koostati hierarhiline teemamudel, mis suudab andmekogumist tuvastada anduritele vastavaid nutistu valdkondi.
  • Thumbnail Image
    Item
    LTL-põhise vastavuskontrolli integreerimine protsessikaeve rakendusse RuM
    (Tartu Ülikool, 2021) Kadalipp, Kaspar; Maggi, Fabrizio Maria, juhendaja; Alman, Anti, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    Bakalaureuse töö käigus täiendati protsessikaeve rakenduse RuM funktsionaalsust. RuM on deklaratiivse protsessikaeve metoodikaid kasutav raamistik. Lisatav funktsionaalsus on LTL keelel põhinev vastavuskontrolli metoodika, mis võimaldab analüüsida oluliselt kee-rukamaid protsesse, kui olemasolev vastavuskontroll. Vastavuskontrolli põhimõte on protsessi eeldatava ja tegeliku käitumise võrdlemine ning sellest saadud info põhjal protsessi parendamine. Soovitava funktsionaalsuse saavutamiseks integreeriti antud töös rakendusse RuM ra-kenduse ProM pistikmoodul LTL Checker. Lisatud pistikmooduli kujundust tuli muuta, et see sobituks olemasoleva rakenduse kujundusega. Prototüübi loomisel kasutati kujundusplatvormi Adobe XD. Töös on kirjeldatud kasutajaliidese kujundamise protsessi ning tehtud algust reaalse implementatsiooniga. Tulemusena muutub pistikmooduli funktsionaalsuse kasutamine rohkem võimalusi pakkuvaks ning kasutajale mugavamaks.