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

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

---

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

• Василюк Андрій Степанович (фізико-математичні науки)

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