Poisson approximation for the sum of independent random variables is investigates in this paper.
本文研究了独立随机变量和的泊松近似。
{"title":"Netolygūs įverčiai puasoninėje aproksimacijoje","authors":"Kazimieras Padvelskis","doi":"10.15388/lmr.2006.30801","DOIUrl":"https://doi.org/10.15388/lmr.2006.30801","url":null,"abstract":"Poisson approximation for the sum of independent random variables is investigates in this paper.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"122 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":"136238099","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}
{"title":"On the Mellin transforms of the fourth power of the Riemann zeta-function","authors":"Violeta Balinskaitė","doi":"10.15388/lmr.2006.30551","DOIUrl":"https://doi.org/10.15388/lmr.2006.30551","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"78 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":"136238512","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}
{"title":"Sekvencinis skaičiavimas hibridinei logikai","authors":"Stanislovas Norgėla, Anželika Šalaviejienė","doi":"10.15388/lmr.2006.30717","DOIUrl":"https://doi.org/10.15388/lmr.2006.30717","url":null,"abstract":"There is not abstract","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"143 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":"136238679","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}
A functional central limit theorem for self-normalized adaptive process U−1m,N ζn is considered, where Um,N is a sum of squares of block-sums of size m, as m and the number of blocks N = n/m tend to infinity.
考虑自归一化自适应过程U−1m,N ζn的泛函中心极限定理，其中Um,N是大小为m的块和的平方和，当m和块数N = N /m趋于无穷时。
{"title":"Invariance principle for independent random variables with infinite variance","authors":"Mindaugas Juodis","doi":"10.15388/lmr.2006.30795","DOIUrl":"https://doi.org/10.15388/lmr.2006.30795","url":null,"abstract":"A functional central limit theorem for self-normalized adaptive process U−1m,N ζn is considered, where Um,N is a sum of squares of block-sums of size m, as m and the number of blocks N = n/m tend to infinity.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"36 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":"136238699","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}
The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.
{"title":"Induktyvinis metodas komponentinių programų sintezėje","authors":"Vaidas Giedrimas","doi":"10.15388/lmr.2006.30586","DOIUrl":"https://doi.org/10.15388/lmr.2006.30586","url":null,"abstract":"The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"145 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":"136238836","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}
{"title":"Stimuliuojama dinamika ir jos modeliavimas","authors":"Robertas Alzbutas, Vytautas Janilionis","doi":"10.15388/lmr.2006.30732","DOIUrl":"https://doi.org/10.15388/lmr.2006.30732","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"78 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":"136239923","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}
{"title":"Sekvencinis skaičiavimas propozicinei tikėtinumo logikai","authors":"Romas Alonderis","doi":"10.15388/lmr.2006.30714","DOIUrl":"https://doi.org/10.15388/lmr.2006.30714","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"92 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":"136240087","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}
There are presented the model of the phototransistors and evaluated their non-linearity‘s. For simulation non-linearity‘s influence in a signal distortion the functional Voltera series are developed.
{"title":"Fototranzistorių matematinis modeliavimas","authors":"Julija Anilionienė","doi":"10.15388/lmr.2006.30733","DOIUrl":"https://doi.org/10.15388/lmr.2006.30733","url":null,"abstract":"There are presented the model of the phototransistors and evaluated their non-linearity‘s. For simulation non-linearity‘s influence in a signal distortion the functional Voltera series are developed.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"4 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":"136240342","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}
The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application. The main contribution of the paper is the methodology to develop representative examples that could be used to evaluate the sufficiency of specification language for specification of software system requirements.
{"title":"Reprezentatyvių pavyzdžių specifikavimo kalbų funkcionalumui vertinti konstravimas","authors":"Jelena Gasperovič","doi":"10.15388/lmr.2006.30585","DOIUrl":"https://doi.org/10.15388/lmr.2006.30585","url":null,"abstract":"The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application. The main contribution of the paper is the methodology to develop representative examples that could be used to evaluate the sufficiency of specification language for specification of software system requirements.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"42 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":"136240500","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}
{"title":"Redakcinė kolegija ir turinys","authors":"Artūras Štikonas","doi":"10.15388/lmr.2006.31741","DOIUrl":"https://doi.org/10.15388/lmr.2006.31741","url":null,"abstract":"","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"92 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":"136102138","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：