Розглянуто метод синтезу скінченного автомата, специфікованого логічною мовою L*. Цей метод базується на трансляції специфікації у менш виразну мову L і застосуванні існуючого методу синтезу автомата за специфікацією у цій ...

Наведено нові моделі, методи і інструменти, які розроблені в межах фундаментального проекту з генеруючого програмування (ГП). Розроблено теорію об єктно-орієнтованого програмування; теорію взаємодії програм, систем і ...

Розглянуто деякі аспекти проблеми забезпечення продовольчої безпеки в Україні під кутом зору економічної доступності продуктів харчування. Проаналізовано діючу нині процедуру регулювання цін на основні продукти харчування ...

Розглянуто розподілену систему агромоніторингу, створену в Україні для користувачів рівня міністерства і окремого фермерського господарства. Моніторинг грунтується на супутникових даних і продуктах середньої та високороздільної ...

Розглянуто можливість одержання компромісного рішення в задачах умовної оптимізації. Проблема полягає в тому, щоб отримане рішення відбивало компроміс між суперечливими вимогами екстремізації цільової функції і виконання ...

Запропоновано метод побудови оцінок експоненціального типу для розв язків компартментних моделей із запізненням. Побудова оцінок таких систем є актуальною, оскільки значну увагу в галузі системних медичних досліджень ...

Запропоновано два нових клітинних методи множення матриць, які дозволяють отримати клітинні аналоги відомих алгоритмів матричного множення зі зменшеною обчислювальною складністю, порівняно з аналогами, отриманими на основі ...

Оптимізація росту реального валового внутрішнього продукту (ВВП) забезпечується отриманням і розподілом у році, який розглядається, прибутку з капіталу на інновації і зростання споживчого попиту у наступному році, при яких ...

Розглянуто стійкість в середньому квадратичному для інваріантних многовидів нелінійних стохастичних диференціальних рівнянь. Аналіз стохастичної стійкості зведено до оцінки спектрального радіусу деякого позитивного оператора. ...

Розроблено алгоритмічний підхід до дослідження моделей систем масового обслуговування із загальною обмеженою та необмеженою чергами за наявності стрибкоподібних пріоритетів. Припускається, що в момент надходження нового ...