Search academic texts

Information × Registration Number 0506U000566, Doctoral dissertation Status д.т.н. Date 06-10-2006 popup.evolution o Title Methods of analyses and synthesis of telecommunication systems models on the base of functional Petri nets Author Zaitsev Dmitry Anatolievich, popup.head Vorobienko Petr Petrovich popup.opponent Савченко Олексій Якович popup.opponent Поляков Петро Федорович popup.opponent Ящук Леонід Омелянович popup.opponent Балашов Віталій Олександрович Description Дисертаційна робота присвячена вирішенню наукової проблеми доведення коректності та оцінки ефективності телекомунікаційних систем. Викладено основи нової теорії функціональних сіток Петрі та кланів систем лінійних алгебраїчних рівнянь. Розроблено методи синтезу моделей Петрі телекомунікаційних протоколів за їх стандартними специфікаціями з використанням проміжної мови взаємодіючих послідовних процесів Хоара та методи верифікації протоколів за допомогою композиційного аналізу сіток Петрі. Викладено важливі для проектування телекомунікаційних мереж питання побудови моделей Петрі за структурними схемами мереж, а також методи оцінки функціональних характеристик мереж в процесі імітаційного моделювання. Registration Date 2006-10-06 popup.nrat_date 2020-04-04 Close