Search results for " datortehnika"
showing 9 items of 49 documents
Uz metamodeļiem un modeļu transformācijām balstīta grafisko rīku būves platforma
2009
Uz metamodeļiem un modeļu transformācijām balstīta Oskars Vilītis grafisko rīku būves platforma 1 Anotācija Pēdējo gadu laikā programmatūras izstrādē arvien lielāku popularitāti gūst modeļu balstītā pieeja (MDSD – Model Driven Software Development). MDSD tehnoloģijas pamatideja ir balstīt visu programmatūras izstrādes procesu uz katrai izstrādes fāzei atbilstošiem specializētiem modeļiem. Šie modeļi ne tikai dokumentē dažādus sistēmas aspektus, bet arī kļūst par tiešu programmatūras sastāvdaļu. Mūsdienu praksē MDSD modeļu aprakstam bieži izmanto specializētas modelēšanas valodas, sauktas par domēna (priekšmeta apgabala jeb lietojumsfēras) specifiskajām valodām (DSL – Domain Specific Languag…
Ietvars bezvadu sensoru tīklu lietojumprogrammu izstrādes atvieglošanai
2013
Anotācija Sākotnējā vīzija par bezvadu sensoru tīkliem paredzēja, ka tie kļūs par vērtīgu rīku daudzām lietotāju grupām: gan dažādu jomu zinātniekiem, gan praktiķiem. Taču bezvadu sensoru tīklu programmatūras izstrāde ir sarežģīta, jo tie apvieno resursierobežotu iegulto ierīču sarežģītību ar tīklotu ierīču sarežģītību. Tas ir viens no iemesliem, kāpēc sensoru tīkli vēl nav kļuvuši par plaša patēriņa tehnoloģiju. Šī problēma ir daļēji risināma, piedāvājot bezvadu sensoru tīklu programmatūras izstrādātājiem piemērotus programmizstrādes rīkus, programmēšanas valodas un bibliotēkas. Tāpēc disertācijas ietvaros ir izveidota rinda pieeju bezvadu sensoru tīklu lietojumprogrammu izstrādes atvieglo…
Kvantu vaicājošie algoritmi
2013
Anotācija Kvantu skaitļošana ir datorzinātnes apakšnozare, kas balstās uz kvantu mehānikas likumiem. Kvantu vaicājošais algoritms ir galvenais pētāmais objekts. Galvenais darba mērķis ir padarīt kvantu algoritma konstruēšanu pēc iespējas vienkāršāku. Pētījumā ir aprakstīti kvantu vaicājošie algoritmi, kas rēķina Būla funkcijas uzdodot nelielu skaitu vaicājumu, un tiek piedāvāti kvantu vaicājošie algoritmi daudzvērtīgu funkciju aprēķināšanai. Darbā ir aprakstīti vairāki efektīvi kvantu algoritmi konkrētu uzdevumu veikšanai. Paši nozīmīgākie ir kvantu vaicājošie algoritmi ar ierobežotu kļūdu, piemēram, piedāvāts algoritms divu bitu AND Būla funkcijai, kas izmanto vienu vienīgu vaicājumu un iz…
Kvantu automātu un meklēšanas algoritmu iespējas un ierobežojumi
2013
ANOTĀCIJA Kvantu skaitļošana ir nozare, kas pēta uz kvantu mehānikas likumiem balstīto skaitļošanas modeļu īpašības. Disertācija ir veltīta kvantu skaitļošanas algoritmiskiem aspektiem. Piedāvāti rezultāti trijos virzienos: Kvantu galīgi automāti Analizēta stāvokļu efektivitāte kvantu vienvirziena galīgam automātam. Uzlabota labāka zināmā eksponenciālā atšķirība [AF98] starp kvantu un klasiskajiem galīgajiem automātiem. Grovera algoritma analīze Pētīta Grovera algoritma noturība pret kļūdām. Vispārināts [RS08] loģisko kļūdu modelis un piedāvāti vairāki jauni rezultāti. Kvantu klejošana Pētīta meklēšana 2D režģī izmantojot kvantu klejošanu. Paātrināts [AKR05] kvantu klejošanas meklēšanas alg…
Kvantu skaitļošanas konstrukcijas
2011
Elektroniskā versija nesatur pielikumus
Quantum algorithm complexity
2008
Elektroniskā versija nesatur pielikumus
Domēnspecifisku rīku konfigurācijas valoda un tās realizācija
2014
Promocijas darbā ir izstrādāts konfigurators plaša profila DSML rīku definēšanai. Konfigurators balstās uz ideju, ka DSML definīciju var uzdot ar universālu metamodeli (UML klašu diagrammas formā), kura pēc tam konfiguratorā tiek apstrādāta, lai nodrošinātu rīka darbību. Turklāt nestandarta gadījumiem, kad esošās metamodeļa iespējas ir nepietiekošas, metamodelī ir realizēts paplašinājuma punktu mehānisms, kas ļauj pievienot rīkam specifiski transformāciju valodā noprogrammētu funkcionalitāti. Izstrādātais konfigurators ir pārbaudīts vairākos praktiskos lietojumos un apliecinājis savu efektivitāti.
Dati kā ontoloģija - glabāšana, vaicāšana, vizualizācija
2014
Anotācija Promocijas darba centrālā tēma ir semantiski dati un to lietojums datu atlasē un sistēmu izstrādē. Darba centrālā tēze ir “Semantiskā Latvija” – ontoloģijas kā vienojošs aspekts. Tās tiek publicētas, ir pieejama platforma, kas interpretē ontoloģiju un ļauj tajā ievadīt un labot datus, ir pieejams grafisks rīks, kas ļauj sastādīt grafiskus vaicājumus pār izveidotajiem datiem. Darbā ir izstrādāta grafiska vaicājumu valoda, ar kuras palīdzību var sastādīt grafiskus vaicājumus pār semantiskiem datiem. Vaicājumi tālāk tiek tulkoti uz SPARQL vaicājumu valodu. Mēs esam pierādījuši, ka vaicājumu valoda ir saprotama un uzlabo lietotājiem lasāmību. Vaicājumu valodai ir izstrādāts arī eksper…
Architecture for multi-tenant adaptive information systems
2013
Elektroniskā versija nesatur pielikumus