This research aims at the specifics of Computer Aided Design (CAD) and Computer Aided Manufacturing (CAM) market. Through discussion of the digital model’s path since geometric construction till completion of a product the major trends are derived. Evolution of hardware for CAM challenges software developers to come up with new solutions. Growing numbers of CAD/CAM software proved to be considerable factor for incompatibility of data formats among systems. Therefore universal data exchange standards were claimed to enable communication. Also a few gaps of functionality among CAD/CAM software products encourages the development of new application, based on research. The set of functions to be integrated into application is supported theoretically according to researched information and tested practically during the realization of software. The most successful standards and tools are selected as the basis of new software. IGES (The Initial Graphics Exchange Specification) standard along with NURBS (Non-Uniform Rational BSpline) curves and surfaces is used for description of geometric data and OpenGL is used as drawing tool. Model analysis and modification for CAM includes following function description and realization: calculation of volume, non-uniform region scaling, 2D packing, curve control point reduction, curve conversion to lines and arcs. Testing results proves that most of the theoretic assumptions are correct and a development of such or similar software is truly... [to full text]

Web services provide means to computerize e-business processes. To be able to satisfy business requirements web services must be developed rapidly and in high quality. Code generation techniques are frequently employed. In such context, verification of web service models emerges as a relevant issue: model verification makes it easier to detect and remove errors of system specification at the early stages of software development cycle. Available model verification tools require transformation of the objective model into complex formal notations, supported by the tool. It would be convenient to implement model verification directly in a CASE tool. This thesis describes a method for checking web service models based on verification of UML state machines. Conceptual algorithms for checking state machine’s safety criteria: reachability, completeness and consistency are provided. These algorithms, implemented in CASE tools could help to ensure the correctness and consistency of behavioral models. Also, a state machine template for composite web services is presented. Template complements state machine with transitions representing unsuccessful scenarios. Designer is freed from necessity to repeat reoccurring unsuccessful transitions for every event. This template is useful for automatic code generation.

Šiame darbe supažindinama su kriptografija, jos istorija, pagrindiniais kriptografijos principais, šifravimo algoritmų tipais, jų taikymo sritimis, privalumais bei trūkumais. Taip pat apibrėžiamos pagrindinės sąvokos ir terminai, išvardinti kriptoanalitinių atakų tipai ir reikalavimai kriptosistemoms. Svarstoma, ar egzistuoja absoliučiai patikimi šifravimo algoritmai. Trumpai aprašomi pagrindiniai šifravimo būdai ir kriptoanalitiniai metodai. Darbe yra nagrinėjami blokiniai (DES, GOST, LOKI 91, SAFER K-64, FEAL–8, Blowfish, AES (Rijndael)) šifravimo algoritmai, išaiškinama jų svarba kriptografijoje, išsamiai aprašoma jų struktūra, atsparumas kriptoanalizei, išaiškinami privalumai bei trūkumai. Nagrinėjami algoritmų taikymų ypatumai, galimybės, apribojimai. Analizuojami algoritm��� atsparumo kriptoanalizei kriterijai, jų svarba bei algoritmų patikimumo priežastys. Išnagrinėjus esamus blokinius šifravimo algoritmus, buvo atliktas jų tarpusavio palyginimas. Nustatyta, kad šifravimo algoritmo patikimumas priklauso nuo atsparumo kriptoanalitiniams metodams, rakto ilgio, algoritmo architektūros. Išaiškinami pagrindiniai algoritmų privalumai: realizavimo lankstumas, kintamas rakto ilgis, numatantis algoritmo ilgaamžiškumą. Taip pat nurodoma, kad duomenų sauga priklauso ne tik nuo šifravimo algoritmo, bet ir nuo kitų informacijos saugos aspektų: raktų apsaugos, jų paskirstymo, atsitiktinių skaičių generavimo būdų. / This work presents cryptography, its history, main principles of cryptography, types of ciphers, their application range, advantages and disadvantages. Key concepts and term are also defined. Complexity of attacks and requirement to cryptographic systems are listed and described. A question of the existence of the absolutely safe ciphers is considered. The main encryption modes and cryptanalysis methods are described. Research of the most prominent block ciphers and their importance to many cryptographic systems is presented in this work. The structure of block ciphers, their resistance to cryptanalysis are given in details and expositive strength of block ciphers. Their advantages and disadvantages are discovered and stated. Ciphers application range, their potential and restrictions are researched. Criteria of the resistance of ciphers to cryptanalysis, their importance and the reasons of cipher reliability are analyzed. After analyzing the block ciphers such us: DES, GOST, LOKI 91, SAFER K-64, FEAL–8, Blowfish, AES (Rijndael), their inter comparison was performed. It was noted that the reliability of ciphers depends on their resistance to cryptanalysis methods, key length and their architecture. The following major advantages of ciphers as flexibility of realization, changeable key length and facilitating cipher durability are discovered. The following conclusion has been drawn, that data safety depends not only on ciphers, but also on other aspects of information safety... [to full text]

