Logika - mokslas, tiriantis mąstymo, samprotavimo dėsnius ir jo formas. Logikos pagalba mes galime nagrinėti teiginius ir įrodymus bei išsiaiškinti, teisingi jie ar ne. Logika yra naudojama daugelyje gyvenimo sričių: filosofijoje, matematikoje, kompiuterinėse programose, ir t.t. Plačiai yra paplitusi klasikinė logika. Šios logikos formulėmis galima nagrinėti uždavinius, kurių objektų būsena yra statinė, tačiau taip pat yra uždavinių, kurių būsena yra dinaminė, t.y. reikšmės ne visada vienodos, jos kinta. Todėl jų negalima išspręsti klasikinėmis logikos formulėmis. Reikalinga kita logika, kuri atsižvelgtų, kaip keičiasi objektų reikšmės kintant laikui, kadangi uždavinio vertė gali visiškai skirtis jei jį nagrinėsime kitu laiko momentu. Tiesinės baigtinės laiko logikos taisyklės gali nagrinėti ir tokius uždavinius, kuriuose reikia atsižvelgti į reikšmių kaitą atitinkamais laiko momentais. Pagrindinis šios logikos skirtumas: tikslesnis uždavinio detalizavimas, papildomos uždavinio nagrinėjimo (sprendimo) priemonės, t.y. naudosime naujus operatorius - laiko. Svarbu atsižvelgti ir į tai, kad uždaviniuose informacija gali būti nepilna. Sprendžiant reikia apibrėžti visus galimus variantus, t.y. esant tam tikrom sąlygom būtina atlikti atitinkamus veiksmus. Tiesinė baigtinė logika neapsiriboja vien tik praeitimi, taip pat yra atsižvelgiama ir į ateitį: nuo to laiko kai žingsnis po žingsnio einame nuo pradinės formos iki tikslo. Šios logikos struktūra yra baigtinė į abi puses, t.y. ir... [toliau žr. visą tekstą] / The aim of the present paper was to go deeper into the logics of time. By the formula of the classical logic it is possible to analyze only those problems where the condition of the objects is static. However, there are such problems where the condition of the objects is dynamic, i.e., the meanings are not always the same, they change. That is why it is not possible to solve them by the formula of classical logic. By referring to the articles (look [CM97], [MSC97]) calculation rules for the finite linear temporal logic as well as predicates’ logic above the finite temporal logic (PLBLL) were formulated. Concrete possible problem cases were defined by those rules. Therefore, it is no longer difficult to analyze the problems wanted with the help of those rules. Moreover, the formulated rules make it possible to analyze such problems where it is necessary to pay attention to the change of meanings at appropriate time moments. The main difference of this logic is: a more exact detailed analysis of the problem, additional tools of a problem analysis, i.e. new time operators are used. The work of the Turing machine was analyzed (look [Nor04]) over finite temporal structure. Necessary predicates were formulated, with the help of which transit formula were described. Also, this work aims at verifying the effective possibility of using Linear Time logic as a planning language. The main advantage of such a rich and expressive language is the possibility of encoding problem specific... [to full text]

Darbe nagrinėjami objektinio programavimo principai. Apžvelgiama Java programavimo kalba, jos platformos, virtualioji mašina, programų tipai. Apžvelgiami Java baziniai paketai, klasės. Aprašyta programavimo aplinka ir vartotojo grafinės sąsajos (interfeiso) kūrimas NetBeans aplinkoje. Aprašyti pagrindiniai swing ir awt paketų komponentai. Programiškai realizuoti ir aprašyti keli uždaviniai NetBeans aplinkoje, kurie demonstruoja vartotojo grafinės sąsajos kūrimą. Darbo tikslas yra NetBeans aplinkos taikymas objektinio programavimo mokymo tikslams. / In this work are analyzed objective programming principles. Reviewed JAVA programming language, its platforms, virtual machine (apparatus), program types. Also are overviewed JAVA basic packets, classes. Described programming environment and user graphic interface creation in NetBeans environment. Described main SWING and AWT packets component. Program realized and described few tasks in NetBeans environment which demonstrates user graphic connections creation. Work purpose is NetBeans environment application for studying objective programming.

