Results 11 to 20 of about 9,420 (88)

Обгрунтування сучасного пiдходу щодо автоматизації процесів прийняття рішень по управлінню авіацією апарату [PDF]

Збірник наукових праць Харківського національного університету Повітряних Сил, 2019
У статті пропонується сучасний підхід щодо автоматизації процесів прийняття рішень по управлінню винищувальною авіацією за допомогою використання новітніх інформаційних технологій та обґрунтована доцільність використання нечіткої логіки як засобу ...
Королюк Н.О., Першин О.В., Грідньова Т.О., Шевченко С.О., Агапов М.С.   +4 more
doaj  

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

Формалізація проблеми підтримки технологічних процесів у хмарних сервісах

Системи озброєння і військова техніка, 2021
У роботі проаналізовано труднощі автоматизації проектування технологічних процесів, пов'язані головним чином з тим, що завдання проектування технологічних процесів не мають в даний час формальних методів вирішення.
Т.В. Смірнова, Д.О. Пархоменко, Р.О. Голубець, А.В. Щербань, Е.К. Багдасарян   +4 more
doaj   +1 more source

Формалізація цивільних процесуальних норм права в юридичній науці у світлі сучасних наукових підходів

Науковий вісник Ужгородського національного університету. Серія Право
У статті аналізується формалізація цивільних процесуальних норм права в юридичній науці у світлі сучасних наукових підходів. Відзначається, що дана проблематика є важливою для вдосконалення законодавства та підвищення ефективності правозастосування, а ...
V. B. Skomorovskyi
doaj   +1 more source

Рекомендації щодо формування вимог до розвідки об’єктів противника в операціях (бойових діях) угруповань військ (сил) Збройних Сил України

Social Development & Security, 2023
Мета роботи: полягає у формуванні формування вимог до розвідки об’єктів противника в операціях (бойових діях) угруповань військ (сил) Збройних Сил України.
Sergii Baranov
doaj   +1 more source

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

Аналітично-порівняльне правознавство
У статті досліджується зміст і значення правила реальності в юридичній техніці формалізації норм права в сучасних умовах реалізації правотворчої політики держави. Автори зазначають, що специфіка порушеної проблематики зумовлює необхідність її розгляду з
K. K. Adaskalytsia, T. O. Didych
doaj   +1 more source

Можливі варіанти формалізованих критеріїв раціональності тактико-техніко-економічного обрису перспективного вертолітного парку армійської авіації

Social Development & Security
Мета роботи: визначення критеріїв раціональності перспективного обрису вертолітного парку та обрання методичних підходів до їх формалізації для використання при вирішенні практичних завдань тактико-техніко економічного обґрунтування  шляхів розвитку ...
Andrii Dmytriiev, Oleksii Leontiev, Maryna Naumenko   +2 more
doaj   +1 more source

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

Науковий вісник Ужгородського національного університету. Серія Право
У статті автором розглянуто роль вживання спеціальної термінології, деталізація та системність викладу нормативного матеріалу як способи забезпечення чіткості змісту норм права у правотворчій діяльності.
N. V. Stepanenko
doaj   +1 more source

Формування професійної компетентності студентів у процесі вивчення логіки

Освітній вимір, 2012
Козаченко Н. П. Формування професійної компетентності студентів у процесі вивчення логіки. У статті розглянуто співвідношення між професійною компетентністю та логічною культурою.
Н. П. Козаченко
doaj   +1 more source

Формування цільової функції розвитку регіону [PDF]

, 2010
Проведена формалізація складових використання ресурсного потенціалу економічного розвитку регіону.Formalization of constituents of the use of resource potential of economic development of region is ...
Гаврісюк, Я. П.
core