Описано етапи синтезу, оптимізації і дослідження математичних моделей алго- ритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції.
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.
Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.
Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms
Модель інформаційної технології опрацювання формул алгоритмів описано розширеною алгеброю алгоритмів у вигляді рекурентно-декомпозиційної моделі. За ознакою функціонального призначення модель декомпоновано на субмоделі. Описано візуальну і функціональну підмоделі інформаційної технології. Наведено фрагмент програмної реалізації моделі.
Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі.
Algebra algorithms described model graphic window setting parameters compound uniterms. An implementation program model.
In the article the authors have developed a mathematical support for the process of generating subject unitherms of formulas of algebra of algorithms. The analysis of features of construction of formulas of algebra of algorithms as a result of which it was found out, that today, subsystems with realization of processes of generation of subject unitherms on the basis of abstract unitherms with the subsequent adaptation of formulas are not realized in known systems that served as stimulus to intellectual analysis formulas of algebra of algorithms.
In the article, the authors have developed mathematical support for the process of replacement of algebra algorithms. The analysis of peculiarities of algebra algebra formulas analysis was carried out. As a result, it turned out that today subsystems with the implementation of the formulas replacement algorithms with the subsequent adaptation of the formulas are not implemented in known systems, which served as an impetus for the intellectual analysis of the algebra algebra replacement process.
The processes of transforming the algorithm algebra formulas are described. The algorithm for calculation of geometrical parameters of unithrams is given. Synthesized, minimized, built a mathematical model and investigated the algorithm of the transformation process of algebra algorithm formulas.
In expanding the known classical algebra algorithms received meaningful input operations elimination, introduced a new extension. At the level of innovation is the introduction of the alphabet in special unitermiv, what are the signs uniterm return cycle and conditional uniterm cycle. At the level of innovation definitions of operations is an axiom uniterma input and output in the region of the operation cyclic sequencing, axiom input and output uniterma in scope and with the operationcyclic elimination, input and output axioms uniterma in scope and operation cyclic paralleling.
This article is about determination of process of collapsing and expanding of algebra algorithms formulas. Synthesized, minimized, and built mathematical model of adaptation process and expanding and collapsing processes.
This article is about determination of process of adaptation, data structure of algorithms editor. Mathematical model of data structure of algorithms editor, hierarchical-modular construction principle of editor, of adaptation process and expanding and collapsing processes were synthesized, minimized and built.