Search

The aim of this paper is to describe a systematic way to construct tests from a formal software specification for validating a system implementation. In order to achieve this goal, the specification could be extended to create UML states that directly address those aspects of the system we wish to test. The presented technique generates test cases from UML communication and state machine diagrams which allow testing a correct class integration of object-oriented software. UML state machine diagrams provide a good way for test generation in a form that can be easily manipulated. The concept of the technique and an example model are presented., Straipsnyje pateikiamas būdas testų kūrimui iš formalių specifikacijų sistemiškai aprašyti siekiant, kad programinė įranga tinkamai veiktų. Šiam tikslui pasiekti siūloma praplėsti sistemos specifikaciją aprašant sistemos būsenas, tiesiogiai susijusias su tais sistemos aspektais, kuriuos norima testuoti. Remiantis siūloma technologija, testai generuojami iš UML bendradarbiavimo ir būsenų diagramų, kuriomis naudojantis testuojamas objektinės programinės įrangos integravimas. Straipsnyje pateikiamas siūlomos technologijos aprašymas ir pavyzdinis modelis.

Šiame straipsnyje yra pateikta trumpa lanksčiai pritaikomų mokymosi objektų formavimo metodo apžvalga. Šio metodo pagrindas yra struktūriškai aprašyta ir nuo atvaizdavimo taisyklių atskirta el. mokymosi medžiaga. Mokymosi objektai, kuriais pateikiama tokia medžiaga, gali būti pritaikyti pagal individualius poreikius ir gali būti panaudoti skirtinguose mokymosi kontekstuose nekeičiant el. mokymosi medžiagos. Norint pakeisti tokio mokymosi objekto medžiagos pateikimo formą, užtenka pakeisti medžiagos atvaizdavimo taisykles. Tačiau, jei el. mokymosi medžiaga taip pat turi būti pritaikyta, tai padaryti yra kur kas lengviau, nes medžiaga yra struktūriškai aprašyta ir turi mažiau techninės atvaizdavimo informacijos. Tokių mokymosi objektų pritaikymas yra veiksmingesnis ir reikalauja mažiau laiko sąnaudų, todėl jie yra vadinami lanksčiai pritaikomais mokymosi objektais A brief overview of formation method of flexible learning objects is presented in this article. The basis of this method is e-learning material that is structured and separated from display rules. The learning objects that have such e-learning material may be adapted to individual needs and may be used in different learning contexts without changing e-learning material. To change the presentation form of e-learning material of such objects, it is enough to change display rules of this material. However, if the e-learning material must be adapted too, it is much easier to do this as the material is structured and contains less technical information of representation. The adaptation of such learning objects is more effective and needs less work time input, therefore they are called as flexible learning objects

Many software test generation techniques target on generating software test data. Only a few of them provide automatic way to verify if software behaves correctly using generated test data. We propose a testing technique, which uses UML modeling language extension OCL as imprecise test oracle. Imprecise OCL constraints can be viewed as expressions which define expected results within some ranges of possible values. When software is executed using generated test data the output is verified against imprecise OCL constraints. If output invalidates imprecise OCL constraints, a tester can assume with some probability that software has bugs., Daugelis testų generavimo technikų orientuotos į testinių duomenų generavimą. Tiktai keletas iš jų pateikia priemones, leidžiančias įvertinti, ar programinė įranga elgiasi teisingai (apskaičiuoja tikslų rezultatą), gavusi sugeneruotus testinius duomenis, t.y. realizuojamas orakulas. Šiame darbe siūloma naudoti programinės įrangos modelius kaip apytikslį orakulą. Siūloma naudoti OCL apribojimus, kurie išplečia UML modeliavimo kalbą. Netikslūs OCL apribojimai gali būti laikomi išraiškomis, kurios apibrėžia numatomus programinės įrangos darbo rezultatus, nurodant tam tikras galimas apibrėžimo sritis. OCL gali būti panaudotas kaip apytikslis orakulas, leidžiantis nustatyti, ar programinė įranga veikia korektiškai. Šie apribojimai gali parodyti, kada programinė įranga veikia klaidingai - pažeidžiami OCL apribojimai.

Automatinis web servisų testavimas susideda iš WSDL failų apdorojimo, testų generavimo ir užklausų vykdymo bei rezultatų išvedimo. Prisijungiant prie web serviso atliekama WSDL failo analizė, išanalizavus kūriami testavimo atvejai. Su tais pačiais testiniais duomenimis testuojami visi pasirinkti web servisai ir pagal gautus rezultatus įvertinamas atnaujintasis web servisas, Automated web service testing consists of a WSDL file processing, test generation, execution of queries and the derivation of results. Connecting to the web service WSDL file analysis is performed and test cases are created after the analysis. All selected web services are tested with the same test data and according to the results obtained, a new updated web service is assessed

Dauguma programinę įrangą kuriančių įmonių susiduria su problemomis: projektai vėluoja, viršijamas biudžetas, klientai nepatenkinti produktų kokybe. Daugelis problemų kyla dėl nebrandaus programų kūrimo proceso, pagal kurį įmonė įgyvendina projektus. Populiariausi pasaulyje programų kūrimo procesų vertinimo modeliai yra ISO/IEC 15504 ir CMMI. Įmonės, norėdamos būti oficialiai pripažintos platesnėje aplinkoje, renkasi vieną iš šių dviejų modelių. Įmonės susiduria su problema, kad skirtingi užsakovai reikalauja skirtingų procesų vertinimo modelių. Todėl įmonėms yra aktualu turėti instrumentą, kuris atvaizduotų jos vertinimo rezultatus iš vieno procesų vertinimo modelio į kitą, neatliekant kaskart realaus įmonės procesų vertinimo. Disertacijoje pateiktas tarpinis programų kūrimo procesų vertinimo modelis yra instrumentas įmonėms, siekiančioms kurti programų sistemas automobilių, krašto apsaugos, kosmoso, medicinos ir kitose pramonės šakose, gauti vertinimo rezultatus pagal įvairius procesų vertinimo modelius, atliekant vieną procesų vertinimą. Pagal pasiūlytą tarpinio programų kūrimo procesų vertinimo modelio kūrimo metodą galima kurti tarpinius modelius ir kitų sričių procesams vertinti. Pavyzdžiui, galima konstruoti tarpinį modelį paslaugas teikiančioms organizacijoms, apimantį CMMI-SVC ir ISO/IEC 15504-8 vertinimo modelius, arba tarpinį modelį bet kokia veikla užsiimančioms organizacijoms, apimantį Enterprise SPICE ir FAA-iCMM vertinimo modelius. Many software companies face such problems as projects being behind schedule, exceeding the budget, customer dissatisfaction with product quality. Most of the problems arise due to immature software process of the company. The most popular process assessment models worldwide are ISO/IEC 15504 and CMMI. Companies seeking wider official recognition choose between these two models. Companies face the problem that different customers require process assessment according to different models. Therefore, it is important for companies to have an instrument that would transform company’s assessment results according to one process assessment model to another model without actual reassessment each time. The transitional process assessment model proposed in the dissertation allows the companies in the automotive, defence, space, medical, and other industries to have assessment results according to different process assessment models by performing only single process assessment. The presented method for TPAM development could be used developing transitional process assessment models in other domains. For example, service companies could implement a transitional model covering CMMI-SVC and ISO/IEC 15504-8 assessment models, and companies working in other areas could implement a transitional model covering Enterprise SPICE and FAA-iCMM assessment models.

Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas. Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked.

Šio darbo tyrimų sritis yra duomenų tyryba remiantis daugiamačių duomenų vizualia analize. Tai leidžia tyrėjui betarpiškai dalyvauti duomenų analizės procese, geriau pažinti sudėtingus duomenis ir priimti geriausius sprendimus. Disertacijos tikslas yra sukurti metodą tokios duomenų projekcijos radimui plokštumoje, kad tyrėjas galėtų pamatyti ir įvertinti daugiamačių taškų tarpgrupinius panašumus/skirtingumus. Šiam tikslui pasiekti yra pasiūlytas radialinių bazinių funkcijų ir daugiasluoksnio perceptrono, turinčio ,,butelio kaklelio“ neuroninio tinklo savybes, junginys. Naujas tinklas naudojamas vizualiai daugiamačių duomenų analizei, kai atidėjimui plokštumoje arba trimatėje erdvėje taškai gaunami paskutinio paslėpto neuronų sluoksnio išėjimuose, kai į tinklo įėjimą paduodami daugiamačiai duomenys. Šio tinklo ypatybė yra ta, kad gautas vaizdas plokštumoje labiau atspindi bendrą duomenų struktūrą (klasteriai, klasterių tarpusavio artumas, taškų tarpklasterinis panašumas) nei daugiamačių taškų tarpusavio išsidėstymą. The area of research is data mining based on multidimensional data visual analysis. This allows researcher to participate in the process of data analysis directly, to understand the complex data better and to make the best decisions. The objective of the dissertation is to create a method for making a multidimensional data projection on the plane such that the researcher could see and assess the intergroup similarities and differences of multidimensional points. In order to achieve the target, a new hybrid neural network is proposed and investigated. This neural network integrates the ideas both of the radial basis function neural network and that of a multilayer perceptron, which has the properties of a ''bottleneck'' neural network. The new network is used for the visual analysis of multidimensional data in such a way that the output values of the neurons of the last hidden layer are the two-dimensional or three-dimensional projections of the multidimensional data, when the multidimensional data is given to the network. A peculiarity of the network is that the visualization results on the plane reflect the general structure of the data (clusters, proximity between clusters, intergroup similarities of points) rather than the location of multidimensional points.

The area of research is data mining based on multidimensional data visual analysis. This allows researcher to participate in the process of data analysis directly, to understand the complex data better and to make the best decisions. The objective of the dissertation is to create a method for making a multidimensional data projection on the plane such that the researcher could see and assess the intergroup similarities and differences of multidimensional points. In order to achieve the target, a new hybrid neural network is proposed and investigated. This neural network integrates the ideas both of the radial basis function neural network and that of a multilayer perceptron, which has the properties of a ''bottleneck'' neural network. The new network is used for the visual analysis of multidimensional data in such a way that the output values of the neurons of the last hidden layer are the two-dimensional or three-dimensional projections of the multidimensional data, when the multidimensional data is given to the network. A peculiarity of the network is that the visualization results on the plane reflect the general structure of the data (clusters, proximity between clusters, intergroup similarities of points) rather than the location of multidimensional points. Šio darbo tyrimų sritis yra duomenų tyryba remiantis daugiamačių duomenų vizualia analize. Tai leidžia tyrėjui betarpiškai dalyvauti duomenų analizės procese, geriau pažinti sudėtingus duomenis ir priimti geriausius sprendimus. Disertacijos tikslas yra sukurti metodą tokios duomenų projekcijos radimui plokštumoje, kad tyrėjas galėtų pamatyti ir įvertinti daugiamačių taškų tarpgrupinius panašumus/skirtingumus. Šiam tikslui pasiekti yra pasiūlytas radialinių bazinių funkcijų ir daugiasluoksnio perceptrono, turinčio ,,butelio kaklelio“ neuroninio tinklo savybes, junginys. Naujas tinklas naudojamas vizualiai daugiamačių duomenų analizei, kai atidėjimui plokštumoje arba trimatėje erdvėje taškai gaunami paskutinio paslėpto neuronų sluoksnio išėjimuose, kai į tinklo įėjimą paduodami daugiamačiai duomenys. Šio tinklo ypatybė yra ta, kad gautas vaizdas plokštumoje labiau atspindi bendrą duomenų struktūrą (klasteriai, klasterių tarpusavio artumas, taškų tarpklasterinis panašumas) nei daugiamačių taškų tarpusavio išsidėstymą.

Šiame darbe pateikiama teksto analizės bei daiktvardinių ir veiksmažodinių frazių radimo ir paieškos analizė. Analizuojami algoritmai kurių pagalba būtų galima atpažinti frazes. Algoritmai kurie sugebėtų surasti veiksmažodines bei daiktvardines frazes lietuviškame tekste. Taipogi analizuojami sprendimai bei algoritmai kurių pagalba galima būtų sudaryti šablonus, kurių dėka būtų įmanoma ieškoti frazių. Atlikus išsamią algoritmų bei esminių sprendimų analizę buvo nustatyta, jog nėra algoritmo kuri lietuviškame tekste, naudodamas vartotojo sudarytus šablonus, galėtu aptikti veiksmažodines ir daiktvardines frazes. Darbo tikslas - ištirti daiktavardinių bei veiksmažodinių frazių atpažinimą lietuviškame tekste. Siekiamas rezultatas – daiktavardinių bei veiksmažodinių frazių šablonų sudarymo programos prototipas bei algoritmo, kuris galėtu ieškoti frazių lietuviškame tekste naudojant sudarytus šablonus prototipas. Suprojektuotas algoritmas leidžia aptikti įvairios struktūros daiktvardines ir veiksmažodines frazes. Leidžia surasti tam tikro norimo ilgio frazes. Suprojektuota frazių paieškos sistema leidžia laisvai sudaryti šablonus su norimomis detalėmis (kalbos dalis, linksnis, giminė, skaičius ir t.t.). Eksperimento metu buvo pasirinkti atsitiktiniai tekstai kuriose algoritmas, pagal tam tikrus sistemos sudarytus šablonus, aptiko frazes. Algoritmo surastų frazių algoritmo pagrindžiamumui, buvo atliktas eksperimentas su asmenimis, kurie patys rankiniu būdu atliko frazių paiešką tuose tekstuose. Eksperimento metu buvo palygintos frazės rastos tiek eksperto tiek sistemos. Sistemos rastų frazių skaičius ne ką skiriasi nuo eksperto rastų, tačiau sistemoje sudaryti šablonai nepilnai rado visas frazes, o jei rado tai jos būdavo nepilnos. Eksperimento metu nustatyta, jog turint gerą bei tinkamą šabloną galima aptikti geresnes bei tinkamesnes frazes., This paper provides an analysis of the text , and nouns and verbal expressions of detection and analysis of the search . Analyzing algorithms which make it possible to identify phrases. The algorithms are able to find the verb and noun Lithuanian phrases in the text. We also analyzed solutions and algorithms which permit to create templates that make it possible to search for phrases . After a detailed algorithms , and key decision- analysis it was found that there is no algorithm that Lithuanian text using user -defined templates to detect noun and verb phrases. The aim - to explore the noun and verbal phrases recognition Lithuanian text. To achieve the desired result - noun and verbal phrases in the template of the program of the prototype and the algorithm is to search for phrases in Lithuanian text using templates consisting of a prototype . Designed by the algorithm allows to detect different types of noun and verb phrases. Let’s find some desired length phrases. Allows you to easily create templates with the desired parts ( parts of speech, case, gender, number , etc.) . The experiment was randomly chosen texts with the algorithm in a system- defined templates found phrases. Algorithm find phrases algorithm experiment was carried out with individuals who have to manually search for phrases by those texts. During the experiment, the algorithm has been successfully implemented and applied to the analysis of the text.

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

The research subject of the dissertation is the analysis of the model of heterogenous agents and its application for modelling stochastic Nash and Stackelberg equilibriums, applying the Monte Carlo method. The aim of the dissertation is to identify the impact of heterogeneous agents on the formation of the economic bubble, to create and examine algorithms for special bilevel stochastic programming problems and for search of the stochastic Nash equilibrium, applying the Monte Carlo method. The thesis offers a mathematical model for identification of the beginning of the bubble. This model has been applied for the analysis of the real estate bubble in Lithuania. In cases of uncertainty, decisions are often made by several individuals whose interests do not coincide. In such situations one of the concepts of the equilibrium is the stochastic Nash equilibrium. The dissertation examines the stochastic Nash equilibrium and offers the algorithm for gradient search of this equilibrium. The algorithm for gradient search of the stochastic Nash equilibrium was examined by solving the problem of electricity market with precedent agreements. The dissertation offers the algorithm for solving the optimization problem where the objective function and constraints contain conditional value at risk and by solving the test problem the behaviour of the algorithm is investigated. The dissertation proposes the algorithm for solving the two stage stochastic linear problem, employing the method of... [to full text] Disertacijos objektas – heterogeninių agentų modelio tyrimas ir taikymas stochastinėms Nešo ir Stakelbergo pusiausvyroms modeliuoti Monte Karlo metodu. Darbo tikslas – nustatyti heterogeninių agentų įtaką ekonominio burbulo susidarymui, sukurti ir ištirti dviejų lygių stochastinio programavimo specialių uždavinių bei stochastinės Nešo pusiausvyros paieškos Monte Karlo algoritmus. Netvarių būsenų (burbulų ir jų griūčių) identifikavimas labai svarbus ekonomikai bei finansams. Disertacijoje pateiktas burbulo pradžios identifikavimo matematinis modelis, kurį taikant buvo ištirtas Lietuvos nekilnojamojo turto burbulas. Esant neapibrėžtumui, sprendimus dažnai priima keli individai, kurių interesai nesutampa. Tokiose situacijose taikoma viena iš pusiausvyros koncepcijų, būtent, stochastinė Nešo pusiausvyra. Darbe ištirta stochastinė Nešo pusiausvyra ir pasiūlytas jos gradientinės paieškos algoritmas. Stochastinės Nešo pusiausvyros gradientinės paieškos algoritmas ištirtas sprendžiant elektros rinkos su išankstiniais sandoriais uždavinį. Optimizavimo uždavinys, kurio tikslo funkcijoje ir ribojimuose yra sąlyginės rizikos reikšmė yra dviejų lygių stochastinio programavimo uždavinys. Disertacijoje pasiūlytas tokio uždavinio sprendimo algoritmas ir testiniu uždaviniu ištirta jo elgsena. Jei stochastinis dviejų etapų tiesinis uždavinys sprendžiamas reikšmingų imčių metodu, tai gaunamas dviejų lygių stochastinio programavimo uždavinys. Disertacijoje pasiūlytas stochastinio dviejų etapų... [toliau žr. visą tekstą]

Microsoft Kinect įrenginys išleistas tik 2010 metais. Jis buvo skirtas Microsoft Xbox 360 vaizdo žaidimų konsolei, vėliau 2012 metais buvo pristatytas Kinect ir Windows personaliniams kompiuteriams. Taigi tai palyginus naujas įrenginys ir aktualus šiai dienai. Daugiausiai yra sukurta kompiuterinių žaidimų, kurie naudoja Microsoft Kinect įrenginį, bet šį įrenginį galima panaudoti daug plačiau ne tik žaidimuose, viena iš sričių tai sportas, konkrečiau treniruotės, kurias būtų galima atlikti namuose. Šiuo metu pasaulyje yra programinės įrangos, žaidimų, sportavimo programų, kuri leidžia kontroliuoti treniruočių eigą sekdama ar žmogus teisingai atlieka treniruotėms numatytus judesius. Kadangi Lietuvoje panašios programinės įrangos nėra, taigi reikia sukurti įrangą, kuri leistų Lietuvos treneriams kurti treniruotes orientuotas į šio įrenginio panaudojimą. Šio darbo pagrindinis tikslas yra atlikti Kinect įrenginiui skirtų gestų atpažinimo algoritmų tyrimą, kaip tiksliai jie gali atpažinti gestus ar gestą. Pagrindinis dėmesys skiriamas šiai problemai, taip pat keliami, bet netyrinėjami kriterijai kaip atpažinimo laikas, bei realizacijos sunkumas. Šiame darbe sukurta programa, judesius bei gestus atpažįsta naudojant Golden Section Search algoritmą. Algoritmas palygina du modelius ar šablonus, ir jei neranda atitikmens, tai pirmasis šablonas šiek tiek pasukamas ir lyginimo procesas paleidžiamas vėl, taipogi tam tikro kintamojo dėka galime keisti algoritmo tikslumą. Taipogi palyginimui galėsime panaudoti Hidden Markov Models algoritmo gautus atpažinimo rezultatus, kurie yra gauti kitų asmenų. Taip pat galima palyginti ir su sistema kurioje realizuotas Dynamic Time Warping algoritmas., Microsoft Kinect device was released in 2010. It was designed for Microsoft Xbox 360 gaming console, later on in 2012 was presented Kinect device for Windows personal computer. So this device is new and current. Many games has been created for Microsoft Kinect device, but this device could be used not only in games, one of the areas where we can use it its sport, specific training, which can be performed at home. At this moment in world are huge variety of games, software, training programs which allows user to control training course by following a person properly perform training provided movements. Since in Lithuania similar software is not available, so it is necessary to create software that would allow Lithuania coaches create training focused on the use of this device. The main goal of this work is to perform research of the Kinect device gesture recognition algorithms to study exactly how they can recognize gestures or gesture. It will focus on this issue mainly, but does not address the criteria for recognition as the time and difficulty of realization. In this paper, a program that recognizes movements and gestures are using the Golden section search algorithm. Algorhithm compares the two models or templates, and if it can not find a match, this is the first template slightly rotated and comparison process is started again, also a certain variable helping, we can modify the algorithm accuracy. Also for comparison we can use Hidden Markov models algorhithm received recognition results, which are obtained by other people. Or use system which have implemented Dynamic Time Warping algorithm.

