Пошук академічних текстів

Інформація × Реєстраційний номер 0209U001388, 0106U000967 , Науково-дослідна робота Назва роботи Математичне моделювання і програмна реалізація редактора формул абстрактних алгоритмів (АБСТРАКТАЛ) Назва етапу роботи Керівник роботи Овсяк Володимир Казимирович, Доктор технічних наук Дата реєстрації 03-02-2009 Організація виконавець Українська академія друкарства Опис етапу Синтезовано і досліджено математичне забезпечення процесів адаптації вложених формул до базової формули, згортання та розгортання формул, копіювання, вирізання і вставляння формул алгоритмів. Розроблено модель структури даних, яка містить верхні і нижні індекси унітермів, секвентні області значень унітермів, ознаки циклів з перед- і післяумовами, системні назви унітермів та вхідні і вихідні параметри унітермів, використовувана для введення, виведення, збереження і обміну даними з іншими прикладними системами. Математичне забезпечення програмно реалізовано і апробовано. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити