модель

On the Approaches to Cyber-physical Systems Simulation

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.

ФОРМУВАННЯ ПРОЕКТНОЇ КОМАДИ З УРАХУВАННЯМ ТИПОЛОГІЧНИХ ХАРАКТЕРИСТИК МЕНЕДЖЕРІВ

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

Імітаційна модель моніторингу навколишнього середовища безпровідною сенсорною мережею.

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

Класифікація методів аналізу Великих даних

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

Проблема оптимальності в теорії та практиці прийняття рішень

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

Концептуалізація понять “модель” та “моделювання” у наукових дослідженнях

Розглянуто окремі аспекти застосування методу моделювання у наукових дослідженнях. Запропоновано філософські максими, на яких ґрунтується поняття моделі. Подано узагальнене означення моделі, її характеристики та типологію.

Models of optimal reduction in decomposition problems solution and structures modelling

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

Development of Model, Based on Petri Nets, for the Planning Stage of Robotic Systems Design System

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

Security of Cyber-Physical Systems from Concept to Complex Information Security System

A conception of multilevel complex security system (CSS) of cyber-physical systems (CPS) was developed; dimensional model of information-technology state (ITS) was proposed; informational model of CSS cyber-physical system “iPhone – Wi-Fi, Bluetooth – sensors” was created; software of symmetric block data encryption of “Kalyna” algorithm was realized.

Використання методу зворотньої фільтрації для підвищення роздільної здатності ІЧ знімків

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