Abstract: Virtual research centre of digital preservation in Europe provides a natural basis for long-term consolidation of digital preservation research and expertise. Spatial Data Infrastructure will cover technical methods for preservation, access and most importantly re-use of data holdings over the whole lifecycle; legal and economic issues including costs and governance issues as well as digital rights; and outreach within and outside the consortium to help to create a discipline of data curators with appropriate qualifications. Main tasks of Spatial Data Infrastructure SDI development are building global infrastructure for IT and geodata; satellite information harmonization; usage of agreed upon set of standards; clear documentation describing the parts of the system; interoperability between independently created applications and databases; common standards within their interfaces, protocols and data formats; and finally support of a general data policy for data creation, access, and support of satellite information. Fundamental principle of Russian segment of SDI is providing interoperability – the ability of interaction for heterogeneous services and data catalogues within the bounds of a unified informational system. The Russian segment of distributed informational system has been built on the basis of EOLI-XML and SSE technologies.

Abstract:

Currently, the major part of transmitted and stored data is unstructured, and the amount of unstructured data is growing rapidly each year, although it is hardly searchable, unqueryable, and its processing is not automated. At the same time, there is a growth of electronic document management systems. This paper proposes a solution for extracting data from paper documents considering their structure and layout based on document photos. By examining different approaches, including neural networks and plain algorithmic methods, we present their results and discuss them.

Abstract: Methods of the semantic documents parsing in digital control system of scientific collections, including electronic journals, offered. The methods of processing documents containing mathematical formulas and methods for the conversion of documents from the OpenXML-format in ТеХ-format considered. The search algorithm for the mathematical formulas in the collections of documents stored in OpenXML-format designed. The algorithm is implemented as online-service on platform science.tatarstan.

Abstract: This article discusses the main characteristics of the universality of statistical criteria.

Abstract: The article describes the experience of usage of new mobile map platform «CarryMap» in preparation for the detailed geostructural mapping and geochemical study of the Olon-Obod gold ore cluster (Southern Mongolia). The authors accumulated all types of geological information into a single ArcGIS project. The project contains raster maps, vector maps, and digital geological information. We converted this project in CMF2 and placed on mobile iOS & Android devices.

Abstract: In the article describes the principles of creating an educational space at the master's level that meets new meanings in education, and offers effective forms of interaction of participants in the educational process, corresponding to the selected principles.

Abstract: A description of the user interface elements for native mobile applications with augmented reality. Specifically, an analysis of the different UI components required for augmented reality apps (for example, support of basic gesture recognition for interactions between the application user and 3D objects, possible color combinations), as well as a comparison between these components.

Abstract: In this paper developed model of information-computational system for conducting scientific research based on statistical processing and analysis of spatially distributed geophysical data obtained as results of observations and modeling is presented. Accumulated experience of developing information-computational web-systems providing computational processing and visualization of large archives of geo-referenced data was used during the implementation. Functional capabilities of the model comprise a set of procedures of mathematical and statistical analysis, processing and visualization of data, which allows optimizing of routine calculation tasks. As one of applications of the system being developed program modules for analysis of regional features of main climatic characteristics dynamics and interrelations as well as for graphical representation of results as plots, diagrams and 3-D fields layered on maps of corresponding territories by means of Web GIS technologies were implemented.

Abstract:

The article describes the development of software aimed at processing images of murals of architectural monuments in order to identify defects. For flaw detection, a histogram approach was used – a comparison of the brightness characteristics of two images of frescoes. This method allows you to track the status of architectural monuments with low costs and minimal human involvement. The developed technology is used as part of the protection of the cultural heritage of the island-town of Sviyazhsk.

Abstract: Framework for development of native mobile applications with augmented reality. Analysis of various development spheres: game development, mobile applications development. The concept of a new framework and a set of tools for developing mobile applications with augmented reality is presented.

Abstract:

An approach to automatically recognizing the movement of people at a pedestrian crossing presented in the article. This approach includes two main procedures, for each of which program code commands are given in the C# programming language using the EMGU computer vision library. In the first procedure, pedestrian detection is carried out using a combination of directional gradient histogram and support vector methods. The second procedure allows you to read frames from a video sequence and process them. This approach allows detecting the movements of people at a pedestrian crossing without using specialized neural networks. At the same time, the method proposed in the article demonstrated sufficient reliability of human movement recognition, which indicates its applicability in real conditions.

