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