A methodology and computer programs were developed for the Structured Analysis Technique and Technology (SATT) of sophisticated hardware-software systems. A typical example of systems of which the design and implementation could and should be supported by SATT are control systems of...

In this paper we summarize and generalize some concepts in form management. A form management system is used for illustration, and some usage examples are also presented.

The Ada programming language has aroused considerable attention and investment since its development during the late 1970s. The language has received massive Department of Defense support, but its progress has not been smooth. Ada has also captured the interest of many in the Eastern Bloc. In...

The role of symbolic computations in CAD of the optical devices control systems is discussed. An algebraic description of a specific optical system and the steps of the application of the algebraic computations language to the system in question is given.

We outline a numerical technique for the solution of systems of nonlinear ordinary differential equations containing arbitrary numbers of random parameters and random initial conditions. The random parameters are restricted to be time-independent, and hence, stochastic processes are excluded...

The article deals with some problems connected with analysis and synthesis of Data Processing Systems under time criteria. Modelling of a DPS functioning aimed at studying its time characteristics may be carried out with the use of the suggested timed Petri-nets with color markers which describe...

In this paper, effects of total and partial decouplings in conjunction with Euler's one-step implicit and explicit schemes for linear singularly perturbed system are considered. It is shown that in some cases the equations obtained by decoupling the system of difference equations for such...

This survey paper presents a collection of algorithms for computer generation of trajectories of some classes of stochastic processes such as various types of finite Markov chains (including simple or multiple Galton-Watson chains), Markov renewal processes, stochastic systems with complete...

Some inverse problems for the nonlinear heat equation are considered in this paper. They consist in the statistical evaluation of certain temperature properties of a conducting body or heat source functions, in the assumption that the temperature registered at an interior point is known as a...

The paper outlines the application of a Computer-Aided Control System Design for a freeze-hole drilling system. The paper describes the discrete model of the drilling operation based on the constant energy methods of Fullerton, coupled with the hydraulic program and steering program for a solids...