Анотація до роботи:

Бритковський В.М. Моделювання редактора формул секвенційних алгоритмів. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 01.05.02 – математичне моделювання та обчислювальні методи.

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

Публікації автора:

1. В. Овсяк, В. Бритковський, О. Овсяк, Ю. Овсяк. Теорія секвенційних алгоритмів і проектування комп’ютерних систем. –Львів: УАД, 2001.- 141 с.

2. Бритковський В. Інтерфейс користувача системи моделювання алгоритмів // Комп’ютерні технології друкарства – Львів: УАД, – 1998. - №2. – С. 48-49.

3. Бритковський В., Овсяк В. Моделі алгоритмів інструментальних засобів системи моделювання алгоритмів та їх програмування // Комп’ютерні технології друкарства. – Львів: УАД, – 1999, - №3. – С. 79-89.

4. Бритковський В. Модель алгоритму розпізнавання об’єктів знаків операцій алгебри алгоритмів та його програмування // Радіотехніка та телекомунікації. – Львів: Вісник НУ “Львівська політехніка”, –2000. -№387. –С. 470-473.

5. Бритковський В. Проведення масштабування зображень в системі МОДАЛ // Збірник праць міжнародної конференції “Автоматика – 2000”. –Т.6. – Львів: Державний НДІ інформаційної інфраструктури, - 2000. – С. 79-84.

6. Бритковський В.М.,Овсяк В.К., Огірко О.І. Редактор формул алгоритмів і аналіз синтаксису і семантики алгебри алгоритмів-секвенцій // Матеріали 7 всеукраїнської наукової конференції “Сучасні проблеми прикладної математики та інформатики”. - Львів: НУ ім. І. Франка, -2000. – С.17-18.

7. Бритковський В. Математична модель трансляції початкових в кінцеві текстово-графічні дані редактора формул алгоритмів-секвенцій МОДАЛ // Комп’ютерні технології друкарства. – Львів: УАД, – 2000. - №4. – С. 247-257.

8. Бритковський В. Математична модель формування з кінцевих початкових текстово-графічних даних редактора формул алгоритмів-секвенцій МОДАЛ // Комп’ютерні технології друкарства. – Львів: УАД, – 2000. - №5. – С. 278-286.

9. Бритковський В., Овсяк В. Математичні моделі структур текстово-графічних даних редактора формул алгоритмів-секвенцій // Праці п’ятої всеукраїнської міжнародної конференції “Оброблення сигналів і зображень та розпізнавання образів” - “УкрОБРАЗ-2000”.– Київ: Видання Української асоціації з оброблення інформації та розпізнавання образів, –2000. – С. 317-318.

10. Бритковський В., Овсяк В. Синтез і оптимізація інструментальних засобів реактора формул алгоритмів // Квалілогія книги. –Львів: УАД, –2000. -№ 3. – С. 32-38.

11. BrytkovskyjkVasil. Mathematical structure of the system of an automized admission of the formulas of algebra of algorithms-sequentions // Proceedings of the VI-th international conference. The experience of designing and application of CAD systems in microelectronics (CADSM 2001). –Lviv: Publishing house of Lviv Polytechnic National University, -2001. – P. 285-286.

12. Бритковський В. Синтез, оптимізація і моделювання редактора автоматизованого набору формул секвенційних алгоритмів // Радіотехніка та телекомунікації. – Львів: Вісник НУ “Львівська політехніка”, –2001. -№ 428. – С. 158-167.