1. Upravljanje in arhiviranje podatkov sistema SUMO : diplomsko deloAleš Lenko, 2024, undergraduate thesis Abstract: V sodelovanju s podjetjem Operato, d. o. o., smo izdelali programsko opremo, ki bere podatke s produkcijske podatkovne baze ter jih shranjuje v podatkovno bazo za arhiviranje.
Cilj diplomskega dela je bila izdelava programa, ki bo služil kot vmesnik med produkcijsko in arhivsko podatkovno bazo. Zahtevana je bila arhitektura po načelu inverzije odvisnosti, ki pravi, da moduli visoke ravni ne smejo biti odvisni od modulov nizke ravni, temveč morajo biti oboji odvisni od abstrakcij. Rešitev je rešila problem, ki bi z nadaljevanjem obratovanja naraščal, saj bi bile poizvedbe zmeraj zahtevnejše, ker se količina podatkov v bazi konstantno povečuje.
Keywords: podatkovna baza PostgreSQL, masivni podatki, načelo inverzije odvisnosti
Published in DKUM: 14.10.2024; Views: 0; Downloads: 34
 Full text (1,23 MB) |
2. Optimizacija podatkov vremenskega modela z uporabo naprednih metod strojnega učenjaRene Rajzman, 2024, undergraduate thesis Abstract: Diplomsko delo prikazuje uporabo različnih kombinacij metod strojnega učenja, kot sta naključni gozd in gradientno povečevanje, ki jih ponuja Python knjižnica Sklearn, pri optimizaciji rezultatov vremenskih napovednih modelov. Obravnavani vremenski napovedni modeli se uporabljajo na področju elektroenergetskih sistemov za izračun dinamične termične meje daljnovodov. Končni sistem, ki za optimizacijo podatkov vremenskih napovednih modelov uporablja metode strojnega učenja, lahko izboljša natančnost izračunane termične meje, ki je ključnega pomena za dobro elektroenergetsko logistiko.
Keywords: strojno učenje, Python, DTR, vremenski modeli, optimizacija podatkov
Published in DKUM: 19.09.2024; Views: 0; Downloads: 56
Full text (3,32 MB) |
3. Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem ESTRok Vogrin, 2018, master's thesis Abstract: Magistrsko delo obravnava tvorjenje avtomatov linearnih končnih prič veljavnosti formul akcijske logike dreves izvajanj z operatorjem unless (ACTLW -- Action-based Computation Tree Logic with Unless operator) v modelih realnih sistemov, imenovanih označeni sistemi prehajanja stanj. Namen dela je tvorjenje avtomatov prič, ki kažejo, kako so v takem modelu prisotne lastnosti, opisane z veljavno formulo ACTLW. V prvem delu naloge so predstavljeni ključni elementi za tvorjenje avtomatov prič. Vpeljana sta pojma karakteristična funkcija in binarni odločitveni graf. Definirani so označeni sistemi prehajanja stanj, končni avtomati ter logika ACTLW. V drugem delu je na podlagi definicij razvit postopek in opisana implementacija tvorjenja avtomatov linearnih končnih prič z orodjem EST. Tvorjenje avtomatov je prikazano na primeru modela komunikacijskega protokola z omejenim številom ponovnih oddaj in biološkega sistema uravnavanja laktoznega operona.
Keywords: formalne metode, preverjanje modelov, temporalna logika, avtomati prič, simbolične metode
Published in DKUM: 09.10.2018; Views: 1477; Downloads: 167
Full text (666,65 KB) |
4. Representation of Boolean functions with ROBDDsAleš Časar, Robert Meolic, independent scientific component part or a chapter in a monograph Abstract: This paper describes data structures and algorithms for representation of Boolean functions with reduced ordered binary decision diagrams (ROBDDs). A hash table is used for quick search. Additional information about variables and functions is stored in binary trees. Manipulations on functions are based on a recursive algorithm of ITE operation. The primary goal of this article is describe programming technics needed to realize the idea. For the first time here recursive algorithms for composing functions and garbage collection with a formulae counter are presented. This is better than garbage collection in other known implementations. The results of the tests show that the described representation is very efficient in applications which operate with Boolean functions.
Keywords: Reduced Ordered Binary Decision Diagram, Boolean function, logic functions, logic design verification, hash table
Published in DKUM: 02.02.2018; Views: 2539; Downloads: 56
Full text (323,32 KB) |
5. Implementation aspects of a BDD package supporting general decision diagrams : Revisited slides of a lecture given at JKU Linz on September 19th 2016Robert Meolic, 2016, invited lecture at foreign university Abstract: General decision diagram is a loose term for a superset of different types of decision diagrams - we are interested in joining BDDs, FDDs, and different types of suppressed DDs, e.g. ZBDDs. I will present: The current state of our BDD package Biddy (functionalities and details about the original implementation aspects). Our ideas for efficient implementation of ZBDDs (which could be used for all types of suppressed DDs).New type od decision diagrams called ZFDD (somehow symmetric to ZBDD). A rough draft about the implementation of a package supporting general decision diagrams.
Keywords: Binary Decision Diagram, Zero-suppressed Binary Decision Diagram, Boolean function, Algorithm, BDD package, Biddy
Published in DKUM: 26.10.2017; Views: 3549; Downloads: 123
Full text (1,07 MB) |
6. Uporaba urejenih odločitvenih grafov pri računalniški obdelavi logičnih funkcij : diplomsko delo visokošolskega študijaRobert Meolic, 1995, undergraduate thesis Abstract: Odločitveni grafi so uspešna podatkovna struktura za predstavitev logičnih funkcij. V diplomskem delu so podane potrebne matematične osnove za njihovo razumevanje in računalniški algoritmi za njihovo učinkovito realizacijo. Podrobno so opisani urejeni binarni odločitveni grafi (OBDD), urejeni funkcijski odločitveni grafi (OFDD) in urejeni binarni odločitveni grafi s potlačenimi ničlami (0-sup-BDD). Dodan je pregledni opis prostih binarnih odločitvenih grafov (FBDD), razširjenih binarnih odločitvenih grafov (XBDD), urejenih Kroneckerjevih funkcijskih odločitvenih grafov (OKFDD) in diferenčnih binarnih odločitvenih grafov (\delta BDD). Za ROBDD, ROFDD in 0-sup-BDD so podani razčlenitveno pravilo, pravilo minimizacije in algoritmi za logične operacije, ki so tudi izpeljani. Algoritmi so bili realizirani v programskem jeziku C. Prikazani so rezultati testov, v katerih se primerja učinkovitost različnih vrst odločitvenih grafov pri preverjanju enakosti logičnih funkcij, pri predstavitvi množic kombinacij in pri predstavitvi slik.
Keywords: Boolova algebra, logične funkcije, binarni odločitveni grafi, funkcijski odločitveni grafi, podatkovne strukture
Published in DKUM: 07.08.2017; Views: 2610; Downloads: 132
Full text (560,59 KB) |
7. Akcijska logika dreves izvajanj z operatorjem unless : doktorska disertacijaRobert Meolic, doctoral dissertation Abstract: Doktorska disertacija definira in raziskuje akcijsko logiko dreves izvajanj z operatorjem unless (ACTLW). ACTLW je izjavna temporalna logika razvejanega časa. Izhaja iz logike ACTL, ki je bila vpeljana leta 1990 in je ena od uveljavljenih temporalnih logik za izražanje lastnosti modelov, ki temeljijo na dogodkih. ACTLW je fleksibilnejša od ACTL, saj ne vsiljuje uporabe notranjega dogodka T pri izražanju lastnosti. ACTLW je tudi nekoliko izraznejša od ACTL, saj vsebuje temporalni operator unless (W), katerega pomena v ACTL ni možno v celoti izraziti. Nasprotno pa lahko vse formule ACTL izrazimo z uporabo operatorjev ACTLW. ACTLW omogoča učinkovito izvedbo preverjanja modelov s podobnimi algoritmi kot pri preverjanju modela s CTL, kar je pomembna izboljšava glede na logiko ACTL. Doktorska disertacija podaja definicijo logike ACTLW, izpeljave vseh standardnih temporalnih operatorjev in algoritme za globalno preverjanje modela z ACTLW s simboličnim računanjem. Predstavljeni so tudi algoritmi za tvorjenje diagnostike pri ACTLW, za tvorjenje lineamih prič in protiprimerov pri ACTLW ter za tvorjenje avtomatov prič in proti primerov pri ACTLW. Doktorska disertacija je v celoto zaokrožena z vzorci formul ACTLW in dvema večjima praktičnima primeroma: verifikacijo več različnih algoritmov za medsebojno izključevanje in verifikacijo dveh asinhronih vezij za porazdeljeno medsebojno izključevanje.
Keywords: formalne metode verifikacije sistemov, preverjanje modela, temporalna logika, doktorske disertacije, CTL, ACTL, ACTLW, diagnostika, problem medsebojnega izključevanja
Published in DKUM: 04.08.2017; Views: 1995; Downloads: 126
Full text (1,04 MB) |
8. Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko deloRobert Meolic, master's thesis Abstract: Magistrsko delo obravnava metode preverjanja pravilnosti obnašanja sistemov, ki temeljijo na opisu sistema s procesno algebro. Podana je definicija procesne algebre in primeri opisov sistemov s procesi. Predstavljeno je ugotavljanje ekvivalence sledi, stroge, vejitvene in šibke opazovalne ekvivalence, ugotavljanje testne ekvivalence ter simbolično preverjanje modelov z izjavno vejitveno temporalno logiko ACTL. Vse obravnavane metode se med seboj odlično dopolnjujejo in skupaj tvorijo močno orodje za formalno verifikacijo sistemov. V magistrskem delu je opisana izvedba takšnega orodja z BDD-ji. Uporaba orodja je ponazorjena na primeru verifikacije komunikacijskega protokola BRP.
Keywords: formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD
Published in DKUM: 04.08.2017; Views: 2558; Downloads: 97
Full text (1,10 MB) |
9. Universal decomposition rule for OBDD, OFDD, and 0-sup-BDDRobert Meolic, Zmago Brezočnik, 2016 Abstract: Binary decision diagram (BDD) is a very successful data structure for
representation and manipulation of Boolean functions. Various BDD types
have been proposed. In this paper relations between OBDD, OFDD, and
0-sup-BDD are shown in a new way. An universal decomposition rule for them
is introduced. Using this rule a set of 288 BDD types is defined
together with their minimization rules.
NOTE: This is a revisited and translated version of the paper: "Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD". In Proceedings of the Fifth Electrotechnical and Computer Science Conference ERK'96, Portorož, Slovenia, volume B, pages 11-14, September 1996.
Keywords: Binary Decision Diagram, Shannon's expansion, Reed–Muller expansion, Davio expansion, Digital Circuit Design
Published in DKUM: 12.10.2016; Views: 2500; Downloads: 87
Full text (235,92 KB) |
10. ANALIZA PODATKOV LOKALNEGA BREZŽIČNEGA OMREŽJA S POMOČJO SNMPCveto Ljubič, 2016, undergraduate thesis Abstract: V diplomskem delu Analiza podatkov lokalnega brezžičnega omrežja s pomočjo SNMP smo opisali nekaj lastnosti brezžičnih omrežij in delovanje standarda IEEE 802.11. Preučili smo razvoj protokola SNMP in naredili primerjavo med različicami. Za uspešno izvedbo testnega modela smo prilagodili računalnik in strežnik za delo s storitvijo SNMP in programskim jezikom PHP in po potrebi prilagodili tudi obstoječe brezžično omrežje. Naredili smo zajem podatkov gostov s pomočjo protokola SNMP in uporabne podatke shranili v bazo podatkov. Nad shranjenimi podatki smo naredili analizo in preučili, kako bazo podatkov in prihod strank povežemo v lojalnostni program z dodano vrednostjo. Preučili smo določila zakonodaje v primeru posredovanja podatkov v komercialne namene, pridobljenih od gostov. Raziskavo smo najprej opravili na testnem omrežju in ne v lokalu. Pri opisu zakonodaje smo se omejili samo na nekatere vidike. Končali smo z analizo izsledkov teoretične raziskave, kakor tudi praktične aplikacije.
Keywords: brezžično omrežje, Wi-Fi, SNMP, lojalnostni program, PHP, zakonodaja
Published in DKUM: 13.09.2016; Views: 1752; Downloads: 116
Full text (1,55 MB) |