Most of the common DBMS (ORACLE, Microsoft SQL Server, MySQL, DB2, etc.) use disk storage as run time memory. When data becomes necessary from database, DBMS reads them from disk and loads it to RAM (Random Access Memory). This approach uses small amount of RAM, but DBMS efficiency is relative poor. In this work was created prototype of DBMS. This prototype is read-only DBMS and holds all database data in RAM. The purpose of this work is to compare efficiency of common DBMS against created prototype. For this prototype was developed and optimized bunch of data searching, sorting, grouping, joining algorithms. All of these algorithms are based on the main prototype data model idea: database table stores all data into table tree. Prototype and other DBMS were tested with TPCH test, which consists of very different 22 SQL queries to test DBMS efficiency. The test result produced good results for prototype: prototype was 30-40 times faster against ORACLE on complex joining queries and 100-200 times faster against ORACLE on simple joining and searching queries.

Daugelyje mokslo sričių susiduriama su uždaviniais, kuriuos išspręsti esamais kompiuteriais užtruktų nepriimtinai ilgai arba neįmanoma dėl tų uždavinių dydžio ir skaičiavimų apimties. Lygiagrečiaisiais skaičiavimais siekiame spręsti uždavinius greičiau, arba spręsti didesnius uždavinius. Tačiau tiek lygiagrečiųjų algoritmų sudarymas, tiek jų programinis realizavimas yra sudėtingi procesai, reikalaujantys daug žinių ir įgūdžių. Taupant laiką ir pastangas, yra kuriami lygiagretinimo įrankiai, lengvinantys įvairių lygiagrečiųjų programų ar metodikų naudojimą. Šeimininkas – darbininkai algoritmai yra dažnai naudojami ir paplitę įvairiose lygiagrečiųjų skaičiavimų srityse. Lygiagrečiųjų ���eimininkas – darbininkai algoritmų programų kūrimo automatizavimas palengvina daugelio uždavinių sprendimą. Šeimininkas – darbininkai algoritmas efektyvus vykdant tiek homogeniniuose, tiek heterogeniniuose lygiagrečiuosiuose kompiuteriuose. Duomenims tarp procesorių perduoti naudojamos duomenų perdavimo bibliotekos sparčiai vystomos. Nemažai anksčiau kurtų lygiagretinimo įrankių naudoja PVM duomenų perdavimo biblioteką. Išpopuliarėjus MPI duomenų perdavimo bibliotekai aktualu pritaikyti įrankius jos naudojimui. Daug praktinių uždavinių gali būti formuluojami kaip optimizavimo uždaviniai. Daugelis optimizavimo uždavinių sudėtingi ir reikalaujantys daug skaičiavimų. Šakų ir rėžių algoritmo principai taikomi kuriant tikslius ir euristinius algoritmus optimizavimo uždavinių sprendimui. Optimizavimo... [to full text] / Parallel computations are used in many areas where large computation amounts are required and/or faster response is critical. The development of parallel algorithms and parallel programming are complicated and require additional knowledge. To ease the parallel programming and algorithm parallelization many tools are developed. One class of such tools is algorithm templates. The idea of algorithm templates is to separate the problem specific and general parts of the algorithm. The general part can be implemented as a reusable module. The problem specific part of the algorithm should be implemented by the user. When these ideas are used for parallel programming, the template has to specify the main parts of the parallel algorithm: partitioning, communications, mapping, synchronization. Master – slave algorithms are very popular and widely used in parallel programming. It is efficient both for homogeneous and heterogeneous parallel computers. Parallelization tools of master – slave algorithms using popular communication libraries are useful. Many problems of engineering, economics and other fields are formulated as optimization problems. Optimization problems are often complicated and computation intensive. Therefore the creation of automatic parallelization tools of popular branch and bound optimization algorithms is relevant. Grillage type foundations are popular in case of weak grounds. It consists of beams that are supported by piles or reside on other beams. In order to... [to full text]

