Results
repositories = "eLABa"
> : "Maciulevičius, Stasys"
(x)
Sistemų su klaidų įterpimu formalizavimas Systems with possibility to insert faults formalization
Author(s) :
Blažaitytė, Eglė
Description :
Kiekvienos sistemos kūrimo tikslas yra veikianti, gyvybinga ir saugi sistema, teikianti norimus ir patikimus rezultatus. Sistemos saugumas – tai sistemos savybė, reiškianti, kad sistemos funkcionavimo metu neįvyks jokia nenumatyta situacija. Gyvybingumas – sistemos reakcija į tam tikrus įvykius ir s...
Repository :
eLABa
Language(s) :
Lithuanian
Logistikos sistemų formalus imitacinis modeliavimas Formal simulation modeling for logistic systems
Author(s) :
Liorenšaitytė, Vilma
Description :
Šiuo metu egzistuoja įvairiausių sudėtingų sistemų imitacinių modelių kūrimo technologijų ir priemonių. Šiame darbe aiškinama, kaip imitacinis modelis gali būti integruojamas į verslo valdymo sistemą. Taip pat įvertinama, kad verlo valdymo sistemos gali būti paskirstytos atskiruose kompanijose ar ko...
Repository :
eLABa
Language(s) :
Lithuanian
DynPLA panaudojimas mobilaus ryšio sistemų modeliavimui The usage of dynPLA formalism for modeling of mobile computing system
Author(s) :
Cibulskienė, Lina
Description :
Šiame darbe analizuojama mobilaus ryšio sistema. Yra tariama, jog tinkle egzistuoja dviejų tipų įrenginiai: mobilūs ir fiksuoti. Fiksuoti įrenginiai yra visados įjungti ir prijungti prie tinklo. Fiksuoti įrenginiai, tai mobiliosios palaikymo stotys (MPS) ir duomenų bazė. Mobilūs įrenginiai (mobilūs ...
Repository :
eLABa
Language(s) :
Lithuanian
Užklausų metamodelis paieškos sistemų kūrimui Query metamodel for search system development
Author(s) :
Matonytė, Arjana
Description :
Darbe nagrinėjama plačiausiai praktikoje paplitusiems duomenų šaltiniams – reliacinėms duomenų bazėms ir XML dokumentams – skirtų užklausų kalbų - SQL, XQuery ir XPath - užklausų struktūra ir savybės. Remiantis analizės rezultatais, sudarytas bendrinis užklausų modelis, kurio paskirtis – padėti form...
Repository :
eLABa
Language(s) :
Lithuanian
Duomenų centrų paslaugų kokybės įvertinimas Quality Evaluation of Datacenter Services
Author(s) :
Zakarevičius, Rokas
Description :
Paskutiniu metu duomenų centrai teikia skirtingas tinklo, informacijos talpinimo, terminalinių serverių ir kitas paslaugas. Paslaugų kokybė priklauso ne tik nuo specifikuojamų SLA parametrų, bet ir nuo vartotojo poreikių. Taigi buvo sudaryta duomenų centrų paslaugų įvertinimo metodika, skirta palygi...
Repository :
eLABa
Language(s) :
Lithuanian
Veiklos modelio ir vartotojo reikalavimų (Use-Case) modelio sąsajos tyrimas Activity and use-case model communication analysis
Author(s) :
Šafranauskas, Povilas
Description :
Mūsų dienomis informacinės sistemos tampa vis sudėtingesnės ir verslo procesams aprašyti seniai nebeužtenka paprastų tekstų ar schemų. Kompiuterizuotų IS reikalavimams aprašyti ir modeliuoti geriausiai tinka specialiai tam skirti modeliai. Modeliavimas tapo būtinas kuriant dideles, sudėtingas ar su ...
Repository :
eLABa
Language(s) :
Lithuanian
Hibridinių sistemų modeliavimas naudojant agregatinį metodą The use of piece-linear aggregates for specification and simulation of hybrid systems
Author(s) :
Simaitis, Laurynas
Description :
Šiame darbe pristatomas PLA formalizmo metodas, skirtas aprašyti ir imituoti hibridines sistemas, kurių tolydiniai komponentai aprašomi pirmos eilės diferencialinėmis lygtimis. Pasinaudojus PLA formalizmu suformuluosime Kvantuotų būsenų sistemos modelį (QSS). QSS modelis yra integravimu pagrįstas me...
Repository :
eLABa
Language(s) :
Lithuanian
Patobulintos objektinio modelio transformacijos į reliacinių duomenų bazių schemas UML CASE įrankiuose Complete transformations of object models to relational database schemas in UML CASE tools
Author(s) :
Maslauskas, Raimondas
Description :
Šio darbo tikslas – pilnų objektinių-sąryšinių transformacijų algoritmų sukūrimas ir įgyvendinimas UML CASE įrankiuose. Pilnomis transformacijomis suprantamos tokios transformacijos, kurios gali transformuoti visas objektinio modelio konstrukcijas į sąryšinių duomenų bazių konstrukcijas. To neatliek...
Repository :
eLABa
Language(s) :
Lithuanian
Integruotų verslo sistemų formalizavimas, panaudojant komponentinę abstrakciją Formalization of integrated business systems used component abstraction
Author(s) :
Mackevičius, Kostas
Description :
Magistro baigiamajame darbe tyrinėta verslo informacinė sistema jos išsivystymas ir metodologija panaudojant komponentais pagrįstą metodą. Metodas parodo kaip naudoti komponentais - orientuotą paradigmą, kad išvystytume sistemą visuose trijuose verslo lygmenyse. Darbe pristatoma pati sąvoka ir jos p...
Repository :
eLABa
Language(s) :
Lithuanian
Finansinių fondų dinamikos miglotųjų prognozavimo algoritmų sudarymas ir tyrimas Financial dynamics funds fuzzy prediction algorithms and analysis
Author(s) :
Grinkevičiūtė, Laura
Description :
Prognozuojant finansinių fondų dinamiką, dažniausiai sunku pasirinkti vieną iš daugelio esamų prognozavimo metodų, nes kiekvienas jų turi pranašumų ir trūkumų. Atlikta plačiai naudojamų prognozavimo metodų Soros, Bayeso, AR, Wiener analizė. Plačiai prognozavimui naudojami matematinės statistikos me...
Repository :
eLABa
Language(s) :
Lithuanian