Didžioji dalis programinės įrangos šiais laikais yra paskirstyta. Jos testavimas bei verifikavimas yra sudėtingas. Dažniausiai testavimas yra būtina, tačiau daug laiko bei išteklių reikalaujanti, programinės įrangos kūrimo proceso dalis. Automatiniai testavimo įrankiai palengvina paskirstytų sistemų testavimą. Šiame darbe pateikiamas automatinis paskirstytų sistemų testavimo metodas naudojantis UML modelius, sukurtas įrankis šio metodo pagrindu bei atliktas eksperimentinis tyrimas. Pirmoje dalyje aprašoma atlikta paskirstytų sistemų testavimo problemų analizė bei bėdos esant lygiagretumui bei lenktynių dėl resursų sąlygoms. Pateikiamos modelių tikrintuvo naudojimo galimybės atliekant paskirstytų sistemų testavimą bei UML modelių naudojimas testavimo tikslams. Antroje dalyje pateikiamas naudojamas metodas, o trečioje dalyje šį metodą realizuojančios programinės įrangos projektas. Programinė įranga sukurta Java kalba, naudojamas Java PathFinder modelių tikrintuvas dviejų klientų simuliavimui. Serveris veikia už modelio tikrintuvo ribų. UML klasių diagramos, su tam tikrų stereotipų pagalba, naudojamos serverio testavimo parametrams nurodyti. Eksperimentinėje dalyje pateikiami atlikti bandymai su sukurta programine įranga. Testavimui panaudotos dvi paprastos paskirstytos sistemos. Panaudojant mutacinį testavimą sužinotas metodo aptinkamų mutantų kiekis, kuris yra palygintas su JUnit testų aptinkamu kiekiu. Atlikta aptiktų bei neaptiktų mutantų analizė parodė metodo privalumus bei... [toliau žr. visą tekstą] / Most applications today communicate with other processes over a network. Testing and verification of such systems is complex. In many cases testing is an essential, but time and resource consuming activity in the software development process. Automated test methods are used to make testing of such distributed systems easier. In this document an automated distributed system test method using UML models is presented. It uses a couple of clients communicating with server and is able to detect resource racing related failures. The first section describes a research of distributed system testing issues, concurrency and resource racing error detection, and ways of using model checker for testing distributed systems as well as the use of UML models for test purposes. The second section presents a testing method used for the tool. Tool is described in the third section. It is based on Java and uses Java PathFinder model checker for simulating two clients. Server is run outside of model checker. UML class diagrams are used for defining server test parameters by applying certain stereotypes on methods being tested. The investigation section describes a performed experiment with created tool. Two simple distributed systems are presented for mutation test purposes. Mutation testing is performed with defined mutation operators and results are analyzed. Additionally results are compared to basic JUnit tests.

Darbe siekiama sudaryti metodiką, kuri leistų kurti informacines sistemas grindžiamas darbų sekų vykdymų. Norint pasiekti tikslą reikia išanalizuoti esamas kūrimo metodikas ir išsirinkti geriausias savybes, kurias panaudosiu naujos metodikos sudaryme. / In this paper work I am aiming to design a methodology that enables to develop information systems based on workflow execution. In order to achieve the objective I should to analyze the existing development methodologies and choose the best features, which I combine to create a new methodology.

