унітерм

Розроблено математичне забезпечення процесу генерування предметних унітермів формул алгебри алгоритмів. Виконано аналіз особливостей побудови формул алгебри алгоритмів, у результаті якого виявилось, що сьогодні підсистеми з реалізацією процесів генерування пред- метних унітермів на основі абстрактних унітермів з подальшою адаптацією формул не реалізовано в відомих системах, що і спонукало до здійснення інтелектуального аналізу генерування предметних унітермів формул алгебри алгоритмів.

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

Описано процеси трансформування формул алгебри алгоритмів. Наведено алгоритм обчислення геометричних параметрів унітермів. Синтезовано, мінімізовано, побудовано математичну модель і досліджено алгоритм процесу трансформування
формул алгебри алгоритмів.

Описано означення процесів згортання формул алгебри алгоритмів. Синтезовано, мінімізовано, побудовано та досліджено математичне забезпечення процесів згортання та розгортання формул алгебри алгоритмів

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

Описано означення параметрів унітермів. Наведено алґоритм обчислення геометричних параметрів унітермів. Синтезовано математичну модель. Цю модель мінімізовано і побудовано. Досліджено алґоритм обчислення параметрів унітермів.