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

Об'єкт досліджень - процес розробки та забезпечення надійності цифрових систем керування для аерокосмічного та іншого критичного застосування. Мета досліджень - підвищення відмовостійкості цифрових систем керування з програмованою логікою (ЦСКПЛ) шляхом розробки та практичного використання методів і програмно-технічних засобів створення таких систем, що базуються на генетичних алгоритмах. Проведені дослідження ґрунтуються на використанні методів теорії автоматичного керування, теорії цифрових автоматів і теорії алгоритмів, а також апарату генетичних алгоритмів при розробці моделей відмовостійких ЦСКПЛ на частково працездатних автоматах; методів теорії імовірності і теорії надійності при розробці моделей оцінки відмовостійкості ЦСКПЛ, створених на частково працездатних автоматах. В дисертаційній роботі розроблені моделі, методи та інструментальні засоби синтезу відмовостійких ЦСКПЛ на частково працездатних автоматах. Науковими результатами є: моделі відмовостійких ЦСКПЛ на основі частково працездатних автоматів; метод розробки багатоверсійних відмовостійких ЦСКПЛ, що дозволяє автоматизувати процеси синтезу версій системи з необхідними характеристиками; метод нормованого рангового відбору індивідуумів. Ступінь впровадження - галузева. Основні результати передбачається використовувати в організаціях, конструкторських бюро та підприємствах, які займаються розробкою, виготовленням і впровадженням спеціалізованих функціонально складних цифрових пристроїв