| | 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


1 - 4 / 4
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1.
Formalna verifikacija predajne procedure mobilnega omrežja v okolju TLA+ Toolbox
Rok Vogrin, 2015, diplomsko delo

Opis: 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 TLC avtomatično preveriti, ali deluje v skladu z našimi pričakovanji. Predstavljena je temporalna logika akcij, ki je osnova za opisovanje našega sistema. Navedene so glavne značilnosti in funkcije okolja TLA$^+$ Toolbox ter jezika TLA$^+$. Sledi neformalen opis procedure in razlaga formalne specifikacije, ki smo jo pripravili na njegovi podlagi. Formalno so verificirane pomembne varnostne in živostne lastnosti specificiranega sistema.
Ključne besede: formalna specifikacija, temporalna logika akcij, preverjanje modelov, varnost, živost
Objavljeno: 14.10.2015; Ogledov: 785; Prenosov: 81
.pdf Celotno besedilo (1,95 MB)

2.
3.
Primerjava različnih metod ugotavljanja živosti semen orhidej
Martina Škorjanc, 2014, diplomsko delo

Opis: Semena kukavičevk asimbiontsko kalijo samo, če so živa. Če niso, ne kalijo, kljub ustreznemu gojišču. Da si prihranimo dilemo, ali semena ne kalijo zato, ker niso živa oziroma ne kalijo zaradi neustreznega gojišča, je dobro vsa semena pred kalitvijo testirati, ali so sploh živa. Preverili smo učinkovitost štirih metod za ugotavljanje živosti semen orhidej: metodo s flouroscein diacetat-om (FDA), metodo s trifenil tetrazolijevim klorid-om (TTC), metodo z difenil tetrazolijevim bromidom (MTT) in metodo z metilenskim modrilom. Od preizkušenih metod se je kot najprimernejša izkazala metoda z metilenskim modrilom, ki je bila najbolj primerljiva z metodo s FDA in kalitvenim testom. Je cenovno ugodna in enostavna, ker ne potrebujemo mikroskopa s flourescenco kot pri metodi s FDA. Primerljive rezultate smo dobili tudi z metodo s TTC raztopljenim v fosfatnem pufru, vendar pa zanjo potrebujemo vodno kopel in je časovno neugodna. Metodi s TTC raztopljen v destilirani vodi in z MTT nista dali primerljivih rezultatov.
Ključne besede: živost, semena kukavičevk, flouroscein diacetat (FDA), trifenil tetrazolijev klorid (TTC), metilensko modrilo, difenil tetrazolijev bromid (MTT), kalitev
Objavljeno: 03.04.2014; Ogledov: 988; Prenosov: 106
.pdf Celotno besedilo (1,26 MB)

4.
Analiza opraševalnih odnosov in kalitve peloda črnega teloha (Helleborus niger L.)
Davor Bauman, 2009, diplomsko delo

Opis: Raziskava je bila opravljena na črnem telohu (Helleborus niger L.) in obsega v prvem delu dokumentiranje in analizo glavnih opraševalcev črnega teloha v naravni populaciji v drugem pa analizo kalivosti peloda. Osredotočili smo se na pet skupin insektov: čebele, čmrlje in ose, velike dvokrilne insekte (muhe), majhne dvokrilne insekte in druge opraševalce, ki so majhnega pomena. Sistematično opazovanje je potekalo marca 2009 v Žičah pri Slovenskih Konjicah. Analize opraševanja povezane z aktivnostjo žuželk nakazujejo, da obstajajo očitne razlike v pogostosti obiska med proučevanimi skupinami žuželk in dnevnim časom. Najpogostejši obiskovalci so bile majhne mušice. Opazovanja kažejo, da je črni teloh verjetno prevladujoča tujeprašna, entomofilna vrsta. Pri analizi živosti peloda smo ugotavljali optimalne pogoje skladiščenja. Živost peloda smo vrednotili s tehniko in vitro kalitve. Pelod je statistično značilno bolje kalil na gojišču z višjim pH in nižjo koncentracijo sladkorja. Živost peloda se je ohranila tudi po 5 mesecih, če smo ga skladiščili v zamrzovalniku pri -75ºC.
Ključne besede: črni teloh, Helleborus niger, naravne populacije, opraševanje, živost peloda, in vitro kalitev
Objavljeno: 16.10.2009; Ogledov: 2301; Prenosov: 153
.pdf Celotno besedilo (2,14 MB)

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