Summary presents self-service networks operational performance improvement and management system, which is adapted to manage the supply of ATMs’ cash flows. The system is created using multi-agent technologies and artificial neural networks. Adaptive neural network model has been created for the forecast of ATMs’ cash demand. Flexibility of the network is regulated in real time mode by limiting neural network weights, depending on process complexity, therefore such network better forecasts in real life situations. Evaluation and process improvement methodology has been created to optimize productivity of self-service systems, which includes: value-based self-service quality and performance criteria’s, and performance evaluation models. Using these models is possible to increase productivity of self-service systems. Using theoretical studies results a computer program enabling real-time monitoring and management of ATM cash flows was created. Analysis of high and low intensity of ATM network profitability showed that the created flexible neural network forecast method is more superior than classical methods of time series forecast (moving average, Holt, Winters, and ARMA), and is able to quite accurately forecast various time series of ATM cash demand. Based on studies found that using the created ANN method and optimization procedure, ATM cash management productivity may be approximately increased by 33 percent. / Santraukoje pristatoma savitarnos tinklų veiklos našumo didinimo ir valdymo intelektinė sistema, pritaikyta valdyti bankomatų grynųjų pinigų tiekimo srautus. Sistema sukurta naudojant multi-agentų technologijas ir neuroninius tinklus. Bankomatų grynųjų pinigų poreikiui prognozuoti sudarytas adaptyvus neuroninis tinklas. Šio tinklo lankstumas reguliuojamas realiu laiku apribojant neuroninių tinklų svorius, priklausomai nuo proceso sudėtingumo, todėl toks tinklas gali geriau prognozuoti realiose situacijose. Savitarnos sistemų našumui optimizuoti sukurta vertinimo ir procesų tobulinimo metodika apimanti: verte pagrįstus savitarnos kokybės ir našumo kriterijus bei našumo vertinimo ir procesų tobulinimo modelius. Naudojant šiuos modelius galima užtikrinti našesnį savitarnos sistemų darbą. Teorinių tyrimų pagrindu buvo sukurta kompiuterinė programa, leidžianti realiu laiku stebėti ir valdyti bankomatų grynųjų pinigų srautus. Šios programos panaudojimas leidžia sumažinti tinklo valdymo kaštus ir padidinti paslaugų prieinamumą. Atlikus didelio ir mažo intensyvumo bankomatų tinklų pelningumo analizę nustatyta, kad sukurtas lankstus neuroninių tinklų prognozavimo metodas yra pranašesnis už klasikinius laiko eilučių prognozavimo metodus (slankiųjų vidurkių, Holto, Vinterio, ARMA), ir gali pakankamai tiksliai prognozuoti įvairias bankomatų grynųjų pinigų poreikio laiko eilutes. Remiantis atliktais tyrimais nustatyta, kad pritaikius sukurtą ANN metodą ir optimizavimo procedūrą, bankomatų... [toliau žr. visą tekstą]

Informacinės technologijos besivysto sparčiu tempu, paslaugos vis labiau keliasi į internetinę erdvę, kuriasi paslaugų internetas. Ilgą laiką Lietuvoje paslaugos internete nebuvo labai populiarios, tačiau jau įgavo pasitikėjimą. Populiarėjant paslaugoms turi pasitempti paslaugų kūrėjai ir tiekėjai. Jie stengiasi siūlyti kokybiškas ir patrauklias paslaugas. Antrosios kartos paslaugų žiniatinklį tuoj papildys semantikos įvedimas – trečios kartos, semantinis žiniatinklis. Semantinio žiniatinklio ir semantinių web servisų sąvokos labai svarbios interneto vystymosi raidoje. Semantinis žiniatinklis kardinaliai pakeis žiniatinklio bei paslaugų internete supratimą. Projektuojama sistema puikiai atitinką pokyčius ir numatomą ateitį paslaugų interneto verslo sektoriuje. Semantiniai web servisai gali būti pritaikomi tiek galutiniams vartotojams tiek verslo poreikiams. Sistema gali būti naudojama versle, panaudojant sistemos išvedimo rezultatus kitiems verslo procesams kaip įvedimo duomenis. Pagrindiniai darbo tikslai – remiantis ankstesniuose tiriamuosiuose darbuose įgyta patirtimi išanalizuoti Lietuvos elektroninio verslo rinką, išanalizuoti semantinių web servisų aplinką, kūrimo įrankius, suprojektuoti semantinio web serviso prototipą, bei pabrėžti jo naudą ir konkurencinio pranašumo įgijimo galimybes. / Information technologies are developing very fast, services are moving to the internet. For a long time online services in the Lithuania hasn’t been very popular but now are quite popular. The popularity of services makes developers and providers to strive. They are trying to offer high quality and great services. The second generation web will be soon complemented with the semantic – the third generation semantic web. In evolution of the internet, semantic web and semantic web service definitions are very important. Semantic web will dramatically change the understanding of web and the services on the Internet. This system is well suited to the expected future changes for services on the Internet in the business sector. The semantic web services can be applied to end users and business needs. The system output can be used for other business processes like data entry. Main goals of my job – to adapt the experience from previous jobs about semantic web technologies, analyze Lithuanian e-business market, the semantic web services environment, tools for services creation, design a semantic web service prototype and highlight competitive advantage opportunities.

