Showing papers in "Cybernetics and Systems Analysis in 2016"
TL;DR: A mathematical model and a method for exact arithmetic comparison of data in RNS are developed based on the obtainment and use of position signs of position-independent codes and maximizes the validity of comparing numbers in R NS with a minimum amount of the equipment implementing the method.
Abstract: This paper considers methods for arithmetic comparison of data represented in a residue number system (RNS). A mathematical model and a method for exact arithmetic comparison of data in RNS are developed. The proposed method is based on the obtainment and use of position signs of position-independent codes and maximizes the validity of comparing numbers in RNS with a minimum amount of the equipment implementing the method.
48 citations
TL;DR: Large-scale mapping of land cover is considered in the paper as a problem of automated processing of big geospatial data, which may contain various uncertainties and three different paradigms are proposed to use, namely, decomposition method, the method of active learning from the scope of intelligent computations, and method of satellite images reconstruction.
Abstract: Large-scale mapping of land cover is considered in the paper as a problem of automated processing of big geospatial data, which may contain various uncertainties. To solve it, we propose to use three different paradigms, namely, decomposition method, the method of active learning from the scope of intelligent computations, and method of satellite images reconstruction. Such an approach allows us to minimize the participation of experts in solving the problem. Within solving the problem of land cover classification we also investigated three different approaches of data fusion. The most efficient data fusion method is one that could be reduced to the problem of classification on the base of time-series images. Developed automated methodology was applied to land cover mapping and classification for the whole territory of Ukraine for 1990, 2000, and 2010 with a 30-meter spatial resolution.
42 citations
TL;DR: In this paper, the authors considered an optimization problem of packing different solid spheres into containers of the following types: a cuboid, a sphere, a right circular cylinder, an annular cylinder, and a spherical layer.
Abstract: The paper considers an optimization problem of packing different solid spheres into containers of the following types: a cuboid, a sphere, a right circular cylinder, an annular cylinder, and a spherical layer. The radii of spheres are assumed to vary. It allows us to propose a new way to derive starting points belonging to the feasible domain of the problem, as well as to carry out a non-exhaustive search of local extrema, using a modification of the jump algorithm (JA), which implements a continuous transition from one local minimum to another with a better value of the objective function. A reduction of the solution space dimension and rearrangements of sphere pairs allow improving the objective function value. The results obtained are compared with benchmark ones.
26 citations
TL;DR: In this article, the concepts of functional representation of a set of points of the Euclidean arithmetic space and an extension of functions from the set onto its superset are introduced.
Abstract: The concepts of functional representation of a set of points of the Euclidean arithmetic space and an extension of functions from the set onto its superset are introduced. Functional representations of sets are related to their extensions. Strict functional representations of the Boolean set, general permutation, and polypermutation sets are derived. The advantages of applying strict representations of Euclidean combinatorial sets to construct functional extensions from them and to solve combinatorial problems are presented.
23 citations
TL;DR: The authors propose a mathematical model for a multi-channel queueing system with feedback in which one part of calls instantaneously enters the system for repeated service and the other part either retries in some random time or finally leaves the system.
Abstract: The authors propose a mathematical model for a multi-channel queueing system with feedback in which one part of calls instantaneously enters the system for repeated service and the other part either retries in some random time or finally leaves the system. The behavior of the serviced calls is randomized. Both exact and asymptotic methods are developed to calculate the characteristics of the proposed model. The results of numerical experiments are presented.
17 citations
TL;DR: This article presents new results on the solution of the problem of definition of efficient features and synthesis of an optimal band-separating classifier for elements of the dactyl alphabet of deaf sign language and approaches to the qualitative evaluation of the separability of elements of dactel alphabet for different feature spaces.
Abstract: This article presents new results on the solution of the problem of definition of efficient features and synthesis of an optimal band-separating classifier for elements of the dactyl alphabet of deaf sign language. Approaches to the qualitative evaluation of the separability of elements of dactyl alphabet for different feature spaces are considered. An algorithm is proposed for obtaining a hyperplane classifier separating groups of dactylemes in a feature space.
16 citations
TL;DR: A mathematical model of close packing of convex geometrical objects is formulated and its basic properties are considered in this paper, where a solution method is proposed, which includes the following stages: constructing initial points, computing local extrema, and passing from one local minimum to another.
Abstract: The paper represents the concept of ?-functions and quasi ?-functions as an efficient tool for mathematical modeling of three-dimensional packing problems for convex geometrical objects with continuous translations and rotations. A mathematical model of close packing of convex geometrical objects is formulated and its basic properties are considered. A solution method is proposed, which includes the following stages: constructing initial points, computing local extrema, and passing from one local minimum to another. The solution approach is efficient to solve optimization packing problems. Numerical examples are given.
15 citations
TL;DR: An information technology based on modern IT devices and supporting an alternative communication for persons with (temporary or permanent) verbal communication disorders is presented and a human skeleton model is investigated to determine a limited number of hand configurations and motions reliably identified by recognition tools of IT devices.
Abstract: This paper presents an information technology based on modern IT devices (netbooks, tablets, phones, etc) and supporting an alternative communication for persons with (temporary or permanent) verbal communication disorders. It is proposed to implement this communication through the intellectualization of the process of entering text data with applying a limited number of relevant controls specified by a person's hand. A human skeleton model is investigated with a view to determining a limited number of hand configurations and motions reliably identified by recognition tools of IT devices.
15 citations
TL;DR: The paper solves the problem of modeling an outbreak of the species, which begins with the achievement of a specific nontrivial state of a dynamic system, and simulates the effect of spontaneous transition from weak fluctuations through accelerated reproductive activity to exceeded ecological capacity of the environment followed by the phase of rapid spontaneous decay.
Abstract: The paper solves the problem of modeling an outbreak of the species, which begins with the achievement of a specific nontrivial state of a dynamic system. Population process is divided into a sequence of substantially different stages. The model simulates the effect of spontaneous transition from weak fluctuations through accelerated reproductive activity to exceeded ecological capacity of the environment followed by the phase of rapid spontaneous decay. To describe the transition between final stages of the outbreak, the method of controlled functional realization of metamorphoses of trajectory behavior are used. Differential equations are combined with predicative constructions in software environment. The original computational unit is based on discrete-continuous time and allows us to apply the scenario approach to the consideration of environmental situations. The significance of the results is justified by the analysis of the data about outbreaks of small insect pests that eat on a limited number of suitable plants and, under certain conditions, can get out of control of parasitic wasps.
13 citations
TL;DR: In this article, the theoretical foundations of the modified perfect form of residue number system were presented and a method was developed to select a set of three modules, which form modified complete form of the residue number systems.
Abstract: The paper presents the theoretical foundations of the modified perfect form of residue number system. The method is developed to select a set of three modules, which form modified perfect form of the residue number system. This allows avoiding the search for inverse modulo element and substantially simplifies the transfer of numbers from residue number system into decimal system.
12 citations
TL;DR: In this paper, a fractional differential model is proposed to describe the non-equilibrium dynamics of filtration processes in fissured porous media, and closed solution of some problems, in particular, the problem of Cauchy type and boundary value problem for a finite interval, are obtained.
Abstract: The author analyzes fractional the differential analog of the well-known biparabolic evolution equation intended to describe the dynamics of heat and mass transfer processes that are non-equilibrium in time. Closed solution of some problems, in particular, the problem of Cauchy type and boundary-value problem for a finite interval, are obtained. A new (fractional differential) mathematical model is proposed to describe the non-equilibrium dynamics of filtration processes in fissured porous media.
TL;DR: Methods and algorithms for fast estimation of data distance/similarity measures from formed real-valued vectors of small dimension using random projection and sampling are considered.
Abstract: This survey article considers methods and algorithms for fast estimation of data distance/similarity measures from formed real-valued vectors of small dimension. The methods do not use learning and mainly use random projection and sampling. Initial data are mainly high-dimensional vectors with different measures of distance (Euclidean, Manhattan, statistical, etc.) and similarity (dot product, etc.). Vector representations of non-vector data are also considered. The resultant vectors can also be used in similarity search algorithms, machine learning, etc.
TL;DR: In this article, the optimal number of components of a linear model in solving a discrete ill-posed problem by the methods of truncated singular value decomposition and random projection is investigated.
Abstract: Criteria are developed to determine the optimal number of components of a linear model in solving a discrete ill-posed problem by the methods of truncated singular value decomposition and random projection. To this end, the behavior of dependencies of the error vector of the solution and the restoration error of the vector of the right side on the model dimensionality and their minima is investigated. An experimental investigation of the developed criteria was also pursued and its results are provided.
TL;DR: An algorithm is proposed for information-extreme machine learning based on the adaptive coding of multitype primary features used in the recognition and optimization of geometric parameters of partitioning the space of secondary features into equivalence classes in the iterative approximation of the global maximum of an information criterion to its boundary value.
Abstract: An algorithm is proposed for information-extreme machine learning based on the adaptive coding of multitype primary features used in the recognition and optimization of geometric parameters of partitioning the space of secondary (unified) features into equivalence classes in the iterative approximation of the global maximum of an information criterion to its boundary value.
TL;DR: The IFC fuzzy clusterization method is proposed that uses new fuzzy logical operators, namely, threshold triangular norms and conorms, which allows one to develop faster algorithms for constructing clusters.
Abstract: To solve problems of automatic classification, the IFC fuzzy clusterization method is proposed that uses new fuzzy logical operators, namely, threshold triangular norms and conorms. This method differs from clusterization methods based on a fuzzy equivalence relation in that it allows one to develop faster algorithms for constructing clusters. In this case, data on relationships between elements of the set being investigated are not distorted, which provides the transparency of interpretation of the results of investigations. Examples of application of the method to some well-known problems are given.
TL;DR: One-norm order-8 and -16 integer transforms are proposed and fast algorithms are developed that implement these transforms with a low computational complexity that is less by a factor of 3–5 than the complexity of well-known algorithms.
Abstract: Matrix methods for constructing one-norm order-8 and -16 integer cosine transforms are considered. One-norm order-8 and -16 integer transforms are proposed and fast algorithms are developed that implement these transforms with a low computational complexity that is less by a factor of 3---5 than the complexity of well-known algorithms and is less by a factor of 10 than that in the H.265 standard.
TL;DR: In this article, a priori error estimate of the convergence rate of mesh solution to the generalized solution of two-dimensional Poisson equation in case of mixed boundary condition (boundary conditions of first and third kinds).
Abstract: We obtain the a priori error estimate of the rate of convergence of mesh solution to the generalized solution of two-dimensional Poisson equation in case of mixed boundary condition (boundary conditions of first and third kinds). We prove that the accuracy order is higher near the sides of the domain where the Dirichlet boundary condition is specified.
TL;DR: This paper shows that correlation coefficients obtained from small test samples for biometric data involve considerable uncertainty, and a method for symmetrizing correlation relationships is proposed, which enables many-fold reduction in the requirement on the size of the training sample for an “own” biometric image.
Abstract: This paper shows that correlation coefficients obtained from small test samples for biometric data involve considerable uncertainty. This interferes with using them for machine training (setting) of classical quadratic forms and Bayesian networks. A method for symmetrizing correlation relationships is proposed. The requirement on the volume of biometric data is proved to be reduced considerably in this case. As a consequence, the setting (teaching) of quadratic forms and setting of maximum likelihood Bayesian networks become much more stable problems. This enables many-fold reduction in the requirement on the size of the training sample for an "own" biometric image.
TL;DR: This paper proposes an approach to improving the efficiency of packet data transmission in computer radio networks on the basis of implementation of a complex of algorithms for operative compact data encoding and protection.
Abstract: This paper proposes an approach to improving the efficiency of packet data transmission in computer radio networks on the basis of implementation of a complex of algorithms for operative compact data encoding and protection. The algorithms are implemented by subscribers of a network and provide the encryption and noise protection of binary sequences in noisy channels and formation and adaptive transmission of highly informative and noise-immune data packets consisting of interval code-signal sequences with a variable base.
TL;DR: This paper showed that the economies of highly developed countries can not overcome the crisis began in 2008 because their central banks restrain annual inflation less than two percent, which does not allow consumer demand to grow.
Abstract: The author shows that the economies of highly developed countries can not overcome the crisis began in 2008 because their central banks restrain annual inflation less than two percent, which does not allow consumer demand to grow. The intervention of central banks into the crisis by pumping money into the economy and reducing interest rates to zero has led to sharp increase in speculative financial sector due to aggravation of the credit crisis and to monetary deflation in the real sector, which keeps depression
TL;DR: The Markov model of a two-stage queueing network with feedback of three-dimensional Markov chain is proposed, and a hierarchical space merging algorithm is developed to calculate its steady-state probabilities.
Abstract: The Markov model of a two-stage queueing network with feedback is proposed. Poisson flows arrive to both stages from outside. A part of already serviced calls at the first node instantaneously enter the second node (if there is free space here) while the other calls leave the network. After the service is completed at the second node, there are three possibilities: (i) the call leaves the network; (ii) it instantaneously feeds back to the first node (if there is free space here); (iii) it feeds back to the first node after some delay in orbit. All feedbacks are determined by known probabilities. Both nodes have finite capacities. The mathematical model of the investigated network is a three-dimensional Markov chain, and a hierarchical space merging algorithm is developed to calculate its steady-state probabilities. The results of numerical experiments are demonstrated.
TL;DR: A mathematical model of procedures of statistical rules is used to determine the possibility of using multialternative methods of decision-making in problems of decoding a full code structure.
Abstract: The result of the research in this paper is a mathematical model of procedures of statistical rules to determine the possibility of using multialternative methods of decision-making in problems of decoding a full code structure. Rules and measures of information are defined, and decision thresholds are established in order to restore full information data flow.
TL;DR: A metalanguage of normal forms of knowledge and its text and graphic descriptions are presented and it is made that the metalanguage presented can be compared favorably with human capabilities of knowledge representation and use.
Abstract: A metalanguage of normal forms of knowledge and its text and graphic descriptions are presented. Numerous linguistic examples including the syntax of a subset of simple English sentences and a metalanguage of Extended Backus---Naur Form are formally described in text and graphic forms. The conclusion is made that the metalanguage presented can be compared favorably with human capabilities of knowledge representation and use.
TL;DR: The concept of barrier function is defined and used to develop a criterion for the quality assessment of random number generators, and the technique of its application and its implementation for several well-known generators are presented.
Abstract: . The authors analyze the dependence of the uniformity of distribution of signs of empirical autocorrelation function with respect to the number of overlapping symbols of intervals into which a sequence of random numbers is divided. A feasible "threshold" of overlap is established, below which the signs of the autocorrelation function are uniformly distributed. The concept of barrier function is defined and used to develop a criterion for the quality assessment of random number generators. The technique of its application and its implementation for several well-known generators are presented.
TL;DR: In this article, a mathematical model is constructed that describes the dynamics of fractional-differential locally nonequilibrium in time convection diffusion process of soluble substances in plain-vertical established filtration with free boundary.
Abstract: A mathematical model is constructed that describes the dynamics of fractional-differential locally nonequilibrium in time convection---diffusion process of soluble substances in plain-vertical established filtration with free boundary. The respective boundary-value problem is formulated and the technique is outlined to derive its approximate solution. Parallel algorithms for calculation of cluster systems are developed, the results of testing the response of parallel algorithms for GPU and the results of numerical experiments on simulation of the dynamics of the migration process under study are presented.
TL;DR: It is shown that round transformations of “Kalyna” generate an alternating permutation group and that the cipher itself is provably secure against differential and linear cryptanalysis.
Abstract: The block cipher "Kalyna" was recently accepted as a new national encryption standard of Ukraine. In this article, the most important properties of components of this cipher are analyzed. It is shown that round transformations of "Kalyna" generate an alternating permutation group and that the cipher itself is provably secure against differential and linear cryptanalysis.
TL;DR: In this paper, a new principle is proposed for the representation of functions of a microprogram finite state machine with datapath of transitions in the form of a set of some algebras.
Abstract: A new principle is proposed for the representation of functions of a microprogram finite state machine with datapath of transitions in the form of a set of some algebras. The principle consists of partitioning the set of tuples forming transition and output functions into subsets each of which is interpreted as a partial function from the signature of the corresponding algebra.
TL;DR: In this article, mixed Boolean linear programming problems to find the shortest route and the shortest cycle that pass through the given number of nodes in a complete graph are formulated, and special cases provide formulations of problems for finding the shortest Hamiltonian path.
Abstract: The author formulates mixed Boolean linear programming problems to find the shortest route and the shortest cycle that pass through the given number of nodes in a complete graph. Their special cases provide formulations of problems for finding the shortest Hamiltonian path and the shortest Hamiltonian cycle. The problems include no more than 2n2 variables and no more than (n + 1)2 constraints, where n is the number of nodes of the complete graph.
TL;DR: Methods are considered that make it possible to intellectualize technologies of synchronous phasor measurements with the help of representation of registered primary data in the form of T-spectra for performing spectral analysis and computing spectral density as the basis for the formation and accumulation of new knowledge.
Abstract: This article analyzes the current state of scientific investigations in the sphere of intellectualization of electrical networks on the basis of synchronous phasor measurements in a system of registration of primary data. The optimization of electrical energy consumption is shown to be dependent on the informational completeness of primary multidimensional data. Based on differential transformations, mathematical models and methods are proposed to analytically compute a collection of T-discretes for determining the informational completeness of the obtained nondeterministic primary data. Methods are considered that make it possible to intellectualize technologies of synchronous phasor measurements with the help of representation of registered primary data in the form of T-spectra for determining individual harmonic components for each parameter of transient processes in power supply systems and also for performing spectral analysis (based on differential representations) and computing spectral density as the basis for the formation and accumulation of new knowledge.
TL;DR: It is shown that it is precisely the transdisciplinary approach to such investigations and also an efficient cooperation of teams of professionals representing different subject areas that provide the possibility of construction of a scientific picture of the world and a global knowledge network that form the basis of noospheregenesis.
Abstract: Principles of concretization and development of the noosphere paradigm are formulated as applied to problems of modern scientific research. It is shown that it is precisely the transdisciplinary approach to such investigations and also an efficient cooperation of teams of professionals representing different subject areas that provide the possibility of construction of a scientific picture of the world and a global knowledge network that form the basis of noospheregenesis. At the same time, the ontological approach to the representation and integration of scientific knowledge makes it possible to create efficient tools for the construction of systems and a technological base for the systemology of transdisciplinary interaction and ontological engineering.