Pages
-
-
Formalna verifikacija sustava kao mrežna usluga
-
Miroslav Juratovac Kroz rad dan je pregled cjelovitog procesa izrade mrežne usluge. Pokazan je proces izrade vlastitog web poslužitelja od temelja do mogućnosti razvoja web aplikacija i web usluga na istom poslužitelju. Rad započinje postavljanjem osnovnih komponenti potrebne programske potpore kako bi se izgradio funkcionalni temelj na kojemu će se temeljiti web aplikacija i web usluga. Oslanjajući se na dobro postavljen sustav nastavljamo s razvojem mrežne usluge za formalnu verifikaciju najprije...
-
-
Formalni model i radni okvir upravljanja poslovnim procesima
-
Zvonimir Matošević Upravljanje poslovnim procesima se koristi za modeliranje, organizaciju, kreiranje te upravljanje procesima čime se omogućuje preglednost i lakše razumijevanje poslovanja unutar organizacije. Središnji predmet istraživanja ovog rada je modeliranje i upravljanje poslovnim procesima. Pri modeliranju procesa korištena su dva različita pristupa. Prvi pristup koristi formalne postupke oblikovanja poslovnih tokova zasnovane na primjeni Petrijeve mreže te omogućuje simulaciju procesa i...
-
-
Formalno modeliranje procesa nadogradnje konsenzusa u kriptografskom lancu blokova
-
Kristijan Rupić Kriptografski lanac blokova (engl. blockchain) je raspodijeljena baza podataka koja koristeći kriptografiju i protokole raspodijeljenog konsenzusa osigurava
integritet i neporecivost pohranjenih informacija. Nepažljive promjene pravila
konsenzusa u takvom sustavu mogu uzrokovati raspad mreže pa ih je kako bi se
to izbjeglo poželjno implementirati kao takozvano meko račvanje (engl. soft-fork).
U sklopu diplomskog rada je izrađen formalan model soft-forkova u kriptografskim lancima...
-
-
Formalno modeliranje transakcija kriptografskog lanca blokova
-
Kristijan Rupić Kriptografski lanac blokova (engl. blockchain) je raspodijeljena baza podataka koja omogućava neizmjenjivu i neporecivu pohranu zapisa bez potrebe za
pouzdanim središnjim autoritetom uporabom kriptografije za osiguravanje podataka. Koristi se u implementaciji sustava poput kriptovaluta i pametnih ugovora
(engl. smart contract) te stoga postoji potreba za visokom sigurnošću u ispravnost
implementacije s ciljem garancije raznih sigurnosnih svojstava. Formalne metode
nameću se kao nužan...
-
-
Formiranje projektnog tima uz pomoć društvenih medija
-
Dino Fuks U radu obrađena je tema korištenja društvenih mreža kao pomoć pri formiranju projektnog tima. Za društvene mreže LinkedIn i Twitter, koje su korištene u radu, opisan je način primjene. Također, opisana su obilježja koje navedene društvene mreže nude kao pomoć pri upravljanju projektima. Navedene su i objašnjene programske tehnologije korištene u izradi aplikacije: radni okvir Bootstrap, skriptni jezik PHP, predložak Smarty, aplikacijska programska sučelja (API) i baza...
-
-
Fotonaponski sustav sportskog centra Multiarena Gävle
-
Žarko Martinović Diplomski rad predstavlja cjelokupni model fotonaponskog sustava komercijalne zgrade Multiarena Gävle. U radu je predstavljen teoretski izračun potrošnje za rasvjetu, ventilaciju, grijanje, hlađenje i dr. Na temelju teoretskih izračuna napravljena je numerička studija. Numerička studija je izvedena pomoću programa IDA -Indoor Climate and Energy Program. Konačno, u radu su predstavljeni modeli za odabir fotonaponskog sustava. Modeli fotonaponskih sustava su odabrani na temelju...
-
-
Frakcionalni račun i primjena na realizaciju elementa s konstantnom fazom
-
Mislav Rendulić Frakcionalni račun je grana matematike koja se bavi diferenciranjem i integriranjem necjelobrojnog reda. Koncepti frakcionalnog računa su našli primjenu i u inženjerstvu. U ovom radu smo usporedili razne definicije frakcionalne derivacije. Frakcionalni račun smo primjenili na realizaciju elementa s konstantnom fazom (CPE). Realizirani CPE smo opisali pomoću Cole-Cole modela. Simulirani element CPE upotrijebili smo na primjeru frakcionalnog Tow-Thomas filtra. Opisali smo dobivanje...
-
-
Fraktalna vizualizacija evolucijskim algoritmima
-
Mirjam Škarica Ovaj rad opisuje postupak vizualizacije DNA podataka pomoću fraktala. Pretražuje se prostor rješenja za optimalnim oblikom fraktala koji bi prenio što je više moguće korisnih informacija o ulaznom nizu. Pretraga se radi pomoću evolucijskih algoritama. Ulazni podaci su dva DNA niza, a rezultat je njihova fraktalna vizualna reprezentacija. Opisuju se i korišteni evolucijski operatori te se uspoređuju rezultati dobiveni izborom različitih funkcija dobrote.
-
-
Frekvencijska analiza elektroencefalograma za detekciju vidnih evociranih potencijala stabilnog stanja
-
Dajana Bralić Elektroencefalografija je metoda mjerenja električne aktivnosti mozga koja daje uvid u njegove aktivnosti. Pri istraživanju pozornost je bila usmjerena na vidne evocirane potencijale. Prezentirano je ukratko korištenje alata za mjerenje potencijala mozga i algoritam kanonske korelacije (engl. canonical-correlation analysis) za izlučivanje što kvalitetnije informacije o vidnim evociranim potencijalima stabilnog stanja. Pomoću kanonske korelacije ( saznajemo koje elektrode nam daju...
-
-
Frekvencijski djelitelj za fazno spregnutu petlju u 130 nm SiGe BiCMOS tehnologiji
-
Roman Bertolan Mikroelektronika i integrirani krugovi predstavljaju okosnicu moderne civilizacije. Novo razvijeni integrirani krugovi obično sadrže mnogo potkrugova. Tijekom procesa razvoja takvih integriranih krugova potrebno je biti u mogućnosti zasebno testirati i odrediti performanse svakog podsklopa. Krug djelitelja frekvencije opisan u ovoj tezi sastoji se od dva bloka statičke podjele-dva velike brzine, kao i cjelovito-n djeliteljskog bloka izvedenog pomoću standardnih digitalnih ćelija....
Pages