Visose karšimo mašinose technologinės schemos yra panašios, ir karštuvai vieni nuo kitų skiriasi tik kai kuriais patobulintais bei papildomais mazgais. Tiekimo dalis visuose karštuvuose taip pat panaši. Tiektuvė - tai pirmoji kedenimo ir plakimo agregato mašina, kurios paskirtis yra presuoto pluošto skaidymas vidutinio dydžio kuokšteliais, pradinis jų maišymas, valymas ir tiekimas kitai agregato mašinai. Karštuvas mikropluoštas yra pastatytas su sunkiojo metalo konstrukcija ir tiesioginės pavaros sistemos siekiant užtikrinti didesnį darbo našumą visų tekstilės gaminių gamyboje ir neaustinių produktų, tokių kaip namų mados, baldai, patalynė, automobilių, filtravimas, pramonės gaminiai. Karštuvas mikropluoštas yra sudėtingas mechanizmų rinkinys, kurio tobulinimas yra neatsiejama dalis norint užtikrinti didesnį darbininkų saugumą ir įmonės darbo našumą. Šiame darbe aprašyto karštuvo mikropluošto paskirtis, pateikta techninė charakteristika, atlikta konstrukcinių variantų analizė, techniniai skaičiavimai, bei eksploataciniai reikalavimai. Projektuojant karštuvą mikropluoštą pasinaudota informacija AB "Neaustinių medžiagų fabrikas" techninė biblioteka, surinkta informacija apie įmonės technologinių įrenginių eksploatavimo bei remonto ypatumus. Pasinaudota Šiaulių universiteto Technologijos fakulteto biblioteka, katedros metodinė medžiaga, išnagrinėta mokslinė ir techninė literatūra, atlikta patentinė paieška, naudota interneto paieškos sistema. / Flow diagrams in all carding machines are similar and cards differ from each other only in some nodes that are improved or supplemental. Feeder part is also very similar in all cards. A feeder is the first machine of opening and scutching unit, the purpose of which is opening of compressed fibre into medium-size tufts, their initial mixing, cleaning and feeding into another machine of the unit. A microfiber carding machine includes heavy metal construction and direct drive systems to ensure greater labour productivity in manufacturing of all textile products as well as non-woven products, such as house fashion, furniture, bed linen, automobile, filtering, and industrial products. A microfiber carding machine is a complex set of mechanisms the improvement of which is an integral part of ensuring greater safety of the employees and productivity of the enterprise. This paper describes the purpose of a microfiber carding machine, presents its technical specification and carried out analysis of constructional variants, technical calculations, and operational requirements. When designing the microfiber carding machine information from technical library of joint stock company “Neaustinių medžiagų fabrikas” and collected information on peculiarities of maintenance and repairs of technological equipment of the company were used. Additionally, material available from Šiauliai University Technology Faculty library and methodological material from the department were used... [to full text]

<p>Definisan je metod za određivanje prostornih vektora struje rotora asinhronih mašina sa kaveznim namotajem, kao i metod za proračun fazora fluksnih obuhvata i struja rotora i statora.<br />Uvedena je strujni fluksni obuhvat, koji pojednostavljulje postupak&nbsp; određivanja fazora fluksnih obuhvata.<br />Definisan je metod za proračun induktivnosti i otpornosti T ekvivalentne šeme asinhronih mašina.<br />Definisan je metod za proračun komponenata momenta, koje potiču od visokih prostornih harmonika struje, kao i pravilo za proračun rezultantnog momenta na osnovu harmoničkih komponenata momenta.</p> / <p>Method for determination of space vectors of currents in induction motors with squirrel cage, and a method for calculation phasors of flux linkages and currents of rotor and stator are determined.<br />Current-flux linkage is introduced, which simplifies determination of phasors of flux linkages.<br />Methods for calculation of inductances and resistances of T equivalent circuit for induction motors are defined.<br />A method for calculation of components of torque, which originate from high space harmonics of currents, and rules for calculation resultant torque on the basis of harmonic components of torque are determined.</p> / null

