Time filter

Source Type

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.

Varanovich A.,United Institute of Informatics | Tulchinsky V.,Glushkov Institute of Cybernetics | Burmako E.,Glushkov Institute of Cybernetics | Falfushinsky V.,Glushkov Institute of Cybernetics | Sadykhov R.,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

Recent studies in the field of seismic modeling show us that utilizing graphical processors as a part of computing clusters give significant performance benefits. There are different types of applications available for the most common cluster configuration. We introduce a research program framework called Conflux, which allows efficient utilization of the new paradigm of writing mixed GPU/CPU algorithms. Conflux provides a parallel programming framework to use CPUs and GPUs in collaboration as components of an integrated computing system. The paper shows advantages of using the framework to solve most typical tasks in the field of seismic modeling. The performance metrics were obtained from two approaches in the implementation of 2-D finite-difference acoustic modeling: native C implementation for NVidia CUDA library and Conflux based onC#. The results given allow to conclude that keeping the same level of performance we gain an advantage in the overall development efforts for writing seismic algorithms as well as flexibility of targeting different types of hardware architectures including GPU-enabled clusters. © 2010, European Association of Geoscientists and Engineers.

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