It is shown that multistage concurrent games, or relay-races, are widely used in practice. It is proposed to model relay-races in the state space, in which discrete co-ordinates are the mathematical analogue of stages, which participants pass in the current time, and basic principle of modelling of residence of participant in space states is the M -parallel semiMarkov process. With use of the proposed formalisms formulae for evaluation of stochastic and time characteristics of relay-races evolution are obtained. For arbitrary realization of switching trajectory the recurrent procedure of evolution with evaluation of stochastic and time characteristics of realization under investigation is worked out. Conception of distributed forfeit, which depends on dierence of stages of participants compete in pairs is introduced. Dependence for evaluation of total forfeit for every participant is obtained.

Concurrent games, in which participants run some distance in real physical time, are investigated. PetriMarkov models of paired and multiple competitions are formed. For paired competition formula for density function of time of waiting by winner the moment of completion of distance by loser is obtained. A concept of distributed forfeit, which amount is dened as a share of sum, which the winner gets from the loser in current moment of time is introduced. With use of concepts of distributed forfeit and waiting time the formula for common forfeit, which winner gets from loser, is obtained. The result, received for a paired competition, was spread out onto multiple concurrent games. Evaluation of common wins and loses in multiple concurrent game is presented as a recursive procedure, in which participants complete the distance one after another, and winners, who had nished the distance get forfeits from participants, who still did not nish it. The formula for evaluation of common winning in concurrent game with given composition of participants is obtained. The result is illustrated with numerical example.

The aim of the research is to develop mathematical and program support for detecting abnormal behavior of users. It will be based on analysis of their behavioral biometric characteristics. One of the major problems in UEBA/DSS intelligent systems is obtaining useful information from a large amount of unstructured, inconsistent data. Management decision-making should be based on real data collected from the analysed feature. However, based on the information received, it is rather difficult to make any management decision, as the data are heterogeneous and their volumes are extremely large. Application of machine learning methods in implementation of mobile UEBA/DSS system is proposed. This will make it possible to achieve a data analysis high quality and find complex dependencies in it. A list of the most significant factors submitted to the input of the analysing methods was formed during the research.

Abstract. An ergodic semi-Markov process with the structure represented by the full graph with loops, which simulates a digital control algorithm that generated transactions onto an object, is investigated. Elementary simplifications for reduction of semi-Markov processes are defined. Recursive procedure for reduction of initial semi-Markov process structure till the model, which includes selected states with its links only, is proposed. Formulae for recalculation of probabilities, weighted densities and expectations of time of switching to linked states are obtained. It is shown that recursive procedure may be used also for calculation of time expectation of return the process to one of selected states that simplified the task of evaluation of time intervals between transactions in polling procedure.

A semi-Markov process, as a model of interpretation of an algorithm by embedded controller is considered. Generation of transactions in digital controllers as a result of random wandering on states of semi-Markov process is described. Mathematical expressions for evaluation of stochastic characteristics and time lag densities between transactions are obtained. Latencies between transactions is considered as an important parameter for proper synthesis of control algorithms in real-time embedded digital control systems. Digital control system; real-time; algorithm; latency; semi-Markov process; ergodic processI.