bluuebunny/crossref_metadata_2025_split huggingface dataset:
Semantic model of an exploit’s source code for data protection in automation systems
Authors: Fedorchenko E V , Fedorchenko A V 
Published: February 2021

Abstract
Data protection is especially relevant in automation systems nowadays. The paper proposes a semantic model of exploit’s source code as a basis for unknown attacks detection, forecasting and assessment and therefore for automated data protection from cyber attacks. The proposed model combines a control flow graph with a function call dependencies graph. The paper describes model generation technique that is based on the analysis of exploit’s source code and incorporates code compilation, its decompilation, building the functional semantic models of the exploits, and, finally, comparing these models and generating the standard semantic model of exploits’ source code. Application of the technique for generation of exploit’s model is demonstrated on a case study.
Combined non-convex optimization algorithms based on differential evolution, harmony search, firefly, and L-BFGS methods
Authors: Sorokovikov P , Gornov A 
Published: February 2021

Abstract
The paper presents an approach to the numerical investigation of the problems of finding a global optimum of multiextremal functions, based on the use of bioinspired and local search methods. Three combined non-convex optimization algorithms are proposed and implemented. As globalized bioinspired methods, differential evolution, harmony search, and firefly methods are used. For local descents, we used the L-BFGS method. The numerical study of modifications of the implemented approach has been carried out using known non-convex test functions. The developed algorithms have been applied to investigate the problem of the optimal orientation of the aircraft in space. The obtained numerical results allowed us to demonstrate the efficiency of the proposed algorithms.
On identification of neural correlates of reflection in simple recurrent neural networks
Authors: Bartsev S , Baturina P , Markova G 
Published: February 2021

Abstract
Reflection, that in a general sense means internal representation of the external world, refers to one of awareness levels observed in animals. In this paper we demonstrate the ability of a homogeneous recurrent neural network to solve a problem that requires a reflection. The delayed matching to sample test was chosen as a task which is impossible to pass without an internal representation of an external world. Experiments showed that simple recurrent neural networks can form these representations and store them as neuron firing patterns for several clock cycles. Although the trained network was able to distinguish these patterns easily, the identification of certain stimulus by neuron firing was not practically possible due to minor differences in the level of synchronous firing of a given neuron for different stimuli. Neural networks were shown to be applicable for modeling reflexive abilities, so these simple models may also be used for creation of general technique that ultimately can be applied to recognizing neural correlates of human consciousness.
Tree retraining in the decision tree learning algorithm
Authors: Mitrofanov S A , Semenkin E S 
Published: February 2021

Abstract
Decision trees belong to the most effective classification methods. The main advantage of decision trees is a simple and user-friendly interpretation of the results obtained. But despite its well-known advantages the method has some disadvantages as well. One of them is that decision tree learning algorithm build an “almost optimal” tree. The paper considers the way to improve the efficiency of decision trees. The paper proposes a modification of decision tree learning algorithms by retraining the part of tree at every node training. The classification problems were solved to compare standard decision tree learning algorithms with the modified ones. Algorithm efficiency refers to the percentage of correctly classified test sample objects. Statistical analysis based on Student’s t-test was carried out to compare the efficiency of the algorithms.
Using the iCC framework for solving unconstrained LSGO problems
Authors: Vakhnin A , Sopov E 
Published: February 2021

Abstract
Evolutionary computation is a branch of computational intelligence that is inspired by nature. This algorithm family uses fundamental rules of natural selection to find a better solution when solving optimization problems. The productivity of these methods decreases when the number of parameters to be optimized is extra-large. This area of research is known as large-scale global optimization. Cooperative coevolution is a structure for evolutionary algorithms which tries to solve the curse of dimensionality problem. The cooperative coevolution efficiency of application largely depends on the two settings: the size of each subcomponent(subproblem) and the grouping of variables. The actual work proposes improved cooperative coevolution denoted as iCC. The iCC approach dynamically resizes the groups. iCC starts with a predefined set of subproblems and reduces them gradually during the optimization process. A novel metaheuristic has been developed which is called iCC-SHADE for black-box optimization problems with a large number of variables. The proposed method has been tested on fifteen optimization tasks from the LSGO CEC’2013 competition benchmark. The experimental results have demonstrated that iCC-SHADE has statistically better performance than CC-SHADE with a static number of subproblems. Also, the effectiveness of iCC-SHADE has been tested in comparison with other modern metaheuristics. The Wilcoxon rank-sum test was used to compare the effectiveness of investigated metaheuristics.
Simulation modeling of manufacturing
Authors: Kormin T G , Ovchinnikova V A , Tsumbu J-D B 
Published: February 2021

