Порівняннями за системами операцій та їхніми властивостями та побудованими моделями абстрактної комп’ютерної системи дано оцінку таких відомих алгебричних методів опису алгоритмів, якими є модифікована система алгоритмічних алгебр, модифікована алгебра алгоритмів та алгебра алгоритмів.
Описано етапи синтезу, оптимізації і дослідження математичних моделей алго- ритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції.
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.
Засобами розширеної алгебри алгоритмів описано модель комп’ютерного рисування знаків операції горизонтального і вертикального секвентування. Мовою об’єктного програмування С# наведено код моделі знака операції горизонтального секвентування.
By means of the extended algebra algorithms described model of a computer drawing operation marks the horizontal and vertical sequencing. Object language programming with C# code is an operator model horizontal sequencing.
Модель інформаційної технології опрацювання формул алгоритмів описано розширеною алгеброю алгоритмів у вигляді рекурентно-декомпозиційної моделі. За ознакою функціонального призначення модель декомпоновано на субмоделі. Описано візуальну і функціональну підмоделі інформаційної технології. Наведено фрагмент програмної реалізації моделі.
Описано виконану декомпозицію підсистеми пошуку стежок доступу до унітермів формул алгоритмів, які подано спеціалізованим xml-подібним форматом. Підсистему утворено змінними і функційними унітермами. Побудовано засобами алгебри алгоритмів математичну модель підсистеми.
We describe the decomposition done search engine, access to trails uniterms formulas algorithms that describe the special xml-similar format. Subsystem formed variables and featured uniterms. Algebra constructed by means of mathematical algorithms model subsystem.
Описано модель створеного розширення функційних унітермів. Наведено синте- зовану модель декомпозиції абстрактної підсистеми комп’ютерної системи генерування програмного коду. Описано побудовані моделі функційних унітермів. Наведено приклад фрагментів програмної реалізації синтезованої моделі абстрактної підсистеми.
Проаналізовано малодосліджену проблему в цифрових системах керування — вплив на їхню поведінку обмеженої розрядності апаратної частини і, відповідно, коефіцієнтів дискретних передавальних функцій. Дослідження здійснено методом нулів і полюсів та перехідних характеристик з використанням математичного застосунку MATLAB з бібліотекою Control System Toolbox і підтвердили актуальність цієї проблеми.
Досліджено каталітичну здатність сполук вольфраму в реакції гідропероксидного епоксидування октену-1 і розкладу гідропероксиду трет-бутилу. Показано, що природа ліганда істотно впливає на каталітичну активність сполук вольфраму в цих реакціях. Встановлено, що борид і силіцид вольфраму є найкращими для реакції епоксидування, тоді як карбід вольфраму проявляє низьку активність. Борид вольфраму є також найактивніший у реакції розкладу гідропероксиду.
Проведено теоретичний аналіз гідродинамічних умов у плазмохімічному реакторі при тангенціальному подаванні газу. Показано, що внаслідок створення закрученого потоку в реакторі виникає градієнт тиску, завдяки цьому вздовж вертикальної осі виникає зона розрідження, що сприяє виникненню плазмового розряду. На підставі проведених експериментальних досліджень плазмолізу сірководню в закрученому потоці та аналізу зображень плазмового розряду з використанням монохроматичних світлофільтрів встановлено загальну структуру плазмового розряду.
Розглянуто моделі оптимальної редукції і особливості їх використання під час розв’язання низки декомпозиційних задач і моделювання складних систем. Проаналі- зовано вплив моделі задачі на результат проектування.