SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


141 - 150 / 157
Na začetekNa prejšnjo stran78910111213141516Na naslednjo stranNa konec
141.
HIBRIDNI KAZALCI KAKOVOSTI ELEKTRIČNE ENERGIJE V ELEKTROENERGETSKEM DISTRIBUCIJSKEM SISTEMU
Zvonko Toroš, 2009, doktorska disertacija

Opis: Doktorska disertacija obravnava nov način spremljanja kakovosti električne energije z vpeljavo hibridnega kazalca kakovosti električne energije. Uvedene so bile spremenljivke za stopnjo pokablitve, stopnjo vzankanja in odzivnega časa za popravilo okvare. Na podlagi teh spremenljivk sta bili določeni dve kriterijski funkciji: za hibridni kazalec kakovost Q in za pripadajoča vlaganja C. Z dvokriterijsko optimizacijo je bil opravljen izračun optimalnih vlaganj za izbrano želeno ali določeno kakovost. Na osnovi izdelanega modela je bil obravnavan primer realnega omrežja. Obdelana sta dva v praksi preizkušena primera za dvig spodnje mejne vrednosti kakovosti električne energije: zaščita vodov za primer pretrga vodnika, ko je okvarni tok manjši od toka delovanja klasične zaščite, in primer stalnega nadzora nad stanjem upora za omejevanje toka zemeljskega kratkega stika v srednjenapetostnem omrežju. V sklopu optimizacije parametra stanja stikalnih aparatov s pomočjo diferenčne evolucije je prikazan primer uporabe novega, sodobnega načina vzdrževanja stikalnih aparatov s pomočjo kriterija za ocenjevanje stanja in pomembnosti stikalnih aparatov. Uvedene so bile nove metode za vrednotenje parametrov stanja in pomembnosti z uporabo ekonomskega kriterija minimalnih stroškov kot omejitev parametra stanja.
Ključne besede: kazalci kakovosti, elektroenergetski distribucijski sistem, optimizacija, diferenčna evolucija, vzdrževanje, stikalni aparati.
Objavljeno: 02.09.2009; Ogledov: 2293; Prenosov: 266
.pdf Celotno besedilo (2,81 MB)

142.
ORODJA IN METODE ZA HITRO IZVEDBO PROTOTIPNIH ALGORITMOV VODENJA IN ODDALJENIH EKSPERIMENTOV
Darko Hercog, 2009, doktorska disertacija

Opis: Hitra izvedba prototipnih algoritmov vodenja (Rapid Control Prototyping - RCP) je tehnologija, ki omogoča precejšnje skrajšanje časa razvoja novih algoritmov vodenja. RCP omogoča hiter prehod iz blokovnega diagrama na izvajanje kode v realnem času na realni strojni opremi, ki je preko vhodno/izhodne periferije povezana z objektom vodenja. Doktorsko delo vsebuje pregled in analizo najpogosteje uporabljenih orodij in uveljavljenih metod, ki omogočajo hitro izvedbo in testiranje algoritmov vodenja. Nadalje je obravnavana problematika integracije ciljne strojne opreme v blokovna programska orodja. Predlagana je metoda, ki omogoča hitro in enostavno integracijo vgrajenih ciljnih sistemov v različna blokovna programska orodja. Metoda bazira na uporabi programskega jezika Java in podatkov zapisanih v XML obliki. Delovanje metode je potrjeno na primeru uporabe orodij MATLAB/Simulink in Scilab/Scicos ter vgrajenih sistemov vodenja, ki bazirajo na digitalnem signalnem procesorju. Drugi del doktorskega dela obravnava problematiko spletnih laboratorijev. Analizirana so orodja in tehnologije, ki omogočajo izvedbo oddaljenih eksperimentov s področja avtomatskega vodenja. Predlagana je metoda za hitro realizacijo oddaljenih eksperimentov, ki je prikazana na primeru orodja ComVIEW, razvitega s programskim paketom LabVIEW. V zadnjem delu je predstavljen oddaljeni laboratorij, ki je bil razvit v sklopu doktorskega dela. Predstavljena sta struktura in princip delovanja oddaljenega laboratorija, rezervacijski sistem in vizualizacija eksperimentov. Prikazanih je tudi nekaj realiziranih oddaljenih eksperimentov in rezultati ankete uporabnikov.
Ključne besede: hitra izvedba prototipnih algoritmov vodenja, generiranje kode, vgrajeni sistemi, digitalni signalni procesorji, avtomatsko vodenje, oddaljeni laboratoriji
Objavljeno: 20.07.2009; Ogledov: 2055; Prenosov: 177
.pdf Celotno besedilo (41,85 MB)

