发布求助
文献互助 智能选刊 最新文献

Lietuvos Matematikos Rinkinys最新文献

筛选
英文 中文
Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui 利用顺序计算实现 BDI 代理
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30715
Adomas Birstunas
{"title":"Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui","authors":"Adomas Birstunas","doi":"10.15388/lmr.2006.30715","DOIUrl":"https://doi.org/10.15388/lmr.2006.30715","url":null,"abstract":"BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but authors do not talk about implementation issues [5,2,4,8,1]. There is even known general agent implementation scheme, which do not describe howto use formal logic for such scheme implementation [12]. The main aim of this paper is to show the bridge, which connects formal and practical parts of logic. We describe how sequent calculus can be used for implementing some parts of general scheme. In this paper, we show how flexible constraints can be implemented. Sequent calculus usage is illustrated with simple examples.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The peculiarities of mathematic communication of the eight-formers 八年级学生数学交流的特点
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30626
Viktorija Sičiūnienė
{"title":"The peculiarities of mathematic communication of the eight-formers","authors":"Viktorija Sičiūnienė","doi":"10.15388/lmr.2006.30626","DOIUrl":"https://doi.org/10.15388/lmr.2006.30626","url":null,"abstract":"The national research of 2005 revealed that in the eighth form the achievements in algebra are lower than in other fields of mathematics. The results of the boys are statistically much lower compared to the girls (the author of the article is a member of the research group). The possibility of the eighth-formers (boys and girls) to solve problems in algebra are analyzed and compared in the article. The research included 2146 students. The students were given 16 problems to solve and the girls coped with them approximately 7–12 percent better than the boys. The girls compared with the boys, performed standard operations better, made less mistakes in combining them, and most often carried out them consecutively. The boys did not solve problems and exercises in mathematics especially if the tasks had operations with fractions. The tasks of concrete content containing small numbers were tried to be solved more by the boys. However, to solve them the boys most frequently choose an arithmetic way and wrote down only the answer. It is evident that the period of transition from concrete perception to the abstract one is at an average later for boys than girls. Boys accept loads of abstract notions in algebra more difficult. The authors of textbooks and teachers should pay attention to is phenomenon.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Discrete logarithm problem in matrix 矩阵中的离散对数问题
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30588
Povilas Tvarijonas, Gediminas Simonas Dosinas, Eligijus Sakalauskas
{"title":"Discrete logarithm problem in matrix","authors":"Povilas Tvarijonas, Gediminas Simonas Dosinas, Eligijus Sakalauskas","doi":"10.15388/lmr.2006.30588","DOIUrl":"https://doi.org/10.15388/lmr.2006.30588","url":null,"abstract":"In this paper the discrete logarithm problem in matrix in finite fields is formulated, possible ways of solution are given.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240337","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Osculating paraboloid 密切抛物面
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30577
Kazimieras Navickis
{"title":"Osculating paraboloid","authors":"Kazimieras Navickis","doi":"10.15388/lmr.2006.30577","DOIUrl":"https://doi.org/10.15388/lmr.2006.30577","url":null,"abstract":"Osculating paraboloid of second order have been studied in classical differential geometry. In this article we generalize this concept to osculating paraboloids of higher order. This yields a visualization of the local properties of a given surface which depend on the derivatives of higher order.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Rymano–Hilberto kraštinis uždavinys daugiamatėms elipsinėms sistemoms 多变量椭圆系统的雷曼-希尔伯特边界值问题
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30573
Eugenijus Paliokas
{"title":"Rymano–Hilberto kraštinis uždavinys daugiamatėms elipsinėms sistemoms","authors":"Eugenijus Paliokas","doi":"10.15388/lmr.2006.30573","DOIUrl":"https://doi.org/10.15388/lmr.2006.30573","url":null,"abstract":"Multidimensional analogues of Cauchy–Riemann quations and of Riemann–Hilbert boundary value problem are studied. Their relation to the scalar boundary value problem is demonstrated.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parametrų įvertinimas L1 normos metodu stochastiniame tiesiniame su vėlinimu augimo modelyje 带延迟的随机线性增长模型中的 L1 准则法参数估计
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30772
Petras Rupšys
{"title":"Parametrų įvertinimas L1 normos metodu stochastiniame tiesiniame su vėlinimu augimo modelyje","authors":"Petras Rupšys","doi":"10.15388/lmr.2006.30772","DOIUrl":"https://doi.org/10.15388/lmr.2006.30772","url":null,"abstract":"This paper considered deterministic and stochastic delayed linear growth laws for the modeling of the process of growth. For the estimation of parameters the L1 distance procedure was proposed. As an illustrative experience was used a real data set from repeated measurements on permanent sample plots of pine stands in Lithuania.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Apie funkcionalinę lygtį susijusią su vienetinio skritulio automorfizmu 关于与单位圆自形变相关的函数方程
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30568
Eduardas Kirjackis
{"title":"Apie funkcionalinę lygtį susijusią su vienetinio skritulio automorfizmu","authors":"Eduardas Kirjackis","doi":"10.15388/lmr.2006.30568","DOIUrl":"https://doi.org/10.15388/lmr.2006.30568","url":null,"abstract":"In this article the complete description of the decisions of a functional equation(1 + ¯ζeiθ z)pf (z) = f (ω(0))f (z)is given, where ω(z) = (eiθ z + ζ )/(1 + ¯ζeiθ z) – automorphism of a unit circle E and the decisions are searched among analytical in E functions. It is established, that research of a given functional equation is closely connected to property of stationary points of automorpism ω(z).","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136239005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Zacharijus Niemčevskis – Vilniaus universtiteto aukštosios matematikos profesorius (1797–1820) 扎卡里-尼姆切夫斯基--维尔纽斯大学高等数学教授（1797-1820 年）
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30630
Evaldas Gečiauskas
{"title":"Zacharijus Niemčevskis – Vilniaus universtiteto aukštosios matematikos profesorius (1797–1820)","authors":"Evaldas Gečiauskas","doi":"10.15388/lmr.2006.30630","DOIUrl":"https://doi.org/10.15388/lmr.2006.30630","url":null,"abstract":"Zacharij Niemcevski (1766–1820) was a professor of higher mathematics at the Vilnius university in the period from 1797 until 1820. He was a member correspondent of Societe Academique des sciences and Academie Imperial des Sciences de Turin. Niemcevski tought differential and integral calculus by the tracktate of S.F. Lacroix, analytic geomety – by J.B. Biot, and mechanics – by L.B. Francoeur. His investigations on the Lithuanian language was published in the tractate of K. Malte Brun.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stočių išdėstymo algoritmo analizė 台站定位算法分析
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30759
Saulius Lazaravičius, Narimantas Listopadskis
{"title":"Stočių išdėstymo algoritmo analizė","authors":"Saulius Lazaravičius, Narimantas Listopadskis","doi":"10.15388/lmr.2006.30759","DOIUrl":"https://doi.org/10.15388/lmr.2006.30759","url":null,"abstract":"The analysis of ACO algorithm for transmitters locating problem is presented in this paper.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Eksperimentas edukologijoje: patirtis ir perspektyvos 教育实验：经验与观点
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30624
Aušra Rutkienė
{"title":"Eksperimentas edukologijoje: patirtis ir perspektyvos","authors":"Aušra Rutkienė","doi":"10.15388/lmr.2006.30624","DOIUrl":"https://doi.org/10.15388/lmr.2006.30624","url":null,"abstract":"The article investigates typical educational research mistakes as well as objective and subjective grounds for them. It attempts to hypothetically define methodological procedures which would enable the mitigation of the consequences of mistakes and the achievement of methodologically mature results of educational experimentation. The research has been based on the analysis of experiments in Lithuanian dissertations on education.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"286 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信