Пошук академічних текстів

Інформація × Реєстраційний номер 0313U005002, 0109U002770 , Науково-дослідна робота Назва роботи Сучасні алгебраїчні, логічні та еволюційні методи верифікації і керування дискретними і неперервними системами. Назва етапу роботи Розробка методів моделювання, ідентифікації розподілених параметрів моделей та алгоритмів керування технологічними процесами. Керівник роботи Ткаченко Валерій Миколайович, Дата реєстрації 10-01-2013 Організація виконавець Інститут прикладної математики і механіки НАН України Опис етапу Розроблено модель експертної системі прийняття рішень щодо поводження повітряних джерел радіовипромінювання на основі інформації, яка отримана від пасивних систем радіолокації. Розроблено та досліджено формальну скінченно автоматну модель, яку призначено для моделювання поведінки довільного автомата, що належить заданій сім'ї автоматів над скінченним кільцем. Створено генетичний алгоритм побудови перевіряльних тестів для моделей перехресних пошкоджень типу затримка, що базується на багатозначному логічному моделюванні та методі критичних шляхів. На основі дворівневої моделі використання генетичних алгоритмів розроблено алгоритм побудови діагностуючих тестів для великих цифрових пристроїв із пам'яттю. На основі теорії рішення задач оптимального керування та математичного моделювання температурного поля із наявністю межі фазового переходу вирішена ізопериметрична задача визначення оптимального коефіцієнта тепловіддачі в зоні вторинного охолодження машини безперервного лиття заготовок. Опис продукції Розроблено модель експертної системі прийняття рішень щодо поводження повітряних джерел радіовипромінювання на основі інформації, яка отримана від пасивних систем радіолокації. Розроблено та досліджено формальну скінченно автоматну модель, яку призначено для моделювання поведінки довільного автомата, що належить заданій сім'ї автоматів над скінченним кільцем. Створено генетичний алгоритм побудови перевіряльних тестів для моделей перехресних пошкоджень типу затримка, що базується на багатозначному логічному моделюванні та методі критичних шляхів. Автори роботи Іванов Дмитро Євгенійович Іванова Ганна Олександрівна Грунський Ігор Сергійович Курганський Олексій Миколайович Новаковська Ганна Олегівна Сапунов Сергій Валерійович Скобєлєв Володимир Володимирович Скобєлєв Володимир Геннадійович Скобцов Вадим Юрійович Скобцов Юрій Олександрович Хашан Тетяна Сергіївна Додано в НРАТ 2020-04-02 Закрити