bluuebunny/crossref_metadata_2025_split huggingface dataset:
Stages and procedures for forming a method to assess reliability of the information security systems in automated systems and main areas of its implementation in the normative-technical documentation
Authors: Bokova O I , Bulgakov O M , Etepnev A S , Rogozin E A 
Published: May 2020

Abstract
The article completes the cycle the articles by the authors assessing reliability of information security systems from the unauthorized access to automated systems. In includes previously unpublished materials. The article discloses main directions to improve methods and procedures for assessing reliability of the information security systems from the unauthorized access to automated systems. There is modification of the traditional static method to assess the functional reliability of the information security systems from the unauthorized access to investigate their operation in the dynamic (real) functioning mode and to quantify reliability of the information security systems, including development of adequate indicators, models and algorithms. Main stages and procedures for forming the reliability assessment method were developed as a technological scheme with demonstration of the main stages to implement the proposed methods in the current normative-technical documentation.
Graphs with table constraints on reachability
Authors: Erusalimskiy I M , Pevneva K L 
Published: May 2020

Abstract
On directed graphs defined a new kind of reachability restriction – table constraints on reachability. Each edge of the graph assigned a certain element of the monoid. Some element of the monoid selected and fixed. This element does not equal to the unit of the monoid. This element is called forbidden. Each way on the graph is associated with characteristic – a vector, whose length is equal to the number of way edges. First element of the characteristic is equal to the element of the monoid which corresponded to the first edge of the way. Each successive element of the characteristic is equal to the previous element of the characteristics plus the value of an element of the monoid, corresponding to the next edge of the way. A way on the graph is considered as valid if the way characteristic does not contain a forbidden element. The construction of the scan-graph, which is built on the original graph, is described. The transition to the scan-graph allows you to solve the problems of the reachability on such graphs, shortest ways and random walks on the graphs with table constraints on reachability.
Formalization of the optimality criteria based on fuzzy predicates
Authors: Ledeneva T , Kaplieva N 
Published: May 2020

Abstract
The paper considers logical approach to solution of multi-objective optimization problems, which consists in representing a certain optimality principle in the form of a predicate with subsequent generalization in the form of a membership function of a fuzzy set of optimal solutions. The results of the study of the dependence of the optimal solution of the fuzzy multi-objective problem on the principle of optimality, functional representation and parameters of fuzzy logical connectives are presented.
Planar projection of the principal components of fractal Brownian functions
Authors: Moskalev Pavel V , Fedulova Lyudmila I , Gridneva Irina V 
Published: May 2020

Abstract
The error in the planar projection of the principal components of a multidimensional data array strongly depends on the number and dimension of the column vectors of this array and the correlation between the vectors. In this work, we investigate the dependence of the error on the planar projection of the principal components of fractal Brownian functions on the number of statistically independent realizations in the multidimensional data array. As a result, we show that, under certain assumptions, the number of statistically independent realizations of fractal Brownian functions coincides with the effective dimension of the projection of the principal components.
On the Huygens principle in the Puu model
Authors: Polovinkina Marina V , Polovinkin Igor P , Rabeeakh Svetlana A 
Published: May 2020

Abstract
We consider the macroeconomic model of T. Puu, describing the fluctuations of gross income in a given region. With a special combination of savings and investment rates, income deviations will take place only for a finite period of time, after which the income will return to a stationary state. This e˙ect is known in mathematical physics as the Huygens principle. We investigated this model using statistical methods of data analysis. The obtained results suggest that the Huygens effect hypothesis in certain historical periods of the Russian economy is plausible. We have also considered the structure of the set of stationary zeros for nontrivial solutions to a stationary equation.
Machine learning based TOF charged particle identification at BM@N detector of NICA collider
Authors: Roudnev V A , Merts SP , Nemnyugin S A , Stepanova M M 
Published: May 2020

Abstract
In the article results of charged particles identification for BM@N experiment being performed at NICA acceleration complex of Joint Institute for Nuclear Research are presented. A standard neural network-based technique of constructing a classificator is applied to the data sets obtained both from modelling of a realistic experimental setup and three synthetic data sets. The carried-out analysis demonstrates that the estimated data accuracy is insufficient to make a clear distinction between electrons, muons and pions, and also between -particles and deutrons. The problem could be solved by using an extra data from the detector or by improving the accuracy of the experimental data by two orders of magnitude.
On the growth speed of own values for the fourth order spectral problem with Radon–Nikodim derivatives
Authors: Shabrov Sergey A , Ilina Ol’ga M , Shaina Ekaterina A , Chechin Dmitrii A 
Published: May 2020

