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

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

筛选
英文 中文
Methods and Algorithms for Increasing Linked Data Expressiveness (Overview) 提高关联数据表达性的方法和算法(概述)
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-808-834
O. Nevzorova
{"title":"Methods and Algorithms for Increasing Linked Data Expressiveness (Overview)","authors":"O. Nevzorova","doi":"10.26907/1562-5419-2020-23-4-808-834","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-808-834","url":null,"abstract":"This review discusses methods and algorithms for increasing linked data expressiveness which are prepared for Web publication. The main approaches to the enrichment of ontologies are considered, the methods on which they are based and the tools for implementing the corresponding methods are described.The main stage in the general scheme of the related data life cycle in a cloud of Linked Open Data is the stage of building a set of related RDF- triples. To improve the classification of data and the analysis of their quality, various methods are used to increase the expressiveness of related data. The main ideas of these methods are concerned with the enrichment of existing ontologies (an expansion of the basic scheme of knowledge) by adding or improving terminological axioms. Enrichment methods are based on methods used in various fields, such as knowledge representation, machine learning, statistics, natural language processing, analysis of formal concepts, and game theory.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123869297","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
Stability Studies of a Coupled Model to Perturbation of Initial Data 初始数据扰动下耦合模型的稳定性研究
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-615-633
K. Belyaev, G. Mikhaylov, A. Salnikov, N. Tuchkova
{"title":"Stability Studies of a Coupled Model to Perturbation of Initial Data","authors":"K. Belyaev, G. Mikhaylov, A. Salnikov, N. Tuchkova","doi":"10.26907/1562-5419-2020-23-4-615-633","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-615-633","url":null,"abstract":"The stability problem is considered in terms of the classical Lyapunov definition. For this, a set of initial conditions is set, consisting of their preliminary calculations, and the spread of the trajectories obtained as a result of numerical simulation is analyzed. This procedure is implemented as a series of ensemble experiments with a joint MPI-ESM model of the Institute of Meteorology M. Planck (Germany). For numerical modeling, a series of different initial values of the characteristic fields was specified and the model was integrated, starting from each of these fields for different time periods. Изучались экстремальные характеристики уровня океана за период 30 лет. The statistical distribution was built, the parameters of this distribution were estimated, and the statistical forecast for 5 years in advance was studied. It is shown that the statistical forecast of the level corresponds to the calculated forecast obtained by the model. The localization of extreme level values was studied and an analysis of these results was carried out. Numerical calculations were performed on the Lomonosov-2 supercomputer of Lomonosov Moscow State University.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130227134","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
Separating Input/Output Automata With Nondeterministic Behavior 具有不确定性行为的输入/输出自动机的分离
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-634-655
I. B. Bourdonov, N. Yevtushenko, A. Kossatchev
{"title":"Separating Input/Output Automata With Nondeterministic Behavior","authors":"I. B. Bourdonov, N. Yevtushenko, A. Kossatchev","doi":"10.26907/1562-5419-2020-23-4-634-655","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-634-655","url":null,"abstract":"When deriving tests for checking functional and nonfunctional requirements for components of control systems, the notion of separablity becomes very important that is used for distinguishing the fault-free component from a faulty one. In order to do this, proper separating sequences are utilized. Such sequences are well studied for complete and deterministic Finite State Machines but components of control systems can be only partially described and their behavior can be nondeterministic. In this paper, we consider the formal model of Input/Output automata, introduce the notion of a separating sequence for two such automata and propose an approach for deriving such a separating sequence.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134360159","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}
引用次数: 2
Application of Supercomputer Technologies for Long-Term Modeling of Permafrost Boundaries in the Oil and Gas Fields of the Arctic 超级计算机技术在北极油气田永久冻土边界长期模拟中的应用
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-848-865
M. Filimonov, N. Vaganova, E. Akimova, V. Misilov
{"title":"Application of Supercomputer Technologies for Long-Term Modeling of Permafrost Boundaries in the Oil and Gas Fields of the Arctic","authors":"M. Filimonov, N. Vaganova, E. Akimova, V. Misilov","doi":"10.26907/1562-5419-2020-23-4-848-865","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-848-865","url":null,"abstract":"A model of propagation of thermal fields in permafrost from various engineering objects operating in Arctic regions is considered. The proposed model includes the most significant technical and climatic parameters affecting the formation of thermal fields in the surface layer of the soil. The main objective of the study is a long-term forecasting of changes in the dynamics of permafrost boundaries during operation of cluster sites of northern oil and gas fields. Such a forecast is obtained by simulation of complex system consisting of heat or cold sources and frozen soil, thawing of which can lead to the loss of the bearing capacity and possible technogenic and environmental accidents. For example, the sources of heat can be production wells, and the sources of cold can be seasonal cooling devices that are used to stabilize the soil. To minimize the impact of heat sources on permafrost, various options for thermal insulation are used, and to preserve the original temperature regime of the top layer of soil, riprap materials consisting of sand, concrete, foam concrete, or other heat insulating material are used. The developed set of programs was used in the design of 12 northern oil and gas fields. To solve the described problem in a complex three-dimensional area, substantial computational resources are required. The computing time of one variant can often exceed 10–20 hours of machine time on a supercomputer. To speed up the numerical calculations, multi-core processors are used. Numerical calculations illustrate the possibility of a developed set of programs for making long-term forecasts for determining changes in the boundaries of the permafrost zones, and show that on multi-core processors it is possible to achieve acceleration close to the theoretical one.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123630017","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
Monitoring Mobile Information Processing Systems 监测移动信息处理系统
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.20948/abrau-2019-81
O. Panarin, Igor Zacharov
{"title":"Monitoring Mobile Information Processing Systems","authors":"O. Panarin, Igor Zacharov","doi":"10.20948/abrau-2019-81","DOIUrl":"https://doi.org/10.20948/abrau-2019-81","url":null,"abstract":"We describe the implementation of the monitoring for the IT systems at the core of the autonomous driving vehicle. The role of the monitoring is to assist in decision to start the driving cycle and continuous assessment for the fitness to drive the vehicle. The requirements for the monitoring system with the increased resiliency and data replication make it sufficiently different from standard monitoring systems and warrant a unique implementation tuned for the autonomous driving requirements. The monitoring system combines the OS events and real-time measurements of sensor data. The information is stored in flat files for emergency access as well as in a Time Series Data Base (TSDB).","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124483774","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}
引用次数: 2
Refal on Server Side 服务器端拒绝
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-697-707
A. Gusev
{"title":"Refal on Server Side","authors":"A. Gusev","doi":"10.26907/1562-5419-2020-23-4-697-707","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-697-707","url":null,"abstract":"This work is devoted to the description of the project of updating the technology of algorithmic language application created in the USSR in the 60s of the XX century by V. F. Turchin. The language was originally intended for various logical transformations primarily of text material. In practice, the scope was wider: machine translation, optimization and compilation of programs, proof of theorems, modeling of complex electronic circuits, solving a number of problems of artificial intelligence. The language now has a sufficient number of followers, mainly in scientific circles.The objective of the described project is to create a product that allows the use of Refal in modern mass applications and to expand the range of its potential users to the entire Internet. A survey of the community of users and developers of Refal was conducted in order to get an idea of the current state of Affairs, current implementations and ways of language development. Possible means of project implementation were considered. No information was received on similar developments under way.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130548480","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
Web Based System for Program Analysis and Transformation in Optimizing Parallelizing System 基于Web的并行系统优化程序分析与转换系统
Russ. Digit. Libr. J. Pub Date : 2020-05-28 DOI: 10.26907/1562-5419-2020-23-4-576-593
A. Bagly
{"title":"Web Based System for Program Analysis and Transformation in Optimizing Parallelizing System","authors":"A. Bagly","doi":"10.26907/1562-5419-2020-23-4-576-593","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-4-576-593","url":null,"abstract":"Experience of designing different variants for web-based development environment (IDE) for Optimizing parallelizing system and compiler for reconfigurable architecture is described. Designed system is based on existing tools and frameworks such as Jupyter Notebook and Eclipse Che. Set of requirements for Optimizing parallelizing system components is developed to make it possible to integrate them into web-based development environment accessible through the Internet. Designing portable environment for compiler development, compiler technology demonstration and teaching parallel program development is also described. Examples of performing newly developed program transformations are shown to be used during program optimizations for FPGA inside the designed web environment. Means of program transformation visualization are described for use with Jupyter Notebook. The work shown demonstrates possibility to organize remote access to library of instruments and tools for program optimizations currently under development that would be convenient for application developers.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129612470","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
Building a Publishing Toolkit for Multimedia Sciece Journals 构建多媒体科学期刊出版工具包
Russ. Digit. Libr. J. Pub Date : 2020-05-09 DOI: 10.26907/1562-5419-2020-23-3-292-314
N. Borisov, V. Zakharkina, I. Mbogo, D. Prokudin, P. Shcherbakov
{"title":"Building a Publishing Toolkit for Multimedia Sciece Journals","authors":"N. Borisov, V. Zakharkina, I. Mbogo, D. Prokudin, P. Shcherbakov","doi":"10.26907/1562-5419-2020-23-3-292-314","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-3-292-314","url":null,"abstract":"This article discusses approaches to the creation of an electronic scientific journal tool platform that provides the publication of multimedia materials through a web interface. The problems associated with the need to include multimedia data of different types are described and a working prototype of the multimedia of the scientific journal is presented.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127768297","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
Strong and Weak Relations in the Academic Web 学术网络中的强弱关系
Russ. Digit. Libr. J. Pub Date : 2020-05-09 DOI: 10.26907/1562-5419-2020-23-3-526-542
A. Pechnikov
{"title":"Strong and Weak Relations in the Academic Web","authors":"A. Pechnikov","doi":"10.26907/1562-5419-2020-23-3-526-542","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-3-526-542","url":null,"abstract":"The web graph is the most popular model of real Web fragments used in Web science. The study of communities in the web graph contributes to a better understanding of the organization of the fragment of the Web and the processes occurring in it. It is proposed to allocate a communication graph in a web graph containing only those vertices (and arcs between them) that have counter arcs, and in it to investigate the problem of splitting into communities. By analogy with social studies, connections realized through edges in a communication graph are proposed to be called \"strong\" and all others \"weak\". Thematic communities with meaningful interpretations are built on strong connections. At the same time, weak links facilitate communication between sites that do not have common features in the field of activity, geography, subordination, etc., and basically preserve the coherence of the fragments of the Web even in the absence of strong links. Experiments conducted for a fragment of the scientific and educational Web of Russia show the possibility of meaningful interpretation of the results and the prospects of such an approach.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133011370","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
Leveraging Semantic Markups for Incorporating External Resources Data to the Content of a Web Page 利用语义标记将外部资源数据合并到Web页面的内容
Russ. Digit. Libr. J. Pub Date : 2020-05-09 DOI: 10.26907/1562-5419-2020-23-3-494-513
E. L. Kitaev, R. Skornyakova
{"title":"Leveraging Semantic Markups for Incorporating External Resources Data to the Content of a Web Page","authors":"E. L. Kitaev, R. Skornyakova","doi":"10.26907/1562-5419-2020-23-3-494-513","DOIUrl":"https://doi.org/10.26907/1562-5419-2020-23-3-494-513","url":null,"abstract":"The semantic markups of the World Wide Web have accumulated a large amount of data and their number continues to grow. However, the potential of these data is, in our opinion, not fully utilized. The semantic markups contents are widely used by search systems, partly by social networks, but the usual approach to using that data by application developers is based on converting data to RDF standard and executing SPARQL queries, which requires good knowledge of this language and programming skills. In this paper, we propose to leverage the semantic markups available on the Web to automatically incorporate their contents to the content of other web pages. We also present a software tool for implementing such incorporation that does not require a web page developer to have knowledge of any programming languages ​​other than HTML and CSS. The developed tool does not require installation, the work is performed by JavaScript plugins. Currently, the tool supports semantic data contained in the popular types of semantic markups “microdata” and JSON-LD, in the tags of HTML documents and the properties of Word and PDF documents.","PeriodicalId":235410,"journal":{"name":"Russ. Digit. Libr. J.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123787883","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学术官方微信