Abstract
Effective management and possession of smoothly running design processes of production, deliveries, is an integral part of the modern enterprises. One of the main instruments of planning of production is simulation modeling. New tools for digital production support decision-making at design of production systems. Modeling of processes is faster way of finding of the correct solution in view of generation of exact forecasts, allowing to evaluate different alternatives. The research, the showing results received when using techniques of the simulation modeling and careful production created in program providing Tecnomatix Plant Simulation is presented in article. Visualization of all processes presented in article shows advantages and shortcomings of the offered optimization techniques, allowing to draw a conclusion on how many effective or not effective will be a developed system.
Water pollution time series analysis
Authors: Drozdov I Yu , Petrusevich D A 
Published: February 2021

Abstract
The time series of the ammonium ions, phosphates in river water and the BOD (biochemical oxygen demand) prediction in river water are analyzed in the paper. These time series have got missing values. So, the first problem is to handle missing data. Splines are implemented to fill the data. After that the mathematical models of each time series are tested and models of dependencies between time series are analyzed. The ARIMA (p, d, q) models are used to explain time series behavior with its previous values. The ArDL (p, q) models and linear regression models are constructed in order to describe dependencies between time series. Quality of river water is very important ecological problem. Mathematical models are able to provide analysis of water pollution. The proposed methods can be used in other problems of analysis of time series with missing data.
Influence of various components of errors on the results of approximation using orthogonal functions
Authors: Zhitnikov V P , Sherykhalina N M , Zhitnikova N I , Muksimova R R 
Published: February 2021

Abstract
The possibility of Legendre polynomials application for approximating functions in order to avoid problems with poorly conditioned matrices for using the least squares method is considered. It is shown that the solutions based on the methods of numerical integration have a large error, which does not allow the idea of orthogonalization to be applied to functions given in a table. However, the use of Legendre polynomials as basic functions instead of algebraic ones in the least squares method can significantly improve the conditionality of matrices. In the problem of approximation of periodic functions by finite Fourier sum the numerical integration is also required. But in connection of the Euler-Maclaurin formula, the numerical integration error of periodic functions is essentially less than of polynomial integration, so the problem is solved very accurately and fast.
An aggregation decomposition for the analysis and synthesis of spacecraft control systems
Authors: Kartsan I N , Efremova S V , Zhukov A O 
Published: February 2021

Abstract
This paper focuses on the interconnections between the variants of assembling the elements of spacecraft control systems within the considered alternative graphic formalization approach. Under these circumstances, the assembly variants of the system elements or their sets are depicted as peaks of an alternative graph, with arcs representing interconnections. The aggregation decomposition method in the analysis and synthesis of the structure of complex systems includes two interrelated stages: sequential decomposition of objectives, functions, tasks, etc., performed by the system, and their aggregation at appropriate detail levels.
Approach to evaluating the organizational effect of the intelligent technological control system
Authors: Smirnov V A , Antokhina Yu A , Semenova E G , Milova V M , Smirnova M S 
Published: February 2021

Abstract
The article considers the issues of evaluating the organizational effect of the intelligent decision support system functioning for the control of complex technical systems. An approach to the indicator formation of the organizational effect of the intelligent system functioning at the level of a technological control system is proposed. A diagram illustrating the proposed approach is presented. It combines, an organizational goal and objectives of introducing an intelligent system, its main functional capabilities, a system of factors that significantly affect the magnitude of a positive effect, a system of sources used to implement certain factors, qualitative assessment criteria potential positive effects from the implementation of the system, the system of indicators of the organizational effect and mathematical models and methods of their calculation by cause-and-effect relationships. A comparative evaluation method was applied to determine the organizational effect of the intelligent system functioning. It is based on the values comparison (difference) of the generalized indicators of the effect of the technological control system functioning with and without the intelligent system. In comparison with the existed methods, the proposed approach to evaluating the effectiveness of an intelligent decision support system is based on a hierarchical system of indicators characterizing the organization of the technological control system for complex technical systems. The obtained theoretical results can be applied in the development and implementation of information systems to evaluate the preliminary, potential, planned and actual effect and organizational efficiency.
Mobile bricklaying robot as a breakthrough technology in construction: advantages and problems
Authors: Malakhov A V , Shutin D V , Marfin K V 
Published: February 2021

Abstract
The article discusses the concept of “breakthrough technologies” and its criteria in relation to a bricklaying robotic system. In order to become a breakthrough, a new technology must be able to deeply integrate into the relevant industry. This requires the fulfillment of a number of criteria, both technical and beyond. Therefore, a number of such criteria have been formulated for a mobile robotic bricklaying system to assess the degree of compliance with industry requirements and readiness to become a breakthrough innovation. Also the systemic problems hindering the implementation of the technology in the construction industry are considered. The developed approach can also be used for other technical systems and complexes that require significant development costs and at the same time offer some innovative approaches to solving the problems in their fields.
Algorithmization of processes for detecting vulnerabilities of UMV interfaces based on probabilistic automata
Authors: Skatkov A V , Bryukhovetsky A A , Moiseev D V 
Published: February 2021

