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

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

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


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24 
Національна академія наук України
Інститут кібернетики імені В.М.Глушкова
ЧЕБОТАРЬОВ Анатолій Миколайович
УДК 519.713.1
ДОКАЗОВЕ ПРОЕКТУВАННЯ АЛГОРИТМІВ
ФУНКЦІОНУВАННЯ РЕАКТИВНИХ СИСТЕМ
05.13.13 — обчислювальні машини, системи та мережі
Автореферат дисертації на здобуття наукового ступеня
доктора технічних наук
Київ 2002
Дисертацією є рукопис
Робота виконана в Інституті кібернетики ім. В.М.Глушкова НАН України
Науковий консультант доктор технічних наук, професор Коваль Валерій
Миколайович, Інститут кібернетики ім. В.М.Глушкова
НАН України, завідувач відділом
Офіційні опоненти:
доктор фізико-математичних наук, професор Анісімов Анатолій
Васильович, Київський національний університет ім. Т.Г.Шевченка,
завідувач кафедрою математичної інформатики,
доктор технічних наук, професор Кузнєцов Олег Петрович,
Інститут проблем управління ім. В.О.Трапєзнікова РАН,
завідувач лабораторією,
доктор технічних наук, професор Литвинов Віталій Васильович,
Інститут проблем математичних машин і систем НАН України,
завідувач відділом.
Провідна установа:
Національний технічний університет України “КПІ” МОН України,
кафедра обчислювальної техніки.
Захист відбудеться “ 5 ” грудня 2002 р. о “ 14 ” годині на засіданні спеціалізованої вченої ради
Д 26.194.03 в Інституті кібернетики ім. В.М.Глушкова НАН України за адресою:
03680, МСП, Київ-187, проспект Академіка Глушкова, 40.
З дисертацією можна ознайомитися у бібліотеці Інституту кібернетики НАН України.
Автореферат розісланий “ 30 ” жовтня 2002 р.
Учений секретар
спеціалізованої вченої ради РОМАНОВ В.О.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми дисертації. Наш час характеризується інтенсивною комп'ютеризацією усіх сфер людської діяльності, широким розповсюдженням автоматичних методів одержання і обробки інформації з використанням кібернетичних систем. Серед сучасних кібернетичних систем суттєво збільшилася кількість реактивних систем, тобто систем, постійно взаємодіючих з їхнім оточенням. Це, зазвичай, системи реального часу, робота яких полягає у виробленні реакції (звідси назва “реактивні”) на вхідну інформацію, що змінюється. До таких систем відносяться також розподілені або багатоагентні системи, кожний агент яких постійно взаємодіє з одним або кількома іншими агентами, які утворюють для нього зовнішнє середовище. Прикладами реактивних систем є телекомунікаційні мережі, системи керування технологічними процесами, системи керування літальними апаратами тощо.
Помилки у функціонуванні таких систем, як системи керування ядерними реакторами, хімічним виробництвом, засобами космічної техніки можуть призвести до катастрофічних наслідків, пов'язаних з великими матеріальними втратами і людськими жертвами. Тому до надійності та безпомилковості функціонування таких систем висуваються надзвичайно жорсткі вимоги. Зокрема, необхідно, щоб алгоритм функціонування системи точно відповідав вимогам, які визначаються його початковою специфікацією. Досягнути цього можна застосуванням строгих методів коректного проектування алгоритмів функціонування реактивних систем (реактивних алгоритмів), причому велике значення має забезпечення коректності алгоритму на початкових етапах його розробки, оскільки вартість усунення помилок, допущених на цих етапах, найбільш велика.
У методах коректного проектування реактивних алгоритмів, які використовуються на початкових етапах їх розробки, можна виділити два основні підходи:
а) формальна верифікація неформально одержаного процедурного представлення алгоритму;
б) використання математично обгрунтованих формальних методів для перетворення декларативної специфікації вимог до функціонування алгоритму в імперативне (процедурне) його представлення високого рівня.
При першому підході доводиться, що одержаний алгоритм має певні необхідні властивості, але не гарантується, що поведінка алгоритму буде точно відповідати його призначенню. При другому підході, який називається синтезом, гарантується точна відповідність початкової специфікації алгоритму її процедурній реалізації.

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



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

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