Roboto kūrimas yra nepaprastai brangus procesas. Sukonstruoti prototipą sunaudojama daug lėšų, o paaiškėjus trūkumams gali tekti jį perdaryti ne vieną kartą. Nemažiau sudėtingas yra algoritmų kūrimas roboto valdymui. Išbandyti valdančią programą su realiu prototipu sudėtinga, nes klaidos gali sukelti tiek smulkių gedimų tiek stipriai apgadinti įrangą. Šiame dokumente yra gilinamasi į roboto elgesio simuliavimą virtualioje erdvėje. Nagrinėjamos roboto simuliavimo aplinkos, teikiančios galimybę suprogramuoti ir išbandyti robotą valdančius algoritmus. Kreipiamas didelis dėmesys į tokios sistemos naudojimo paprastumą ir galimybę ją naudoti moksleivių skatinimui domėtis programavimu. Autorius pateikia projektą naujos simuliavimo aplinkos kūrimui ir realizuoja šią sistemą. Atliekamas tyrimas siekiant nustatyti kaip yra kuriamos roboto valdančios programos. Yra palyginama naujai sukurtos sistemos galimybė realizuoti valdymo algoritmus su rinkoje esančiu komerciniu sprendimu – Webots. Yra pateikiamos dvi roboto konstrukcijos su apibrėžtu roboto elgesiu ir suprogramuojamas valdymo kodas abejose sistemose. Roboto elgesio reikalavimuose atliekamas pakeitimas ir tiriama kokią įtaką tai turi robotą valdančios programos kodui. Galiausiai yra pristatoma naujai sukurta roboto simuliavimo aplinka. Aprašomas sistemos vartotojo vadovas, paaiškinama grafinė vartotojo sąsaja., The process of robot creation is extremely expensive. It requires a lot of expenses to build a prototype and mistakes in design can lead to several rebuilds. No less expensive is a challenge of designing control program for the robot, as testing it with a prototype can cause harm to the construction or even destroy it. This document focuses on the simulation of robot behavior in virtual environment. Egzisting simulation environmets, that allow programming and simulating of control scripts, are being explored here. A lot of attention is paid to simplicity of the software interface and possible usage for children to learn and enjoy programming. The author makes a proposal for new simulation environment and implements the software. The research is made on the implementation of control programs for robots. The way how the control program is implemented is compared to an egzisting comercial simulation environment – Webots. The two specifications for robot design and behavior is provided and the solutions for control programs are designed and compared. The modification in robot specifications are brought up and those solutions are modified to comply with the change. Finally the designed software is presented and explained. The chapter contains user guide, a specification for graphical user interface and an explanation of it‘s usage.

Šiame darbe tiriami algoritminiai sprendimai mobiliam robotui, leidžiantys aptikti ieškomą objektą bei įvertinti jo poziciją ir orientaciją erdvėje. Atlikus šios srities technologijų analizę surasta įvairių realizacijai tinkamų metodų, tačiau bendro jų efektyvumo palyginimo trūko. Siekiant užpildyti šią spragą realizuota programinė ir techninė įranga, kuria atliktas labiausiai roboto sistemoms tinkamų metodų vertinimas. Algoritmų analizė susideda iš algoritmų tikslumo ir jų veikimo spartos vertinimo panaudojant tam paprastus bei efektyvius metodus. Darbe analizuojamas objektų orientacijos nustatymas iš Kinect kameros gylio duomenų pasitelkiant ICP algoritmą. Atliktas dviejų gylio sistemų spartos ir tikslumo tyrimas parodė, jog Kinect kamera spartos atžvilgiu yra efektyvesnis bei 2-5 kartus tikslesnis sprendimas nei įprastinė stereo kamerų sistema. Objektų aptikimo algoritmų efektyvumo eksperimentuose nustatytas maksimalus aptikimo tikslumas apie 90% bei pasiekta maksimali 15 kadrų/s veikimo sparta analizuojant standartinius VGA 640x480 raiškos vaizdus. Atliktas objektų pozicijos ir orientacijos nustatymo ICP metodo efektyvumo tyrimas parodė, jog vidutinė absoliutinė pozicijos ir orientacijos nustatymo paklaida yra atitinkamai apie 3.4cm bei apie 30 laipsnių, o veikimo sparta apie 2 kadrai/s. Tolesnis optimizavimas arba duomenų kiekio minimizavimas yra būtinas norint pasiekti geresnius veikimo rezultatus mobilioje ribotų resursų roboto sistemoje. Darbe taip pat buvo sėkmingai realizuotas ir išbandytas techninis roboto sprendimas objektų pozicijos ir orientacijos nustatymui., This work presents a performance analysis of the state-of-the-art computer vision algorithms for object detection and pose estimation. Initial field study showed that many algorithms for the given problem exist but still their combined comparison was lacking. In order to fill in the existing gap a software and hardware solution was created and the comparison of the most suitable methods for a robot system were done. The analysis consists of detector accuracy and runtime performance evaluation using simple and robust techniques. Object pose estimation via ICP algorithm and stereo vision Kinect depth sensor method was used in this work. A conducted two different stereo system analysis showed that Kinect achieves best runtime performance and its accuracy is 2-5 times more superior than a regular stereo setup. Object detection experiments showcased a maximum object detection accuracy of nearly 90% and speed of 15 fps for standard size VGA 640x480 resolution images. Accomplished object position and orientation estimation experiment using ICP method showed, that average absolute position and orientation detection error is respectively 3.4cm and 30 degrees while the runtime speed – 2 fps. Further optimization and data size minimization is necessary to achieve better efficiency on a resource limited mobile robot platform. The robot hardware system was also successfully implemented and tested in this work for object position and orientation detection.

A simple Stock Market Game Model (SEGM) was introduced in 2002 by J. Mockus to simulate the behavior of several stockholders trading a single stock. In contrast, the proposed model PORTFOLIO is simulating stock exchange including a number of different stocks. The objective of PORTFOLIO is not forecasting, but simulation of stock exchange processes that are affected by predictions of the participants. The main improvements are the multi-stock extension and a number of different trading rules, which represent both the heuristics of potential investors and the well-known theoretical investment strategies. This makes the model more realistic and allows the portfolio optimization in the space of investment strategies, in both the historical and virtual environments. This is an essential improvement comparing with traditional single-stock models with direct interaction of investment agents. The "virtual" stock exchange can help in testing the assumption of rational investor behavior vs. the recent theories that explain financial markets by irrational responses of major market participants. The model has been compared with actual financial time series and found the results to be close in some cases. The model is designed as a tool to represent behavior of individual investor, which wants to predict how the expected profit depends on different investment rules using different forecasting methods of real and virtual stocks. Paprastas akcijų rinkos žaidimo modelis (angl. Stock Market Game Model) buvo pristatytas J. Mockaus 2002 m. Šis modelis imituoja kelių akcininkų, prekiaujančių viena akcija, elgesį. Siūlomas modelis PORTFOLIO, priešingai, imituoja akcijų biržos darbą, kurioje vyksta prekyba su daugelio firmų akcijomis. PORTFELIO modelio tikslas yra ne prognozavimas, bet simuliavimas akcijų biržos procesų, kurie yra priklausomi nuo investuotojų prognozių. Pagrindinis modelio patobulinimas yra kelių akcijų ir įvairių prekybos taisyklių įvedimas, kurios atstovauja tiek potencialių investuotojų euristikas, tiek gerai žinomas teorines investavimo strategijas. Tai suteikia modeliui daugiau realistiškumo ir leidžia atlikti portfelio optimizavimą naudojant įvairias investavimo strategijas tiek su istoriniais duomenimis, tiek virtualioje aplinkoje. Tai esminis patobulinimas lyginant su tradiciniais vienos akcijos modeliais. "Virtuali" akcijų birža gali padėti tiriant racionalaus investuotojo elgesio prielaidą lyginant su pastarojo laikotarpio teorijomis, teigiančiomis, kad pagrindiniai rinkos dalyviai elgiasi neracionaliai. Modelis buvo lyginamas su realiomis finansinėmis laiko eilutėmis ir buvo rastas rezultatų panašumas tam tikrais atvejais. PORTFELIO modelis gali būti naudojamas kaip priemonė imituoti individualaus investuotojo elgesį, kuris nori prognozuoti, kaip tikėtinas pelnas priklauso nuo įvairių investavimo taisyklių naudojant skirtingus realių ir virtualių akcijų kainų prognozavimo metodus.

Paprastas akcijų rinkos žaidimo modelis (angl. Stock Market Game Model) buvo pristatytas J. Mockaus 2002 m. Šis modelis imituoja kelių akcininkų, prekiaujančių viena akcija, elgesį. Siūlomas modelis PORTFOLIO, priešingai, imituoja akcijų biržos darbą, kurioje vyksta prekyba su daugelio firmų akcijomis. PORTFELIO modelio tikslas yra ne prognozavimas, bet simuliavimas akcijų biržos procesų, kurie yra priklausomi nuo investuotojų prognozių. Pagrindinis modelio patobulinimas yra kelių akcijų ir įvairių prekybos taisyklių įvedimas, kurios atstovauja tiek potencialių investuotojų euristikas, tiek gerai žinomas teorines investavimo strategijas. Tai suteikia modeliui daugiau realistiškumo ir leidžia atlikti portfelio optimizavimą naudojant įvairias investavimo strategijas tiek su istoriniais duomenimis, tiek virtualioje aplinkoje. Tai esminis patobulinimas lyginant su tradiciniais vienos akcijos modeliais. "Virtuali" akcijų birža gali padėti tiriant racionalaus investuotojo elgesio prielaidą lyginant su pastarojo laikotarpio teorijomis, teigiančiomis, kad pagrindiniai rinkos dalyviai elgiasi neracionaliai. Modelis buvo lyginamas su realiomis finansinėmis laiko eilutėmis ir buvo rastas rezultatų panašumas tam tikrais atvejais. PORTFELIO modelis gali būti naudojamas kaip priemonė imituoti individualaus investuotojo elgesį, kuris nori prognozuoti, kaip tikėtinas pelnas priklauso nuo įvairių investavimo taisyklių naudojant skirtingus realių ir virtualių akcijų kainų prognozavimo metodus. A simple Stock Market Game Model (SEGM) was introduced in 2002 by J. Mockus to simulate the behavior of several stockholders trading a single stock. In contrast, the proposed model PORTFOLIO is simulating stock exchange including a number of different stocks. The objective of PORTFOLIO is not forecasting, but simulation of stock exchange processes that are affected by predictions of the participants. The main improvements are the multi-stock extension and a number of different trading rules, which represent both the heuristics of potential investors and the well-known theoretical investment strategies. This makes the model more realistic and allows the portfolio optimization in the space of investment strategies, in both the historical and virtual environments. This is an essential improvement comparing with traditional single-stock models with direct interaction of investment agents. The "virtual" stock exchange can help in testing the assumption of rational investor behavior vs. the recent theories that explain financial markets by irrational responses of major market participants. The model has been compared with actual financial time series and found the results to be close in some cases. The model is designed as a tool to represent behavior of individual investor, which wants to predict how the expected profit depends on different investment rules using different forecasting methods of real and virtual stocks.

Personalizuotos mokymosi aplinkos kūrimas parenkant besimokančiajam tinkamas internetines priemones yra sudėtingas ir aktualus šių dienų uždavinys. Dabartinis besimokantysis turėtų pats imtis iniciatyvos, būti atsakingas už mokymosi procesą, mokėti pasirinkti tinkamas mokymosi priemones, tačiau parama mokymosi metu irgi yra labai svarbi, nes abejotina, ar besimokančiojo savarankiškai pasirinktos priemonės padės įgyvendinti siekiamų mokymosi tikslų ir veiklų optimaliausiu būdu. Disertaciniame darbe išnagrinėti rekomendavimo sistemų ir jose naudojamų vartotojo profilių tipai, rekomendavimo būdai, šių sistemų taikymo galimybės personalizuotam mokymuisi, mokymosi proceso ir antrosios kartos saityno priemonių sąveika, pagrindinės savybės. Pateikiamas antrosios kartos saityno priemonių komponavimo mokymosi procese metodas parenkantis tam tikram besimokančiajam priemonę atsižvelgus į mokymosi tikslus, norimą įgyvendinti mokymosi veiklą, teikiamą pirmenybę mokymosi turiniui bei bendravimo formai. Nagrinėtoji dalykinė sritis aprašyta ontologijoje, o pasiūlyto metodo etapai įgyvendinti žiniomis grindžiamos rekomendavimo sistemos prototipe. Sukurtoji sistema rekomenduoja tam tikrą mokymosi stilių turinčiam besimokančiajam visas jos žinių bazėje esančias internetines priemones, kuriomis naudodamasis besimokantysis gali atlikti nurodytą mokymosi veiklą. Pasiūlytą metodą įvertino parinkti ekspertai – buvo įsitikinta metodo kokybe, t. y. tikslumu, tinkamumu ir našumu (laiko atžvilgiu)... [toliau žr. visą tekstą] Although in practice and in many sources of literature the need for the application of Web 2.0 tools in education is highlighted, however there is lack of clear methods how these tools could be applied in learning for a higher learning quality, and there is a lack of e-learning systems that implement personalised Web 2.0 tools selection. In the work, personalised Web 2.0 tools selection method is presented. In the research, first of all, personalised e-learning technological peculiarities i.e. recommender systems applications for learning personalisation and those systems components were investigated. After that, selection methods for Web 2.0 tools suitable for implementing learning activities were analysed. The method of integrating Web 2.0 tools into personalised learning activities according to students learning styles was created (this method takes into account student’s learning preferences for content and communication modes tailored to the learning activities with a view to help the learner to quickly and accurately find the right educational tools) and prototype of the recommender system that implements the method proposed was developed. Finally, the expert evaluation of the developed system prototype that implements the method proposed was performed.

Although in practice and in many sources of literature the need for the application of Web 2.0 tools in education is highlighted, however there is lack of clear methods how these tools could be applied in learning for a higher learning quality, and there is a lack of e-learning systems that implement personalised Web 2.0 tools selection. In the work, personalised Web 2.0 tools selection method is presented. In the research, first of all, personalised e-learning technological peculiarities i.e. recommender systems applications for learning personalisation and those systems components were investigated. After that, selection methods for Web 2.0 tools suitable for implementing learning activities were analysed. The method of integrating Web 2.0 tools into personalised learning activities according to students learning styles was created (this method takes into account student’s learning preferences for content and communication modes tailored to the learning activities with a view to help the learner to quickly and accurately find the right educational tools) and prototype of the recommender system that implements the method proposed was developed. Finally, the expert evaluation of the developed system prototype that implements the method proposed was performed. Personalizuotos mokymosi aplinkos kūrimas parenkant besimokančiajam tinkamas internetines priemones yra sudėtingas ir aktualus šių dienų uždavinys. Dabartinis besimokantysis turėtų pats imtis iniciatyvos, būti atsakingas už mokymosi procesą, mokėti pasirinkti tinkamas mokymosi priemones, tačiau parama mokymosi metu irgi yra labai svarbi, nes abejotina, ar besimokančiojo savarankiškai pasirinktos priemonės padės įgyvendinti siekiamų mokymosi tikslų ir veiklų optimaliausiu būdu. Disertaciniame darbe išnagrinėti rekomendavimo sistemų ir jose naudojamų vartotojo profilių tipai, rekomendavimo būdai, šių sistemų taikymo galimybės personalizuotam mokymuisi, mokymosi proceso ir antrosios kartos saityno priemonių sąveika, pagrindinės savybės. Pateikiamas antrosios kartos saityno priemonių komponavimo mokymosi procese metodas parenkantis tam tikram besimokančiajam priemonę atsižvelgus į mokymosi tikslus, norimą įgyvendinti mokymosi veiklą, teikiamą pirmenybę mokymosi turiniui bei bendravimo formai. Nagrinėtoji dalykinė sritis aprašyta ontologijoje, o pasiūlyto metodo etapai įgyvendinti žiniomis grindžiamos rekomendavimo sistemos prototipe. Sukurtoji sistema rekomenduoja tam tikrą mokymosi stilių turinčiam besimokančiajam visas jos žinių bazėje esančias internetines priemones, kuriomis naudodamasis besimokantysis gali atlikti nurodytą mokymosi veiklą. Pasiūlytą metodą įvertino parinkti ekspertai – buvo įsitikinta metodo kokybe, t. y. tikslumu, tinkamumu ir našumu (laiko atžvilgiu)... [toliau žr. visą tekstą]

Speech is the most natural way of human communication. Text-to-speech (TTS) problem arises in various applications: reading email aloud, reading text from e-book aloud, services for the people with speech disorders. Construction of speech synthesizer is a very complex task. Researchers are trying to automate speech synthesis. In order to solve the problem of Lithuanian speech synthesis, it is necessary to develop mathematical models for Lithuanian speech sounds. The research object of the dissertation is Lithuanian vowel and semivowel phoneme models. The proposed vowel and semivowel phoneme models can be used for developing a TTS formant synthesizer. Lithuanian vowel and semivowel phoneme modelling framework based on a vowel and semivowel phoneme mathematical model and an automatic procedure of estimation of the vowel phoneme fundamental frequency and input determining is proposed. Using this framework, the phoneme signal is described as the output of a linear multiple-input and single-output (MISO) system. The MISO system is a parallel connection of single-input and single-output (SISO) systems whose input impulse amplitudes vary in time. Within this framework two synthesis methods are proposed: harmonic and formant. Simulation has revealed that that the proposed framework gives sufficiently good vowel and semivowel synthesis quality. Kalba yra natūralus žmonių bendravimo būdas. Teksto-į-šneką (TTS) problemos atsiranda įvairiose srityse: elektroninių laiškų skaitymas balsu, teksto iš elektroninių knygų skaitymas balsu, paslaugos kalbos sutrikimų turintiems žmonėms. Kalbos sintezatoriaus kūrimas yra be galo sudėtingas uždavinys. Įvairių šalių mokslininkai bando automatizuoti kalbos sintezę. Siekiant išspręsti lietuvių kalbos sintezės problemą, būtina kurti naujus lietuvių kalbos garsų matematinius modelius. Disertacijos tyrimo objektas yra dinaminiai lietuviškos šnekos balsių ir pusbalsių fonemų modeliai. Pasiūlyti balsių ir pusbalsių fonemų dinaminiai modeliai gali būti panaudoti kuriant formantinį kalbos sintezatorių. Garsams aprašyti pasiūlyta modeliavimo sistema pagrįsta balsių ir pusbalsių fonemų matematiniu modeliu bei pagrindinio tono ir įėjimų nustatymo automatine procedūra. Fonemos signalas yra gaunamas kai daugelio-įėjimų ir vieno-išėjimo (MISO) sistemos išėjimas. MISO sistema susideda iš lygiagrečiai sujungtų vieno-įėjimo ir vieno-išėjimo (SISO) sistemų, kurių įėjimų amplitudes kinta laike. Disertacijoje du sintezės metodai sukurti: harmoninis ir formantinis. Eksperimentiniai rezultatai parodė, kad balsiai ir pusbalsiai sintezuoti minėta sistema skamba pakankamai natūraliai.

Kalba yra natūralus žmonių bendravimo būdas. Teksto-į-šneką (TTS) problemos atsiranda įvairiose srityse: elektroninių laiškų skaitymas balsu, teksto iš elektroninių knygų skaitymas balsu, paslaugos kalbos sutrikimų turintiems žmonėms. Kalbos sintezatoriaus kūrimas yra be galo sudėtingas uždavinys. Įvairių šalių mokslininkai bando automatizuoti kalbos sintezę. Siekiant išspręsti lietuvių kalbos sintezės problemą, būtina kurti naujus lietuvių kalbos garsų matematinius modelius. Disertacijos tyrimo objektas yra dinaminiai lietuviškos šnekos balsių ir pusbalsių fonemų modeliai. Pasiūlyti balsių ir pusbalsių fonemų dinaminiai modeliai gali būti panaudoti kuriant formantinį kalbos sintezatorių. Garsams aprašyti pasiūlyta modeliavimo sistema pagrįsta balsių ir pusbalsių fonemų matematiniu modeliu bei pagrindinio tono ir įėjimų nustatymo automatine procedūra. Fonemos signalas yra gaunamas kai daugelio-įėjimų ir vieno-išėjimo (MISO) sistemos išėjimas. MISO sistema susideda iš lygiagrečiai sujungtų vieno-įėjimo ir vieno-išėjimo (SISO) sistemų, kurių įėjimų amplitudes kinta laike. Disertacijoje du sintezės metodai sukurti: harmoninis ir formantinis. Eksperimentiniai rezultatai parodė, kad balsiai ir pusbalsiai sintezuoti minėta sistema skamba pakankamai natūraliai. Speech is the most natural way of human communication. Text-to-speech (TTS) problem arises in various applications: reading email aloud, reading text from e-book aloud, services for the people with speech disorders. Construction of speech synthesizer is a very complex task. Researchers are trying to automate speech synthesis. In order to solve the problem of Lithuanian speech synthesis, it is necessary to develop mathematical models for Lithuanian speech sounds. The research object of the dissertation is Lithuanian vowel and semivowel phoneme models. The proposed vowel and semivowel phoneme models can be used for developing a TTS formant synthesizer. Lithuanian vowel and semivowel phoneme modelling framework based on a vowel and semivowel phoneme mathematical model and an automatic procedure of estimation of the vowel phoneme fundamental frequency and input determining is proposed. Using this framework, the phoneme signal is described as the output of a linear multiple-input and single-output (MISO) system. The MISO system is a parallel connection of single-input and single-output (SISO) systems whose input impulse amplitudes vary in time. Within this framework two synthesis methods are proposed: harmonic and formant. Simulation has revealed that that the proposed framework gives sufficiently good vowel and semivowel synthesis quality.

Norint pilnai ištirti programos, skirtos tarptautinei rinkai, vartojamumą, reikia išbandyti ją su skirtingų kultūrų atstovais. Kadangi dažniausiai nėra galimybių tiesiogiai bendrauti su vartotojais iš viso pasaulio, reikalingas karkasas, nuotoliniam vartotojų veiksmų registravimui. Kuriamas karkasas ne tik registruos vartotojo veiksmus, bet ir leis juos analizuoti. Tokiu būdu, galima aptikti tam tikroje pasaulio vietoje būdingų vartotojo sasajos trūkumų, juos pataisyti, ir ištirti naujos versijos efektyvumą. If you want to do usability research for program, which is being used in whole world, you need to try it with persons from different cultures. Most of the times there is no way, that you can communicate with users all over the world, so you need framework, that whould register user actions through distance. This new framework, that is being created, will also let you to do analysis of registered actions, so you can detect usability problems, which reveals only in specific place of the world. You can also fix that defect and do the research again, to find out if that problem is gone.

Kasdieninis žiniatinklio informacinių sistemų (toliau – IS) naudojimas paprastų vartotojų, verslo ir vyriausybinių organizacijų tarpe, reikalauja vis aukštesnės tokių IS kokybės. Žiniatinklio IS dažniausiai yra tokia programinė įranga, kurios sudėtingumas, dėl keleto apjungiamų technologijų, yra aukštas, o pokyčių greitis yra didelis. Vykdant palaikymo ir priežiūros darbus, gali atsirasti begalė klaidų, kurias iššaukia atlikti pakeitimai. Regresinio testavimo paskirtis yra užtikrinti, jog įdiegus programinės įrangos pakeitimus, tokius kaip naujo funkcionalumo pridėjimas ar jau egzistuojančio taisymas, ankstesnėje IS versijoje veikęs funkcionalumas veiks taip pat gerai ir naujojoje versijoje. Šiame darbe tiriami iš HTML žymų sudarytą IS atsaką galintys palyginti regresinio testavimo algoritmai (toliau – testų orakulai). HTML ãtsako kaip teksto lyginimas pateikia per daug klaidingai teigiamų (angl. false positives) rezultatų – testuotojas užverčiamas pranešimais apie netikras klaidas. Mūsų realizuotas testų orakulas HTML žymų atsaką nagrinėja kaip medžio struktūrą. Toks algoritmo veikimas leidžia tikrinti arba netikrinti aprašytas HTML semantines savybes, ko pasekoje yra sumažinamas klaidingai teigiamų ir klaidingai neigiamų rezultatų kiekis. Realizuotas testų orakulas nuo literatūroje aprašomų ir rinkoje siūlomų testų orakulų skiriasi tuo, jog nepraneša apie klaidą, kai HTML atsakas būna papildytas naujomis žymomis, kurios nekeičia pradinės medžio struktūros. Žiniatinklio IS... [toliau žr. visą tekstą] Common usage of web information systems among consumers, business and governmental organizations require higher quality of such systems. Web information systems is such a software, which has high complexity because of the multiple technology usage and tends to rapid changes. Errors may occur because of the changes that have been made through maintenance period. Regression testing purpose is to ensure, that software changes such as new functionality or previously existed functionality modification, did not affect functionality, which was well working in the older version. In these master thesis we analyze test oracle comparators which can compare HTML response. HTML as a text comparison produces too many false positives. Meanwhile our test oracle comparator analyses HTML response as is was a tree structure. Thus implementation of the test oracle comparator algorithm enables opportunity to validate or not to validate described HTML semantic features. Therefore, we get fewer false positives and false negatives. Our implemented test oracle comparator differs from the ones described in literature or the ones proposed in market by capability not to warn tester about changes such as newly added HTML tag, which do not change overall tree structure. In this way the introduction of natural functionality growth is allowed. After improvement our test oracle comparator detects 90 % errors with the 90 % precision, whereas in the market existing test oracle comparator of the regression... [to full text]

Šiame technologijų amžiuje vis daugiau technologijų sąveikauja su aplinka. Tai įvairūs prietaisai, sistemos, robotai, kurie geba apdoroti vaizdinę informaciją ir/arba ją interpretuoti. Kadangi vaizdinė informacija užima labai daug kietojo disko vietos, palyginus su kitokios rūšies informacija, iškyla jos saugojimo bei parsiuntimo problemos. Šioms problemoms spręsti pasitelkiamas duomenų glaudinimas (data compression). Šie sprendimai gali būti įgyvendinti programiškai (software) ir aparatūriškai (hardware). Aparatūriniai sprendimai pasižymi dideliu greičiu taip pat panaudojimo galimybėmis. Kadangi ateityje technologijos vis labiau sąveikaus su aplinka, įrenginiai, sugebantys greitai, tiksliai ir kuo mažesnėmis kietojo disko sąnaudomis apdoroti vaizdus, taps ypač reikšmingi. Tokius įrenginius patogu projektuoti ir tirti naudojantis aparatūros aprašymo kalbomis (angl. Hardware Description Language). Taip pat svarbus šių įrenginių aspektas – vis didėjantis jų sudėtingumas. Pakartotinio naudojimo (reuse) metodologija – naudojimas sukurtų ir verifikuotų komponentų – dabar yra kertinis lustų bei SOC (System On Chip) kūrimo akmuo, kadangi tai yra metodologija, kuri leidžia sudėtingus lustus projektuoti prieinama kaina, geresnės kokybės taip pat taupo žmogiškuosius išteklius ir laiką. In this age of technological advances more and more technologies interact with environment. It is various devices, systems, robots which are capable to process and/or interpret visual information. Visual information is very space consuming information in comparison with other types of information, so problems like storing, downloading emerges and data compression is trying to resolve these problems. These data compression solutions may be implemented using software or hardware. Hardware solutions characterized with their high speed. In future more and more technologies will be capable to interact with environment, so tools capable of fast, precise and good compression render of images will become very important. These tools may be designed and studied using hardware description languages. Furthermore, visual information processing tools becoming very complex. Reuse methodology enables easier, faster and cheaper design of such tools.

Šioje disertacijoje nagrinėjamas sveikatos priežiūros įstaigos darbuotojų darbų grafikų optimizavimo uždavinys, kuris formuluojamas ir sprendžiamas, remiantis vienos didžiausių Lietuvos sveikatos priežiūros įstaigų, realiais duomenimis. Disertacijoje apžvelgiami darbų grafikų optimizavimo uždaviniai bei jų sprendimo metodai, atlikta naujausių šaltinių, tiriančių panašius uždavinius, analizė. Antrame skyriuje nagrinėjamasis darbų grafikų optimizavimo uždavinys suformuluotas matematiškai. Pateikiamos dvi formuluotės: vienakriterio ir daugiakriterio optimizavimo uždavinio. Aprašomos sąlygos, kurias turi tenkinti sudaromasis darbų grafikas. Trečiajame skyriuje nagrinėjami metodai, tiek vienakriteriams, tiek daugiakriteriams uždaviniams spręsti. Pasiūlytas naujas metodas, kuris efektyviau nei kiti nagrinėti metodai sprendžia šioje disertacijoje suformuluotą uždavinį. Ketvirtame skyriuje pateikiami pasiūlyto metodo eksperimentinio tyrimo rezultatai. Pirmoje skyriaus dalyje analizuojami rezultatai gauti, sprendžiant vienakriterį optimizavimo uždavinį, o antroje dalyje – daugiakriterį optimizavimo uždavinį. Disertacijos tyrimų rezultatai buvo pristatyti respublikinėje konferencijoje ir trijose tarptautinėse konferencijose bei publikuoti trijuose mokslo žurnaluose. In this dissertation nurse rostering problem is investigated. The formulation of the problem is based on real-world data of one of the largest healthcare centers in Lithuania. Most recent publications that tackle the nurse rostering problem and the methods for solving the nurse rostering problem are reviewed in this dissertation. The mathematical formulation of the single objective and the multi-objective nurse rostering problem is presented and the requirements for the roster are described in the second chapter. In the third chapter, the methods for solving the single objective and the multi-objective nurse rostering problem are described. A new method for solving the single objective and the multi-objective nurse rostering problem is proposed in the third chapter. In the fourth chapter, the experimental results of our proposed method are introduced. In the first section of this chapter, the results gathered solving single-objective optimization problem are analyzed, and in the second section of this chapter, the results gathered solving multi-objective optimization problem are analyzed. Dissertation research results were presented at one national conference and three international conferences and published in three scientific journals.

Tai yra verslas verslui užsakymų valdymo architektūrinių sprendimų tyrimas. Sukurtoje platformoje kompanijos gali komunikuoti tarpusavyje, sudaryti užsakymus, keistis bylomis bei dokumentais, ieškoti kitų paslaugų tiekėjų ir gauti informaciją apie juos. Pasitikėjimas tarp įmonių yra labai svarbus, o ši platforma padeda tai pasiekti. Bendravimas su klientais ir tiekėjais paprastai užima daug laiko ir reikalauja naudoti daug skirtingų įrankių, pavyzdžiui, el. paštą, telefoninius skambučius, Skype, ryšių su klientais valdymo sistemas ir t. t. Šio sprendimo idėja yra į vieną vietą sutraukti visus svarbiausius įrankius ir palengvinti kasdienį vadybininkų darbą. Aukštos kokybės paslaugų užtikrinimui reikalinga integracija su kitomis išorinėmis verslo valdymo sistemomis, o kad tai būtų pasiekta, reikalingos saityno tarnybos. Siekiant išsiaiškinti, kokios tarnybos ir jų konfigūracijos geriausiai tinka šiam tikslui pasiekti, buvo atliktas tyrimas ir eksperimentas, kurie aprašyti šiame dokumente. Šį dokumentą sudaro trys pagrindinės dalys. Pirmojoje dalyje aprašoma galimų sprendimų analizė ir saityno tarnybų savybių tyrimas. Antrojoje dalyje aprašoma sukurta platforma, jos aktualumas ir funkcionalumas. Taip pat pateikiamos vartotojo sąsajos, panaudojimo atvejų schemos ir klasių diagrama. Šioje dalyje atsakoma į klausimus, kodėl vartotojai turėtų pasirinkti būtent šią platformą ir kokias problemas ji sukurta spręsti. Paskutiniojoje dalyje aprašomas eksperimentas, kuriuo buvo nustatomas... [toliau žr. visą tekstą] This is a research on architectural solutions of business to business orders management systems. It’s a B2B platform where different companies can communicate, exchange orders and documents and search for other providers. Trust building is important for all companies and this platform can help to make it happen. Communication between companies requires a lot of time and use of different tools, e.g. email, phone calls, Skype, file storage places, CRMs and so on. Idea is to implement all necessary equipment in one place and let managers to do their daily work easier. To provide high quality services it’s important to ensure good communication between platform and outside business management systems. There was made a research for which are the best fitting solutions to be integrated as web services. This document is consisted of three major parts. First part describes analysis of available solutions and research of web services technology. Second part describes developed project and its features. There is user interface, use case, data structures and competitors review. This is whole about project and why it would be good choice for our targeted audience. The last part describes the research that was done during this project. It was essential to determine which protocol and data models are most efficient. For this project there were created two additional applications - one as web service and other one as a client. Client application sent requests to service and calculated its... [to full text]