Abstract
The algorithmic approach based on the methods of adaptive intelligent technology for monitoring the state of objects of computer systems is considered. The approach is focused on the detection of changes in the state of controlled unmanned vehicle resources: communication channel, processor, memory. An adaptive model using the Bayesian classifier for assessing changes in the state of unmanned vehicle resources is presented. The model is based on a probabilistic automaton with adaptive self-tuning. The approach proposed in the article is focused on solving problems of detecting moments in time of changes in the state of controlled unmanned vehicle objects, which are resources: communication channel, processor, memory.
Evaluation of the use of the PLP-01M microwave laboratory system using working samples to control the accuracy of the results of examining product samples for lead content
Authors: Rebezov M B , Tretyak L N , Solodov S A , Galaev A V , Korneev I N 
Published: February 2021

Abstract
In order to compare the results obtained when working on the Kvant-2AT atomic absorption spectrometer, taking into account the use of the PLP-01M microwave laboratory system and during sample preparation in accordance with GOST 26929 “Raw materials and food products. Sample preparation. Mineralization to determine the content of toxic elements”, on the working samples, the products were selected that most fully covered the range of results obtained during the research. Within 30 working days, a set of research results and analysis of data obtained during operation on the Kvant-2AT atomic absorption spectrometer, taking into account the use of the PLP-01M microwave laboratory system and during sample preparation in accordance with GOST 26929, were carried out. Average values obtained under conditions repeatability were recorded in the table. In order to assess the accuracy of the obtained values, the analytic, lead, was added. The implementation of sample preparation methods taking into account the microwave decomposition of the sample in the case of using the PLP-01M microwave laboratory system and during sample preparation in accordance with GOST 26929-94 achieves the precision of the analysis results both under conditions of repeatability and under conditions of intermediate precision.
Variational method for solving the boundary value problem of hydrodynamics
Authors: Sysoev D V , Sysoeva A A , Sazonova S A , Zvyagintseva A V , Mozgovoj N V 
Published: February 2021

Abstract
The analysis of the application of the variational method for solving the boundary value problem of hydrodynamics is carried out. From the point of view of numerical research of mathematical physics problems, these variation formulations are considered as the basis of projection methods (the Ritz method). The article presents the main techniques that allow reducing the cost of machine time and speed up the convergence of the computational process when calculating the hydrodynamic characteristics of cavities of various configurations. Using the Trefts method allows you to reduce the calculation time of the boundary value problem. The green transformation allows us to reduce the three dimensional integral to a one-dimensional. This creates a universal method for determining hydrodynamic coefficients for rotation cavities with an arbitrary contour of the Meridian section. However, for most configurations of cavities, the convergence rate is satisfactory and provides numerical values with a high degree of accuracy.
Photoluminescent ZrO2:Tb3+ thin films synthesized by USP technique using a metal-organic precursor
Authors: Juárez-López G , Martínez Martínez R , Rojas-Velasco I I , García-Hipólito M , Ramos-Brito F , Velazquez-Cruz E I , Aguilar-Frutis Miguel A , Falcony-Guajardo C 
Published: February 2021

Abstract
Photoluminescent ZrO2 and ZrO2:Tb3+ thin films were synthesized from metal-organic precursor, zirconium acetylacetonate [Zr(C5H7O2)4], using Ultrasonic Spray Pyrolysis method. These thin films were deposited on Corning glass substrates at several deposition temperatures. ZrO2 and ZrO2:Tb3+ (X a/o) films were characterized by x-ray diffraction to identify the crystalline structure; results showed tetragonal phase of zirconia; with a crystalline size of approximately 4 nm according to Scherrer’s formula. Also, SEM micrographs revealed that surface morphology of these films is very flat. Chemical composition microanalysis showed presence of oxygen and zirconium as major species. Analysis by Infrared spectroscopy demonstrates that 900 and 760 nm bands correspond to presence of ZrO2. In addition, these films showed optical transmittances from 75 to 98 % in the visible range. Photoluminescent features varied as a function of excitation wavelength; when excited at λ
ex = 286 nm strong green emission is observed, which is associated to electronic transitions 5D4 → 7Fn (n = 6, 5, 4, 3) corresponding to Tb3+ ions. Excitation with λ
ex = 336 nm exhibits spectra with simultaneous emissions from host lattice and Tb3+ ions; here, observed color was blue-green.
ITO-free OLEDs utilizing inkjet-printed and low temperature plasma-sintered Ag electrodes
Authors: Hengge Michael , Livanov Konstantin , Zamoshchik Natalia , Hermerschmidt Felix , List-Kratochvil Emil J W 
Published: February 2021

