Time filter

Source Type

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

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. Source

Sharifov F.,Glushkov Institute of Cybernetics
RAIRO - Operations Research

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. Source

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

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. Source

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

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. Source

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

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. Source

Discover hidden collaborations