Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 5
Formalna verifikacija predajne procedure mobilnega omrežja v okolju TLA+ Toolbox
Rok Vogrin, Tatjana Kapus
Diplomsko delo
Oznake: formalna specifikacija;temporalna logika akcij;preverjanje modelov;varnost;živost;
V mobilnih komunikacijskih omrežjih mobilne postaje med komunikacijo prehajajo iz ene celice v drugo, tako da skupaj z omrežjem izvajajo predajno proceduro. Namen tega dela je formalno specificirati predajno proceduro v formalnem jeziku TLA$^+$ v okolju TLA$^+$ Toolbox in s preverjalnikom modelov TL ...
Leto: 2015 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Električni razdelilnik z možnostjo krmiljenja na daljavo preko protokola IP
Rok Vogrin, Janez Puhan
Magistrsko delo
Oznake: Električni razdelilnik;Ethernet;STM32F4;oddaljeno krmiljenje;lwIP;polprevodniški rele;
V magisterskem delu je opisan razvoj in izdelava daljinsko krmiljenega električnega razdelilnika. To je električni razdelilnik, ki vhodno omrežno napetost razdeli med štiri izhodne vtičnice. Vsako izhodno vtičnico se lahko krmili (vklaplja oziroma izklaplja) preko namenskega stikala ali pa daljinsko ...
Leto: 2016 Vir: Fakulteta za elektrotehniko (UL FE)
Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST
Rok Vogrin, Tatjana Kapus, Robert Meolic
Magistrsko delo
Oznake: formalne metode;preverjanje modelov;temporalna logika;avtomati prič;simbolične metode;magistrske naloge;
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 tvo ...
Leto: 2018 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Globalni čas v vgrajenih sistemih
Jaka Koren, Branko Šter, Rok Vogrin
Magistrsko delo
Oznake: vgrajeni sistemi;časovna sinhronizacija;omrežja;računalništvo in informatika;magisteriji;
Vgrajeni sistemi so računalniške naprave, namensko oblikovane za izvajanje specifičnih nalog znotraj večjega sistema. Poseben problem pri takih sistemih je časovna usklajenost posameznih komponent; različne ure nihajo z različnimi frekvencami, kar povzroči neskladje med časovnimi oznakami podatkov, ...
Leto: 2021 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Vpliv sagitalnega ravnovesja na klinično sliko pri bolnikih z degenerativno spondilolistezo po enonivojski zatrditvi ledvene hrbtenice
Matevž Kuhta, Rok Vengust, Matjaž Vogrin
Doktorska disertacija
Oznake: sagitalno ravnovesje;segmentna lordoza;repozicija;TLIF;klinični rezultat;
NAMEN Preučiti vpliv vzpostavitve ustrezne segmentne lordoze in repozicije listetičnega segmenta med operativnim posegom na kratko- in srednjeročne klinične rezultate pri zdravljenju degenerativne spondilolisteze ledvene hrbtenice. Raziskava je hkrati prva analiza spinopelvičnih parametrov in klini ...
Leto: 2023 Vir: Medicinska fakulteta (UM MF)
Št. zadetkov: 5
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: