Software development process encounter productivity obstacles, which are affected by an arise of new technologies. Object Management Group (OMG) proposed model driven architecture (MDA) supposed to minimize effect of new technologies arrival into a process of software development. One of the most important aspects in MDA is meta-model, which is used to specify MDA style transformations. Theses present meta-model of PLA model and XSL transformations, used to retrieve PLA simulation model. Example of creating oil terminal simulation model is presented as well.

Darbe yra nagrinėjama tarpląstelinių plyšinių jungčių modeliavimo sistema (GJM – Gap Juncion Model, sukurta N. Paulausko - Kauno technologijos universiteto, informatikos fakulteto magistrantas). Pagrindinis tyrimo objektas yra optimizavimo uždavinys. Viename iš sistemos modulių, pasinaudojant globalaus optimizavimo metodais, yra ieškoma modelio parametrų, su kuriais modelio ir realių eksperimentų (gautų iš sistemos užsakovų Niujorko, Yeshiva universiteto, Alberto Einšteino medicinos koledžo laboratorijos (prof. Felikso Bukausko)) rezultatai skirtųsi minimaliai arba sutaptų. Šiuo atveju yra modeliuojama tarpląstelinių plyšinių jungčių laidumo priklausomybė nuo įtampos t.y imituojami elektro-fiziologiniai procesai. Optimizuojant modelio parametrų paiešką, darbe buvo surinkti rezultatai (atliko Nerijus Lukšys), modeliuojant su skirtingu skaičiumi iteracijų bei parenkant skirtingus optimizavimo metodus, realizuotus kitoje sistemoje. Buvo konsultuojamasi su akademiku habil. dr. prof. Jonu Mockumi. Iš gautų rezultatų įvertinamos metodų silpnosios ir stipriosios pusės bei jų pritaikymas Grid sistemai. Darbo tikslas, remiantis analizės rezultatais, realizuoti modelio parametrų paiešką Grid sistemoje (atliko Algirdas Žukauskas), panaudojant kelis optimizavimo metodus bei palyginti gautus rezultatus. / In this research we analyze optimization of cells gap junctions simulation model (GJM – Gap Junction Model, designed by N. Paulauskas – Kaunas University of Technology student). The main object of study is the optimization problem. In one module of the system, using global optimization methods, is looking for the model parameters to which the model and real experiments (obtained from the New York, Yeshiva University, Albert Einstein College of Medicine Laboratory (prof. Felikso Bukausko)) results differ minimally or overlap. In this case, we are simulating cells gap junction voltage dependence of conductivity (simulating electro-physiological processes). Optimizing the model parameters of the search were collected at the results of simulation with different number of iterations (solved by Nerijus Lukšys), and the choice of different optimization methods, realized in another system. There was consulting with academic habil. dr. prof. Jonas Mockus. The results showed methods weak and strong points and their application in Grid systems. The purpose of this problem was to implement gap junction simulation model on the Grid system (solved by Algirdas Žukauskas). Use several optimization methods and compare the results.

PLA method can be used to formally specify systems. Systems specifications are written as text, what is exhaustive and understandable, but unfortunately are not visual, and user can’t quickly acquaintance with the formalized system. This article presents a way to represent aggregates specifications visually, which eases an acquaintance with specification. This article also presents a software tool to visually design formal specifications.

A hybrid system is a system that presents both continuous time evolution and discrete events. To define and analyse such systems prior to building actual products, a hybrid process algebra can be employed. Simulation is often used as a convenient way for a better understanding of the systems’ evolution and its potential weaknesses. This study aims at creating a general architecture of the simulation tool for hybrid process algebras, together with a practical implementation of Behavioural Hybrid Process Calculus simulator. For achieving this objective, a list of tasks has been composed, including the analysis of several hybrid process algebra operators, development of an easily extendible architecture of the tool, the definition of the input language, capable of describing BHPC processes, and a programming solution of the simulator. Together with a simulator tool, a programming solution for the visualisation of hybrid systems’ evolution is created and presented. The application uses Message Sequence Plots diagrams to represent such evolution, which allows a convenient overview and analysis for most of hybrid system simulations. The currently developed simulation and visualisation tools may be regarded as a working ground for both the usage and further development. The improvement points of the tools should be constantly collected from the user experience and implemented. The long term goal of the work is to achieve an expanding community with the joint effort to create a... [to full text] / Hibridinė sistema yra sistema, sudaryta iš laike tolydžios evoliucijos ir diskrečių įvykių. Hibridinių procesų algebros pagalba tokias sistemas galima apibrėžti ir analizuoti dar prieš sukuriant galutinį produktą. Tuo tarpu simuliacija yra dažnai naudojama kaip patogus būdas geresniam sistemos evoliucijos suvokimui ir jos potencialių silpnybių identifikavimui. Šiuo darbu siekiama sukurti bendrą architektūrą hibridinių procesų algebrų simuliavimo įrankiui bei sukurti praktinę priemonę – simuliatorių, skirtą Elgsenos Hibridinių Procesų Algebrai (angl. Behavioural Hybrid Process Calculus – BHPC). Siekiant įgyvendinti šį tikslą, buvo sudarytas užduočių sąrašas, įtraukiant į jį kelių hibridinių procesų algebrų operatorių analizę, nesudėtingai plečiamos programos architektūros sukūrimą, įvedimo kalbos, gebančios aprašyti BHPC procesus, apibrėžimą bei programinio simuliatoriaus sprendimo įgyvendinimą. Hibridinių sistemų evoliucijos vaizdavimui buvo sukurtas programinis sprendimas, naudojantis Pranešimų Sekos Grafiko (angl. Message Sequence Plots) vaizdavimo tipą grafiniam hibridinės evoliucijos atvaizdavimui, kuris suteikia galimybę patogiai apžvelgti ir analizuoti daugumą hibridinių sistemų evoliucijų. Šiuo metu sukurti simuliavimo ir vaizdavimo įrankiai gali būti naudojami praktikoje, tuo pačiu renkant vartotojų patirtį tolesniam jų tobulinimui. Įrankių tobulinimo aspektai turėtų būti nuolatos kaupiami ir įgyvendinami siekiant ilgalaikio šio darbo tikslo – suburti augančią... [toliau žr. visą tekstą]

Gausybė sudėtingų realaus laiko sistemų turi būti specifikuotos įvertinant visas galimas situacijas. Specifikacijos teisingumas reiškia, kad sistema užduotomis sąlygomis pasieks norimą rezultatą. Norėdami užtikrinti, kad aprašyta specifikacija yra teisinga, reikia atlikti sistemos verifikavimą ir validavimą. Tradiciniai verifikavimo metodai neužtikrina pilno sistemos patikrinimo. Pagrindinis jų trūkumas yra tai, kad jos negali įvertinti laikinių charakteristikų. Per keletą paskutinių metų, buvo sukurti nauji metodai, kuriuose įvykių įvykimo laikas priklauso intervalams. Šiame darbe šie metodai buvo patobulinti, kad pilnai aprašytų realaus laiko sistemų veiksenas. Šiame darbe pateikiamas pasiekiamų būsenų medžio sudarymo algoritmas, kai sistemos pabaigos laikų momentų aibė priklauso bet kokiam intervalui - griežtam, negriežtam, griežtam iš kairės arba dešinės. / Complexity and variety of systems that are working in real time mode need to be specified regarding all behavior conditions. The correctness of the specification, determines whether implemented system will supply conditions that were set. To ensure that specification of the described real-time system is correct, we have to do verification and validation of the specification. Traditional verification methods do not assure full real time system inspection. The main drawback, talking about them, is impossibility of system evaluation according time. In past few years, new methods were implemented, whereat real time system events befall in time interval. In this paper, these methods were improved to fully specify real time systems behaviour. Reachable states graph and its generating algorithms are described here, wherein real time system events befall in any type of time interval – inclusive, exclusive in left, right or both sides.

In this work bullwhip effect in the supply chains was studied and reduction of the effect was analyzed. Simulation was done with Rockwell Arena software. Eight different models were created using two different bullwhip reduction schemes (batching removal and information sharing) with two different ordering distributions (normal and exponential distribution). Analyzed supply chain consisted of two groups of customers, two distributors, one manufacturer and two suppliers, producing different components for manufacturer. Information processing, lead and manufacturing times where stochastic values. Analysis is based on the mean value and standard deviation of orders and inventory level. Research showed, that most effective bullwhip reduction scheme is information sharing which let to reduce supplier’s inventory level up to 90%. Also effect reduction schemes are more effective when order variability is greater. This work is primary supply chain model. Therefore author offers to continue this work and do next analysis: to analyze other order distributions’ and other stochastic model variables influence to bullwhip reduction schemes, to analyze other supply chain structures, to do mathematical evaluation.

