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.