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

Інформація × Реєстраційний номер 0299U000660, 0196U015898 , Науково-дослідна робота Назва роботи Дослідження та розробка методів і засобів моделювання та створення комп’ютерних систем керування складними динамічними об"єктами з критичними режимами функціонування Назва етапу роботи Керівник роботи Літвінов В.В., Дата реєстрації 18-06-1999 Організація виконавець Інститут програмних систем Опис етапу Мета досліджень полягає в розробці формального підходу до створення специфікацій елементів імітаційних моделей, орієнтованих на обчислення систем з критичними режимами функціонування. Об"єктом досліджень є методи побудови формальних специфікацій гібридних вбудованих систем. Основними результатами роботи є побудова підмножини мови універсального моделювання та її денотаційної семантики. В основу розробки покладено моделі теорії виміру, в яких об"єкти емпіричного світу ( такі як емпіричні правила, емпіричні зв’язки, неформальні властивості,тощо) зв"зуються з абстрактними математичними моделями за допомогою гомоморфних відображень. Це дає змогу сформулювати комплекс обмежень для критичної системи, який у вигляді специфікацій передається в автоматизований вирішувач задач, або ж сформулювати вимоги до критичного об"єкту, що спостерігається.Підхід застосовано при реалізації вирішувача задач призначення екіпажів на авіарейси з урахуванням комплексу реальних обмежень. Опис продукції Автори роботи Додано в НРАТ 2020-04-03 Закрити