Abstract: The use of different metaprogramming mechanisms for program libraries development in Java may have some negative effect on build time and end products. The article is aimed to describe metaprogramming mechanisms in the Java language and present the results of experiments that compare the impact of approaches on the build time of small and large projects.

Abstract:

An approach for individualization of education based on automatic generation of individual educational routes and schedule with respect to individual features and wishes of student. A working principle of developed instruments is shown. Question of the application of developed approaches and instruments in higher education are raised.

Abstract:

Relevance of the issue under study is due to tenuity of methods proposed by other researchers that use simple heuristics or machine learning algorithms. The purpose of the article is to provide better way to extract titles from scientific PDF documents and offer better and more reasonable approach to title selection generally. The leading approach to the study is regard as many cases and problems appeared during extraction as possible and find an approach to solve all of them. The results showed the efficiency of chosen approach in case of having a document set with all of considered problems. The research highlights that deep analysis of current task problem is a perspective to make the best solutions and tools. The article may be useful for all researchers and developers who often encounter the problem of document structural analysis or title detection as secondary task of a main program workflow.

Abstract:

This paper presents the experience of verifying client implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol today, designed to create secure data transmission channels. The protocol provides the necessary functionality for its tasks: confidentiality of transmitted data, data integrity, and authentication of the parties. In the new version 1.3 of the TLS architecture was significantly redesigned, eliminating a number of shortcomings of previous versions that were identified both during the development of implementations and during their operation. We used a new test suite for verifying client implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors. The current work is part of the TLS 1.3 protocol verification project and covers TLS client implementations.

Abstract: A number of problems related to the construction of the metadata factory of the digital mathematical library Lobachevskii-DML have been solved. By metadata factory we mean a system of interconnected software tools aimed at creating, processing, storing and managing metadata of digital library objects and allowing integrating created electronic collections into aggregating digital scientific libraries. In order to select the optimal such software tools from existing ones and their modernization:we discussed the features of the presentation of the metadata of documents of various electronic collections related both to the formats used and to changes in the composition and completeness of the set of metadata throughout the entire publication of the corresponding scientific journal;we presented and characterized software tools for managing scientific content and methods for organizing automated integration of repositories of mathematical documents with other information systems;we discussed such an important function of the digital library metadata factory as the normalization of metadata in accordance with the formats of other aggregating libraries.As a result of the development of the metadata factory of the digital mathematical library Lobachevskii-DML, we proposed a system of services for the automated generation of metadata for electronic mathematical collections; we have developed an xml metadata presentation language based on the Journal Archiving and Interchange Tag Suite (NISO JATS); we have created software tools for normalizing metadata of electronic collections of scientific documents in formats developed by international organizations – aggregators of resources in mathematics and Computer Science; we have developed an algorithm for converting metadata to oai_dc format and generating the archive structure for import into DSpace digital storage; we have proposed and implemented methods for integrating electronic mathematical collections of Kazan University into domestic and foreign digital mathematical libraries.

Abstract: The system for automated parallelization SAPFOR (System FOR Automated Parallelization) includes tools for program analysis and transformation. The main goal of the system is to reduce the complexity of program parallelization. SAPFOR system is focused on the investigation of multilingual applications in Fortran and C programming languages. The low-level LLVM IR representation is used in SAPFOR for program analysis. This representation allows us to perform various IR-level optimizations to improve the quality of program analysis. At the same time, it loses some features of the program, which are available in its higher level representation. One of these features is the multi-dimensional structure of the arrays. Data dependence analysis is one of the main problems which should be solved to automate program parallelization. Moreover, such an analysis belongs to the class of NP-hard problems. Knowledge of the multidimensional structure of arrays allows in many cases to take into account the structure of index expressions in calls to arrays and reduce the complexity of the analysis. In addition, the use of multi-dimensional arrays allows us to use multi-dimensional processor matrix and to parallelize a whole loop nests, rather than a single loop in the nest. So, parallelism of a program is going to be increased. These opportunities are natively supported in the DVM system. This paper discusses the approach used in the SAPFOR system to recover the form of multi-dimensional arrays by their linearized representation in LLVM IR. The proposed approach has been successfully evaluated on various applications including performance tests from the NAS Parallel Benchmarks suite.