Baigiamajame magistro darbe nagrinėjama viena iš pagrindinių tiekimo grandinių valdymo problemų ─ neapibrėžtumo efektas, didinantis įmonių veiklos sąnaudas, sandėlio lygį ir mažinantis konkurencingumą. Pagrindinis baigiamojo darbo tikslas yra pateikti galimus neapibrėžtumo efekto mažinimo būdus tiekimo grandinėse. Darbe yra analizuojama neapibrėžtumo efekto samprata, įtaka tiekimo grandinėms, identifikavimo būdai, atsiradimo priežastys ir efektą mažinančių priemonių panaudojimo efektyvumas. Išnagrinėjus teorinius ir praktinius neapibrėžtumo efekto aspektus, pateikiamos baigiamojo darbo išvados ir siūlymai. Darbą sudaro 5 dalys: įvadas, analitinė-metodinė, eksperimentinė-tiriamoji dalis, išvados ir siūlymai, literatūros sąrašas. Darbo apimtis – 62 p., 23 iliustr., 4 lent., 34 bibliografiniai šaltiniai. Atskirai pridedami darbo priedai. / The main topic of this thesis is bullwhip effect, under which influence negative factors such as increased warehouse level, demand variations, big internal expenditures and decreased competition can seriously affect efficiency of whole supply chain. The main goal of this thesis is suggest possible ways of bullwhip effect reduction in supply chain. In this is thesis author is analyzing: conceptions of bullwhip effect influence on supply chain, ways of effect identification; search for methods to decrease bullwhip effect. Main tolls of bullwhip effect reduction are: proper information sharing; reducing of shipment transportation time; using of efficient demand forecasting method; development of VMI system, and installation of up-to-date IT systems. Structure: introduction, analytical part, experiment, conclusions and suggestions, references. Thesis consist of: 62 p., 23 pictures, 4 tables, 34 bibliographical entries. Appendixes included.

Dažnai realių stochastinių sistemų negalime aprašyti Markovo procesais, nes operacijų trukmės nėra pasiskirstę pagal eksponentinį dėsnį. Šiame darbe nagrinėjome sistemų aproksimavimo galimybes, taikant eksponentinių skirstinių mišinius ir sąsūkas. Skirstinių aproksimavimui taikėme Erlango mišinius ir Kokso skirstinį. Skirstinių aproksimavimą pritaikėme aptarnavimo sistemų M/G/1 ir G/M/1 tyrimui. Atlikti teoriniai skaičiavimai parodė, kad gaunamas aukštas aproksimavimo tikslumas. Aptarnavimo sistemų modeliavimui naudojome skaitmeninio Markovo procesų modeliavimo sistemą naudojant įvykių kalbą. Darbe sukurti metodai leidžia tiksliai apskaičiuoti sistemų charakteristikas, naudojant aproksimavimą eksponentiniais mišiniais ir sąsūkomis. Sukurta programinė įranga leidžia automatizuoti sistemų M/G/1 ir G/M/1 modeliavimą, naudojant aproksimavimą eksponentiniais mišiniais. Sistemos G/G/1 ( neištiriamos analiziniais metodais ) aproksimavimo rezultatai leidžia tikėtis, kad šiame darbe nagrinėjamas metodas gali būti naudojamas ir sudėtingų sistemų modeliavime. / Application of numerical methods with approximation allows to extend a class of systems represented by Markovian processes under investigation compared with analytical methods. In this paper we used approximation of positive distribution functions, using phase-type distributions: mixtures of Erlang distributions and Coxian distribution – both 2 and 3 moments-matching algorithms was used. Analysis of M/G/1 and G/M/1 queueing systems showed, that moment-based queueing approximation gives high accuracy. In purpose to compute characteristics of M/G/1 and G/M/1 systems described in an event-based language, algorithms and software was created. Comparison to simulation results shows, that event-based language enables to get more precise results. Analysis of G/G/1 systems showed, that moment-based approximation can be used to analyse difficult queueing systems.

Š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 kompiutersiuose. Šiame darbe bus išanalizuota koncepcija, kaip apjungti atskirus imitacinius modelius. Išanalizuota modelių integravimo į informacinę sistemą technologija. Pateikiami gamybos ir paskirstymo imitacinių modelių matematiniai aprašai, naudojant DEVS(Discrete Event Simulation) ir PLA(Piece-Linear Aggregates) specifikacijų metodus. / At present, a large number of modeling and simulation techniques and tools have been developed to deal with complex business systems. In this paper, we concentrate on scenario illustrating, how simulation models can be integrated in to business management system. Different infrastructure forms are possible, because services may be implemented on single machine or distributed throughout several companies’ networks. In this paper a concept will be analyzed - how to combine different simulation models. The technology for involvement of simulation models in to information systems will be created. Also the problem of simulation model transformation in to program code will be solved. For model formalization we can use a method of Piece-Linear Aggregates (PLA) that belongs to the class of time automata model. PLA method is close to Discrete Event Simulation (DEVS) formalism, which is used to create wide purpose simulation models.