Дослідження критерію пропускної здатності системи управління телекомунікаційною мережею. Визначення вимог до системи управляння телекомунікаційними мережами з врахуванням її структури. Ознайомлення з формалізованим описом телекомунікаційних мереж.
Дослідження взаємозв’язків між показниками, що ілюструють функціонування механізму портфельного інвестування та показниками, що вважаються загальноприйнятими індикаторами сталого розвитку економіки. Застосування показника чистих скоригованих заощаджень.
Зв'язок між показниками міграційної привабливості країни та дією політико-безпекових детермінантів. Визначення критеріїв для групування країн світу за показниками недієздатності. Особливість визначення геоекономічного ризику появи потоків біженців.
Сучасні технології підготовлення високоякісного насіння. Структурно-механічні властивості зернівки. Аналіз і мінімізація впливу деформації на травмування і руйнування зерна. Теорія взаємовпливу робочих поверхонь механізмів і віброрешітного сепарування.
- 15005. Формалізація задачі адаптивного управління інноваційними процесами переробних підприємств АПК
Використання економіко-математичних моделей менеджменту у вітчизняному аграрному виробництві. Застосування інноваційних технологій та послуг. Оцінка якості процесу оптимізації агропромислового комплексу. Методика мінімаксного програмного управління.
Поняття "нештатна ситуація" як категорія опису ступеня загрози безпеці руху під час керування локомотивом, складність як її основна характеристика. Формалізація розрахунку цього параметра та вихідних даних до нього за допомогою теорії гібридних мереж.
Розгляд та аналіз процесу ліквідації наслідків реалізації загроз природного та техногенного характеру на території України. Визначення виду та параметрів закону розподілу залучення сил цивільного захисту для ліквідації наслідків реалізації загроз.
Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
Застосування лінгвомережевої моделі представлення текстових даних у правовій галузі для побудови термінологічної онтології, придатної для автоматизованої обробки. Застосування комп’ютерної обробки природномовних текстів для виокремлення ключових термінів.
Побудова термінологічної онтології, придатної для автоматизованої обробки графів і складних мереж. Виокремлення й комп’ютеризована обробка ключових природномовних термінів. Розмічування частин мови та сегментація англомовних текстів на окремі речення.
Виділення необхідності вивчення світового досвіду як базового елементу при розробленні та реалізації державної політики у сфері високотехнологічного та цифрового розвитку економіки. Аналіз процесів ресурсного забезпечення, інфраструктурного розвитку.
Побудова математичної теорії моделі "сутність-зв’язок": уніфікація елементів, аналіз еволюції. Формалізація структурної частини моделі щодо обмежень цілісності. Логічні зв’язки між різними видами обмежень кардинальності, їх математичне дослідження.
Аналіз кримінального законодавства зарубіжних країн у сфері призначення покарання. Особливості використання формального методу при вирішенні питань призначення міри кримінально-правового впливу. Типова санкція і особливості її закріплення у законодавстві.
Оцінка темпів зростання валових і чистих премій таких видів страхування, як: страхування відповідальності перед третіми особами, вантажів та багажу, авіаційне, фінансових ризиків, автострахування, від нещасних випадків, стихійних явищ і вогневих ризиків.
Узгодження міжгалузевої діяльності в межах реального сектору регіональної економіки на засадах реалізації як комунітарного права, так і міжгалузевого співробітництва задля реалізації цілей макроекономічного регулювання розвитку промисловості у регіонах.
Формалізація економічної сутності інтелектуального капіталу персоналу шляхом трансформації його творчої та професійно-кваліфікаційної здатності та прояву попиту на здатність якісної властивості персоналу до матеріалізації інтелектуального продукту.
Етапи розв’язування задач на ЕОМ. Загальна структура алгоритмічного забезпечення. Властивості та способи представлення алгоритму. Мови програмування високого та низького рівнів. Побудова структурної схеми алгоритму для визначення кислотності середовища.
Обґрунтування необхідності моніторингу попиту в системі. Аналіз архітектури інформаційної технології моніторингу попиту, яка базується на об’єктно-орієнтованому підході. Візуалізація взаємозв’язків між розрахунковими компонентами блоку аналізу даних.
Визначення показників інтегрованого звіту, які актуалізуються під впливом сучасних економічних течій. Дослідження та характеристика необхідності розробки формалізованої концептуальної основи сталого розвитку бізнесу в моделі інтегрованої звітності.
Питання визначення та опису основних типів інноваційної динаміки, які можуть бути притаманні підприємству на різних етапах його життєвого циклу. Використання інформації як економічного ресурсу. Прибутковість інформаційних та телекомунікаційних корпорацій.
Вивчення сутності і значення фінансового механізму іпотечного кредитування. Основні підходи до визначення поняття "фінансовий механізм" та перелік елементів, що включаються до його складу. Організація, планування і стимулювання використання ресурсів.
Аналіз спроб синтезу характеристик взаємодії транспортних засобів та пішоходів у конфліктних областях на площі перехрестя. Необхідність врахування в межах оцінки небезпеки нерегульованих перехресть доріг тяжкості можливих дорожньо-транспортних пригод.
Розкриття особливостей формалізму і реалізму як стилів судового правотлумачення. Зміст норми права під час її дії. Застосування пріоритету принципу законності. Семантика правового тексту, що інтерпретується. Ризик ухвалення несправедливих судових рішень.
Наголошено, що поза літературознавством формалізм також виявився у художній та соціальній площині, що дозволяє визначити його як теоретично-художньо-соціальний дискурс. Окреслено модель формалізму як систему, створену на підставі загальної теорії систем.
Об’єктивізація оцінки санаторно-курортного лікування хворих на хронічні обструктивні захворювання легенів шляхом використання формалізованої системи. Категорії ефективності лікування. Математичні моделі прийняття рішення про наслідок лікування.
Задачі клінічної пульмонології, що виявляється в об’єктивізації оцінки ефективності санаторно-курортного лікування хворих на хронічні обструктивні захворювання легенів шляхом використання формалізованої системи. Виклад правил формалізації їх значень.
Загальна схема дослідження ефективності промислового виробництва України, її вхідні та вихідні параметри. Функціональна залежність чинників впливу на ефективність виробництва. Алгоритм оцінювання ефективності сучасного промислового виробництва України.
Технологічний процес післядрукарського опрацювання книжкових видань, який полягає у перетворенні віддрукованих аркушів та інших конструкційних елементів у готову книгу. Ключові особливості теорії графів і семантичних мереж та елементів логіки предикатів.
Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
Аналіз математичної моделі та алгоритмів метеорологічного прогнозування. Конструювання алгоритмів та генерація програм чисельного прогнозування погоди. Комп'ютерна реалізація методів моделювання метеорологічних процесів на відеографічному прискорювачі.