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

Russ. Digit. Libr. J.最新文献

筛选
英文 中文
Investigation of Data Dependencies by Dynamic Analysis of Sapfor 基于Sapfor动态分析的数据依赖性研究
Russ. Digit. Libr. J. Pub Date : 2020-05-09 DOI: 10.26907/1562-5419-2020-23-3-473-493
N. Kataev, A. Smirnov, A. Zhukov
{"title":"Investigation of Data Dependencies by Dynamic Analysis of Sapfor","authors":"N. Kataev, A. Smirnov, A. Zhukov","doi":"10.26907/1562-5419-2020-23-3-473-493","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-3-473-493","url":null,"abstract":"The use of pointers and indirect memory accesses in the program, as well as the complex control flow are some of the main weaknesses of the static analysis of programs. The program properties investigated by this analysis are too conservative to accurately describe program behavior and hence they prevent parallel execution of the program. The application of dynamic analysis allows us to expand the capabilities of semi-automatic parallelization. In the SAPFOR system (System FOR Automated Parallelization), a dynamic analysis tool has been implemented, based on on the instrumentation of the LLVM representation of an analyzed program, which allows the system to explore programs in both C and Fortran programming languages. The capabilities of the static analysis implemented in SAPFOR are used to reduce the overhead program execution, while maintaining the completeness of the analysis. The use of static analysis allows to reduce the number of analyzed memory accesses and to ignore scalar variables, which can be explored in a static way. The developed tool was tested on performance tests from the NAS Parallel Benchmarks package for C and Fortran languages. The implementation of dynamic analysis, in addition to traditional types of data dependencies (flow, anit, output), allows us to determine privitizable variables and a possibility of pipeline execution of loops. Together with the capabilities of DVM and OpenMP these greatly facilitates program parallelization and simplify insertion of the appropriate compiler directives.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132826539","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
Application of Cloud Technologies in Teaching Future Mathematical Teachers 云技术在未来数学教师教学中的应用
Russ. Digit. Libr. J. Pub Date : 2020-04-21 DOI: 10.26907/1562-5419-2020-23-1-2-239-243
Ivan Linnik
{"title":"Application of Cloud Technologies in Teaching Future Mathematical Teachers","authors":"Ivan Linnik","doi":"10.26907/1562-5419-2020-23-1-2-239-243","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-239-243","url":null,"abstract":"The article discusses the main positions of using the methodological system of teaching the basics of mathematical informatics of future teachers of mathematics. Cloud technologies are considered as one of the means of learning and as an object of study.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114507965","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
Using the Python Possibilities in Studying of the Mathematical Subjects in Technical Higher Education Python在高等技术教育数学学科学习中的应用
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-6-13
B. Akishin
{"title":"Using the Python Possibilities in Studying of the Mathematical Subjects in Technical Higher Education","authors":"B. Akishin","doi":"10.26907/1562-5419-2020-23-1-2-6-13","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-6-13","url":null,"abstract":"Opportunities are investigated and examples are provided of using Python libraries at the solution of the typical mathematical tasks. Features of interpretation of the received results are analyzed.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123234210","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
Teaching Geometry Using the Opportunities of the Living Mathematics Program 利用“生活数学”计划的机会进行几何教学
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-83-92
E. Alekseeva, M. Vasilieva, Yulia Nikolaevna Kashitsyna
{"title":"Teaching Geometry Using the Opportunities of the Living Mathematics Program","authors":"E. Alekseeva, M. Vasilieva, Yulia Nikolaevna Kashitsyna","doi":"10.26907/1562-5419-2020-23-1-2-83-92","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-83-92","url":null,"abstract":"The article is devoted to the use of digital educational resources in the process of teaching mathematics in a primary school. The possibility of using the ”Living Mathematics” electronic educational-methodical set with teaching guidelines on the topic ”Remarkable points of a triangle. Euler's line”. The article is addressed to teachers and students of pedagogical universities, methodologists, teachers of mathematics.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133345736","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
Using Web-Quest Technology in Cybersecurity Training Web-Quest技术在网络安全培训中的应用
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-195-201
O. Troitskaya, E. Vohtomina
{"title":"Using Web-Quest Technology in Cybersecurity Training","authors":"O. Troitskaya, E. Vohtomina","doi":"10.26907/1562-5419-2020-23-1-2-195-201","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-195-201","url":null,"abstract":"The need for schoolchildren to develop safe behavior skills in cyberspace is justified in the article. One way is to use web-quest technology. The article contains a brief description of this technology and an example of its use in teaching the basics of cybersecurity.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134457418","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
Teaching Mathematical Disciplines Under Digitalization 数字化背景下的数学学科教学
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-177-186
A. Sinchukov
{"title":"Teaching Mathematical Disciplines Under Digitalization","authors":"A. Sinchukov","doi":"10.26907/1562-5419-2020-23-1-2-177-186","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-177-186","url":null,"abstract":"The article focuses on the issues of modernizing the teaching of mathematical disciplines in the context of the digitalization of pedagogical objects: the educational process, methodological systems for teaching mathematical disciplines, educational paths for the development of key and subject competencies in the field of mathematics, mathematical and simulation modeling. The demand for digital technologies and digital products for the practice of mathematical preparation of the future bachelor is noted. From a methodological and research point of view, digital technologies are described that are essential for improving the quality of mathematical training.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124654743","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}
引用次数: 1
Teaching Mathematical Disciplines Under Digitalization 数字化背景下的数学学科教学
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-25-35
D. Vlasov
{"title":"Teaching Mathematical Disciplines Under Digitalization","authors":"D. Vlasov","doi":"10.26907/1562-5419-2020-23-1-2-25-35","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-25-35","url":null,"abstract":"Within the framework of this article, the content of applied mathematical training of an economist in the context of digitalization of economic education will be considered as one of the objects of pedagogical design. Traditionally, the content refers to one of the components of methodological systems, which acts as the main accumulator of the teacher’s pedagogical, didactic and methodological experience. The main directions for improving the applied mathematical training of an economist for working in the digital economy are given. Under the influence of the digitalization trend, basic and variable didactic modules are highlighted.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129644652","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}
引用次数: 1
On Some Aspects of Mathematical Education Content in the Conditions of the Digital Economy 论数字经济条件下数学教育内容的几个方面
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-202-209
Aliya Fatkhullina
{"title":"On Some Aspects of Mathematical Education Content in the Conditions of the Digital Economy","authors":"Aliya Fatkhullina","doi":"10.26907/1562-5419-2020-23-1-2-202-209","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-202-209","url":null,"abstract":"Modern terms set for the education new challenges and for mathematical education in particular. It must give possibility of achievement the necessary level of mathematical knowledge to every student. In this connection the content of mathematical education should be decisive in the transition from competencies to computer competencies and to computer competencies that significantly improve eastern requirements in the digital economy","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127105528","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}
引用次数: 1
Development of Interside Dimensions in the Process of Teaching Mathematics to Future Architects 未来建筑师数学教学过程中内在维度的发展
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-128-136
N. Puchkov, T. Zabavnikova
{"title":"Development of Interside Dimensions in the Process of Teaching Mathematics to Future Architects","authors":"N. Puchkov, T. Zabavnikova","doi":"10.26907/1562-5419-2020-23-1-2-128-136","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-128-136","url":null,"abstract":"The issues of development of intersubject communications at the present stage of the formation of digital education in the preparation of student architects are discussed. The idea of strengthening intersubject communications, mathematics and architecture is defended by a new meaningful replenishment of educational programs, mastering digitalization skills when solving mathematical problems by mathematical methods, and involving elements of competition implemented using Web technologies in educational activities.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125474517","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
Training of a Teacher of Informatics in the Modern Educational Environment of a Pedagogical University 现代师范型大学教育环境下信息学教师的培养
Russ. Digit. Libr. J. Pub Date : 2020-03-03 DOI: 10.26907/1562-5419-2020-23-1-2-65-71
O. Zhigalova
{"title":"Training of a Teacher of Informatics in the Modern Educational Environment of a Pedagogical University","authors":"O. Zhigalova","doi":"10.26907/1562-5419-2020-23-1-2-65-71","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-1-2-65-71","url":null,"abstract":"The paper identifies professional tasks that need to be solved by a computer science teacher in a digital educational environment. The author presents the experience of organizing and supporting research activities of students of pedagogical Universities related to the study of the application of digital technologies in education.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123236359","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学术文献互助群
群 号：604180095
Book学术官方微信