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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Бритковський Василь Михайлович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"