Search results for "Elektronika"
showing 10 items of 55 documents
Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija
2012
Anotācija Promocijas darbā „Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija” aplūkota uz modeļu transformācijām un metamodeļiem balstītu problēmorientētu rīku būves sfēra un risināta problēma, kā atvieglot šādu rīku izstrādi un lietošanu. Konkrēti aplūkota rīku būves platforma GRAF, kuras izstrādē autors piedalījies, un tā papildināta ar vairākiem servisiem, kas atvieglo rīku izstrādi ar šo platformu, kā arī ar to izstrādātu rīku uzturēšanu. Galvenie papildinājumi ietver vidēji augsta līmeņa modeļu transformāciju valodu izstrādi un realizāciju, metamodeļa skata jēdziena definēšanu un ieviešanu, kā arī modeļa un metamodeļa fragmenta specificēšanu, eksportu, impor…
Sarežģītību ietekmēta programmatūras testēšana
2013
Elektroniskā versija nesatur pielikumus
Mobile Applications Testing
2017
Darbā ir sniegts pārskats par programmatūras testēšanu metalīmenī. Autors ir izpētījis aspektus, kas ietekmē funkcionālo testēšanu jo īpaši iOS lietotnēm, kā arī mobilajām lietotnēm kopumā. Darbā ir izpētītas arī drošības iespējas un izstrādes/testēšanas “pārpalikumi”, kas bieži tiek atstāti bez ievērības un nesakārtoti lietotņu ātrākai pieejamībai tirgū. Atsevišķa nodaļa ir veltīta mobilo lietotāju saskarņu automātisko testēšanas rīku pētīšanai un klasterizācijai. “Ārā no kastes” Apple UIAutomation rīka ierobežojumu pārvarēšana ir apvienota tTap ietvarā, kuru izstrādāja autors. Analizējot paveikto, tika izveidots “ideāla” starpplatformu mobilo lietotāja saskarnes testēšanas automatizācijas…
Kvantu spēles, kvantu stāvokļu īpašības un to pielietojumi
2013
Anotācija Kvantu mehānika un spēļu teorija tika radīta aptuveni vienā un tai pašā laikā, 20.gadsimta pirmajā pusē. Klasiskā spēļu teorija ir viena no vislabāk attīstītākajām nozarēm matemātikā un datorzinātnē. Tai ir daudz pielietojumu ekonomikā, bioloģijā, sociālās zinātnēs. Datorzinātnēs daudzi kriptogrāfiskie protokoli arī ir balstīti uz spēļu teorijas elementiem. Kvantu skaitļošana ir relatīvi jauns datorzinātnes atzarojums. Tā apvieno dažādus sarežģītības teorijas un kvantu fizikas aspektus. Mūsu mērķis ir spert vēl vienu soli un apvienot klasisko spēļu teoriju ar kvantu skaitļošanā uzkrātām atziņām. Konkrētāk — pētīt efektus, kas rodas, izmantojot kvantu informāciju labi zināmās spēļu…
Kvantu algoritmu sarežģītības novērtējumi
2008
Anot¯acija Kvantu algoritmu veiktsp¯ejas p¯ar¯akums par klasiskajiem algoritmiem ir gal- venais iemesls paˇsreiz¯ejai lielai ieinteres¯et¯ibai par kvantu skaitl¸oˇsanu. Vieni no slaven¯akiem kvantu algoritmiem ir Grovera mekl¯eˇsanas algoritms un ˇSora skaitl¸u faktoriz¯acijas algoritms. Piem¯eram, Grovera algoritms atrisina el- ementa mekl¯eˇsanas probl¯emu N elementu sarakst¯a ar laiku Ø(pN), kaut klasiskam algoritmam ir nepiecieˇsams (N) laiks, lai atrisin¯atu ˇso probl¯emu. T¯atad m¯es esam l¸oti ieienteres¯eti atrast ˇs¯adas probl¯emas, kur¯am kvantu al- goritms var b¯ut par¯aks par klasisko analogu. Kvantu skaitl¸oˇsanas centr¯alais jaut¯ajums ir, cik sp¯ec¯ıgi ir kvantu algoritmi? C…
"Adversary" metodes izmantošana kvantu vaicājošajiem algoritmiem
2014
Disertācijā es izmantoju nesen izstrādātu kvantu vaicājumu sarežģītības precīzu raksturojumu - adversary metodi - lai konstruētu jaunus kvantu algoritmus un apakšējos novērtējumus. Rezultāti ir sekojoši: tika izstrādāta jauna tehnika kvantu algoritmu konstruēšanai: mācīšanas grafi; mācīšanas grafi tika izmantoti lai uzlabotu kvantu vaicājumu sarežģītību trijstūra atrašanas un k-atšķirīguma problēmām; tika pierādīti precīzi apakšējie novērtējumi k-sumas un trijsūra summas problēmām; tika uzbūvēti kvantu algoritmi dažu apakšgrafu meklēšanas problēmām, kas ir optimāli vaicājumu, laik un atmiņas ziņā;tika izstrādāts kvantu klejošanas vispārinājums, kas savieno grafa elektriskās īpašības ar kvan…
Transformāciju vadītā arhitektūra un tās grafiskie prezentācijas dziņi
2013
Promocijas darbā piedāvāta transformāciju vadītā arhitektūra (TDA) --- modeļbāzēta programmatūras arhitektūra interaktīvām sistēmām, kuras sastāv no vairākām komponentēm, kas sadarbojas. TDA attīsta tālāk OMG modeļu vadītās arhitektūras (MDA) idejas. Atšķirībā no MDA, kas izmanto modeļus un to transformācijas tikai programmatūras izstrādes laikā, TDA tos izmanto arī programmu izpildes laikā. Darbā aprakstīti arī svarīgākie TDA moduļi: TDA kodols (realizē komunikācijas mehānismu, darbību atcelšanas mehānismu un vairākrepozitoriju mehānismu), Vides dzinis (aizvietojams modulis TDA izmantošanai dažādās vidēs), Dialogu logu dzinis (modulis dialogu logu aprakstīšanai un parādīšanai uz ekrāna) un…
Biznesa procesu modelēšana, izmantojot metamodelēšanas paņēmienus
2007
Darba tēma ir saistīta ar biznesa procesu vadības sistēmu izstrādi. Šajā darbā biznesa procesu modelēšanas problēmas ir risinātas, izmantojot metamodelēšanas paņēmienus. Metamodelēšana ļauj dažādus biznesa modelēšanas aspektus aplūkot vienotā un vispārīgā formā, tai pat laikā nezaudējot precīzu jēdzienu nozīmi. Galvenie pētījumu rezultāti ir sekojoši: Izstrādāts vienots biznesa procesu un to apkārtnes metamodelis, kas parāda biznesa modelēšanas jēdzienus un to saistību. Izstrādāta biznesa modeļu jēdzienu kartēšanas metode jēdzienu kartēšanai no viena domēna uz vairākām modelēšanas valodām. Izstrādāta precīza Unified Modeling Language Aktivitāšu diagrammas (UML AD) izpildes semantika, izmant…
Relāciju datu bāzu informācijas pieejamība semantiskā tīmekļa tehnoloģijām
2012
Promocijas darba „Relāciju datu bāzu informācijas pieejamība semantiskā tīmekļa tehnoloģijām” Anotācija Atslēgas vārdi: relāciju datu bāze, RDF, OWL, ontoloģijas, attēlojums Semantiskā tīmekļa uzdevums ir pārvērst tīmekli no milzīgas dokumentu kolekcijas par bagātu datu avotu, no kura datorprogrammas varētu automātiski iegūt informāciju. Lielākā daļa esošo datu glabājas relāciju datu bāzēs un nav pieejamas semantiskam tīmeklim. Darba mērķis ir atrast risinājumu relāciju datu bāzu un OWL ontololoģijas sasaistei. Darbā 1) pētīti esošie risinājumus relāciju datu bāzu un RDF/OWL ontoloģiju sasaistes nodrošināšanā; 2) izveidota RDB-RDF/OWL attēlojuma specificēšanas valoda, kas orientēta uz lasām…
Zināšanās bāzētu un korpusā bāzētu metožu kombinētā izmantošanas mašīntulkošanā
2012
Combined Use of Rule-Based and Corpus-Based Methods in Machine Translation ANOTĀCIJA Mašīntulkošanas (MT) sistēmas tiek būvētas izmantojot dažādas metodes (zināšanās un korpusā bāzētas). Zināšanās bāzēta MT tulko tekstu, izmantojot cilvēka rakstītus likumus. Korpusā bāzēta MT izmanto no tulkojumu piemēriem automātiski izgūtus modeļus. Abām metodēm ir gan priekšrocības, gan trūkumi. Šajā darbā tiek meklēta kombināta metode MT kvalitātes uzlabošanai, kombinējot abas metodes. Darbā tiek pētīta metožu piemērotība latviešu valodai, kas ir maza, morfoloģiski bagāta valoda ar ierobežotiem resursiem. Tiek analizētas esošās metodes un tiek piedāvātas vairākas kombinētās metodes. Metodes ir realizēta…