143.
ALGORITMI TRIANGULACIJE S STRATEGIJO PREBIRANJA
Vid Domiter, 2009, doktorska disertacija

Opis: Osnovni cilj doktorske naloge je razviti lasten postopek omejene Delaunayeve triangulacije z metodo prebiranja, ki bo vsaj enako učinkovit kot do sedaj razviti postopki in pokazati, da je s prebiranjem možno rešiti tudi veliko težjo nalogo rekonstrukcije površja v 3D. V nalogi najprej definiramo klasično in omejeno Delaunayevo triangulacijo, opišemo obstoječe postopke, nato pa se osredotočimo na lasten postopek omejene Delaunayeve triangulacije. Podrobneje opišemo njegovo delovanje in razširitve, ki vodijo k učinkovitemu algoritmu omejene Delaunayeve triangulacije. Temelj algoritma je pomikanje napredujoče fronte s prebirno premico in razvoj hevristik, ki poskrbijo za uspešno vodenje napredujoče fronte in hkrati minimizirajo število menjav trikotnikov. Nato preidemo na problem rekonstrukcije površja, kjer podamo pregled sorodnih raziskav. Dva postopka podrobneje opišemo, temu pa sledi opis lastnega postopka rekonstrukcije površja s prebiranjem. Algoritem temelji na širitvi napredujočih front s pomikanjem prebirne ravnine in hevristikah za uspešno upravljanje s frontami. Na koncu analiziramo oba razvita algoritma in potrdimo zastavljeni hipotezi.
Ključne besede: algoritmi, računalniška geometrija, računalniška grafika, CAD, prebiranje, trikotniške mreže, triangulacija, rekonstrukcija površja
Objavljeno: 07.05.2009; Ogledov: 2816; Prenosov: 193
.pdf Celotno besedilo (4,57 MB)

144.
NELINEARNI PRISTOP K REGULACIJI PRETVORNIKA NAVZDOL Z UPORABO POLJA PROGRAMIRLJIVIH LOGIČNIH VRAT
Mitja Truntič, 2009, doktorska disertacija

Opis: V nalogi je predstavljena izvedba napetostne regulacije pretvornika navzdol z regulatorjem stanj podprtim s sistemom mehke logike. Regulacija je izvedena v programirljivem vezju FPGA (Fields Programmable Gate Array). Parametri regulatorja z mehko logiko se nastavljajo z genetskim algoritmom glede na želen dinamični odziv napetostno reguliranega pretvornika navzdol. Podan nelinearni pristop k regulaciji pretvornika navzdol je bil najprej preskušen na simulacijskem vezju, izdelanem v programskem paketu MATLAB/SIMULINK. Rezultati simulacij so potrdili, da se je s spremenljivo nastavitvijo ojačanj regulatorja stanj možno približati želenemu dinamičnemu odzivu napetostno reguliranega pretvornika navzdol, glede na fizikalne omejitve delovanja pretvornika ter zmožnosti regulatorja. Na osnovi dobljenih rezultatov iz simulacij je bilo izdelano eksperimentalno vezje, na katerem je bila preverjena nelinearna regulacija napetosti pretvornika navzdol. Regulator z ostalimi potrebnimi enotami za zajemanje digitalnih signalov iz analogno-digitalnega pretvornika ter generiranje pulznoširinskih signalov so izvedeni v programirljivem vezju FPGA. Celoten regulacijski algoritem se izračuna v 60ns, kar omogoča izvajanje v realnem času. Stikalna frekvenca napetostno reguliranega DC-DC pretvornika navzdol znaša 200KHz.
Ključne besede: pretvornik navzdol, regulator stanja, FPGA implementacija, nelinearno vodenje, mehka logika in genetski algoritmi
Objavljeno: 07.04.2009; Ogledov: 2398; Prenosov: 185
.pdf Celotno besedilo (3,85 MB)

145.
RAZVOJ KONCEPTOV DINAMIČNEGA METAPROGRAMIRANJA V STATIČNO TIPIZIRANEM OBJEKTNO USMERJENEM PROGRAMSKEM JEZIKU
Sašo Greiner, 2009, doktorska disertacija

Opis: V delu predstavljamo načrtovanje in implementacijo metaprogramskih konceptov čistega objektno usmerjenega programskega jezika. Jezik, ki je nadgradnja obstoječega jezika Z0, imenujemo Zero. Temeljna ideja jezika je združitev konceptov dinamičnega metaprogramiranja s statičnim oz. hibridnim sistemom tipov. Metaprogramski model jezika temelji na behavioralni in strukturalni refleksiji, ki omogočata spremembe obnašanja in strukture programov v času izvajanja. Metafunkcionalnost je realizirana v metarazredih, ki dopolnjujejo obstoječo razredno hierarhijo. Čisti objektni model je razširjen na metode, s čimer so omogočene anonimne metode in metode višjega reda. V okviru statičnega sistema tipov vpeljemo metodne tipe, ki omogočajo tipiziranje metod v času prevajanja in ohranjanje varnosti tipov v času izvajanja.
Ključne besede: programski jeziki, behavioralna refleksija, strukturalna refleksija, metaprogramiranje, statično tipiziranje
Objavljeno: 07.04.2009; Ogledov: 1867; Prenosov: 119
.pdf Celotno besedilo (796,42 KB)

146.
RAZVOJ OVERJENIH PROTOKOLOV ZA IZMENJAVO KLJUČEV NA TEMELJU IDENTITETE
Marko Hölbl, 2009, doktorska disertacija

Opis: Protokoli za izmenjavo ključev omogočajo dvema ali več entitetam vzpostavitev skupnega sejnega ključa, ki se kasneje uporabi za zagotavljanje kriptografskega cilja, kot je šifriranje podatkov pri prenosu po nezavarovanih omrežjih. Overjeni protokoli za izmenjavo ključev dodatno zagotavljajo tudi overitev sodelujočih entitet. Pri razvoju overjenih protokolov za izmenjavo ključev lahko uporabimo različne pristope, ki vplivajo na varnost in učinkovitost. Varnost overjenih protokolov za izmenjavo ključev je definirana s pomočjo varnostnih kriterijev. Končni cilj je razvoj protokola, ki je varen in učinkovit hkrati. V disertaciji obravnavamo dvostranske in tristranske overjene protokole za izmenjavo ključev na temelju identitete, njihovo varnost in učinkovitost. V okviru disertacije so podani številni izvirni znanstveni prispevki. Predlagana sta dva nova dvostranska overjena protokola za izmenjavo ključev na temelju identitete z uporabo modularne aritmetike - IDAK2-1 in IDAK2-2. Nadalje je opisan napad s kompromitiranjem ključa na Scottov dvostranski overjeni protokol za izmenjavo ključev na temelju identitete z uporabo operacij parjenja in dva nova protokola omenjenega tipa; t.j. IDAK2P-1 in IDAK2P-2. Zadnji prispevek vključuje dva nova tristranska overjena protokola za izmenjavo ključev na temelju identitete z uporabo operacij parjenja, poimenovana IDAK3P-1 in IDAK3P-2. Vsi predlagani protokoli so evalvirani z vidika varnosti in učinkovitosti. Kriterij za ocenjevanje varnosti temelji na izpolnjevanju varnostnih kriterijev (lastnosti), medtem ko je kriterij za ocenjevanje učinkovitosti povzet po literaturi, kakor tudi definiran v okviru doktorske disertacije ter vključuje računsko in komunikacijsko učinkovitost. Predlagane in obstoječe protokole smo primerjali glede na učinkovitost in varnost. Kriterij za primerjavo učinkovitosti je definiran kot izpolnjevanje varnostnih kriterijev (lastnosti) in obstoj morebitnih napadov na določen protokol. Primerjavo učinkovitosti predlaganih in obstoječih protokolov smo izvedli s pomočjo komunikacijske in računske zahtevnosti. Izvirni znanstveni prispevki vključujejo tudi podrobno analizo obstoječih dvostranskih in tristranskih overjenih protokolov za izmenjavo ključev na temelju identitete, njihovih lastnosti in morebitnih napadov. Rezultati disertacije kažejo, da protokola IDAK2-1 in IDAK2-2 izpolnjujeta vse varnostne kriterije. Protokol IDAK2-2 je najbolj učinkovit protokol med dvostranskimi overjenimi protokoli za izmenjavo ključev na temelju identitete z uporabo modularne aritmetike in je enako učinkovit kot Saeednijev protokol, medtem ko se protokol IDAK2-1 uvršča na drugo mesto. Med dvostranskimi overjenimi protokoli za izmenjavo ključev na temelju identitete z uporabo operacij parjenja tako protokol IDAK2P-1 kakor IDAK2P-2 izpolnjujeta vse varnostne kriterije. Protokol IDAK2P-2 je med najbolj učinkovitimi protokoli ob upoštevanju pred-računanja. Protokol IDAK2P-1 pa je bolj učinkovit kot Choie-Jeong-Leejev protokol I. V skupini tristranskih overjenih protokolov za izmenjavo ključev na temelju identitete z uporabo operacij parjenja protokol IDAK3P-1 izpolnjuje vse varnostne kriterije, medtem ko protokol IDAK3P-2 ne izpolnjuje popolnega vnaprejšnjega skrivanja. Vendar tudi določeni obstoječi protokoli ne izpolnjujejo tega kriterija. Glede na učinkovitost je protokol IDAK3P-1 računsko najbolj učinkovit, protokol IDAK3P-2 pa je drugi najbolj učinkovit protokol in je izenačen s Shiminim protokolom.
Ključne besede: overjanje, protokol za izmenjavo ključev, sistem na temelju identitete, bilinearna parjenja, kriptografija, varnost
Objavljeno: 07.04.2009; Ogledov: 2382; Prenosov: 271
.pdf Celotno besedilo (7,74 MB)

