model

Analysis of Software Complexes Support Automation Impact Factors with Usage of Colored Petri Nets

Model based on colored Petri nets, and dedicated for analysis an impact factors of the software complexes support automation processes, has been developed. Model provides possibilities for simulation of the processes of impact factors analysis in the field of software complexes support automation when solving the scientific and applied task of analyzing and restoring the boundaries of impact factors in supported objects subjective perception models with encapsulated artificial neural networks of multilayer perceptron type.

Kantian Models of a Man. Review of: Kozlovskyi, V. (2023). Anthropology of I. Kant: Sources. Constellation. Models. Kyiv: Duh i litera. 728 p.

The review examines the monograph of  V. Kozlovskyi “Kantian Anthropology”. The author of the monograph carries out a deep and fundamental analysis of the anthropological subject of the German philosopher I. Kant. The monograph presents an original approach to discovering the vision of man in the philosophy of I. Kant, not only in works devoted to the nature and essence of a man. In general, the Ukrainian researcher discovers all possible models of a man, implicitly or explicitly presented in the thematically different philosophical works of I. Kant.

Порівняння алгебричних методів подань алгоритмів

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

Прогнозування волатильності валютного ринку за нелінійними моделями

Оцінено три структури моделей динаміки умовної дисперсії, які використано для однокрокового прогнозування на навчальній та перевіряльній вибірках. Для оцінювання параметрів моделей використано метод Монте-Карло для марковських ланцюгів. Оцінки прогнозів волатильності, обчислені на основі МСВ та моделі Е-УАРУГ, демонструють схожі результати, що підтверджує коректність використаного підходу загалом.

Розроблення методу визначення діапазону значень величини вимірюваного електричного опору

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

Методологія синтезу моделей алгоритмічної складової автоматів

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

There is describe by the stages of synthesis, optimization and study mathematical models of machine algorithmic component by the methods of algorithm algebra, decomposition and mathematical induction.

Розділення території на економічні складові в умовах невизначеності

Запропоновано модель розподілу території на економічні зони з використанням методів теорії нечітких множин.

Model of separation of territory on economic zones with by use of methods of the theory of fuzzy sets is offered.

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

Засобами алгебри алгоритмів описано модель побудови системи типових графіч- них унітермів, призначених для конвертації абстрактного унітерма.

Means algebra of algorithms described created a model of the system default image unitermiv designed to convert abstract uniterm.

Граматика мови опису завдань на генерування баз даних

Засобами алгебри секвенційних алгоритмів описано розроблені синтаксис і семантику мови опису завдань на створення бази даних.

By means of sequential algebra algorithms described are designed syntax and semantice describing tasks on a database.

Оптимізація моделі перешкод на шляху реалізації екологічної конституції Землі

На основі аналізу ієрархічної моделі перешкод на шляху реалізації Екологічної конституції Землі синтезовано вектор пріоритетів матриці попарних порівнянь, головне власне значення якого слугує критерієм оптимізації вихідної моделі.

Due to the hierarchical models analysis of the World Environmental Constitution realization obstacles, the vector of pairwise comparisons priorities matrix was synthesized with the main eigenvalue as an original model optimization criteria.