Magistro darbe „virtualios aplinkos saugos sistemos prototipas“ aprašyta ir suprojektuota virtualios aplinkos saugos sistema (toliau VASS), kuri, virtualioms mašinoms esančiom pasyvioje būsenoje, užtikrina pagrindinius informacijos saugumo tikslus – konfidencialumą, vientisumą ir prieinamumą. Virtualią mašiną, esančią pasyvioje būsenoje, pagrindinės operacinės sistemos ar įvairių trečių šalių įrankių pagalba, galima prijungti (angl. mount) kaip atskirą particiją, o jos failų sistemoje naršyti tarsi paprastame kietajame diske. Šis funkcionalumas sukelia galimas saugumo grėsmes duomenų konfidencialumui bei vientisumui, kadangi niekas negali užtikrintas, jog prijungtos virtualios mašinos failų sistema nebus modifikuota. / Virtual machine is software application where operational system and programs can be installed in the same manner as it can be done on the computer hardware. The virtual machine in turned off mode is only a file. This file can be located to the separated partition using virtual platform or third parties programs and can be browsed as in ordinary computer file system. This functionality opens a weak spot because there are no means to ensure that when virtual machine is off no system files will be modified.

Šiandienos įmonės susiduria su labai greitai besikeičiančia aplinka ir negali laikytis numatyto ilgalaikio veiklos modelio. Įmonės veikla ir jos veiklos modelis turi būti dinamiški. Viena didžiausių problemų verslo taisyklių panaudojimui yra jų kiekis ir sunkiai nuspėjama tarpusavio sąveika. Taisyklėms veikiant kartu atsiranda įvairūs konfliktai. Taisyklių konfliktų aptikimui ir logiškumui bei nuoseklumui patikrinti galima naudoti logika pagrįstus mechanizmus tokius kaip išvedimas. Darbe atlikta dalykinės srities literatūros apžvalga, suformuluotas metodas, leidžiantis XML atvaizduotas verslo taisykles transformuoti į predikatus bei komponuoti į verslo taisyklių rinkinius siekiant tuos rinkinius panaudoti duomenų analizei programų sistemoje. Verslo taisykli�� rinkinys turi būti išsamus ir neprieštaraujantis. Tam naudojama išvedimo mašina. / One of the greatest problems using business rules are their quantity and difficulty in foreseeing of their interplay. Conflicts become apparent when rules are used in conjunction. A logic based derivation mechanism can be used for detection of rule incongruence and to analyze their logical and chronological sequence. This paper presents a review of related works and method for transformation of the business rules represented in XML into predicate set for use in inference engine and business rules driven rule set consistency check and use of such a complete rule set in data analysis system.