147.
UPORABA HIBRIDNIH METAHEVRISTIK PRI REŠEVANJU OPTIMIZACIJSKIH PROBLEMOV
Igor Pesek, 2009, doktorska disertacija

Opis: V doktorski disertaciji sta predstavljena dva algoritma za reševanje težkih kombinatoričnih problemov. Prvi problem se imenuje Problem razvrščanja poslov z omejitvami virov, za katerega smo razvili algoritem z združevanjem konstrukcijske hevristike RAR z algoritmom vzpenjanja na hrib. Drugi problem, ki ga v obravnavamo, je problem načrtovanja usmerjenih omrežij z minimalno ceno in enotnimi vsi-do-vseh komunikacijskimi zahtevami med vozlišči. Za drug algoritem smo razvili algoritem, ki združuje metahevristiko izbiranja s pragom, lokalno iskanje in metodo za obdelavo podatkov. Oba algoritma sta med najboljšimi v primerjalnih testih.
Ključne besede: hevristični algoritem, lokalno iskanje, metahevristike, optimizacijske metode, NP-težki problemi, razvrščanje poslov z omejitvami virov, načrtovanje usmerjenih omrežij
Objavljeno: 07.04.2009; Ogledov: 2654; Prenosov: 191
.pdf Celotno besedilo (1,28 MB)

148.
HEVRISTIČNO GENERIRANJE MEDICINSKIH SIMULACIJSKIH SCENARIJEV
Miljenko Križmarić, 2009, doktorska disertacija

Opis: Sodobno izobraževanje zdravstvenih delavcev zahteva uporabo medicinskih simulatorjev, saj medicina postaja zahtevna in kompleksna. Simulatorji potrebujejo scenarije, ki jih izdelujejo zdravniki, vendar je tak pristop subjektiven, ker ima vsak zdravnik svoje lastne izkušnje. Scenarije lahko izboljšamo z uporabo metod strojnega učenja. V doktorskem delu raziščemo in uporabimo Bayesove verjetnostne mreže kot računalniško podprto orodje za izdelavo scenarijev. Predstavimo metodologijo CasGEN, ki jo uporabimo na realnem primeru večje podatkovne zbirke s področja urgentne medicine - 737 primerov predbolnišničnega oživljanja. Rezultate validiramo s pomočjo trifaznega modela zastoja srca pri prekatni fibrilaciji. V doktorskem delu potrdimo ustreznost metodologije CASGen na podlagi študije, ki so jo pozitivno ocenili eksperti s področja medicine. Na tak način potrdimo hipotezo raziskovalnega dela, da je predstavljena metodologija CASGen uporabno orodje za generiranje medicinskih scenarijev.
Ključne besede: medicinske simulacije, simulatorji, scenariji, strojno učenje, Bayesove verjetnostne mreže, urgentna medicina
Objavljeno: 26.03.2009; Ogledov: 3106; Prenosov: 448
.pdf Celotno besedilo (6,10 MB)

149.
Dogodkovno osnovano vodenje motorja s trajnimi magneti
Aljaž Kapun, 2009, doktorska disertacija