Abstract: Features of use of information systems in the process of electronic scientific publications issues investigated. From the standpoint of automation editorial processes, we compared these systems. Algorithms for automatic validation of mathematical texts style introduced into the information system of the electronic scientific journal. The method of automating the process of peer review, including the selection of reviewers, e-mail notifications and control the timing of reviewing proposed. Automation technology a number of editorial processes of electronic scientific journal, operates on a platform Open Journal Systems is presented.

Abstract:

For support of adaptive training and educational analytics in the intellectual learning systems, it is necessary to collect, process data on progress of the student and his various individual characteristics. It can be realized by means of the student model. The analysis of approaches to modeling of the student has shown that application of several types of models is an optimal solution, considering requirements to the learning system. Three approaches were chosen and united into one model: overlay, Bayesian network, error model. Use of overlay model allows to build individual trajectories of student training. Bayesian networks realize competence-based approach in training. The model of mistakes keeps track of wrong knowledge of the student and helps the student to correct them at early stages. The student model uniting in itself these approaches is more suitable for realization of the personalized training, allows to keep track of progress of the student according to various characteristics and also gives the chance to easily submit the card of subjects, knowledge, competence of the student of various areas in the form of the count that is quite convenient and clear representation.

Abstract:

This work addresses some of the legal issues emerging in connection with the necessary to implement mandatory testing of final qualifying works for borrowings at realization final attestation on educational programs of higher education, posting these works in electronic library systems educational organizations, but also their use. In particular, the need to comply with legislation on personal data when processing personal information in the course of audit work identifying plagiarism, publishing works in library systems. Paid attention to the enforcement of intellectual property rights of authors of final qualifying works during educational organizations assigned to them defined responsibilities. Analysis of legal issues carried out taking into account introduced by the Government of the Russian Federation the draft law on education the organization of higher education it is proposed to impose a duty on public access on the official website of the educational organization in the Internet the full texts of final qualification works of master's programs and specialist programs.

Abstract:

This paper presents the experience of verifying server implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol designed to create secure data transmission channels and provides the necessary functionality for this: confidentiality of the transmitted data, data integrity, and authentication of the parties. The new version 1.3 of the TLS protocol was introduced in August 2018 and has a number of significant differences compared to the previous version 1.2. A number of TLS developers have already included support for the latest version in their implementations. These circumstances make it relevant to do research in the field of verification and security of the new TLS protocol implementations. We used a new test suite for verifying implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. The current work is part of the TLS 1.3 protocol verification project and covers some of the additional functionality and optional protocol extensions. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. So far, several implementations have been found to deviate from the specification. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors.

Abstract: The article presents using the van Hiele theory of geometric thinking for the organization of mixed training of students of the pedagogical Department of the N.I. Lobachevsky Institute of mathematics and mechanics KFU on the basis of SPOC course «Elementary mathematics: Plane geometry». Training includes the use of various IT-techniques and tools that can improve the quality of learning and form the necessary professional competence of the future teacher of mathematics. The course implements the technology of project-modular and inverted learning.

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.

Abstract:

The materials presented at the Conference describe the results of recent years in the following areas: Open access to scientific data and knowledge in Earth Sciences; Data peculiarities in Earth Sciences: new concepts and methods, tools for their collection, integration and processing in different information systems, including systems with intensive use of data; Data mining and mathematical simulation of natural processes in Earth Sciences. Evolution of classical GIS-applications in Earth Sciences; Application to Critical Raw Materials (CRM); social aspects of mining (e.g., the Social Licence to Operate [SLO]); predictive mapping and applications to exploration, landuse and search for extensions of known deposits; Intelligent data analysis, elicitation of facts and knowledge from scientific publications. Thesauruses, ontologies and conceptual modeling. Semantic WEB, linked data. Services. Content semantic structuring. Applications for geosciences, e.g., Ontology-based Dynamic Decision Graphs for Expert systems and decision-aid tools; Application of methods and technologies of the remote sensing in Earth Sciences: from satellites to unmanned aerial vehicles; Information technologies for demonstration and popularization of scientific achievements in Earth Sciences; Applications: environmental risks including mining wastes, natural hazards, water resource management, etc.

Abstract:

In this paper, we describe a way to use UML diagrams for configuring web-application’s behavior. That is, using the configuration will determine the behavior of the system, the transitions between the screens, as well as the business logic of application. We examine and compare various UML diagrams for their possible features. A web framework for ASP.NET Core is developed, which uses the UML diagram to form a configuration in the XML or JSON file formats. Configuration will determine the behavior of the system. In addition, we describe further steps in using and developing the web-framework.