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

Інформація × Реєстраційний номер 0225U003032, (0120U102683) , Науково-дослідна робота Назва роботи Розроблення спеціалізованих комп’ютерних технологій моделювання та опрацювання оперативної інформації в задачах енергетики Назва етапу роботи Розроблення спеціалізованих комп’ютерних технологій моделювання та опрацювання оперативної інформації в задачах енергетики Керівник роботи Євдокимов Віктор Федорович, Дата реєстрації 07-05-2025 Організація виконавець Інститут проблем моделювання в енергетиці ім. Г. Є. Пухова Національної академії наук України Опис роботи Розробка та дослідження нових високоефективних спеціалізованих технологій моделювання процесу контролю проектування програмно-алгоритмічного забезпечення підсистеми керування об’єктом для підвищення ступеню довіри до артефактів процесу проектування та технологій аналізу і опрацювання оперативної інформації. Опис етапу Звіт про НДР: 340 с., 25 табл., 36 рис., 229 джерел, 7 додатків. МОДЕЛЮВАННЯ, КОНТРОЛЬ, ОПЕРАТИВНА ІНФОРМАЦІЯ, ПРОЄКТУВАННЯ, ПРОГРАМНО-АЛГОРИТМІЧНА СКЛАДОВА, СИСТЕМА КРИТИЧНОГО ПРИЗНАЧЕННЯ, ФОРМАЛЬНА ВЕРИФІКАЦІЯ, ФОРМАЛЬНА СПЕЦИФІКАЦІЯ Об’єкт дослідження – процес опрацювання оперативної інформації при вирішенні задач інформаційного обміну, що постають в енергетиці. Мета роботи – розроблення та дослідження нових високоефективних спеціалізованих технологій моделювання процесу контролю проєктування програмно-алгоритмічного забезпечення підсистеми керування об’єктом для підвищення ступеню довіри до артефактів процесу проєктування та технологій аналізу і опрацювання оперативної інформації за рахунок зниження впливу людського фактору. Для досягнення поставленої мети було вирішено наступні завдання: 1. Розроблено стратегію застосування формальних методів перевірки на моделі і супутніх засобів. 2. Розроблено метод автоматизованого синтезу формальних специфікацій. 3. Удосконалено поширений метод формальної верифікації TLC у частині зниження супутніх його застосуванню часових витрат. 4. Розроблено інформаційну технологію опрацювання оперативної інформації, що дозволило здійснювати контроль останньої за показником несуперечливості як показником функціональних характеристик. 5. Розроблено інформаційну технологію моделювання оперативної інформації, що дозволило здійснювати контроль останньої за показниками нефункціональних характеристик. Опис продукції Автори роботи Євдокимов Віктор Федорович Душеба Валентина Віталіївна Казакова Наталія Олександрівна Ластівка Людмила Леонідівна Огір Олександр Степанович Огір Олена Олександрівна Шкарупило Вадим Вікторович Додано в НРАТ 2025-05-07 Закрити