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

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