Порівняннями за системами операцій та їхніми властивостями та побудованими моделями абстрактної комп’ютерної системи дано оцінку таких відомих алгебричних методів опису алгоритмів, якими є модифікована система алгоритмічних алгебр, модифікована алгебра алгоритмів та алгебра алгоритмів.
Описано етапи синтезу, оптимізації і дослідження математичних моделей алго- ритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції.
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.
Описано модель створеного розширення функційних унітермів. Наведено синте- зовану модель декомпозиції абстрактної підсистеми комп’ютерної системи генерування програмного коду. Описано побудовані моделі функційних унітермів. Наведено приклад фрагментів програмної реалізації синтезованої моделі абстрактної підсистеми.
The unexploring problem of digital control systems analyzes in this article — the impact on their behavior of the limited bit resolution of the hardware and, accordingly, the discrete transfer functions coefficients. The research conducted by the zeros/poles and transient characteristics methods using the mathematical application MATLAB with the package Control System Toolbox and confirmed the relevance of this problem.
Catalytic ability of tungsten compounds in the reaction of hydroperoxide epoxidation of 1- octene and tert-butyl hydroperoxide decomposition was investigated. It is shown that the nature of ligand has significant effect on the catalytic activity of tungsten compounds in these reactions. It is established that boride and silicide of tungsten are the best choice for epoxidation reaction, whereas tungsten carbide exhibits poor activity. Tungsten boride is also the most active in the hydroxide decomposition reaction.
Theoretical analysis of aerodynamic conditions in a plasma chemical reactor with tangential gas supply is carried out. It is shown that due to the creation of a swirling flow in the reactor there is a pressure gradient, due to this along the vertical axis there is a vacuum zone, which contributes to the occurrence of plasma discharge.
In this article optimal reduction models are presented. Peculiarities of their use in the process of decomposition tasks and complex system modelling are described.The influence of tht problem model on the designing result is analysed.