Abstract
In the present paper, the growth rate of eigenvalues for the fourth-order spectral problem with nonsmooth solutions is obtained. It arises when we apply the Fourier method to the mathematical model, describing small free vibrations of a mechanical system consisting of pivotally connected rods. We assume that at the connection points there are springs that respond to rotation, while the system is in the external environment with localized features, leading to a loss of smoothness of the solution. The analysis of the problem is based on the pointwise approach proposed by Yu. V. Pokorny, and proved to be effective in studying linear boundary problems of the second and fourth orders with continuous solutions (an exact parallel with oscilation theory of ordinary differential equations is constructed).
Formalization of scientific and technical sentences in Russian language
Authors: Vishniakov Y , Vishniakov R 
Published: May 2020

Abstract
The article presents the research results on the computational theory of semantic interpretation in Russian language. These interpretations represent a generalizing formalization of a scientific and technical style sentences. Furthermore, the concept of a partition system of a word scale, its classes and a method of forming partition classes is defined. We showed that the word scale corresponds to many partition systems that are specified by a special rule for selecting instances from classes. Additionally, we proposed generalized algorithms for constructing a partition system.
Graphostructural modeling of discrete-argument systems
Authors: Blyumin S L , Yu Zhbanova N , Sysoev A S 
Published: May 2020

Abstract
Graphostructural modeling is an effective tool for the analysis and control of social and economics systems. Graphs, hypergraphs and metagraphs are used to simulate complex hierarchical structures. In this paper we consider metagraphs and their matrices associated with 2D and 3D systems and cellular automatons; and their relationship with the transition from basic to associated models of cellular automatons. The transition to an associated model is a key step in developing the theory of discrete argument systems. In this paper with the simple examples of discrete-argument systems we demonstrate that matrix characteristics of the models, associated with such systems, are closely related to the matrix characteristics of associated metagraphs.
Mathematical modeling of uranium and hydrocarbons recovery operations
Authors: Galtsev O V 
Published: May 2020

Abstract
The development of uranium and hydrocarbon deposits is a rather complex technological process consisting of several related sub-processes. One of them is the dissolution of solid soil by acid (in-situ leaching). The aim of this article is to model this process at the macroscopic level. The approach is based on the detailed consideration of fundamental laws of mechanics and chemistry at the pore scale. It is clear that the mathematical model obtained at the pore scale cannot be used in practical applications, but its simple and mathematically correct form allows further approximation by a system of homogenized equations. The dynamics of the liquid and the concentration of the reagent is described by a system of Darcy equations and the convection-diffusion equation respectively, obtained by homogenization the initial microscopic problem at the pore level. To solve the system of equations numerically, the method of finite differences on a uniformly spaced staggered grid is used. Temporal and spatial discretization of the equations is carried out. The results of numerical experiments are presented. The obtained results can help to analyse the active solution front motion in a porous medium and physical and chemical processes there.
Development of algorithm for analysis of sound fragments in medical information systems
Authors: Abramov G , Korobova L , Matytsina I 
Published: May 2020

Abstract
The article is devoted to the recognition of sound signals, including cough jerks, using various mathematical methods. The paper presents an information system for the diagnosis of patients with pulmonary diseases. The main problem of this system is to determine the parameters of cough fragments in the monitoring record recorded with a dictaphone. Criteria of recognition of cough moments are given, the analysis of processing of sound record is carried out and results of research are systematized. This system can be used by doctors to diagnose the condition of patients, as well as to monitor the treatment process.
Application of junction tree clustering methods for solving dynamic Bayesian networks probabilistic inference tasks
Authors: Azarnova T V , Polukhin P V 
Published: May 2020

Abstract
The article covers clustering algorithms for dynamic Bayesian networks based on the construction of join tree. Investigated problems associated with simplifying the topology of dynamic Bayesian networks using clustering methods and consider various semantic approaches of junction trees construction. The paper presents a junction tree constructing algorithm for the dynamic Bayesian network that takes into account the transition and perception models applied to the process of network formation. Analyzed The relationship between the complete joint probability distribution for the dynamic Bayesian network and the complete joint distribution obtained for the junction tree. It is shown that the required complete joint distribution of the junction tree for the dynamic Bayesian network can be obtained as a product of local probability distributions for each node associated with the resulting junction tree, and proved that this distribution will be equivalent to the probability distribution of the original dynamic Bayesian network. Introduced the main structural approaches to the construction of junction tree for the discrete dynamic Bayesian network and inspected the use of junction tree for solving similar problems for continuous dynamic Bayesian networks with Gaussian and exponential distribution functions of network variables.
Viscoplastic fluid flow modeling with the “solidification” effect in the straight channel of the annular cross section
Authors: Kolodezhnov V N 
Published: May 2020

Abstract
On the basis of the viscoplastic fluid rheological model, which takes into account the manifestation of the “solidification” effect, a flow has been simulated in the annular cross section channel. It is shown that, depending on the pressure drop level, three different flow patterns are possible. For each pattern, the expressions that determine the fluid velocity distribution in the channel’s cross section have been obtained. It is shown that the dependence of the volume fluid flow rate on the pressure drop is not monotonic. Moreover, the increase in the pressure drop critical level ultimately leads to the flow rate decrease due to the narrowing of the channel’s passage section, which is caused by the formation of the “solidified” liquid layers.
Building a model for calculating stress under dynamic loading of metal rings by the magnetic pulse method
Authors: Zaychenko O K , Morozov V A 
Published: May 2020

Abstract
Many recent studies have focused on specifics of behavior of materials under dynamic loading as it is considerably different from cases with quasi-static loading. This paper considers the method of magnetic pulse deformation of metal rings, which is a continuation of the authors’ research. [1]. The methods used in the experiment, which are described in this paper, allow to carry out laboratory studies into material deformation at a speed reaching the values of around 107c−1. This paper is dedicated to building a mathematical model for determining the stress in the test samples under dynamic loading of materials by the magnetic pulse method.
Torsion stability of a cylinder with circular and elliptical section under finite perturbations
Authors: Sumin A I , Boger A A , Sumin V A , Ryabov S V 
Published: May 2020

Abstract
In this paper, the stability of a cylinder with circular and elliptical section made of compressible and incompressible nonlinear elastic materials under finite perturbations is considered. A set of computational experiments was performed. The permissible boundaries of the region with respect to final and initial perturbations for given parameters of loading and structures are established. Finite sequences of bifurcation points are constructed, confirming, in contrast to stability at small perturbations, the existence of a hierarchy of stable equilibrium states. Classical linearized stability theories are evaluated. New phenomena and characteristic effects are established.
Numerical calculation of elements of thin-walled structures under alternating loading taking into account damage
Authors: Abdusattarov Abdusamat , Abdukadirov Farxod E , Sobirov Nizomboy X 
Published: May 2020

Abstract
The statement of the problem and the algorithms for calculating thin-walled rods of arbitrary section under spatially variable loading based on the theory of small elastoplastic deformations and the refined theory of rods are presented. Using the variational Lagrange principle, mathematical models are developed for the deformation and damage of thin-walled rods in a cylindrical coordinate system. A system of differential equilibrium equations for a rod with spatially variable loading in vector form is obtained. To solve the boundary-value problem, the central difference scheme of the second order of accuracy and the matrix sweep method are used. An example of calculation is given.
Noise reduction in hybrid CMOS-NEMS oscillators
Authors: Ali Hadi Farah , Musa Sura , Kareem Omran Qais , Abdulrazak Hussein Ehab 
Published: May 2020

Abstract
In this paper, a hybrid oscillator is proposed in which nano switch components are employed to reduce power dissipation and enhance the switching time. The work involves the design and simulation of a nano switch that has been combined with CMOS to achieve a new design of a ring oscillator. In addition, a noise reduction methodology which is based on improving the damping and spring factors has been adopted in the design to enhance the output and approaching the ideal signal.
New algorithm for separation overlapping & touching chromosomes
Authors: Adnan Al-Ameri Hajer , Al-Hameed Wafaa 
Published: May 2020

Abstract
The karyotyping technique is importance in the diagnosis of genetic diseases of humans, including the diagnosis the genetic disorders of prenatal and cancer. In order to obtain the karyotype system for the metaphase images of chromosomes using the image processing. Assembling of human chromosomes pairs from the metaphase image will pass in several stages which are segmentation (single chromosome, overlapped and touching chromosome), feature extraction, matching and classification. In this study has been focus on the separation of touching and overlapped. The problem of separation touching and overlapped chromosome was solved using the convulsion mask and with a help the morphological thinning and contour. The separation of touching and overlapped chromosome is according on finding cut points. The thinning of the image is obtained which helps to identification the Region of Interest. The contour of the image is obtained which helps to explain the entire shape of the image and find out the cut points for separation between chromosomes. In this study an efficient algorithms was used to separation the cluster of touching and overlapping chromosomes. The algorithm of separation touching and overlapping was implemented by using sequential stages (initially, segmentation from metaphase image, convert to the binary image, extract thinning, using mask with 9*9, extract contour, using mask 7*7, identified the cut points and finally, separate touching or overlapping chromosome). This algorithm capable to isolate a cluster of touching chromosomes and a cluster of touching and overlapping chromosomes.
The Maximal A-regular Submodule of Module
Authors: Kh Salman Mad , Almothafar Nuhad S. 
Published: May 2020

