The task of creating a testbench for functional verification is considered. This verification process establishes the reconvergence (equivalence) of the device specification and the register-transfer level (RTL) model - a logical network which was built in the synthesis process. In the UVM methodology, usually used in the modern design of digital devices for functional verification, a testing strategy, that determines the way in which a test case is constructed, is the random selection of space-driven constrained-random transaction-level self-checking testbenches. The rules and recommendations of UVM contain a standardized structure of the test bench, which is oriented towards the development of transformational devices. For the case where the model of the design is a behavior algorithm, it is proposed to build a testbench as a model of the environment of the design presented in the language of PRALU. The environment model of the developed device allows to avoid situations when the device under test is verified with sufficient coverage, but in an incomplete environment. The environment model on PRALU can be automatically converted into a transaction level model to develop a testbench in the simulator environment of the hardware description language.

A problem to describe the complexity class BPP in terms of a logical language is considered. BPP (abbreviation for bounded-error probablistic polynomial time) represents the class of computational decision problems that are efficiently solvable in polynomial time. The class BPP has an important practical significance since as it includes the largest spectrum of applied problems. At the same time till now, it was supposed that BPP cannot be characterized because of semantic constraints imposed on Turing machines recognizing languages in BPP. Using a new method of characteristical sets we are the first to provide a logical characterization of the class BPP as a decidable fragment of the second-order logic.

A hypergraph is called k-chromatic if its vertex set can be partitioned into at most k pairwise disjoint subsets when each subset has no more than two common vertices with every edge of the hypergraph. The multiplicity of a pair of vertices in a hypergraph is the number of hypergraph edges containing the pair of vertices. The multiplicity of a hypergraph is the maximum multiplicity of the pairs of vertices. Let L^m(k) denote the class of edge intersection graphs of k-chromatic hypergraphs with multiplicity at most m. It is known that the problem of recognizing graphs from L¹(k) is polynomially solvable if k = 2 and is NP-complete if k = 3. The complexity of the recognition of graphs from L^m(k) for fixed k ≥ 2 and m ≥ 2 is currently unknown.

A split graph is a graph whose vertices can be partitioned into a clique and an independent set. It is known that for any k ≥ 2 the graphs from L¹(k) can be characterized by a finite list of forbidden induced subgraphs in the class of split graphs. It was earlier proved that there exists a finite characterization in terms of forbidden induced subgraphs for the graphs from L²(3) in the class of split graphs.

It is proved in the article that a finite characterization in terms of forbidden induced subgraphs for the graphs from L^m(3) (for fixed m ≥ 2) exists in the class of split graphs. In particular, it follows that the problem of recognizing graphs from L^m(3), m ≥ 2 is polynomially solvable in the class of split graphs.

A heuristic method for multi-block parallel decomposition of a system of partial Boolean functions is described. The method minimizes the number of functions forming the required superposition. The restriction on the number of arguments of the obtained functions is imposed. The method involves the specification of functions by interval form i. e. in the form of a pair of ternary matrices. One of the matrices represents intervals of Boolean space of the arguments (matrix of intervals), the other one represents the values of the functions at these intervals (matrix of functions). The graphs of rows orthogonality of those matrices are considered. The problem of functions decomposition is reduced to covering the edge set of the rows orthogonality graph of the matrix of functions by complete bipartite subgraphs (bicliques) of the row orthogonality graph of the matrix of intervals. Every biclique is assigned with a disjunctive normal form (DNF) by a certain way, and only those bicliques are taken into consideration whose DNFs have terms with the ranks not more than the bounds of the number of arguments of the obtained functions. The bicliques that form the desired cover and the cover itself are constructed sequentially by certain rules. Every biclique is used to construct the function whose arguments are the variables from the term of minimum rank from the corresponding DNF. The obtained functions are given also in interval form.

For the generalized elastic-plastic material of Murnaghan, the problem of determining the velocities of the left measure of elastic distortions and the growth parameter of elastic deformation anisotropy at known displacement velocities is considered. The defining equations are formulated in a finite form for the specific potential energy of elastic deformation and the Cauchy stress tensor. Differential defining equations are presented for the stresses potential, stresses and anisotropy parameters. Three possible cases when the point of the deviator section of the yield surface will be regular or singular are considered. A system of equations for determining the velocities of the right-hand measure of elastic distortions and the growth parameter for elastic anisotropy is obtained. Using an orthogonal transformation with proper orthogonal rotation tensor that accompanies an elastic deformation, the system is reduced to a system of equations for determining unknown parameters. With the help of the symbolic calculation tools of the MathCAD 8 system, the necessary analytical representations of the values for the developed program complex in the FORTRAN language are found. The procedure for minimizing the growth parameter of elastic deformation anisotropy is described. A software implementation of the solution of this problem is obtained, which is an essential element of the numerical simulation system for the material under consideration.

