Мета роботи – аналіз ймовірнісних моделей мережних протоколів, які використовуються в системах керування інформаційних мереж зв’язку. Об'єкт дослідження – ймовірнісні моделі мережних протоколів при керуванні ними. Виконано огляд методів формального опису протоколів таких як кінцеві автомати та мережі Петрі. Визначені марківські процеси послідовного прийняття рішення, що базуються на визначенні стратегій, реалізуються рекурентним і ітераційним методами. Було розглянуто побудову ймовірнісної моделі на прикладі протоколу чергування бітів АВР, який призначенний для забезпечення надійної односпрямованої передачі повідомлень. Для вивчення поведінки марківського процесу в перехідний період використано похідні функції, або -перетворення. Розглянуто методи статистичного аналізу параметрів марківської моделі при великому числі спостережень за станом мікрооб'єктів і не залежних від часу ймовірностей переходу. ВИГРАШ, ІТЕРАЦІЙНИЙ МЕТОД, ІТЕРАЦІЙНИЙ ЦИКЛ, КЕРУВАННЯ, КІНЦЕВИЙ АВТОМАТ, ЛАНЦЮГ МАРКОВА, МЕТОД ФОРМАЛЬНОГО ОПИСУ, -ПЕРЕТВОРЕННЯ, ПРОТОКОЛ, РЕКУРЕНТНИЙ МЕТОД, СТРАТЕГІЯ. ABSTRACT The purpose of the work – analysis of probability models of network protocols used in control systems of information networks. Object of the studies – probabilistic model of network protocols for managing them. The review of methods of formal description of protocols such as finite automaton and Petri nets. Markov processes defined sequential decision making based on the definition of strategies implemented by recurrent and iterative methods. It considers the construction of probabilistic models for example alternating bit protocol ABP that appointment to ensure a reliable unidirectional message transfer. To study the behavior of the Markov process in the transition used derivatives of the function, or -transformation. The methods of statistical analysis of parameters of Markov models with a large number of observations of the microscopic and time-dependent transition probabilities. GAIN, ITERATIVE METHODS, ITERATIVE CYCLE, CONTROL, FINITE AUTOMATON, MARKOV CHAIN, METHOD FORMAL DESCRIPTION, -TRANSFORM, MINUTES, RECURRENT METHODS, STRATEGY.