Darbo tikslas yra išanalizuoti keliaujančio pirklio algoritmo realizacijos galimybes egzistuojančiose navigacinėse sistemose, bei išanalizavus pasirinktus algoritmus keliaujančio pirklio problemai spręsti, parinkti tinkamiausią algoritmą pagal turimus atminties ir skaičiavimo resursus bei problemos sudėtingumą. Tyrimo rezultatai parodė, jog nėra tinkamiausio algoritmo visiems atvejams, nes skirtingose situacijose skirtingi algoritmai rodo geriausius rezultatus. / The investigation had a list of objectives: analyze the capabilities and resources of a range of chosen GPS navigation devices; analyze the needs and requirements of traveling salesman related GPS navigator functions for regular users; analyze what types of TSP algorithms are used in existing navigation software products; analyze the capabilities of various TSP algorithms with regard to used resources and speed of calculations; determine which algorithms are optimal for a range of specific situations. Research of different algorithms led to a conclusion that there is no single algorithm that is always better than the rest. Under different circumstances, different algorithms showed different results. Some were clearly optimal in some situations, while others competed with each other in other situations. The key element to success of an algorithm was how much time it got to do it's calculations. The amount of the input data changed the duration of the calculations but the algorithm function declination rate remained mostly the same with different sets of input data.

Darbo tikslas – atlikti literatūroje pateikiamų reikalavimų surinkimo ir specifikavimo metodų analizę. Pasirinkti ir pritaikyti juos CRM sistemos kūrimo procese. Pateikti kaip vyko CRM sistemos kūrimo procesas, naudojant pasirinktus metodus. Apibendrinti kaip pasirinkti metodai įtakojo sistemos funkcionalumą ir galutinius reikalavimus. Darbo pradžioje iškelta ir aprašyta problema susidariusi įmonėje, kuriančioje informacines sistemas. Pateikta, kodėl buvo priimtas sprendimas kurti naują produktą. Remiantis statistiniais duomenimis ir atliktais tyrimais aprašyta, kodėl tinkamas reikalavimų specifikavimas prisideda prie sėkmingo projekto įgyvendinimo. Literatūroje apžvelgti ir praktikoje pritaikyti reikalavimų surinkimo ir specifikavimo metodai. Aprašyti CRM sistemos kūrimo proceso etapai. Pateikta kokie metodai, kokiems funkcionalumams specifikuoti buvo naudoti projekto eigoje. Pateikta CRM sistemos reikalavimų kitimo statistika. / The aim of this work – to review the techniques of the requirements gathering and specification methods presented in the literature, to choose and adapt them to the development process of the CRM system. To show how the development process was implemented by using the selected methods and how it affected the functionality of the CRM system. At the beginning of this work there was described and analyzed the problem that arises in the company which creates information systems. It is represented a decision why a new product is chosen to establish. According to the statistical data and studies, it is described why right requirements specification contributes to the successful implementation of the project. The development process stages of the CRM system are described. Furthermore, the methods, which have been used during the project, are described in this work. The requirements change statistics of the CRM system are represented.

Disertacijoje sprendžiama spiralinių ir meandrinių lėtinimo sistemų su periodiniais netolygumais modeliavimo metodų tobulinimo ir jų tobulesnių konstrukcijų paieškos problema. Pagrindiniai tyrimo objektai – nevienalytės periodinės lėtinimo sistemos ir jų modeliai bei analizės metodai. Darbo tikslas yra tobulinti sudėtingas turinčias periodinių netolygumų spiralines ir meandrines lėtinimo sistemas ir ištirti jų analizės metodus, siekiant atskleisti nevienalyčių lėtinimo sistemų savybes ir jų automatizuoto projektavimo galimybes. / There are investigated issues of modeling techniques improvement and investigation of improved design of helical and meander slow-wave systems with periodical inhomogeneities in the dissertation. Objects of research – models of slow-wave systems with periodical inhomogeneities and their methods of investigation. Aim of the work – improvement of sophisticated helical and meander slow-wave systems with periodical inhomogeneities and investigation of their methods of analysis, in order to reveal general characteristics of inhomogeneous slow-wave systems and capabilities of using computer-aided design.