<p>У првом, уводном поглављу представљени су циљеви истраживања, хипотезе и примјењена методологија истраживања. У овом поглављу дат је приказ досадашњих истраживања у сљедећим областима: пројектовање виртуалних машина алатки, савремене методе моделовања и симулације у идентификацији понашања машина алатки примјеном метода коначних елемената, те примјена редукција реда модела у пројектовању машина алатки.<br />У другом поглављу дате су теоријске основе методе редукције реда модела. При анализи система који имају велики број чворова (под велики број чворова се подразумјева 105 - 106 чворова, па и више) вријеме потребно за извођење симулација, али и потребне карактеристике рачунара на ком се изводи анализа могу представљати значајан проблем, поготово првим фазама процеса пројектовања када су честе измјене пројектоване структуре.</p><p>Технике редукције реда, односно редукције броја степени слободе МКЕ модела, подразумјевају да се системи добијени примјеном метода коначних елемената замјене редукованим системима, (системима првог реда), који са довољном тачношћу описује динамичко понашање посматраног система. Након што се систем преведе у простор стања, даље се врши модална редукција, гдје се на бази утврђених критеријума селектује потребан број модова. У овом поглављу за рангирање модова користе се два критеријума: појачање у максимуму и појачање на нултој фреквенцији, односно критеријум балансираних редукција.<br />У оквиру трећег поглавља описана је процедура извођења експерименталне модалне анализе и утврђивања модалних параметара, релативног коефицијента пригушења, сопствених фреквенција осциловања, модалне масе, модалне крутости, вискозног пригушења и облика осциловања. Приказани су принципи аквизиције података при извођењу експерименталне модалне анализе и дат приказ кориштене аквизиционе и мјерне опреме. На примјеру греде константног кружног попречног пресјека приказан је аналитички начин утвррђивања модалних параметара на основу Ојлер &ndash; Бернулијеве теорије греда, те модална анализа у временском домену примјеном АRX директне методе утврђивања модалних параметара, те дато поређење добијених резултата.</p><p>У четвртом поглављу описана је проблематика аналитичког одређивања преносне функције на примјеру греде промјењивог кружног попречног пресјека (тростепеног цилиндра).<br />У петом поглављу анализира се динамичко понашање склопа главног вретена модула радне јединице (јединице пиноле), за које су одређени математички модел динамичког<br />понашања, те потом извршена нумеричка и експериментална верификација добијених резултата.<br />У шестом поглављу приказано је кориштење нумеричких и експериметналних метода у циљу утврђивања сопствених фреквенција и облика осциловања,<br />као и модалних параметара (модалне масе, модалне крутости и модалног пригушења) различитих компоненти хоризонталног обрадног центра за глодање ФМ38.<br />У седмом поглављу дата су закључна разматрања, критички осврт на извршена истраживања и правци и смјернице за даља истраживања.</p> / <p>U prvom, uvodnom poglavlju predstavljeni su ciljevi istraživanja, hipoteze i primjenjena metodologija istraživanja. U ovom poglavlju dat je prikaz dosadašnjih istraživanja u sljedećim oblastima: projektovanje virtualnih mašina alatki, savremene metode modelovanja i simulacije u identifikaciji ponašanja mašina alatki primjenom metoda konačnih elemenata, te primjena redukcija reda modela u projektovanju mašina alatki.<br />U drugom poglavlju date su teorijske osnove metode redukcije reda modela. Pri analizi sistema koji imaju veliki broj čvorova (pod veliki broj čvorova se podrazumjeva 105 - 106 čvorova, pa i više) vrijeme potrebno za izvođenje simulacija, ali i potrebne karakteristike računara na kom se izvodi analiza mogu predstavljati značajan problem, pogotovo prvim fazama procesa projektovanja kada su česte izmjene projektovane strukture.</p><p>Tehnike redukcije reda, odnosno redukcije broja stepeni slobode MKE modela, podrazumjevaju da se sistemi dobijeni primjenom metoda konačnih elemenata zamjene redukovanim sistemima, (sistemima prvog reda), koji sa dovoljnom tačnošću opisuje dinamičko ponašanje posmatranog sistema. Nakon što se sistem prevede u prostor stanja, dalje se vrši modalna redukcija, gdje se na bazi utvrđenih kriterijuma selektuje potreban broj modova. U ovom poglavlju za rangiranje modova koriste se dva kriterijuma: pojačanje u maksimumu i pojačanje na nultoj frekvenciji, odnosno kriterijum balansiranih redukcija.<br />U okviru trećeg poglavlja opisana je procedura izvođenja eksperimentalne modalne analize i utvrđivanja modalnih parametara, relativnog koeficijenta prigušenja, sopstvenih frekvencija oscilovanja, modalne mase, modalne krutosti, viskoznog prigušenja i oblika oscilovanja. Prikazani su principi akvizicije podataka pri izvođenju eksperimentalne modalne analize i dat prikaz korištene akvizicione i mjerne opreme. Na primjeru grede konstantnog kružnog poprečnog presjeka prikazan je analitički način utvrrđivanja modalnih parametara na osnovu Ojler &ndash; Bernulijeve teorije greda, te modalna analiza u vremenskom domenu primjenom ARX direktne metode utvrđivanja modalnih parametara, te dato poređenje dobijenih rezultata.</p><p>U četvrtom poglavlju opisana je problematika analitičkog određivanja prenosne funkcije na primjeru grede promjenjivog kružnog poprečnog presjeka (trostepenog cilindra).<br />U petom poglavlju analizira se dinamičko ponašanje sklopa glavnog vretena modula radne jedinice (jedinice pinole), za koje su određeni matematički model dinamičkog<br />ponašanja, te potom izvršena numerička i eksperimentalna verifikacija dobijenih rezultata.<br />U šestom poglavlju prikazano je korištenje numeričkih i eksperimetnalnih metoda u cilju utvrđivanja sopstvenih frekvencija i oblika oscilovanja,<br />kao i modalnih parametara (modalne mase, modalne krutosti i modalnog prigušenja) različitih komponenti horizontalnog obradnog centra za glodanje FM38.<br />U sedmom poglavlju data su zaključna razmatranja, kritički osvrt na izvršena istraživanja i pravci i smjernice za dalja istraživanja.</p> / <p>The first introduction chapter presents research objectives, hypotheses and applied methodology. This chapter provides an overview of current research in the following areas: design of virtual machine tools, modern methods of modelling and simulation in identifying the behaviour of machine tools using the finite element method, as well as the use of model order reduction in the design of machine tools.<br />The second chapter provides a theoretical bases for model order reduction. In analysing systems that have a large number of nodes (a large number of nodes alludes to 105 - 106 nodes, or more) the following can present significant problem: time required to perform the simulation and necessary characteristics of the computer on which the analysis is performed, especially in the early stages of the process design when changes of designed structure are frequent.</p><p>Model order reduction techniques, i.e. reduction of the number of degrees of FEM model freedom, imply that the systems obtained by using the finite element method are replaced by the one (the first order system) that describes the dynamic behaviour of the observed system with sufficient accuracy. Once the system is converted to state space, modal reduction continues whereby on the basis of established criteria required number of modes are selected. In this chapter the following criteria are used for ranking modes: DC gain / peak gain, and the balanced reduction.<br />Third chapter shows procedures of performing experimental modal analysis and determining the following parameters: relative damping ratio, natural frequencies, modal mass and stiffness and viscous damping coefficient. The principles of data acquisition and equipment used for experimental modal analysis are shown. Analytical model of determining modal parameters based on Euler - Bernoulli beam theory is shown on the sample of constant cross-section beam. For the same model, modal analysis in the time domain using the ARX direct method of determining the modal parameters is performed. The results obtained thereinafter, using both methods, are compared.<br />The fourth chapter describes the analytical determination of the transfer function in the case of beam with changing cross-section (three-stage cylinder).</p><p>The fifth chapter analyses the dynamic behaviour of the main spindle assembly of experimental model. Mathematical model is made, and then gained results are verified numerically, by FEM analysis and experimentally by experimental modal analysis.<br />Sixth chapter shows the usage of different numerical and experimental methods in order to determine the natural frequencies, mode shapes, modal mass and stiffness and damping ratio of the various components of the horizontal machining center FM38.<br />The seventh chapter contains the concluding observation, critical review of research that was carried out and directions for further researches.</p>

