Temos „Diferencialinio ir integralinio skaičiavimo pradmenų mokymas Lietuvos mokykloje XX a. 3 – 4 dešimtmetyje“ svarbumas grindžiamas tuo, kad išanalizavus diferencialinio ir integralinio skaičiavimo mokymą tarpukario Lietuvoje (1918 – 1940), faktiškai būtų galima geriau suprasti ir dabartinės Lietuvos mokyklos diferencialinio ir integralinio skaičiavimo mokymo privalumus ir trūkumus. Darbas dar svarbus ir tuo, kad jame nuodugniai išnagrinėta diferencialinio ir integralinio skaičiavimo mokymas (programos, vadovėliai) iki matematikos mokymo reformos (1918 – 1928) ir po jos (1929 – 1940). Atskirai tema specialiai nebuvo nagrinėta, tik paliečiama Algirdo Ažubalio „Matematika lietuviškoje mokykloje (XIX a. pr. – 1940)“, Juozo Banionio „Matematinė mintis Lietuvoje (istorinė apžvalga 1832 – 1990 m.)“ knygose. Be to, vadovėliai: J. Stoukaus „Begalinių mažybių analizio pagrindai“ (1925), A. Juškos „Matematinės analizės pagrindai“ (1934), B. Godvaišos ir J. Šinkūno „Matematika“ antra dalis (1996) nebuvo lyginti. Darbo tikslai: • apžvelgti, išanalizuoti ir palyginti diferencialinio ir integralinio skaičiavimo pradmenų mokymą Lietuvos mokykloje iki matematikos mokymo reformos, po reformos ir dabar; • nustatyti diferencialinio ir integralinio skaičiavimo pradmenų mokymo privalumus ir trūkumus minėtais laikotarpiais. Matematikos mokymas Lietuvoje 1918 – 1940 metais: buvo organizuotas, modernėjo, remtasi Vakarų Europos pavyzdžiu. Tai liudija: nepriklausomybės metais tobulintos... [toliau žr. visą tekstą] / The relevance of the topic “Teaching of Differential and Integral Calculation Basics in Lithuanian Schools in 3 – 4 Decades of the XXth Century” is based on the assumption that analysis of teaching of differential and integral calculation in the interwar Lithuania (1918-1940) would actually enable better understanding of advantages and drawbacks of teaching differential and integral calculation in Lithuanian schools nowadays. The final thesis is important for it thoroughly analyses teaching of differential and integral calculation (curricula, textbooks) before the teaching reform in mathematics (in 1918 – 1928) and after the reform (in 1929 – 1940). Separately the topic was not analysed but only mentioned in the following books: Algirdas Ažubalis “Matematika lietuviškoje mokykloje (XIX a. pr. - 1940)” (Mathematics in Lithuanian School (Beginning of XIX Century – 1940)), Juozas Banionis “Matematinė mintis Lietuvoje (istorinė apžvalga 1832 – 1990 m.)” (Mathematical Thought in Lithuania (Historical Survey 1832 – 1990). Moreover, the following textbooks: J. Stoukus “Begalinių mažybių analizio pagrindai” (Basics of Infinite Least Analysis) (1925), A. Juška “Matematinės analizės pagrindai” (Basics of Mathematical Analysis) (1934), B. Godvaiša and J. Šinkūnas “Matematika” (Mathematics) Volume II (1996) were not compared. Aims of the final thesis shall be the following: • To make an overview, analysis and comparison of teaching differential and integral calculation basics in... [to full text]

The Project “Resources evaluation system of SDH telecommunication network” is used for investigation of the efficiency of utilization of the existing TEO LT, AB SDH Trunk Network resources. The essential problem is the lack of precise information on the free and used resources of the Network, their distribution and usage in the optimum and efficient manner. It was rather hard to establish the free and used SDH network resources and evaluate the efficiency of the Network. This brings essential influence and difficulties into the planning of network and investments since it is rather hard to take the economically viable decisions regarding the usage of the existing resources. The SDH network resources evaluation system can be used for planning of trunk network resources and quick creation of flows’ transmission routes in a very efficient manner. The System gives the possibility to verify the new routes creation possibilities from any point of the network and execute the customers’ orders in a quick manner. The System is developed as software with a direct interface with the TEO LT Network Information System SQL Base, and is going to use the data, stored in the SQL Base. The Content of this project consists from: • Analytical part of investigation • Specification of requirements for designed system • Common system requirements • Data structure • Network Resources Information Module • Testing and User Guide According content above the System “Resources evaluation system of SDH... [to full text]

The mutual in the synchronization system is analyzed in this work. The mutual in the synchronization is a double – side synchronization of interdependent tactical oscillators. Every of interdependent oscillators has influence on the frequency of other oscillators. The frequency of all oscillators will be the same and equal to the certain medium frequency which depends upon, the frequency and distances among separate oscillators of all in the settled regime of them joined into the net. The objective of the work is to analyze the synchronization system which is joined of four interdependent oscillators. The mathematical model of synchronization system is formed, analytic expressions of transitional function and differences among phases of oscillation are set transitional processes of synchronization system and differences among phases of oscillation are researched. The mathematical model of synchronization system is matrixal rectilinear dif. Equation with the argument to be late. It is solved using the method of steps and the transformation of Laplace. Exact analytical expressions of the solution components are found using Jordan’s form of descriptive matrix which describes the structure of inherent relations among the blocks of the system analytical expressions of transitional functions in the system and differences of phases of oscillation are obtained on the basis of the solution.

Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals. Implementation of the decision making is the main and the most complicated part in agent systems implementation. Logic calculi may be used for the decision making implementation. In this thesis, there are researched sequent calculi for BDI logics. Sequent calculi for BDI logics, like sequent calculi for other modal logics, use loop-check technique to get decidability. Inefficient loop-check takes a major part of the resources used for the derivation. For some modal logics, there are known loop-check free sequent calculi or calculi with an efficient loop-check. In this thesis, there is presented loop-check free sequent calculus for KD45 logic, which is the main fragment of the BDI logics. Introduced calculus not only eliminates loop-check, but also simplifies sequent derivation. For the branching time logic (another BDI logic fragment) there is presented sequent calculus with an efficient loop-check. Obtained results are adapted for creation sequent calculi for monoagent and multiagent BDI logics. Introduced calculi use only restricted loop-check. Moreover, loop-check is totally eliminated for some types of the loops. These results enables to create more efficient agent systems, those are based on the BDI logics. / Darbe nagrinėjami sekvenciniai skaičiavimai BDI logikoms. BDI logikos yra plačiai naudojamos agentinių sistemų aprašymui ir realizavimui. Agentai yra autonomiškos sistemos, kurios veikia kažkurioje aplinkoje ir siekia įvykdyti iš anksto apibrėžtus tikslus. Sprendimų priėmimo realizavimas yra svarbiausia ir sudėtingiausia dalis realizuojant agentines sistemas. Sprendimo priėmimo realizavimui gali būti naudojami logikos skaičiavimai. Šiame darbe ir yra nagrinėjami sekvenciniai skaičiavimai BDI logikoms. BDI logikose, kaip ir kitose modalumo logikose, yra naudojama ciklų paieška išsprendžiamumui gauti. Neefektyvi ciklų paieška užima didesnę išvedimų paieškos resursų dalį. Kai kurioms modalumo logikoms yra žinomi becikliai skaičiavimai ar skaičiavimai naudojantys efektyvią ciklų paiešką. Šiame darbe yra pateikiamas beciklis sekvencinis skaičiavimas KD45 logikai, kuri yra esminis BDI logikų fragmentas. Pateiktas skaičiavimas ne tik eliminuoja ciklų paiešką, bet ir supaprastina patį sekvencijos išvedimą. Skaidaus laiko logikai (kitam BDI logikų fragmentui) yra pateikiamas sekvencinis skaičiavimas naudojantis efektyvią ciklų paiešką. Gauti rezultatai yra pritaikyti sukuriant sekvencinius skaičiavimus vianaagentinei ir daugiaagentinei BDI logikoms. Pristatyti skaičiavimai naudoja tik apribotą ciklų paiešką. Be to, kai kurių tipų ciklus eliminuoja visiškai. Šie rezultatai įgalina kurti efektyvesnes agentines sistemas, paremtas BDI logikomis.

Darbe nagrinėjami sekvenciniai skaičiavimai BDI logikoms. BDI logikos yra plačiai naudojamos agentinių sistemų aprašymui ir realizavimui. Agentai yra autonomiškos sistemos, kurios veikia kažkurioje aplinkoje ir siekia įvykdyti iš anksto apibrėžtus tikslus. Sprendimų priėmimo realizavimas yra svarbiausia ir sudėtingiausia dalis realizuojant agentines sistemas. Sprendimo priėmimo realizavimui gali būti naudojami logikos skaičiavimai. Šiame darbe ir yra nagrinėjami sekvenciniai skaičiavimai BDI logikoms. BDI logikose, kaip ir kitose modalumo logikose, yra naudojama ciklų paieška išsprendžiamumui gauti. Neefektyvi ciklų paieška užima didesnę išvedimų paieškos resursų dalį. Kai kurioms modalumo logikoms yra žinomi becikliai skaičiavimai ar skaičiavimai naudojantys efektyvią ciklų paiešką. Šiame darbe yra pateikiamas beciklis sekvencinis skaičiavimas KD45 logikai, kuri yra esminis BDI logikų fragmentas. Pateiktas skaičiavimas ne tik eliminuoja ciklų paiešką, bet ir supaprastina patį sekvencijos išvedimą. Skaidaus laiko logikai (kitam BDI logikų fragmentui) yra pateikiamas sekvencinis skaičiavimas naudojantis efektyvią ciklų paiešką. Gauti rezultatai yra pritaikyti sukuriant sekvencinius skaičiavimus vianaagentinei ir daugiaagentinei BDI logikoms. Pristatyti skaičiavimai naudoja tik apribotą ciklų paiešką. Be to, kai kurių tipų ciklus eliminuoja visiškai. Šie rezultatai įgalina kurti efektyvesnes agentines sistemas, paremtas BDI logikomis. / Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals. Implementation of the decision making is the main and the most complicated part in agent systems implementation. Logic calculi may be used for the decision making implementation. In this thesis, there are researched sequent calculi for BDI logics. Sequent calculi for BDI logics, like sequent calculi for other modal logics, use loop-check technique to get decidability. Inefficient loop-check takes a major part of the resources used for the derivation. For some modal logics, there are known loop-check free sequent calculi or calculi with an efficient loop-check. In this thesis, there is presented loop-check free sequent calculus for KD45 logic, which is the main fragment of the BDI logics. Introduced calculus not only eliminates loop-check, but also simplifies sequent derivation. For the branching time logic (another BDI logic fragment) there is presented sequent calculus with an efficient loop-check. Obtained results are adapted for creation sequent calculi for monoagent and multiagent BDI logics. Introduced calculi use only restricted loop-check. Moreover, loop-check is totally eliminated for some types of the loops. These results enables to create more efficient agent systems, those are based on the BDI logics.

Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked. / Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas.

Standartinės klasės sklandytuvo SZD – 48 – 3 “Jantar Standard 3” optimalios svorio centro padėties radimas. Pateikta skaičiavimai optimaliai svorio centro padėčiai surasti bei jos kitimas kintant greičiui. / The objective of this Master thesis is to investigate the glider gravity centre influence to the flight characteristics. Analyzing Frank Irving method, to find optimal centre of gravity. The subject of thesis is Standard class glider SZD – 48 – 3 “Jantar Standard 3”and calculation of optimal center of gravity position.

Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas. / Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked.

Research of movement parameters of motorcars in braking.

Research of movement parameters of motorcars in braking.