Results 11 to 20 of about 340 (96)
Формалізація відкритої галузі знань розподіленої системи управління
Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni, 2019 При управлінні процесами в різних галузях, особливо в інформаційній сфері, досить часто виникає потреба в прийнятті рішення в слабко структурованих динамічних ситуаціях, коли параметри (значення змінних), закони та закономірності розвитку ситуації ...
Volodymyr Shemaiev +2 more
doaj +1 more source
ФОРМАЛІЗАЦІЯ ПРОЦЕСУ ДЕКОМПОЗИЦІЇ
Епістемологічні дослідження у філософії, соціальних і політичних науках, 2020 Робота присвячена формальному опису процедури і схеми декомпозиції довільних об’єктів: предметів, явищ, організмів, процесів в живій і неживій природі. Наведені і формально описані атрибути схеми декомпозиції: властивість об’єкта; різні види залежностей,
Valery G. Kolisnyk
doaj +1 more source
Social Development & Security, 2023 Мета роботи: полягає у формуванні формування вимог до розвідки об’єктів противника в операціях (бойових діях) угруповань військ (сил) Збройних Сил України.
Sergii Baranov
doaj +1 more source
Social Development & Security, 2023 Мета роботи: визначення структури та змісту показників та критеріїв оцінювання ефективності функціонування системи управління оборонними ресурсами сектору безпеки та оборони України.
Oleh Semenenko, Lesia Skurinevska
doaj +1 more source
ANALYSIS OF POSSIBILITY OF FORMALIZATION OF LAND RELATIONS
Радіоелектронні і комп'ютерні системи, 2017 This article shows the examples of the formal submission to the set-theoretic language and the language of logic predicate calculus and the theory of some categories of land relations.
Костянтин Олександрович Метешкін +1 more
doaj +1 more source
ДИНАМІЧНА МОДЕЛЬ ПЛАНУВАННЯ РОЗВИТКУ ПІДМНОЖИНИ ПРОЦЕСІВ ЕТАЛОННОЇ МОДЕЛІ ЗРІЛОСТІ SPICE
Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, 2020 Стисло розглянуто об'єкт дослідження – процес розробки програмного забезпечення (ПР ПЗ). Відзначено, що першими кроками удосконалення процесу життєвого циклу (ЖЦ) програмних систем є оцінка потужності (зрілості) процесів і на цій основі розробка плану ...
Mykhaylo Dmytrovych Godlevskyi +2 more
doaj +1 more source
НАУКОВО-МЕТОДИЧНИЙ ПІДХІД ДО ВИЗНАЧЕННЯ ОПТИМАЛЬНОЇ СТРУКТУРИ ПОРТФЕЛЯ РОЗДРІБНИХ КРЕДИТІВ БАНКУ
Фінансово-кредитна діяльність: проблеми теорії та практики, 2017 У статті здійснена формалізація моделі оптимізації портфеля роздрібних банківських кредитів. Набув подальшого розвитку науково-методичний підхід до визначення оптимальної структури портфеля роздрібних кредитів банку.
А. М. Kharchenko +2 more
doaj +1 more source
Матеріальне право як детермінанта формалізації цивільних процесуальних норм права
Аналітично-порівняльне правознавствоВказується, для ефективного правозастосування критичне значення має усвідомлення співвідношення між нормами матеріального та процесуального права. Якщо матеріальне право визначає сутність правових відносин, то процесуальне право створює інструменти для ...
I. M. Dolianovska
doaj +1 more source
Обгрунтування сучасного пiдходу щодо автоматизації процесів прийняття рішень по управлінню авіацією апарату [PDF]
Збірник наукових праць Харківського національного університету Повітряних Сил, 2019 У статті пропонується сучасний підхід щодо автоматизації процесів прийняття рішень по управлінню винищувальною авіацією за допомогою використання новітніх інформаційних технологій та обґрунтована доцільність використання нечіткої логіки як засобу ...
Королюк Н.О. +4 more
doaj
Науковий вісник Ужгородського національного університету. Серія ПравоУ статті досліджується співвідношення системності та формальної визначеності як властивостей права в контексті формалізації норм права. Зокрема, увага зосереджена на юридичному підході до формалізації, у межах якого вона розглядається як складова ...
K. K. Adaskalytsia
doaj +1 more source