There are investigated issues of modeling techniques improvement and investigation of improved design of helical and meander slow-wave systems with periodical inhomogeneities in the dissertation. Objects of research – models of slow-wave systems with periodical inhomogeneities and their methods of investigation. Aim of the work – improvement of sophisticated helical and meander slow-wave systems with periodical inhomogeneities and investigation of their methods of analysis, in order to reveal general characteristics of inhomogeneous slow-wave systems and capabilities of using computer-aided design. / Disertacijoje sprendžiama spiralinių ir meandrinių lėtinimo sistemų su periodiniais netolygumais modeliavimo metodų tobulinimo ir jų tobulesnių konstrukcijų paieškos problema. Pagrindiniai tyrimo objektai – nevienalytės periodinės lėtinimo sistemos ir jų modeliai bei analizės metodai. Darbo tikslas yra tobulinti sudėtingas turinčias periodinių netolygumų spiralines ir meandrines lėtinimo sistemas ir ištirti jų analizės metodus, siekiant atskleisti nevienalyčių lėtinimo sistemų savybes ir jų automatizuoto projektavimo galimybes.

Software research for learning systems with generating tasks was formulated in this document. The analogous systems were analyzed and possible solutions reviewed. By this assay, were designed tasks with generating propositions, which will resolve the problem of creating difficult tasks and improve the skills of checking. The software differences were analyzed in the plenty learning systems. The merits and demerits were determined. The best technologies for this project realization were choused. The created software system was tested and the quality analysis was made. Finally, the experimental research was transacted. Research results showed that selected methods were suited way to resolve the raised problem.

Šis magistro darbas yra Lietuvos sveikatos mokslų universiteto studijų informacinės sistemos projekto dalies mokslinis tyrimas, analizė ir įgyvendinimo aprašymas. Projekto metu įgyvendinama daug funkcijų. Vienos turėjo prototipus liktinėje sistemoje ir buvo papildomos naujais reikalavimais, kitos įgyvendintos pagal naujai surinktus reikalavimus. Šiame magistro baigiamajame darbe ištirta LSMUSIS studijų programos dalyko aprašo informacijos patalpinimo, apdorojimo, atvaizdavimo architektūra. Išanalizuotas faktinis dalyko aprašo posistemės naudojimas ir ryšių vienas su daug poreikis, pridedant klasifikuotą informaciją. Identifikuoti įgyvendinto modulio privalumai ir trūkumai, numatytos tolimesnės plėtros gairės. Ištirtas aprašas galėtų pasitarnauti universitetų analizės, siekiant apjungti Kaune egzistuojančius universitetus, metu. Sistemos projektavimo darbai buvo atliekami naudojant MagicDraw įrankius, programavimas atliktas naudojant VisualStudio, programuojama C# kalba, reliacinė duomenų bazė kurta SQL serveryje, tyrimai atlikti naudojant SQL užklausas bei VisualStudio įrankius. Magistro studijų metu tobulinama proceso kokybė, gilinamasi į naujausias technologijas. / This Master thesis is part of the Lithuanian University of Health Sciences Information System project of the research, analysis and implementation. The project implemented a number of functions. One had prototypes in residual system and was added with new requirements, while others were implemented with newly collected requirements. In this Master thesis it is explored study program’s subject description for placement the information, processing, rendering architecture. Analyzed the actual subject description of the subsystem, and the need of connections one with many, for the addition of classified information. The strengths and weaknesses of the module, further developments are identified. This study could serve in university analysis, as it is planned to combine the existing universities in Kaunas. System design work was conducted using MagicDraw tools, programming was performed using Visual Studio, programmed in C # language, a relational database was created in SQL Server, studies were carried out using SQL queries and Visual Studio tools. During Master studies process quality is improved, attention is paid to the latest technologies.