Glushkov Institute of Cybernetics

Ukraine

Glushkov Institute of Cybernetics

Ukraine
SEARCH FILTERS
Time filter
Source Type

Boldyreva A.,Academy of Public Administration | Alexandrov M.,Autonomous University of Barcelona | Koshulko O.,Glushkov Institute of Cybernetics | Sobolevskiy O.,National Research University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2017

In the paper we propose two technologies for processing web search queries related to criminal activity. The first one is based on the comparison of the relative number of crimes and the corresponding queries in different regions. Such analysis allows to evaluate the work of the regional police. The second technology uses the correlation between the dynamics of crimes and the dynamics of queries for the Group Method of Data Handling (GMDH) application. It allows to forecast crimes in regions. The source data is taken from Internet depositories of the Yandex company and the Office of the Prosecutor General of Russia. The results of analysis coincide with the official governmental statistics. The results of forecast prove to be very high (2% – 6% of errors). This circumstance gives us the possibility to recommend the proposed technologies for the police departments. © Springer International Publishing AG 2017.


Stovas A.,Norwegian University of Science and Technology | Roganov V.,Glushkov Institute of Cybernetics | Roganov Y.,Tesseral Technologies Inc.
14th EAGE International Conference on Geoinformatics - Theoretical and Applied Aspects, Geoinformatics 2015 | Year: 2015

We introduce the fracture-layer according to Schoenberg theory and insert this layer into a periodically layered elastic medium. The low frequency dispersion due to the presence of fractures and/or layering is defined. In weak-contrast approximation, the elements of sensitivity matrix illustrate the pure- and cross-effect of both fracturing and layering.


Zhukovskiy V.I.,Moscow State University | Chikrii A.A.,Glushkov Institute of Cybernetics | Soldatova N.G.,State Humanitarian and Technological University
Automation and Remote Control | Year: 2016

The main tool for conflict resolution (equilibration) is the equilibrium strategy. Among the torrent of publications in this field, including the seven Nobel prize winners of 1994–2012, the Nash equilibrium is the fundamental one. Such equilibrium. however, does not necessarily exist. In this case, it is only natural to introduce a new notion of equilibrium, that of Berge. It was discussed in the paper which established existence of the Berge equilibrium in the mixed strategies and proposed sufficient conditions reducible to determination of the saddle point of a special Germeier convolution of the gain functions. © 2016, Pleiades Publishing, Ltd.


Drobintsev P.D.,Saint Petersburg State Polytechnic University | Kotlyarov V.P.,Saint Petersburg State Polytechnic University | Letichevsky A.A.,Glushkov Institute of Cybernetics
Automatic Control and Computer Sciences | Year: 2014

The paper provides an overview of a guide-based automated technology of test scenario generation which allows for a substantial increase of the quality of software being developed. To justify the creation of this technology, major problems of development and testing of large industrial systems are described along with a technique of verification of software compliance with the requirements. The tools capabilities in automated and semi-automated test suite generation from a formal model in UCM and means for verification and test automation are demonstrated. © 2014, Allerton Press, Inc.


Letychevskyi O.,Glushkov Institute of Cybernetics | Weigert T.,Uniquesoft LLC
2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings | Year: 2014

VRS (Verification Requirements Specifications) system is a tool for processing formal requirements during the initial stage of software, hardware, or system development. Symbolic modeling and deductive methods are used for detection of issues such as safety violations, deadlocks, nondeterminism, or livelocks. The formal representation of requirements also supports the generation of test suites as well as the synthesis of a design model. © 2014 IEEE.


Sosnytska T.,Pl Shupik Medical Academy For Postgraduate Education Of Uh Ministry | Stadnyuk L.,Pl Shupik Medical Academy For Postgraduate Education Of Uh Ministry | Sosnytskyy V.,Glushkov Institute of Cybernetics
IFMBE Proceedings | Year: 2010

The pattern of local neurocircuitry is likely to play a critical role in influencing electric heterogeneity of repolarization (EHR), a fundamental factor in arrhythmogenesis. Magnetocardiography (MCG) has revolutionized the investigation of cardiac cellular physiology and advanced our understanding of basic mechanisms of electrical activity. In our study we investigated whether MCG mapping could expose the electrophysiological alteration created by local autonomic dysfunction and which are sensitive to myocardial cooling. 24-h Holter monitoring, ECG, Tissue Doppler echocardiograms (TDE) and MCG records were performed in 4 male patients affected by ventricular extrasystolia Patients were without cardiac structural abnormalities, history of myocardial infarction and sign of ischemia on resting ECG. Current density vector (CDV) maps were plotted in the course of ventricle repolarization interval by the magnetic moments method of the "inverse problem solution". The measurements were made before (baseline) and shortly (15 minutes) after 4 patients ingested 150 ml of cold (6 degree C) water. Standard ECG patterns and TDE were unaffected when the patients drank cold water. CDV directions differed significantly between 2 measurements. MCG examinations before ingestion showed additional local area with high level of regional EHR. The changes in the CDV maps indicated decreasing of the heterogeneity of the repolarization by cooling the surface of the apex of the ventricle which was located closer to the stomach. Our findings can be understood in terms of the known temperature sensitivities of the kinetics of the membrane ion channels responsible for recovery and suggest a potential role of MCG in the evaluation of electrophysiological alteration created by local autonomic dysfunction. © Springer-Verlag 2010.