<p>Su&scaron;tina istraživanja u doktorskoj disertaciji je konkretna<br />upotreba matematičkog modela matrica u fazama<br />dijagnostike kao i izbor optimalnih parametara stanja ma&scaron;ina<br />pri radu i otkazu sastavnih komponenata ma&scaron;inskih sistema<br />(robota-manipulator, kompresora i pumpe). Takođe,<br />posredstvom matrica izvr&scaron;en je izbor održavanja sve u cilju<br />određivanja sigurnosti i funkcionisanja sastavnih<br />komponenti ma&scaron;inskih sistema.<br />Krajni cilj uspe&scaron;nosti modela matrica pri pocesu analize<br />dijagnostike i održavanja jeste da se izvr&scaron;i izbor najboljeg<br />re&scaron;enja ili najpoželjnije varijante koja će povisiti nivo<br />pouzdanosti čime će uticati na budući proces eksploatacije<br />ma&scaron;ine. Dati model matrica, kao i softverskih alata,<br />predstavljeni su kao modeli proračuna, dijagnostike,<br />održavanja i pouzdanosti ma&scaron;inskih sistema. Predstavljene<br />matrice su univerzalnog karaktera iz razloga &scaron;to se mogu<br />primeniti kako na jednostavne, tako i na složene ma&scaron;inske<br />sisteme, bez obzira na dimenzije komponenti ma&scaron;inskih<br />sistema i njihova kretanja.</p> / <p>The essence of research in his doctoral dissertation is the use<br />of a concrete mathematical model matrix phases of<br />diagnostics as the choice of optimal parameters of the state<br />machines at work and cancellation of the constituent<br />components of mechanical systems (robot-manipulator,<br />compressor and pumps). Also, through the matrix have been<br />selected maintenance of everything in order to determine the<br />security and functioning of the components of the mechanical<br />systems.<br />Final goal of model performance matrix analysis underway in<br />of diagnostics and maintenance is to make the selection of the<br />best solutions and most preferably variants that will increase<br />the level of reliability which will affect the future process of<br />exploitation of machines. Give a model matrix, as well as the<br />software tools are presented as models of the calculation,<br />diagnostics, maintenance and reliability of mechanical<br />systems. The presented matrices are universal character for<br />the reason that can be applied both on the simple and on<br />complex mechanical systems, regardless of the dimensions of<br />the components of mechanical systems and their movements.</p>

