Results 21 to 30 of about 358 (94)
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
Social Development & Security, 2023 Мета роботи: полягає у формуванні формування вимог до розвідки об’єктів противника в операціях (бойових діях) угруповань військ (сил) Збройних Сил України.
Sergii Baranov
doaj +1 more source
Обгрунтування сучасного пiдходу щодо автоматизації процесів прийняття рішень по управлінню авіацією апарату [PDF]
Збірник наукових праць Харківського національного університету Повітряних Сил, 2019 У статті пропонується сучасний підхід щодо автоматизації процесів прийняття рішень по управлінню винищувальною авіацією за допомогою використання новітніх інформаційних технологій та обґрунтована доцільність використання нечіткої логіки як засобу ...
Королюк Н.О. +4 more
doaj
Формалізація проблеми підтримки технологічних процесів у хмарних сервісах
Системи озброєння і військова техніка, 2021 У роботі проаналізовано труднощі автоматизації проектування технологічних процесів, пов'язані головним чином з тим, що завдання проектування технологічних процесів не мають в даний час формальних методів вирішення.
Т.В. Смірнова +4 more
doaj +1 more source
Науковий вісник Ужгородського національного університету. Серія ПравоУ статті аналізується формалізація цивільних процесуальних норм права в юридичній науці у світлі сучасних наукових підходів. Відзначається, що дана проблематика є важливою для вдосконалення законодавства та підвищення ефективності правозастосування, а ...
V. B. Skomorovskyi
doaj +1 more source
Формування професійної компетентності студентів у процесі вивчення логіки
Освітній вимір, 2012 Козаченко Н. П. Формування професійної компетентності студентів у процесі вивчення логіки. У статті розглянуто співвідношення між професійною компетентністю та логічною культурою.
Н. П. Козаченко
doaj +1 more source
Social Development & Security, 2023 Мета роботи: визначення структури та змісту показників та критеріїв оцінювання ефективності функціонування системи управління оборонними ресурсами сектору безпеки та оборони України.
Oleh Semenenko, Lesia Skurinevska
doaj +1 more source
Аналітично-порівняльне правознавствоУ статті досліджується зміст і значення правила реальності в юридичній техніці формалізації норм права в сучасних умовах реалізації правотворчої політики держави. Автори зазначають, що специфіка порушеної проблематики зумовлює необхідність її розгляду з
K. K. Adaskalytsia, T. O. Didych
doaj +1 more source
Social Development & SecurityМета роботи: визначення критеріїв раціональності перспективного обрису вертолітного парку та обрання методичних підходів до їх формалізації для використання при вирішенні практичних завдань тактико-техніко економічного обґрунтування шляхів розвитку ...
Andrii Dmytriiev +2 more
doaj +1 more source
ДИНАМІЧНА МОДЕЛЬ ПЛАНУВАННЯ РОЗВИТКУ ПІДМНОЖИНИ ПРОЦЕСІВ ЕТАЛОННОЇ МОДЕЛІ ЗРІЛОСТІ SPICE
Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, 2020 Стисло розглянуто об'єкт дослідження – процес розробки програмного забезпечення (ПР ПЗ). Відзначено, що першими кроками удосконалення процесу життєвого циклу (ЖЦ) програмних систем є оцінка потужності (зрілості) процесів і на цій основі розробка плану ...
Mykhaylo Dmytrovych Godlevskyi +2 more
doaj +1 more source