Sosnytska T.,Pl Shupik Medical Academy For Postgraduate Education Of Uh Ministry | Sutkovyy P.,Glushkov Institute of Cybernetics | Sosnytskyy V.,Glushkov Institute of Cybernetics | Koronovska E.,Glushkov Institute of Cybernetics
IFMBE Proceedings | Year: 2010

Cardiac arrhythmia re-entry is most important mechanism of fatal tachy arrhythmias such as ventricular fibrillation. This arrhythmia re-entry may be provoked by such anisotropic factor as circulating fiber orientation. Our hypothesis is that the circulating excitation can be modeled by a set of electrical sources with a different orientation. The purpose of this study was to investigate how well two dimensional current density vectors (CDV) map reflects real distribution of the circulating excitation of the set of electrochemical "cells". A simple realistic torso model and source model (SM) suitable for magnetic measurements was constructed by layers of discrete electrochemical "cells" mounted inside a torso phantom with saline solution. The continuous and discontinuous nature of active circulating excitation were simulated by a set of electrical sources arranged in a circle. Cells were switched on stepwise one after the other. Magnetic signals were recorded by means of 4x3-channel MCG system in an unshielded setting. After averaging the beat at rectangle grid 6x6, magnetic field distribution maps were plotted in the course of an SM activity. CDV maps were plotted by Magnetic Moments Method of the " inverse problem solution " Results show a good correspondence between current density vector maps determined from the actual measured magnetic maps and active circulating excitation. Pattern of activation and regions of earliest and latest activation were observed with acceptable accuracy. Our study confirmed the good correlation between CDV and circulating distribution of current flow sources. © Springer-Verlag 2010.


Tulchinsky V.G.,Glushkov Institute of Cybernetics | Iushchenko R.A.,Glushkov Institute of Cybernetics | Roganov Y.V.,Tetrale Inc.
74th European Association of Geoscientists and Engineers Conference and Exhibition 2012 Incorporating SPE EUROPEC 2012: Responsibly Securing Natural Resources | Year: 2012

3D modelling can be simplified if the medium properties are fixed along some direction. Such type models are called 2.5D ones. One source line computed in 2.5D model can be replicated to produce full 3D survey. 2.5D elastic anisotropic method of finite-difference forward modelling can generate realistic 3D synthetic seismograms for geometrically simplified but detailed models with arbitrary 3D TTI anisotropy and fracturing. The method is based on space frequency decomposition along the direction of fixed parameters. Despite its computational complexity is almost the same as in 3D case GPUs accelerate 2.5D modelling much better than full 3D. Efficient memory decomposition which reduces 2.5D problem to a set of independent quasi-2D problems is a key to the GPU efficiency. 2.5D method runs GPU calculations in the most favourable mode: without data reload, using single floating point precision and local calculations only. Both high level and low level GPUs provide high performance for 2.5D. Additional 3-4 times acceleration of 2.5D over full 3D can be obtained for simple models by random undersampling with spectrum interpolation (for the cost of about 1% noise). 2.5D complements 3D ray tracing in investigation of benefits from multi-component surveys, quasianisotropy effects, processing resolution, etc.


Sharifov F.,Glushkov Institute of Cybernetics
RAIRO - Operations Research | Year: 2010

We consider the maximum weight perfectly matchable subgraph problem on a bipartite graph G=(UV,E) with respect to given nonnegative weights of its edges. We show that G has a perfect matching if and only if some vector indexed by the nodes in UV is a base of an extended polymatroid associated with a submodular function defined on the subsets of UV. The dual problem of the separation problem for the extended polymatroid is transformed to the special maximum flow problem on G. In this paper, we give a linear programming formulation for the maximum weight perfectly matchable subgraph problem and propose an O(n 3) algorithm to solve it. © 2010 EDP Sciences, ROADEF, SMAI.


Tulchinsky V.G.,Glushkov Institute of Cybernetics | Nazarenko I.V.,Glushkov Institute of Cybernetics | Lushchenko O.K.,Glushkov Institute of Cybernetics
72nd European Association of Geoscientists and Engineers Conference and Exhibition 2010: A New Spring for Geoscience. Incorporating SPE EUROPEC 2010 | Year: 2010

Efficiency of data compression for computer clusters processing the massive seismic datasets is examined. A compression isoefficiency estimate is proposed to verify a compression method applicability for acceleration and to compare different methods. 5 algorithms of time cube compression are compared to accelerate duplex wave migration. © 2010, European Association of Geoscientists and Engineers.

Loading Glushkov Institute of Cybernetics collaborators
Loading Glushkov Institute of Cybernetics collaborators