Master‘s graduation dissertation research object is the drive of one unit of multisection web-fed flexographic printing press „Omet Varyflex 420 FP“. The main purpose of the work is drive’s dynamical precision research, basing on the torsion vibration. But the main attention is concentrated on the research object mathematical model creation. It will be able to investigate torsion vibration. In the beginning there is description of the research object, its dynamical model and assumptions, made while modeling the object. As the main research object is mechanical drive, unit’s electric drive is not detailed. Unit‘s structural model is created using the „MATLAB Simulink“ software. While modeling, it was proved the model is adequate. It was investigated how generalized coordinates and dynamical datums change while the press is switched on and starts to work with constant angular acceleration and when the angular speed reaches particular value, it does not change any more. Amplitude-frequency and phase-frequency responses of some generalized coordinates were got. Changing some parameters flexographic printing plate aging is modeled. It is watched how aging influences torsion vibration. While modeling it was determined how gearwheels cyclic harmonic error’s amplitude and beds resistance coefficients influence dynamical datums. It was also determined unit’s electric drive influence on generalized coordinates frequency responses. Basing on the analysis of the results, the conclusions... [to full text]

Modeliais paremtos architektūros (MDA) technologijos panaudojimo tikslas – automatizuoti kuriamos programų sistemos kuriamų modelių transformavimą ir kodo generavimą. Norint atlikti sukurtų modelių korektišką transformavimą, reikia užtikrinti modelių pilnumą ir suderinamumą tarpusavyje. Šie modeliai aprašomi UML modeliavimo kalba. Magistriniame darbe nagrinėjama nuo platformos nepriklausančio modelio kūrimo stadija, modelio klasių ir būsenų mašinų suderimo galimybės ir būsenų mašinų korektiškumo ir išbaigtumo metodikos. Taip pat bus pateikiamas sprendimas atliktas MagicDraw aplinkoje įskiepio pagalba. / The main goal of Model Driven Architecture (MDA) is the automation of software development process. According this technology, we need to create platform independent model (PIM), after that transform it to platform specific model (PSM); from PSM model we can generate program code. To do that, we need to ensure static and dynamic completeness of PIM. All these models are described using UML modeling language. In this work correctness and completeness of PIM is achieved by analyzing compatibility of class diagrams and state machines, as well as correctness and completeness of state machines themselves. To solve this problem, algorithms were created and implemented in a plug-in for MagicDraw CASE tool.