Abstract
Let R be commutative ring with identity and all module are (left) unitary R-module. An R-module M is saidi to be almost regular (for short A-regular) module if every submodule is almost pure (for short A-pure) submodule of M. In thisi paper we show that each unitary R-module has unique maximal A-regular submodule which is denoted by L(M), means a submodule of M which contains every A-regular submodule of M. Wei proved that if M is an R-module and N is a submodule of M, then L(N) = N ∩ L(M).
Labelling Data for Correlation Pollution Dataset by Using Machine Learning
Authors: Ahmed Huda W , Alamire Dr Jameelah H 
Published: May 2020

Abstract
The significant problem in the environment is the pollution of air which affects all the areas in our world. The solution of this problem is excluding by using Internet of Things (IoT) technology which designed system that monitors the parameters that affect the pollution in the environment. The handling and operation of large quantities of information from a wide range of sources is challenges in IoT technology. The purpose of this study is to decrease the dimensions in IoT systems so we suggest two models for IoT system and also aims to build rules for Air quality classification by defining pollution levels. In this study, we suggested machine learning techniques to predict an air pollution levels based on a dataset consisting of daily weather, also we simplified our classification models to solve this problem by using binary classification which is to classify the air pollution level into “High pollution” and “Simple pollution” class labels. The decision tree J48 Algorithm gives the best outcomes in the first model than the second models.
Authentication Database Leakage Detection
Authors: Ahmed Teach. Israa S. 
Published: May 2020

Abstract
Authentication is the first step for any important applications. Password verification is widely employed in the Internet. Some advanced mechanisms including bio features, such as fingerprints or retina. However, digital password authentication credential is commonly used in the public. In other words, traditional password verification is still an important authentication credential mechanism for today’s online services. Password database may be compromised. Once if the database is stolen, it is dangerous and critical for any services. Consequently, password database leakage becomes an important issue. Detection and countermeasure are essential for such a disaster. Our research proposing a scheme based on a authentication database storage mapping method to detect possible leakage of authentication database. By multiple mapping mechanism, if the authentication database is stolen, an attacker could not know any user’s correct password. This method can reduce additional space of storing passwords with ability to detect security event for stolen authentication databases.
Recent Techniques of Open Educational Resources
Authors: Abdulameer Maysaa H , Abdullah Mahmood Z 
Published: May 2020

Abstract
The field of learning has a reasonable claim of being a specified example on the way it could be improved or sustained by technology. Operating with technology for the sake of learning, users are expected to be taking longer period of time facing issues, struggling through these issues and in nearly all cases the interaction with technology is one of several effects on the achievement of success. This doesn’t mean the fact that Internet and computing have had no sustainable impacts on how users learn and on the options that exist for learners. formal learning field has been experiencing a period of fast changes, and barriers between formal learning and informal one show falling away signs, partly because of changes in accessing information or alternate delivery modes. The impact technology has on pedagogy (structure or way of teaching) is complicated. There are rather few specified researches on how technological potentials and pedagogical responses to those operate to take advantage of life-long learners. In this paper a survey for last designed systems and platforms of e-learning based on open educational resource (OER) via combining evidence from research strands that are based on working in on-line and distant learning under formal settings, and in addition on open and free on-line learning that is typically of less formality. The presented study discusses numerous factors that are related to results of the instruction: the usually unpredictable learner motivations, the paths that those learners take during courses, and signs of success in formal learning and informal learning, based on each of technology and pedagogy. The results of practical activities are given for the sake of widening the access to education with using technology that indicates the fact that open education offers from alternate manners of supporting learners. Those propose an emphasis on design decisions which may be helpful in integrating learning process more thoroughly with how on-line systems are presently supporting learning and data which may be utilized for interpreting how well these designs work.
On Subclass iOf Harmonic Univalent iFunctions Defined by Fractional Calculus Operator
Authors: Rasheed Reem O. , Jassim Kassim A. 
Published: May 2020

Abstract
In the presentipaper, authors establish some resultsiinvolving in coefficient bounds, extremeipoints, convex combination, Here we alsoidetermine that the class studiediin this paper is closediunder convolution finally, introduce and study partial sumsiof the Liberaiintegral operator and inclusion relationship involving neighborhoods for a new subclass ofiharmonic univalent functionsidefined by fractional calculusioperator in theiunit disk

U
=
{
z
∈
ℂ
:
|
z
|
<
1
}

.