О решении стационарных уравнений методом исключения переменных для порогового обслуживания конфликтных потоков

Рассматривается задача обслуживания конечного числа неординарных пуассоновских потоков. Обслуженное требование может быть направлено на повторное обслуживание. После каждого акта обслуживания происходит акт переналадки. Длительности обслуживаний и переналадок имеют показательное распределение. Строится модель в виде многомерного марковского процесса с непрерывным временем. Приводятся дифференциальные уравнения для совместных производящих функций длин очередей и состояния обслуживающего устройства, и функциональные уравнения для стационарных производящих функций. Основная цель исследования - изучение возможности реализации метода исключения переменных в ходе решения уравнений для стационарных функций с применением языка программирования символьных вычислений (компьютерной алгебры).