Lietuvos matematikos rinkinys
Not a member yet
1812 research outputs found
Sort by
Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai
No full textA labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its sub-calculus LSC−TL is proved to be complete for some class of PLTL sequents.Darbe yra pateiktas žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Įrodyta, kad šis skaičiavimas yra pilnas tam tikros nagrinėjamos logikos sekvencijų klasės atžvilgiu
Skaidymo schemų dvimačiams ir trimačiams Šrėdingerio uždaviniams analizė
No full textNew splitting finite difference schemes for 2D and 3D linear Schrödinger problems are investigated. The stability and convergence analysis is done in the discrete L2 norm. It is proved that the 2D scheme is unconditionally stable and conservative in the case of zero boundary condition. The splitting scheme is generalized for 3D problems. It is proved that in this case the scheme is only ρ-stable and consequently discrete conservation laws are no longer valid. Results of numerical experiments are presented.Tiriamos naujos skaidymo baigtinių skirtumų schemos dvimačiams ir trimačiams tiesiniams Šrėdingeriouždaviniams. Stabilumo ir konvergavimo analizė atlikta diskrečioje L2 normoje. Įrodyta, kaddvimatė schema yra nesąlygiškai stabili ir konservatyvi nulinės kraštinės sąlygos atveju. Skaidymoschema apibendrinta trimačiams uždaviniams. Įrodyta, kad šiuo atveju schema yra tik ρ-stabili irtodėl diskretieji tvermės dėsniai jau nebegalioja. Pateikti skaitinių eksperimentų rezultatai
Klasifikavimas realaus nuotolinio stebėjimo vaizdo, padengto debesimis
No full textIn this paper supervised classification method is proposed. It is based on Bayes discriminant functions (BDF) and it deals with the problem of optimal classification for images, which are corrupted by natural phenomenon such as cloud, smoke or fog. Solving such a problem is very important when we have remotely sensed information, which very often is corrupted by clouds. For example, the remotely sensed images from the territory of Lithuania are very often corrupted by clouds. The idea of classification, using BDF with incorporated spatial dependency between the observation to be classified and the training sample is presented in earlier works of the author. The novelty of this paper is the method how to use these methods for the real situation, i.e. for the remotely sensed image which is naturally covered by clouds. Visual and numerical results are presented in this paper, which show the advantage of this method against BDF ignoring spatial dependency between training sample and observation to be classified and against the method using grey level cooccurrence matrices.Klasifikavimas realaus nuotolinio stebėjimo vaizdo, padengto debesimisDarbe pasiūlyta klasifikavimo su mokymu metodika, paremta Bajeso diskriminantinėmis funkcijomis (BDF), skirta optimaliai klasifikuoti vaizdams, kurie yra sugadinti tokių reiškinių kaip debesys, dūmai ar rūkas. Problemos išsprendimas yra ypač aktualus tada, kai turime palydovinių nuotraukų informaciją, kur gana dažnai vaizdas yra padengtas debesimis. Vaizdo klasifikavimo idėja, naudojant BDF su inkorporuota erdvine priklausomybe tarp klasifikuojamo stebinio ir mokymo imties, yra aprašyta ankstesniuose autorės darbuose. Šio darbo naujumas yra tas, jog siūloma metodika yra pritaikyta realiai situacijai, t. y., nuotolinio stebėjimo vaizdui natūraliai sugadintam debesimis. Darbe pateikti vaizdiniai ir skaitiniai rezultatai rodo pasiūlytos metodikos pranašumą prieš BDF, ignoruojančias erdvinę priklausomybę ir prieš GLCM metodus
Akcijų biržos modelio interneto pagrindu eksperimentinis tyrimas
No full textIn this paper, the updated model USEGM simulating the stock exchange is investigated. The updated model includes the transaction costs to reflect the reality better. To represent users that prefer linear utility functions, USEGM adds the new models which minimize absolute prediction errors to the traditional ones minimizing square deviations. However, the main objective of USEGM is not forecasting, but simulation of financial time series that are affected by predictions of the participants. The model has been compared with actual financial time series.Šiame straipsnyje tiriamas atnaujintas akcijų biržos modelis USEGM. Šis modelis įvertina finansinių operacijų kainą, tai tiksliau atspindi realias sąlygas. USEGM papildo tradicinius prognozavimo modelius, minimizuojančius kvadratines paklaidas, modeliais, minimizuojančiais absoliutines paklaidas. Tai geriau tinka neutraliems rizikos atžvilgiu vartotojams. Pagrindinis USEGM tikslas yra modeliuoti akcijų kainas, kurios pačios priklauso nuo rinkos dalyvių prognozių, o ne jas prognozuoti.Modelio rezultatai lyginami su realiomis finansinėmis eilutėmis
Drūkšių ežero (Ignalinos AE aušintuvo) ichtiocenozės dinamika
Get PDFThis article describes the existing Drūkšiai lake ecosystem. After setting up the integrity of this mathematical model (2.1)–(2.2) thermal loads there are simulated Drūkšiai Lake dynamics of the ichthyocenose. It is done by using Runge–Kut IV method from this simulation program “ModelMaker”. The model numerical solutions of F1–F9 are compared with experimental data for the monitoring of fish. This dynamics is simulated by the year 2010 and projected to 2020.Šiame straipsnyje aprašyta Drūkšių ežere egzistuojanti ekosistema. Įvedus į bendrą ichtiocenozės matematinį modelį (1)–(2) šiluminius krūvius modeliuota Drūkšių ežere ichtiocenozės dinamika Rungės–Kuto IV metodu pasinaudojus imitacinio modeliavimo programa „ModelMaker“. Gauti modelio skaitiniai sprendiniai F1–F9 palyginti su žuvų monitoringo eksperimentiniais duomenimis. Ichtiocenozės dinamika modeliuota iki 2010 metų, o prognozuota iki 2020-ųjų
Dinaminių slopintuvų taikymas sistemai su apribotu žadinimu
Get PDFThe model of dynamic damper was applied for suppression of oscillations of the nonlinear mechanical system.Su virpesiais susiduriame visose žmogaus gyvenimo ir veiklos srityse: technikoje, biologijoje, medicinoje ir net visuomeniniame gyvenime. Nagrinėjama autonominė sistema su apribotu žadinimu gali būti dinaminiu modeliu daugeliui techninių objektų, nes įvairūs funkcionalinės paskirties prietaisai, įtaisai, mašinos turi vienodų tipų dinaminius modelius. Vienas iš būdų kovoti su žalingais virpesiais yra dinaminių slopintuvų taikymas. Dinaminiai slopintuvai turi tokį privalumą, kad jų panaudojimas nereikalauja esminių konstrukcinių pakeitimų. Jei pagrindinę masę veikianti jėga iššaukia pavojingai dideles virpesių amplitudes, tai prijungus dinaminį slopintuvą, t. y. papildomą masę, galima žymiai sumažinti pagrindinės masės ampitudę
Skaitmeninio vaizdo elementų programavimo aspektai
Get PDFThis article describes a realization of the mathematics and informatics subjects by using visual objective programming facilities. For solving advanced computer graphics tasks, seems comfortable to use new estimated mathematics programs and packages, which already are enriched with digital image processing tools, allowing to create, paint and animate a various objects of the real world on computer screen, to extend the products of virtual reality. The described image reconstructionalgorithms have been evaluated on the basis of computer simulations.Straipsnis yra skirtas matematikos ir informatikos studijų dalykų įsisavinimui vizualinio objektinio programavimo priemonėmis. Kompiuterių grafikos uždavinių sprendimui patogu naudoti naujus skaičiuojamosios matematikos programinius paketus, kurie jau yra praturtinti skaitmeninių vaizdų apdorojimo įrankiais, naujomis funkcijomis ir objektais, leidžiančiais sukurti, spalvinti ir animuoti įvairius realaus pasaulio objektus kompiuterio ekrane, simuliuoti ir naudoti virtualiosios realybės produktus
Studentų žinių norminių ir kriterinių vertinimų derinimas
Get PDFAny evaluation of knowledge is performed in accordance with one of the two principles of evaluation – normative or criteria. An evaluation criterion is based on student’s knowledge (abilities, skills, competencies) comparison with certain standards usually described in a programme of a subject. Knowledge of students of almost all Lithuanian universities is evaluated in such principle. Another evaluation – normative – provides a comparison of outcomes with each other. For example, students are assessed in state examinations. Theoretical and practical aspects of normative evaluation and possibilities to apply them to assess students’ knowledge are discussed in this article.Bet kuris žinių vertinimo kiekybinių rezultatų interpretavimas atliekamas laikantis vieno iš dviejų principų – kriterinio arba norminio. Kriterinis vertinimas remiasi studento žinių (gebėjimų, įgūdžių, kompetencijų) palyginimu su tam tikrais standartais, dažniausiai aprašytais dalyko programoje. Taip vertinamos beveik visų Lietuvos universitetų studentų žinios. Kitas vertinimas – norminis – numato pasiekimų palyginimą tarpusavyje. Taip, pavyzdžiui, vertinami moksleiviai valstybiniuose brandos egzaminuose. Straipsnyje aptarti norminių vertinimų teoriniai ir praktiniai aspektai, galimybės juos taikyti studentų žinioms vertinti
Šturmo ir Liuvilio uždavinio su nelokaliosiomis integralinėmis sąlygomis tyrimas
No full textThis paper presents some new results on the spectrum of a complex plane for the second order Finite-Difference Scheme with one integral type nonlocal boundary condition (NBC). We analyze how complex eigenvalues of these problems depend on the parameters of the integral NBC. The integral conditions are approximated by the trapezoidal rule or by Simpson’s rule.Straipsnyje pateikiami nauji rezultatai, gauti tiriant antros eilės baigtinių skirtumų schemos su viena integraline nelokaliąja sąlyga kompleksinės spektro dalies struktūrą. Ištirta kompleksinių tikrinių reikšmių priklausomybė nuo nelokaliųjų sąlygų parametrų. Integralinės sąlygos aproksimuojamos dviem būdais: trapecijų arba Simpsono formule
Dvimatės parabolinės lygties su dviem nelokaliosiomis integralinėmis sąlygomis sprendimas
No full textTwo-dimensional parabolic equation with nonlocal integral boundary conditions in a rectangle domain in this paper is solved by alternating direction method. To find the solutions of this problem we are looking to solve a linear system of equations. This algorithm is realized on particular example and assess the error of solution.Straipsnyje išnagrinėtas dvimatės parabolinės lygties su nelokaliosiomis integralinėmis kraštinėmis sąlygomis sprendimas kintamųjų krypčių metodu. Uždavinio sprendinį randame išsprendę tiesinę lygčių sistemą. Pateikti skaitinio eksperimento rezultatai