Nonparametric methods are used in complex cases where model information is insufficient. A new method of nonparametric approximation, the singular wavelet method, is developed. The method includes a numerical algorithm based on the summation of a recurrent sequence of functions. The introduction explains the idea of the singular wavelet method to combine the theory of wavelets with kernel regression estimation of the Nadaraya - Watson type. This integration is realized by regularizing the wavelet transform. Usually kernel estimation is are considered as an example of nonparametric estimation. However, one parameter - the blur parameter - is still present in the traditional kernel regression algorithm. In the approximation by the method of singular value wavelet, the summation of kernel estimation of the type Nadaraya - Watson using the blur parameter takes place. In the main part of the work, the variant of wavelet transform regularization for the finite interval is considered. Theorems that formulate the properties of a wavelet transform with a singular wavelet are proved, an algorithm for approximating a function defined on a finite interval by a sequence of wavelet transforms is proposed.

The problem of obtaining training dataset for setting weights of neural network designed for indoor detection of doors is considered and solved on the particular example. A method for generating realistic synthetic data is developed. The method involves replacing a priori known target objects on digital images with new reference objects that were obtained by projective transformation of reference objects. The method is designed to obtain training dataset for training and testing of artificial neural networks, which will be used in the mobile robot control system to solve autonomous navigation problem. The effectiveness of the proposed method was confirmed experimentally.

The article is based on the report at the 2nd Congress of scientists of the Republic of Belarus. It considers the issues of national e-health and briefly reviews the market of information technologies for healthcare, the role of the National Academy of Sciences of Belarus in the informatization of healthcare, and the economic and social aspects of informatization. The article reviews current state of e-health in Belarus and perspective direction of e-health development in Belarus to provide a common information area for the healthcare by creating a centralized health information system by integration approach based on international standards HL7 FHIR, DICOM and others.

The method of reliability parameters calculation of objects with regard to inaccuracies of source data is provided. In this case, only restorable objects are considered, the reliability of which is ensured by structural redundancy with limited multiplicity. Such objects include on-board equipment of small spacecraft. Such reliability properties as uninterrupted operation, maintainability and their combinations are considered.

The model of reliability of restorable object with assumptions and restrictions is given. The analysis of simple and complex recoverable blocks of structural schemes of reliability taking into account the inaccuracies of initial data is carried out, and formulas for reliability calculation of blocks of structural schemes of reliability are given.

As an example of using the method, the results of reliability evaluation of a typical restorable object consisting of simple and complex blocks with loaded and unloaded reserves are presented.

The questions of positioning control of reference units of automatic raising and leveling system of support platform were considered in the article. The list of functional elements which are needed for analyzing the hydraulic reference units behavior in different working states (unloaded and loaded) was specified. Adjusted characteristics for different load states were constructed. Logarithmic amplitude-frequency responses and phase-frequency responses were measured and the transfer function of hydraulic reference unit was identified. The digital controller was synthesized. Modeling and experimental verification of hydraulic reference unit behavior within automatic raising were made. The comparative analysis of their functioning was done. As a result the closed loop system for hydraulic reference unit was made and adequate model of its behavior was created.

The article explores the peculiarities of self-checking integrated control circuits synthesis by the Boolean complement method based on the "2-out-of-4'' constant-weight code. The article describes the features of integrated control circuits implementation by the Boolean complement method. It is noted that it is possible to synthesize the structures of discrete devices, which have less structural redundancy than in situation of the control circuit implementation by the method of duplication. The effect in structural redundancy reducing is achieved by minimizing the complexity of the control logic block technical implementation and using checkers that are simpler in their structures than the comparator in the system of duplication. The article proposes a method of the integrated control circuit organization based on determining the values of control functions taking into account the maintenance of testability of elements of addition by modulo two in the Boolean complement block and the checker of the "2-out-of-4" code.