Головна Головна -> Реферати українською -> Дисертації та автореферати -> МЕТОДИ АНАЛІЗУ І СИНТЕЗУ МОДЕЛЕЙ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НА ОСНОВІ ФУНКЦІОНАЛЬНИХ СІТОК ПЕТРІ

МЕТОДИ АНАЛІЗУ І СИНТЕЗУ МОДЕЛЕЙ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НА ОСНОВІ ФУНКЦІОНАЛЬНИХ СІТОК ПЕТРІ

Назва:
МЕТОДИ АНАЛІЗУ І СИНТЕЗУ МОДЕЛЕЙ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НА ОСНОВІ ФУНКЦІОНАЛЬНИХ СІТОК ПЕТРІ
Тип:
Реферат
Мова:
Українська
Розмiр:
21,97 KB
Завантажень:
9
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 
МІНІСТЕРСТВО ТРАНСПОРТУ ТА ЗВ’ЯЗКУ УКРАЇНИ
ОДЕСЬКА НАЦІОНАЛЬНА АКАДЕМІЯ ЗВ’ЯЗКУ ім. О.С. ПОПОВА
ЗАЙЦЕВ ДМИТРО АНАТОЛІЙОВИЧ
УДК 621.39, 004.7
МЕТОДИ АНАЛІЗУ І СИНТЕЗУ МОДЕЛЕЙ
ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НА ОСНОВІ
ФУНКЦІОНАЛЬНИХ СІТОК ПЕТРІ
05.12.02 – телекомунікаційні системи та мережі
Автореферат дисертації на здобуття наукового ступеня
доктора технічних наук
Одеса – 2006


Дисертацією є рукопис
Робота виконана в Одеській національній академії зв’язку ім. О.С. Попова,
Міністерство транспорту та зв’язку України
Науковий консультант –
д.т.н, професор Воробієнко Петро Петрович
Одеська національна академія зв’язку ім. О.С. Попова, ректор
Офіційні опоненти:
доктор технічних наук, професор Савченко Олексій Якович, член-кореспондент НАН України, Інститут телекомунікацій і глобального інформаційного простору НАН України, заступник директора з наукової роботи.
доктор технічних наук, професор Поляков Петро Федорович, Харківська державна академія залізничного транспорту, завідувач кафедри транспортного зв’язку.
доктор технічних наук, професор Ящук Леонід Омелянович, Одеська національна академія зв’язку ім. О.С. Попова, професор кафедри мереж та систем поштового зв’язку.
Провідна установа –
Харківський національний університет радіоелектроніки,
Міністерство освіти України, м. Харків
Захист відбудеться 6 жовтня 2006 р. о 10 годині на засіданні спеціалізованої вченої ради Д 41.816.02, Одеська національна академія зв’язку ім. О.С. Попова, вул. Кузнечна 1, 65029, м. Одеса.
З дисертацією можна ознайомитися у бібліотеці
Одеської національної академії зв’язку ім. О.С. Попова, вул. Кузнечна 1, 65029, м. Одеса.
Автореферат розісланий 31.08.2006 р.
Вчений секретар
спеціалізованої вченої ради _________ Ложковський А.Г.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Динамічний розвиток телекомунікацій призводить до подвоювання кількості використовуваних протоколів кожні п'ять років, а також подвоювання кількості різновидів продукованих пристроїв кожні чотири роки. Окрім того, зростає складність самих протоколів, що може бути схарактеризовано принаймні обсягом вихідних специфікацій та кількістю розглянутих у них термінів. Зростають обсяги передаваної інформації, приміром, обсяг щоденного трафіка всесвітньої мережі Інтернет оцінюється сотнями петабітів. Експертні оцінки підтверджують зростання частки критичної інформації, пов'язаної з переміщуванням значних фінансових коштів, а також інформації, котра забезпечує безпеку функціонування штучних систем. Безпека людства усе більш залежить від надійності телекомунікацій, використовуваних у керуванні технологічними процесами.
Вартість помилок у вихідних специфікаціях протоколів є найбільш істотною, оскільки специфікації втілюються потім у конкретних пристроях та програмному забезпеченні, які стають носіями помилок. Поза тим, відзначені процеси проектування пристроїв та програмного забезпечення самі виступають у ролі джерел помилок. Важко переоцінити наслідки блокування Інтернет у нинішній час на період у декілька днів, аналогічний наслідкам відомого хробака Моріса, який використовував помилки програмного забезпечення, котре реалізує протоколи електронної пошти.
Отже, виникає наукова проблема доведення коректності і оцінки ефективності телекомунікаційних систем. Розв’язанню відзначеної проблеми на підставі розробленої здобувачем теорії функціональних сіток Петрі і присвячена дисертаційна робота.
Зв'язок роботи з науковими програмами, планами, темами. Роботу виконано в рамцях Робочих програм IETF з удосконалювання протоколів Інтернет, специфікованих у RFC; Програми розвинення протоколу Bluetooth суспільства Bluetooth-SIG; Програми створення вбудованих модулів для системи Tіna автоматизованого аналізу сіток Петрі та часових сіток Петрі лабораторії LAAS, Тулуза, Франція.
Мета і задачі дослідження. Метою дослідження є створення ефективних методів аналізу і синтезу моделей Петрі телекомунікаційних систем. Для досягнення поставленої мети розв’язано такі задачі:–
розроблено методи синтезу сіток Петрі за стандартними специфікаціями протоколів; виконано синтез моделей Петрі та верифікацію протоколів, від коректності яких залежить надійність глобального й корпоративного інформаційного обміну, таких як TCP, BGP, IOTP;–
розроблено методи, які забезпечують істотне прискорювання процесів верифікації телекомунікаційних протоколів за допомогою функціональних сіток Петрі;–
розроблено основи теорії функціональних сіток Петрі та кланів систем лінійних алгебраїчних рівнянь;–
розроблено методи синтезу моделей Петрі телекомунікаційних систем на основі композиції моделей компонентів, а також методи вимірювання функціональних характеристик моделі в процесі імітації її динаміки;
- побудовано типові моделі комутованих та маршрутизованих мереж, мереж з комутацією міток, мобільних сенсорних мереж, а також спеціальних компонентів, які забезпечують вимірювання основних функціональних характеристик, таких як час відгуку та трафік.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 



Реферат на тему: МЕТОДИ АНАЛІЗУ І СИНТЕЗУ МОДЕЛЕЙ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НА ОСНОВІ ФУНКЦІОНАЛЬНИХ СІТОК ПЕТРІ

Схожі роботи:


BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок