Proceedings of the 5th International Scientific Conference of Students and Young Scientists "Theoretical and Applied Aspects of Cybernetics" TAAC-2015

About the conference . . . .. . . . . . . . . . . . . . . . . . 3
About Victor Glushkov . . . . . . . . . . . . . . . . . . . . . 5
Program Committee . . . . . . . . . . . . . . . . . . . . . . . 6

Section One: Computer Science . . . . . . . . . . . . . . .  . 13

I. Senturk, T. Oner, U. Nuriyev
An Algebraic Approach to Categorical Syllogisms By Using Bilateral
Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

E. M. Nasirov
Parallel Methods of Non-Negative Sparse Large Matrix Factorization 22

F. Nuriyeva
On a Solution of a Sequential Partially Covering Problem . . . 32

N. V. Polishchuk, M. O. Kartavov, T. V. Panchenko
Safety Property Proof using Correctness Proof Methodology in IPCL 37

D. O. Progonov
Robustness of Multistage Embedding Methods to Statistical
Steganalysis . . . . . . . . . . . . . . . . . . . . . . . . . . .45

T. O. Makhno
Evolutionary Approach to Ultrasound Images Segmentation . . . . . 53

A. O. Yurkov, I. V. Chernukha
Automated Identification and Recognition of Right Whales . . .  . 59

Section Two: Applied Mathematics . . . . . . . . . . . . . .  . . 71

M. O. Bilous
Mathematical Modeling of Angiogenesis During Wound Healing . . .. 72

V. O. Bohaienko
Using Basis Matrix Method with AMLI Preconditioner for Solving
Elasticity Problems . . . . . . . . . . . . . . . . . . . . . . . 82

K. O. Buravchenko
Method for Determination the Controller Gains in Water Supply
System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .92

O. O. Chepok
The Asymptotic Properties of Rapidly Varying Solutions of Second
Order Differential Equations with Regularly and Rapidly Varying
Nonlinearities . . . . . . . . . . . . . . . . . . . . . . . .  . 97

G. P. Chuiko, I. O. Shyian
Computer-Aided Electroneuromyography with Maple. . . . . . . . . 101

I. Yu. Demchenko, T. V. Pepeliaieva
On Semi-Markov Multitask System of Inventory Theory . . . .. . . 108

A. I. Derevianko, S. L. Gefter
Rational Solutions of the Simplest Linear Inhomogeneous Difference
Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . .117

N. A. Dreychan
Asymptotic Reoptimization of 2-Objective Minimum Set Cover
Problem . . . . . . . . . . . . . . . . . . . . . . . . . .  . . 123

A. Gursoy, H. Kutucu, M. Kurt, U. Nuriyev
A Binary Integer Linear Programming Model for the Band Collocation
Problem . . . . . . . . . . . . . . . . . . . . . . . . . . .. . 131

A. Khabachova, V. Sobolev
Simulation Method of Multifractal Time Series with Desired
Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

O. D. Kichmarenko, A. O. Latysh
An Alternative Approach to the Data Storage for the Agglomerative
Hierarchical Clustering Algorithms . . . . . . . . . . . . . . . 141

R. P. Krasniuk
The Optimal Using of Computing Resources and Minimizing of
Imbalance in Distribution of Tasks in Computer Networks . .. . . 151

J. Alvarez-Liebana, D. Bosq, M. D. Ruiz-Medina
Consistency of the Plug-In Functional ARH(1) Predictor of the
Ornstein-Uhlenbeck Process . . . . . . . . . . . . . . . .  . . .158

V. O. Makarichev
Application of Atomic Functions to Lossy Image Compression . . . 166

M. V. Makarychev, I. A. Mulko, V. O. Yatsenko
Optimization and Adaptive Control of Lyapunov Exponents . .. . . 176

I. A. Mulko, M. V. Makarychev, V. O. Yatsenko
Identification of NARMAX Models and Geomagnetic Indices
Prediction . . . . . . . . . . . . . . . . . . . . . . . . . . . 186

G. Saprykin, Yu. Kobytska
Wavelet Packet Transform for Analysis of Time Series with Chaotic
Structure . . . . . . . . . . . . . . . . . . . . . . . . .. . . 192

Yu. V. Sizonov
Simple Binary Sequences. . . . . . . . . . . . .. . . . . . . . .197

Ya. I. Vedel
New Two-Step Proximal Method for Equilibrium Problem . . . . . . 202

A. P. Vlasyuk, V. V. Zhukovskyy, M. M. Bondarchuk
Mathematical Modelling of Vertical Migration of Radionuclides in
Catalytic Porous Media with Traps in Linear Case . . . . . . . . 208

Ye. A. Yaremchuk
Optimal Control Data Transferring Model via Apache Flume . . . . 220

Conference organizers . . . . . . . . . . . . . .. . . . . . . . 227
Sponsors and partners of the conference . . . . . . .  . . . . . 230
Author index . . . . . . . . . . . . . . . . . . . . . . . . . . 232