Lietuvos matematikos rinkinys
Not a member yet
1812 research outputs found
Sort by
Lietuvos matematikų draugijos veikla 2014–2017 metais
Get PDFThe article gives a survey of mathematical life and activities of the Lithuanian Mathematical Society during the past three years.Apžvelgiamas matematinis gyvenimas Lietuvoje ir LMD veikla per paskutiniuosius trejus metus
Brodskio kodavimo metodas teiginių logikai
No full textBrodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees. The coding method, presented in the paper, can be used as a decision procedure for propositional logic.
Straipsnyje pateikiamas Brodskio kodavimo metodas teiginių logikai. Šis metodas pagrįstas kodavimo lentele, sudaryta sekvencinio skaičiavimo pagrindu. Remiantis šia lentele, generuojama nagrinėjamos sekvencijos kodų lentelė. Parodoma, kad bet kuri sekvencija yra įrodomą minėtame skaičiavime tada ir tik tada, jei jos kodų lentelė yra p-uždara
Dviejų modelių, aprašančių dimerų katalitinę reakciją kompozitinio katalizatoriaus paviršiuje, palyginimas
No full textIn this paper two mathematical models of the dimer–dimer reaction on supported catalysts are compared. The PDE model describe the bulk diffusion of both reactants and product, adsorption and desorption, the surface diffusion of adsorbates and intermediate. The ODE model is derived from the first, assuming that all materials are well-mixed. The catalytic reactivity, calculated using the PDE and ODE models, is compared for two variants of reactants adsorption and variuos bulk and surface diffusion.
Palyginami du dimerų katalitinės reakcijos, vykstančios kompozitinio katalizatoriaus paviršiuje, modeliai. Dalinių išvestinių modelis aprašo reagentų ir produkto tūrinę bei adsorbatų ir tarpinio produkto paviršinę difuziją, adsorbciją ir desorpciją. Paprastųjų išvestinių modelis išvedamas iš pirmojo, kai reakcijoje dalyvaujančios medžiagos yra vienodai pasiskirsčiusios. Lyginamas abiem metodais apskaičiuotas katalitinis reaktyvumas, keičiant difuzijos koeficientus.
Raktiniai žodžiai: paviršinė reakcija, adsorbcija, desorbcija, spiloveris
Antrosios eilės diferencialinio uždavinio su viena nelokaliąja sąlyga minimalusis sprendinys
No full textIn this paper, we investigate the minimizer of the residual for the second order differential problem with one initial and other nonlocal Bitsadze–Samarskii condition. We obtain the representation of the minimizer and present an example.
Šiame darbe nagrinėsime antrosios eilės diferencialinio uždavinio su viena pradine ir kita nelokaliąja sąlygomis netiktį minimizuojančią funkciją. Gausime šios minimizuojančios funkcijos išraišką ir pateiksime pavyzdį
Multi-agent system for computer science and engineering education
No full textThe paper aims to analyse application trends of intelligent multi-agent systems to personalise learning. First of all, systematic literature review was performed. Based on the systematic review analysis, the main trends on applying multi-agent systems to personalise learning were identified. Second, main requirements and components for an educational multi-agent system were formulated. Third, based on these components a model of intelligent personalized system is proposed. The system employs five intelligent agents: (1) learning styles identification software agent, (2) learner profile creation software agent, (3) pedagogical suitability software agent, (4) optimal learning units/scenarios creation software agent, and (5) learning analytics/educational data mining software agent.Straipsnyje siekiama išanalizuoti intelektualių daugiaagenčių sistemų mokymuisi personalizuoti vystymosi tendencijas, bei siūloma tokios sistemos architektūra. Pirma, buvo atlikta sisteminė mokslinės literatūros analizė. Antra, remiantis sistemine literatūros analize, yra suformuluoti pagrindiniai reikalavimai daugiaagenčiai sistemai mokymo personalizavimui. Trečia, yra siūloma tokios edukacines sistemos architektūra, pagrista penkiais intelektualiais agentais. Jie yra tokie: (1) studento mokymosi stiliaus identifikavimo agentas pagristas mokymosi stilių Soloman–Felder rodyklės klausimynų; (2) studento modeliavimo agentas; (3) rekomenduojantis agentas parenkantis tinkamiausius konkrečiam studentui mokymo objektus/komponentus; (4) optimalaus mokymo scenarijaus kūrimo (komponavimo) iš tinkamų komponentų agentas; (5) duomenų gavybos agentas atnaujinantis ir tikslinantis studento modelį ir personalizuotus scenarijus mokymosi proceso metu
Kubinių algebrinių skaičių multiplikatyvusis priklausomumas
No full textWe provide an infinite family of cubic algebraic integers α such that the set {α + x | x ∈ Z} is multiplicatively dependent.
Šiame darbe nagrinėjamas kubinių algebrinių skaičių multiplikatyviojo priklausomumo klausimas. Įrodoma, kad egzistuoja be galo daug algebrinių skaičių α, su kuriais aibė {α + x | x ∈ Z} yra multiplikatyviai priklausoma
Fundamentali lygtis
No full textVery important and instructive trigonometric equation is considered. The solutionsfrom different manuals and reference books are examined, mistakes of these solutionsare discovered. It is shown how to make the solution of the equation shorter, how to presentthe answer more visually.Supažindinama su svarbia ir pamokoma trigonometrine lygtimi. Apžvelgti mokymo priemonėsepateikti sprendimai, nurodytos tų sprendimų klaidos. Parodyta, kaip galima sprendimą sutrumpinti,vaizdžiau užrašyti atsakymą
Dirbtiniai neuroniniai tinklai personalizuotam mokymuisi
Get PDFThe paper aims to suggest a method of using artificial neural for learning personalisation. Learning personalisation consists form learning style identification then linking it to learning activities and objects which correspond to learning style. But the problem is that learning style identified by questionnaire cannot guarantee adequacy and objectivity. In order to overcome this issue we can use artificial neural network which could analyse learner in learning activities and interactionwith learning objects and correct learning style and scenarios characteristics according to collected information.Darbo paskirtis yra aprašyti metodą, kurio pagalba būtų galima personalizuoti mokymosi procesą panaudojant dirbtinius neuroninius tinklus. Personalizavimas susideda iš mokymosi stiliaus [2] nustatymo klausimyno pagalba bei to stiliaus priskyrimo konkrečiai mokymosi veiklai (objektui, scenarijui). Tačiau lieka esminis klausimas ar teisingai yra nustatytas mokymosi stilius, nes klausimynas nėra labai efektyvus norint gauti tikslią ir išsamią informaciją apie mokinį, todėl yra poreikis turėti mechanizmą, leidžiantį realiu metu stebėti, analizuoti ir kaupti duomenis apie mokinio sąveiką su mokomąja aplinka ir tokiu būdu nuolat koreguoti ir tikslinti mokymosi stilius ir personalizuotus scenarijus (objektus, veiklas)
Adaptyvusis jungtinis sistemos parametrų ir vėlavimo sekimo metodas
No full textThe problem of adaptive joint parameters and the time delay tracking is tackledby processing of input-output observations, when nonstacionary dynamical system has anunknown time delay. The recursive approach based on the method of corrective operatorsis developed for their tracking. Applicability of algorithms is supported by simulation testson a computer.Sprendžiamas adaptyviojo jungtinio nestacionarios sistemos nežinomų parametrų bei vėlavimo sekimopagal stebėjimus uždavinys. Pasiūlytas rekurentinis metodas, grindžiamas koreguojančio operatoriaustaikymu. Pateikti kompiuterinio modeliavimo bei parametrų sekimo rezultatai