Abstract
We report an inkjet-printed indium tin oxide (ITO)-free electrode made from a particle-free silver ink. After printing, an argon plasma is used to reduce the silver ions in the ink to metallic silver. This process does not require high temperatures and is therefore suitable for use with temperature sensitive substrates. Printed silver layers show good optical transmittance and electrical conductivity. To demonstrate the capabilities of the electrodes, inverted ITO-free organic light-emitting diodes (OLEDs) were produced via solution processing. In terms of luminance and efficacy, the devices containing the printed electrodes show improved luminance and current efficacy compared to ITO-based reference devices. When fabricated with flexible substrates, the printed OLEDs show high bending stability, enabling flexible applications.
An analytical approach for frequency modulated thermal wave imaging for testing and evaluation of glass fiber reinforced polymers
Authors: Rani Anju , Mulaveesala Ravibabu , Kher Vansha 
Published: February 2021

Abstract
Frequency modulated thermal wave imaging (FMTWI) has been considered as one of the promising non-destructive testing and evaluation approach due to its merits such as economical, safe, fast, sensitive and high depth resolvability. The present work provides a novel analytical solution for FMTWI using one-dimensional heat conduction equation with adiabatic (Neumann) boundary conditions. The temperature gradient over the glass fiber reinforced polymer specimen has been analyzed and validated with a commercially available three dimensional mathematical finite element model to retrieve the quantitative information regarding the subsurface defects. The efficiency of the proposed method is highlighted using matched filter based approach for a frequency modulated imposed heat flux. The depth resolvability of the proposed method has been studied from the obtained correlation lag and the time domain phase obtained for FMTWI technique.
Deep Play? Video Games and the Historical Imaginary
Authors: Denning Andrew 
Published: February 2021

Abstract
Video games earned $43.8 billion in revenue in 2018, and many of the most popular and enduring games in recent years are set in historical environments. They are a form of popular art that sheds light on the mentalité of our era. As this article argues, the act of participating in history in virtual forums frames the public’s view of history. This article examines how recent video games focused on the Nazis shape public understanding of the Third Reich, as well as how they stage who and what matters in history and assume how historical change occurs. Historical video games connect the past to present, shaping historical memory and contemporary political debates simultaneously. Video games are a form of “deep play” that build knowledge of the past and present, but that knowledge must be broadened through historians’ attention to structural forces and disadvantaged groups. Historians should understand how video games shape the wider public’s knowledge and philosophy of history, and they should develop strategies to bring the virtues of play into their own research and teaching.
International Law and Regional Norm Smuggling: How the EU and ASEAN Redefined the Global Regime on Human Trafficking
Authors: Jovanovic Marija 
Published: February 2021

Abstract
The European Union (EU) and the Association of Southeast Asian Nations (ASEAN) have developed fundamentally different regional regimes to address human trafficking despite both drawing on the framework established by the U.N. Palermo Protocol. These regimes have been deployed to achieve different missions: crime control animates the European framework whereas migration management informs the ASEAN regime. These different regional agendas have led to all central elements of the respective antitrafficking regimes being addressed differently including, the legal authority of the regional regime over domestic legislation, the allocation of responsibility between “sending” and “receiving” countries, their approaches to subjects of human trafficking, and the connectedness of each antitrafficking instrument to the wider regional regimes. The two regional responses challenge general assumptions about the universality and coherence of the growing international legal framework on human trafficking.
Genozip: a universal extensible genomic data compressor
Authors: Lan Divon , Tobler Ray , Souilmi Yassine , Llamas Bastien 
Published: February 2021

Abstract

We present Genozip, a universal and fully featured compression software for genomic data. Genozip is designed to be a general-purpose software and a development framework for genomic compression by providing five core capabilities—universality (support for all common genomic file formats), high compression ratios, speed, feature-richness and extensibility. Genozip delivers high-performance compression for widelyused genomic data formats in genomics research, namely FASTQ, SAM/BAM/CRAM, VCF, GVF, FASTA, PHYLIP and 23andMe formats. Our test results show that Genozip is fast and achieves greatly improved compression ratios, even when the files are already compressed. Further, Genozip is architected with a separation of the Genozip Framework from file-format-specific Segmenters and data-type-specific Codecs. With this, we intend for Genozip to be a general-purpose compression platform where researchers can implement compression for additional file formats, as well as new codecs for data types or fields within files, in the future. We anticipate that this will ultimately increase the visibility and adoption of these algorithms by the user community, thereby accelerating further innovation in this space.

Availability and implementation
Genozip is written in C. The code is open-source and available on http://www.genozip.com. The package is free for non-commercial use. It is distributed through the Conda package manager, github, and as a Docker container on DockerHub. Genozip is tested on Linux, Mac and Windows.

Supplementary information
Supplementary data are available at Bioinformatics online.