As a result of studying the discipline, the postgraduate student should be able to demonstrate the following learning outcomes:
The postgraduate student should know:
- basic information about Markov process;
- traditional technology of developing a model of a researched object in the form of a discrete-continuous stochastic system, to have a solid understanding of the problems that accompany it;
- approaches to the task of expressing equitation to determine the time-probabilistic indicators of the effectiveness of researched objects;
- advanced technology of development of models of researched objects in the form of discrete-continuous stochastic system (concept, the order of formation of the verbal model, the method of development of structural-automatic models).
The postgraduate student should be able to:
- determine a correspondence of the researched object to the discrete-continuous stochastic system;
- to form a verbal model of the researched object (design);
- to develop a structural-automatic model of the researched object (design);
- to use the problem-oriented ASNA software package.

Philosophy and methodology of science
Mathematical modeling and prediction of experiment
Technologies and models of information communication systems

Postgraduate students study the technology of analytical modeling of behavior algorithms for radio-electronic information systems (telecommunication networks, radio-electronic complex systems), namely analytical modeling of behavior using mathematical representation in the form of discrete-continuous stochastic system of Markov and non-Markov type. The behavior of electronic information systems has two aspects: functional and reliability. The modeling of the functional behavior of information systems aims firstly to provide an opportunity to check the efficiency of the proposed (invented) or known procedures and algorithms for control of information flows in the conditions of their actual functioning. The high degree of adequacy of the models and the automation of their development opens the way to solve the problems of parametric synthesis of systems through a multivariate analysis. Reliability behavior reflects the procedures, which an engineer involves (introduces) in the separate components of the information system or/and in the information system in general to maintain its performance after failures. The modeling of the reliability behavior of systems is appointed to solve the problems of reliability synthesis of systems, that is, to provide a given value of reliability indexes by implementation features of fault tolerance for separate components of the information system and survivability for the information system in general. The study of technology begins with learning about the capabilities of Markov models. Traditional modeling technology using Markov process theory is considered as an example of a queuing system with single-channel, single-phase, and unreliable service. To solve the problems of functional (queuing processes) and reliability (fault-tolerant systems) design of information systems, we study modeling technology, which automates the following steps: ? formation of the model in the form of a graph of states and transitions; ? formation and solution of differential equation systems Kolmogorov - Chapman; ? definition and presentation of efficiency indexes. The main attention is paid to the study of the methods of development of structural-automatic models of the researched information systems (their formalized representation) and their practical application. The technique is designed for tasks in which the object of design is presented by events and a description of situations when these events occur. It is concerned to the queuing processes and behavior of fault-tolerant systems while developing a functional or reliability model of a researched object (design). The use of a discrete-continuous stochastic system of Markov type is studied in case problems of parametric and structural synthesis of researched object when its mathematical representation corresponds to a discrete-continuous stochastic system of non-Markov type. The considered simulation technology is automated and the postgraduate student has the opportunity to solve the problems of analysis and synthesis of radio-electronic information systems using the software ASNA.

1. Волочій Б.Ю. Технологія моделювання алгоритмів поведінки інформаційних систем. – Львів: Вид-во Національного університету "Львівська політехніка", 2004. – 220 с.
2. Волочій Б.Ю., Озірковський Л.Д. Системотехнічне проектування телекомунікаційних мереж. Практикум. – Львів: Видавництво Львівської політехніки, 2012. - 128 с.
3. Федасюк Д.В. Методика розроблення структурно-автоматних моделей дискретно-неперервних стохастичних систем [Текст] / Д.В. Федасюк, С.Б. Волочій // Радіоелектронні та комп'ютерні системи. ? Харків: Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", 2016. ? № 6 (80). ? С. 24 ? 34.
4. Федасюк, Д.В. Структурно-автоматна модель відмовостійких систем для автоматизації використання методу фаз Ерланга [Текст] / Д.В. Федасюк, С.Б. Волочій // Радіоелектронні та комп'ютерні системи. ? Харків: Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", 2016. ? № 3 (77). ? С. 78 ? 92.
5. Бусленко Н.П. Моделирование сложных систем. – М.: Наука, 1978. – 400 с.
6. Інформаційні ресурси ВНС: http://vns.lpnu.ua/mod/page/view.php?id=47969

Project reports (45 points)
Final exam in written-oral form (55 points)