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

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