модель

A comparative analysis of existing approaches to Cyber-Physical Systems simulation has been conducted. The intrinsic peculiarities of Cyber-Physical Systems have been reasoned and generalized. Thelimitations of available simulation tools have been pointed out. The approach to Cyber-Physical Systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and Temporal Logic of Actions usage has been proposed.

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

Розглянуто особливості роботи агента побудови запиту для тематичної пошукової системи, описано математичну модель агента та запропоновано критерії створення агента побудови запиту.

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

Наведено імітаційну модель та описано відповідний програмний продукт, що дає змогу моделювати навколишнє середовище в умовах надзвичайної ситуації (аварії на хімічно небезпечному об’єкті) або вільного спостереження (без наперед визначеної процедури проведення). Збирають та обробляють інформацію за допомогою безпровідної сенсорної мережі.

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

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

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