Алгоритмы верификации и производительности сетевых протоколов
Автор:Саидахмедов Шавкат Год: 2014 Издание:LAP Lambert Academic Publishing Страниц: 120 ISBN: 9783659204722 Монография посвящена описанию и практической реализации протокольных объектов основанных на логическую и процедурную характеристики с использованием последовательной схемы моделирования (блок-схемы), через «условия и события» на основе алгоритма их функционирования и сетей Петри. Все, о чем написано в этой монографии, составляет обобщение некоторого опыта и знаний о верификации и производительности протоколов с точки зрения компьютерных сетей. Несмотря на то, что автор старался к широте охвата проблемы, читатель почувствовал, что знания о верификации и производительности протоколов еще далеко не полны. Наука здесь находится еще в стадии становления. Это проявляется хотя бы в том, что не существует уравнения состояния и другие математические выражения, для оценки вероятностно-временных характеристик протокола с точки зрения его практической реализации.