Opis: V prvem delu disertacije je predstavljen postopek za ovrednotenje valovitosti navora motorja s površinsko nameščenimi trajnimi magneti zaradi sinhronskega in preskočno reluktančnega samodržnega navora. Valovitost sinhronskega navora je posledica višje harmonskih komponent v gibalnih induciranih napetostih. Za določitev teh harmonskih komponent iz meritev faznih gibalnih induciranih napetosti, hitrosti rotorja in kota zavrtitve rotorja je predlagana uporaba aproksimacijske metode najmanjših kvadratov. Z metodo najmanjših kvadratov so iz signala navora nemodelirane dinamike določene tudi komponente samodržnega navora. Signal navora nemodelirane dinamike je ocenjen z opazovalnikom motnje iz meritev faznih tokov, hitrosti rotorja in mehanskega kota zavrtitve rotorja tokovno vodenega motorja. V drugem delu disertacije je obravnavano tokovno vodenje, katerega zmožnosti so ključnega pomena v shemah vodenja s katerimi želimo minimizirati vpliv valovitosti navora. V tem sklopu je predlagano dogodkovno tokovno vodenje motorja, ki predstavlja alternativo konvencionalnemu histereznemu vodenju z dvonivojskimi histereznimi regulatorji na faznih tokovih. Za razliko od konvencionalnega histereznega vodenja dogodkovno vodenje z uporabo informacije o napetostnem sektorju omogoča kontrolirano preklapljanje med stikalnimi elementi napetostnega pretvornika. Podana je primerjava med omenjenima tehnikama tokovnega vodenja glede na različne kriterije. Predstavljena je tudi njuna uporaba v povezavi s preprosto shemo hitrostnega vodenja v kombinaciji s tokovnim predkrmiljenjem s katero je minimiziran vpliv valovitosti v navoru. Vsi predstavljeni koncepti so potrjeni z eksperimentalnimi rezultati.
Ključne besede: motor s površinsko nameščenimi trajnimi magneti, identifikacija parametrov, valovitost navora, preskočno reluktančni samodržni navor, histerezno tokovno vodenje, dogodkovno tokovno vodenje
Objavljeno: 02.03.2009; Ogledov: 2684; Prenosov: 282
.pdf Celotno besedilo (3,50 MB)

150.
Vpeljava združitveno-razdružitvenega principa v integrativne pogajalske procese
Andrej Bregar, 2009, doktorska disertacija

Opis: V doktorski disertaciji je definiran izviren mehanizem integrativnih večagentnih pogajanj, ki temelji na dihotomijskem sortiranju alternativ ter izražanju presoj v obliki parnih primerjav, mehkih vrednosti, holističnih informacij, psevdokriterijev in prednostnih relacij. Gre za prvi pristop k uporabi združitveno-razdružitvene analize v pogajalskih in skupinskih odločitvenih procesih z visoko stopnjo avtonomnosti. Združitveno-razdružitveni princip zmanjšuje miselno breme, izboljšuje zmožnost učenja o problemski domeni in udejanja samodejno prilagajanje individualnih presoj konsenzni odločitvi. Vpet je v protokol sodelovanja agentov, ki omogoči aktivno razreševanje nesoglasij in konvergenco mnenj z upoštevanjem metrik gibanja skupine ter zagotovi verodostojnost, racionalnost in zanesljivost konsenzne odločitve na osnovi metrik robustnosti, implementiranih v obliki matematičnih optimizacijskih algoritmov. Nadgrajen je v smislu izpeljave korelacij med parametri odločitvenega modela, pri čemer se osredotoča na specifikacijo uteži kriterijev glede na vpliv veta. Vpeljane metodološke rešitve so ovrednotene s celovitim eksperimentalno-teoretičnim modelom, ki sestoji iz več kot dvajsetih spremenljivk in triindvajsetih hipotez. Rezultati simulacije na velikih naborih statističnih podatkov, ki so odraz širokega spektra problemskih situacij, in teoretični dokazi potrjujejo hitro konvergenco, sposobnost avtonomnega usmerjanja odločevalcev in njihovih osebnih agentov, učinkovitost obdelave preferenčnih informacij ter robustnost in verodostojnost sprejete odločitve kakor tudi samodejno izpeljanih uteži kriterijev.
Ključne besede: sistemi za podporo odločanju, večkriterijska odločitvena analiza, skupinsko odločanje, integrativna večagentna pogajanja, iskanje konsenza, združitveno-razdružitvena analiza, teorija koristnosti, prednostna relacija, sortiranje, elicitacija presoj, veto, izpeljava uteži kriterijev, simulacijska študija
Objavljeno: 16.02.2009; Ogledov: 2544; Prenosov: 203
.pdf Celotno besedilo (2,45 MB)

Iskanje izvedeno v 0.25 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici