Косенко В. В. Моделі і методи алгоритмізації функціональних задач управління і переробки інформації в бортових приладових комплексах.

English version

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

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

0403U002231

Здобувач

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

  • 05.13.06 - Інформаційні технології

20-06-2003

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

Д 64.062.01

Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"

Анотація

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

Файли

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