Зайцев Д. А. Методи аналізу і синтезу моделей телекомунікаційних систем на основі функціональних сіток Петрі

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0506U000566

Облікова картка дисертації

0506U000566.pdf

Здобувач

Спеціальність

  • 05.12.02 - Телекомунікаційні системи та мережі

06-10-2006

Спеціалізована вчена рада

Д 41.816.02

Одеська національна академія зв'язку ім. О.С. Попова

Анотація

Дисертаційна робота присвячена вирішенню наукової проблеми доведення коректності та оцінки ефективності телекомунікаційних систем. Викладено основи нової теорії функціональних сіток Петрі та кланів систем лінійних алгебраїчних рівнянь. Розроблено методи синтезу моделей Петрі телекомунікаційних протоколів за їх стандартними специфікаціями з використанням проміжної мови взаємодіючих послідовних процесів Хоара та методи верифікації протоколів за допомогою композиційного аналізу сіток Петрі. Викладено важливі для проектування телекомунікаційних мереж питання побудови моделей Петрі за структурними схемами мереж, а також методи оцінки функціональних характеристик мереж в процесі імітаційного моделювання.

Читати повністю

Файли

dod566-1.jpg

dod566-2.jpg

dod566-3.jpg

zar.pdf

zdd.pdf

Схожі дисертації

0524U000084

Касім Намір Хашім Касім ...

Методологія забезпечення якості обслуговування IoT в мережі 5G

0523U100269

Лисечко Володимир Петрович

Методи та моделі підвищення завадостійкості безпроводових інтелектуальних телекомунікаційних систем на базі складних сигнально-кодових конструкцій

0423U100140

Клобукова Людмила Петрівна

Метод квазіортогонального частотного розділення каналів в когнітивних радіомережах

0423U100089

Якимчук Наталія Миколаївна

Методи боротьби з перевантаженнями телекомунікаційних мереж нових поколінь шляхом формування потоків різнорідного мережевого трафіку

0521U101958

Михалевський Дмитро Валерійович

Методологія підвищення ефективності оцінювання параметрів і характеристик радіоканалів корпоративних телекомунікаційних мереж