модель

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.

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

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

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

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

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.

Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.

Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms