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 / 154
Na začetekNa prejšnjo stran78910111213141516Na naslednjo stranNa konec
141.
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: 2310; Prenosov: 179
.pdf Celotno besedilo (3,85 MB)

142.
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: 1846; Prenosov: 115
.pdf Celotno besedilo (796,42 KB)

143.
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: 2260; Prenosov: 258
.pdf Celotno besedilo (7,74 MB)

144.
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: 2572; Prenosov: 181
.pdf Celotno besedilo (1,28 MB)

145.
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: 2971; Prenosov: 443
.pdf Celotno besedilo (6,10 MB)

146.
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: 2645; Prenosov: 271
.pdf Celotno besedilo (3,50 MB)

147.
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: 2519; Prenosov: 197
.pdf Celotno besedilo (2,45 MB)

148.
Indirektne segmentacijske metode za adaptivno robustno kontrolo prenosa podatkov po govornem kanalu sistema GSM
Zdenko Mezgec, 2009, doktorska disertacija

Opis: V doktorski nalogi obravnavamo problematiko adaptivnega robustnega prenosa podatkov po govornem kanalu sistema GSM. Podrobno smo raziskali vplive sistema in na osnovi tega razvili indirektne segmentacijske metode ISM, ki zagotavljajo adaptivno robustno kontrolo prenosa podatkov. ISM temeljijo na množici izvirnih pilotskih signalov, ki se robustno prenašajo v sistemu GSM. Omenjeni pilotski signali so namenjeni energijsko neodvisni sinhronizaciji podatkov, robustnemu potrjevanju okvirjev, pošiljanju pomemb
Ključne besede: prenos podatkov, pilotski signali, identifikacija, kodirniki govora, sinhronizacija, potrjevanje okvirjev, izničevalniki odbojev, adaptivni sistemi, indirektne segmentacijske metode, GSM
Objavljeno: 30.01.2009; Ogledov: 2831; Prenosov: 180
.pdf Celotno besedilo (8,47 MB)

149.
150.
Integriran model ocenjevanja uspešnosti programskih ogrodij
Gregor Polančič, 2008, doktorska disertacija

Opis: Osrednji predmet disertacije so programska ogrodja, ki ob ustrezni uporabi spadajo med najbolj učinkovite tehnike ponovne uporabe programske opreme. Predhodne raziskave so ugotovile, da na uspešnost uporabe ogrodja bistveno vpiva obseg uporabe ogrodja oziroma število instanciranj ogrodja. Zato smo si za osnovni cilj disertacije zastavili preučitev dejavnikov, ki povečujejo obseg uporabe ogrodij in s tem njihovo uspešnost. Pri tem smo se osredotočili na uporabniški vidik dojemanj ogrodij, ki vpl
Ključne besede: programska ogrodja, ponovna uporaba, empirično programsko inženirstvo, TAM, učinkovitost IS, terenska raziskava, anketa, modeli strukturnih enačb
Objavljeno: 15.01.2009; Ogledov: 3103; Prenosov: 570
.pdf Celotno besedilo (9,85 MB)

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