This work presents business process analysis methodology which consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. The aggregate specification is analyzing using first order predicate logic while checking correctness by resolution method using logic programming based language Prolog. The work is concluded with concrete example of analysis of Resource Event Agent model based business process using the aggregate approach. The novelty of this work PLA (Piece-Linear Aggregate) model and the software tools, created on the ground of PLA (Piece-Linear Aggregate), are used the first time for business processes analysis that is defined using REA formalism. The use of such integrated models allows performing the automated analysis of general and individual properties (completeness, deadlock freeness, termination or cyclic behavior, boundedness) of defined business processes. The main results are achieved: • The methodology, that consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. • Verification and validation of general and individual properties by using PLA and PROLOG language approach designed system that executes the analysis of aggregate specification. • Implementing internal accounting controls as constraints in relational algebra, SQL and PROLOG language. • Concrete... [to full text]

Lietuva, kaip ir kitos Europos Sąjungos valstybės narės, įgyvendina ES regioninę politiką, t.y. politiką, kurios pagalba siekiama socialinės ir teritorinės Sąjungos „sanglaudos“. Šios politikos įgyvendinimas užtikrinamas struktūrinių fondų finansine parama. Šiame darbe keliama problema - ES lygmenyje Lietuva pripažįstama kaip vienas regionas, kuriam parama skiriama kaip regionui, kurio BVP nesiekia 75 proc. ES vidurkio. Mano hipotezė- Lietuvos politikai ir institucijos turi skirti daugiau dėmesio šalies regionų sanglaudai. Darbo tikslas - išanalizuoti ES vykdomą regioninę politiką, valstybių narių skaičiui padidėjus iki dvidešimt penkių, supažindinti su pagrindiniais šios politikos prioritetais, įgyvendinimą nusakančiais teisės aktais, apibūdinti ES valstybių narių regioninės politikos prioritetus ir naujų tikslų būtinumą perspektyvoje iki 2013 m., taip pat apžvelgti Lietuvoje vykdomą regioninę politiką bei jos mastą. ES valstybėse narėse vykdomą ES regioninę politiką, siekdama apibrėžti, kokia skirtinga ši politika atskirose valstybėse narėse, priklausomai nuo to, koks šalies išsivystymo lygis. Visos šalys skirtingos, daugumos Naudojami tyrimo metodai - tai: 1) ES ir Lietuvos Respublikos teisės aktų ir kitų šaltinių regionine tematika analizė, 2) regionų lyginamoji analizė tiek ES, tiek Lietuvoje , siekiant įvertinti struktūrinės paramos būtinumą pagal regioninės politikos tikslus bei iškeltos hipotezės patvirtinimui. Darbas susideda iš trijų skyrių. Pirmas skyrius skirtas... [to full text] / -. / Litauen, sowie andere Mitgliedstaaten der Europäischen Union, verwirklicht die Regionalpolitik der EU, d.h. Politik, mit welcher Hilfe die sozialen und territorialen Unterschiede der Union verringert werden können. Die Verwirklichung dieser Politik wird durch die finanzielle Hilfe der Strukturfonds der EU gefördert. Bei der Überprüfung stellt man fest, dass Litauen als einzelne Region genannt ist, die einer solchen Strukturförderung bedarf, da hier das BIP weniger als 75 % des EU- Mittelwertes beträgt. werden. Meine Hypothese: die Politisch Verantwortlichen Litauens sollen mehrer Aufmerksamkeit für die Kohäsion der inneren Regionen widmen.

Disertaciniame darbe išplėtota vieninga tamprių-plastinių prisitaikančių sistemų optimizavimo su stiprumo, standumo ir klumpamosios galios sąlygomis, taikant ekstreminius energinius principus, matematinio programavimo teoriją, šiuolaikines kompiuterines technologijas ir sąsajas su projektavimo standartais, metodika. Darbe parodyta, kad prisitaikomumo teorija yra bendriausias metodinis įrankis skirtas statybinių konstrukcijų skaičiavimui nuo įvairių apkrovų, įgalinantis išvengti detalios apkrovimo istorijos nagrinėjimo. Disertaciją sudaro įvadas, penkeri skyriai, rezultatų apibendrinimas, naudotos literatūros ir autoriaus publikacijų disertacijos tema sąrašai ir keturi priedai. Įvadiniame skyriuje aptariama tiriamoji problema, darbo aktualumas, aprašomas tyrimų objektas, formuluojamas darbo tikslas bei uždaviniai, aprašoma tyrimų metodika, darbo mokslinis naujumas, darbo rezultatų praktinė reikšmė, ginamieji teiginiai. Įvado pabaigoje pristatomos disertacijos tema autoriaus paskelbtos publikacijos ir pranešimų konferencijose sąrašas bei disertacijos struktūra. Pirmasis skyrius skirtas literatūros apžvalgai. Jame atlikta prisitaikančių konstrukcijų optimizavimo metodų apžvalga, išryškinta būtinybė pasitelkti sąsajas tarp teorinių optimizavimo metodų ir projektavimo standartų. Antrajame skyriuje aptariama konstrukcijų diskretizacija, sudaryti patobulinti projektinio ir patikrinamojo uždavinių matematiniai modeliai. Trečiajame skyriuje parodyta sąsaja tarp statybos inžinerijoje... [toliau žr. visą tekstą] / The optimization methodology of shakedow structures evaluating strength, stiffness and stability constraints and unifying extremum energy principles, mathematical programming theory, stat-of-the-art computer technologies and design standards was developed in the dissertation. There are shown in the work that shakedown theory is a generalized tool for calculation of civil engineering structures under different loading conditions that avoid detailed investigation of loading history. The dissertation consists of six parts including Introduction, 5 chapters, Conclusions, References and 4 Annexes. The introduction reveals the investigated problem, importance of the thesis and the object of research and describes the purpose and tasks of the paper, research methodology, scientific novelty, the practical significance of results examined in the paper and defended statements. The introduction ends in presenting the author’s publications on the subject of the defended dissertation, offering the material of made presentations in conferences and defining the structure of the dissertation. Chapter 1 revises used literature. The optimization methods of shakedown structures are reviewed and a demand of linkage between theoretical optimization methods and standards is highlighted. Chapter 2 describes the discretization of structures, the mathematical models for improved design and check problems was created. In the Chapter 3 the equivalence between load combinations of civil engineering... [to full text]

Šio darbo pagrindinis tikslas yra suprojektuoti ir sukurti internetinę matematinio programavimo ir modeliavimo sistemą. Šiam tikslui pasiekti buvo nagrinėjama matematinio programavimo samprata. Atlikta panašių matematinių programavimo sistemų bei matematinių funkcijų bibliotekų, skirtų įvairioms programavimo kalboms, analizė. Identifikuojamos ir nagrinėjamos problemos, kurios iškilo kuriant internetinę matematinio programavimo ir modeliavimo sistemą. Taip pat šiai sistemai parašytos testinės programos su C++, Java, Fortran programavimo kalbomis bei Netlib Repository LAPACK ir QT bibliotekomis. Sukurta sistema palyginta su Mathematica ir Scilab matematinio programavimo sistemomis. / The aim of this work is to design and develop web-based mathematical programming and simulation system. For this purpose were analyzed the concept of mathematical programming and performed analysis of similar mathematical programming systems and libraries of mathematical functions for various programming languages. Identified and analyzed the problems that arose in the development of an online mathematical programming and simulation system. Also, written test programs for created system in C++, Java, Fortran programming languages and Netlib Repository LAPACK, QT libraries. The developed system was compared with Mathematica and Scilab mathematical programming systems.

This master thesis analyses principle manufacturing order design and management methods and schemas. They are practicaly applied in developing software for product‘s graphical-informational model management, feature management, technological data and rules specification and description, product‘s material list creation and estimation. The developed software is suited for both large and small manufacturing corporations, that specializes in plastic or wooden windows, doors, garage gates, glass fillings production. The system may be adjusted to various manufacturing technologies. These software development methods and technologies were applied during system design and implementation: Dynamic System Development Method (DSDM), Object Oriented (OO) Design and Programming, Component Based System Engineering Method (CBSE), Computer-Aided Design/Computer-Aided Manufacturing Methods, eXtensible Markup Language (XML). Created software was tested with real technological data. Systems suites functional and non-functional specifiaction. Experimets show that the product is more flexible than it‘s previous version.