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

ЛОГІЧНИЙ АНАЛІЗ ПРОТОКОЛІВ МЕРЕЖ ЕОМ НА ОСНОВІ МОДЕЛІ ВЗАЄМОДІЮЧИХ АВТОМАТІВ

Назва:
ЛОГІЧНИЙ АНАЛІЗ ПРОТОКОЛІВ МЕРЕЖ ЕОМ НА ОСНОВІ МОДЕЛІ ВЗАЄМОДІЮЧИХ АВТОМАТІВ
Тип:
Реферат
Мова:
Українська
Розмiр:
19,95 KB
Завантажень:
256
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13 
ДОНЕЦЬКИЙ ДЕРЖАВНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ
ПОТАПОВ ІГОР ГЕННАДІЙОВИЧ
УДК 518.610
ЛОГІЧНИЙ АНАЛІЗ ПРОТОКОЛІВ МЕРЕЖ ЕОМ
НА ОСНОВІ МОДЕЛІ ВЗАЄМОДІЮЧИХ АВТОМАТІВ
05.13.13 – ОБЧИСЛЮВАЛЬНІ МАШИНИ, СИСТЕМИ ТА МЕРЕЖІ
Автореферат
дисертації на здобуття наукового ступеня
кандидата технічних наук
Донецьк – 2001р.
Дисертацією є рукопис.
Робота виконана в Інституті прикладної математики і механіки НАН України.
Науковий керівник: доктор технічних наук, доцент
Скобцов Юрій Олександрович,
Інститут прикладної математики і механіки НАН
України, відділ теорії керуючих систем,
провідний науковий співробітник.
Офіційні опоненти: доктор технічних наук, професор
Слєпцов Анатолій Ілліч,
Донецький інститут економіки і господарчого права,
завідувач кафедри інформатики і інформаційних
технологій;
кандидат технічних наук, доцент
Болдак Андрій Олександрович,
Національний технічний університет України “КПІ”,
доцент кафедри обчислювальної техніки.
Провідна установа: Інститут кібернетики ім. В.М. Глушкова,
відділ 100, НАН України, м. Київ.
Захист відбудеться " 26 " квітня 2001 р. о 14 годині на засіданні
спеціалізованої вченої ради К 11.052.03 Донецького державного
технічного університету за адресою :
83000, м. Донецьк, вул. Артема, 58, уч. корпус 1, ауд. 201.
З дисертацією можна ознайомитись у бібліотеці Донецького державного
технічного університету за адресою :
83000, м. Донецьк, вул. Артема, 58, уч. корпус 2.
Автореферат розісланий " 23 " березня 2001 р.
Вчений секретар
спеціалізованої вченої ради Мокрий Г.В.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Зростання потреб сучасного суспільства в інформаційному обслуговуванні викликало стрімкий розвиток мереж зв'язку та появу нової області обчислювальної техніки, яку назвали "протокольною технологією". Основна роль протокольної технології зводиться до встановлення узгоджень (протоколів), яким повинні випливати компоненти розподілених обчислювальних систем, з тим щоб виконувати потрібні функції. В зв'язку зі збільшенням складності функціонування апаратних засобів і програмного забезпечення ймовірність неявних, замаскованих помилок при проектуванні та реалізації сучасних протоколів стає все більшою.
Однією з найважливіших задач, що виникають при проектуванні протоколів інформаційно-обчислювальних мереж, є аналіз їх логічної коректності. Задача аналізу логічної коректності вивчалась багатьма авторами та досліджувалась різними математичними апаратами. Ефективний аналіз різноманітних складних систем проводився за допомогою мереж Петрі В.Є.Котовим, А.І.Слєпцовим, C.Girault, J.Piterson. Методи аналізу логічної коректності протоколів, які розроблено в працях M.Gouda, R.Miller, W.Peng, S.Purshothaman, H.Schoot, основані на моделі взаємодіючих автоматів, введеною G.V.Bochmann. В подальшому ця модель стала базовою для мов специфікацій, таких як SDL і ESTELLE.
Принципова трудність аналізу логічної коректності полягає в тому, що перевірка властивостей коректності є алгоритмічно нерозв'язною в загальному випадку. Проте, навіть коли такі алгоритми існують, їх застосування для більшості реальних протоколів не здійсненне в силу великої розмірності задач. В зв'язку з принциповими теоретичними труднощами даної галузі, сучасні дослідження спрямовано на розробку ефективних алгоритмів аналізу на основі формальних моделей та методів.
Зв'язок роботи з науковими програмами, планами, темами. Дисертацію виконано в 1996-2000 рр. у відповідності з планами науково-дослідницьких робіт лабораторії прикладних проблем дискретної математики ІПММ НАН України (м. Донецьк): НДР №0194U022564 "Дослідження зворотних задач теорії автоматів застосовно до ідентифікації та розпізнавання дискретних систем" (1994-1998), НДР №0199U001612 "Дослідження актуальних проблем моделювання, керування та ідентифікації дискретних систем" (1999).
 
Мета і задачі дослідження. Метою роботи є підвищення ефективності мереж ЕОМ на усіх етапах їх життєвого циклу від проектування до експлуатації шляхом розробки нових методів та алгоритмів аналізу протоколів інформаційно-обчислювальних мереж.

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



Реферат на тему: ЛОГІЧНИЙ АНАЛІЗ ПРОТОКОЛІВ МЕРЕЖ ЕОМ НА ОСНОВІ МОДЕЛІ ВЗАЄМОДІЮЧИХ АВТОМАТІВ

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