Darbo tikslas – pagerinti UML kalbą naudojančius projektavimo procesus, papildant juos sekų ir būsenų diagramų derinimo galimybėmis, praplėsti UML specifikaciją, kad būtų įmanomas abipusis sekų diagramų ir būsenų mašinų transformavimas. Antrame darbo skyriuje pateikti keli literatūroje pasiūlyti sekų diagramų transformavimo į būsenų mašinas algoritmai ir transformacijų pavyzdžiai. Skyriaus gale pateikta šių algoritmų palyginimo lentelė pagal tam tikras savybes bei keleto CASE įrankių, kuriuose galėtų būti įgyvendinti algoritmai, apžvalga. Trečiame skyriuje pateikta abipusės sekų ir būsenų diagramų transformacijos metodika. Ketvirtame skyriuje pateiktas pagal trečio skyriaus metodiką atliktos sekų ir būsenų diagramų transformacijų realizacijos projektas praplečiant MagicDraw UML įrankį. Penktame skyriuje pateiktas sukurto įskiepio efektyvumo tyrimas bei transformacijų pavyzdžiai. Šeštame skyriuje pateiktos bendros darbo išvados. / In this master thesis the transformation from sequence diagrams to statemachines and vice versa is presented. The first section describes a research of four existing algorithms of generating state machines from sequence diagrams. For diagrams transformation plug-in for CASE tool MagicDraw is created according MDA standards. Transformation plug-in takes sequence (state) diagram model as input and generates state (sequence) diagrams according to transformation sules. Created plug-in requirements,functional specification and architecture described in Project section. The investigation section describes investigation of the developed plug-in. In this section were investigate the working efficiency of designer trying to reconcile model diagrams.

Baigiamajame magistro darbe nagrinėjama simetrinio kodavimo rakto atsparumo nulaužimams problema ir lygiagrečiųjų algoritmų bei paskirstytų skaičiavimų įtaka DES šifro kriptoanalizei. Pagrindinis darbo tikslas yra ištirti lygiagrečiųjų algoritmų ir paskirstytų skaičiavimų naudojimo simetrinio šifro kriptoanalizėje efektyvumą. Siekiant užsibrėžto tikslo yra išnagrinėti populiariausi simetriniai kodavimo algoritmai, išanalizuoti kriptoanalizės metodai ir nustatyti lygiagrečiųjų algoritmų efektyvumo kriterijai. Pasinaudojus MPI bibliotekos ir BalticGrid aplinkos siūlomais lygiagrečiųjų skaičiavimų principais, yra sukurti lygiagretūs kriptoanalizės algoritmai DES kriptosistemai bei ištirta tų algoritmų įtaka kriptoanalizės efektyvumui. Išanalizavus susijusią literatūrą ir atlikus eksperimentus, yra suformuluotos ir pateiktos baigiamojo darbo išvados bei siūlymai. / The title of this work is “Parallel algorithms in cryptoanalysis”. The main idea of this individual final work of Master studies is to research parallel algorithms and Grid usages effectivity in cryptoanalysis. In the beginning of the work author provides the information on existing parallel programming methods, existing cryptosistems, symetric encrypt decrypt algoriphm and their hacking possibilities. In the second part of work author carrying out cryptoanalysis of DES cryptographies algorithms and choosing a parallel algorithm, based on MPI protocol to the future researches and experiments. Further based on cryptoanalysis of DES cryptographies algorithms results author describing experiment which is necessary to achived the main work goal. The received results of work and formulated conclusion finish research and show, that all collected information is analyzed, and the purposes put by the author are executed. In the closing part of the work author presents the main results of the work and suggests some recommendations.

Šio darbo tikslas yra realizuoti ir ištirti funkcinių vėlinimo testų generavimo algoritmus. Gaminant programuojamuosius įrenginius visada atsiranda galimybė jog gali atsirasti vėlinimo klaidų ( įėjimo signalas dėl kažkokių priežasčių išeina vėliau nei yra numatyta ). Šiuo metu lustai naudojami civilinėje bei karinėje pramonėje įvairiems gamybos procesams valdyti, pvz: medicinoje. Vėlinimo gedimų testavimai yra labai reikšmingi tiek sistemų saugumo užtikrinime, tiek sistemos patikimumo atžvilgiu. Šiais laikais tokie reikalavimai yra keliami vis didesni, nes žmogaus saugumas yra visų svarbiausia. Realizuojamas funkcinis vėlinimo testo sudarymo algoritmas pagal pokyčius išėjimuose, kuris remiasi tik programinio prototipo pirminių įėjimų ir pirminių išėjimų reikšmėmis. Sukūrus sistemą, buvo atliktas eksperimentinis jos tyrimas. Gauti panaudoto algoritmo rezultatai yra patenkinami, kurie yra pateikti šio dokumento priede. Eksperimento metu atliekami testinių rinkinių generavimai 24 loginėms schemoms. Darbe yra 42 panaudoti paveikslėliai, 27 lentel��s bei santrumpų žodynas. Medžiaga surinkta iš penkiolikos literatūros šaltinių. / The object of this work is to research functional test generation methods for delay faults. Manufacturing of programmable chips always has possibility that in those systems will be delay faults that means: input signal for some reasons appear in the output after longer time than the time was definite. In our days, programmable chips are used in the industry for the management of various civil and military manufacturing processes, for instance medicine. Delay fault testing is very important part for the system safety and trustiness. Today those requests become higher and higher, because human safety is common importance. Created test generation algorithm of the functional test that is based solely on the primary input values and the primary output values of the programming prototype. System was tested by simple step by step model,(which is presented in the fourth part of this document). The obtained results are useful and acceptable. All results are presented in the appendix of this document. The experiment contains 24 logic schemas processed test generation algorithm. The work includes of 42 pictures, 27 tables and conceptual dictionary. 15 bibliographical sources have been used.

In this thesis we will consider divisibility properties of some recurrent sequences, Newman polynomials and computer calculations in those and related questions of number theory. / Čia nagrinėsime rekurenčiųjų sekų dalumo savybes, Niumano polinomus ir kompiuterių panaudojimąatliekant įvairius skaičiavimus, susijusius su minėtais skaičių teorijos klausimais.

Šioje disertacijoje bus nagrinėjamos rekurenčiųjų sekų dalumo savybės, Niumano polinomai ir kompiuterių panaudojimas atliekant įvairius matematinius skaiciavimus, susijusius su minėtais skaičių teorijos klausimais. / In this thesis we will consider divisibility properties of some recurrent sequences, Newman polynomials and computer calculations in those and related questions of number theory.