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

Стіренко С.Г. Засоби підвищення ефективності спеціального програмного забезпечення підготовки та редагування технічної документації. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 01.05.03 – Математичне та програмне забезпечення обчислювальних машин та систем. – Національний технічний університет України «Київський політехнічний інститут», Київ, 2007.

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

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

Використовуючи гнучку систему сценаріїв задається образ майбутнього (нормованого) технічного документа. Ця схема дозволяє орієнтуватися на досить широке коло споживачів кінцевого матеріалу.

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

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

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

Основні наукові й практичні результати роботи полягають у наступному:

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

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

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

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

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

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

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

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

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

1. Стиренко С.Г. Автоматизована розробка технічної документації з використанням засобів інтелектуальної підтримки // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2006. - № 45. - С. 173-179. (Автором запропоновано модель спеціалізованої інформаційної бази знань, яка об’єднує ієрархічну семантичну модель формування фрагментів тексту та проблемно-орієнтовану модель шаблонів технічних документів).

2. Пустоваров В.І., Кузнецов О.В., Стіренко С.Г. Супроводження аналітичних перетворень в системах семантичного аналізу текстів // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2005. - № 43. - С. 202-211. (Автором запропоновано метод структурованого формування та редагування нормованої технічної документації).

3. Стиренко С.Г., Пустоваров В.И. Программные методы поддержки семантико-целевого анализа текстових документов // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2004. - № 42. - С. 180-187. (Автором запропоновано семантичні характеристики для оцінки технічної документації).

4. Стиренко С.Г., Знайко О.М. Методы и средства используемые при проектировании текстовой информационно-аналитической системы // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2003. - № 40. - С. 101-105. (Автором запропонована методика адаптації формалізмів інженерії знань стосовно задач обробки технічних текстів).

5. Стіренко С. Г., Пустоваров В.І., Брагінський О.Л. Відтворення проблемної області у системі автоматизованної розробки текстової інформації // Наукові вісті НТУУ “КПІ”. - К.: ЕКМО. - 2000. - № 4. - С. 43-50. (Автором запропоновано структуру спеціалізованої інформаційної бази, а також правила їх аналізу і перетворення у фреймові структури).

6. Стиренко С.Г., Пикуза О.В. Оценка стилистических характеристик текстовой информации // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2000. - № 35. - С. 127-131. (Автором запропоновано методи оцінки структурно-параметричних семантичних характеристик в ієрархічних моделях текстових матеріалів).

7. Стиренко С.Г. Аналитическая оценка интеллектуальных возможностей фреймовых баз знаний // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2000. - № 34. - С. 131-135. (Автором запропонована методика оцінки рівня автоматизації фреймових баз знаний).

8. Стиренко С.Г. Представление знаний в системе интеллектуальной обработки издательской информации // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 2000. - № 33. - С. 22-26. (Автором запропоновано методи організації сценаріїв для автоматизованих систем підготовки технічної документації).

9. Стиренко С.Г. Механизмы работы системы интеллектуальной обработки издательской информации // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 1999. - № 32. - С. 157-162. (Автором запропоновано семантичну модель представлення змісту).

10. Стиренко С.Г. Выбор структуры представления текстовой информации для системы интеллектуальной обработки // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: Зб. наук. пр. - К.: Век+. - 1998. - № 31. - С. 275-280. (Дисертантом запропоновано базову структуру відтворення текстової інформації з точки зору підготовки технічної документації).

11. Пустоваров В.И., Стиренко С.Г. Ровник А.В. Формализация грамматик для составления и анализа структуры технической документации // Труды 7-й международной научно-практической конференции «Современные информационные и электронные технологии», Одесса, 2006. т. II. С. 49. (Автором запропоновано метод організації шаблонів для підтримки механізму наповнення їх змістом).

12. Кузнецов А.В., Пустоваров В.И., Стиренко С.Г. Поддержка семантической корректности естественно-языковой обработки на основе объектно-ориентированной модели логического программирования // Сборник научных трудов по материалам 2-го международного форума «Прикладная радиоэлектроника. Состояние и перспективы развития», Т.ІІІ «Информационные системы и технологии» - Харьков, 2005, с.54-55. (Автором запропонована методика удосконалення семантичної релевантності фрази для відтворення фрагментів технічних текстів).

13. Брагинский О.Л., Исса А., Пустоваров В.И., Стиренко С.Г. Обобщенные инструменты для построения шаблонов моделей и баз знаний интеллектуальных компонент программного обеспечения // Труды второй международной научно-практической конференции «Современные информационные и электронные технологии», Одесса, 2001. С. 50-51. (Автором запропоновано шаблоно-ієрархічну модель семантичного представлення знань).

14. Пустоваров В.И., Стиренко С.Г., Пустоваров А.В. Подсистема автоматизированного создания текстовых документов технических проектов. // Тематический сборник «Электроника и связь» по материалам Международной научно-технической конференции. - Київ. - 28-30 травня 1998 - ч. 3. С. 519-524. (Автором запропоновано алгоритм формування технічного документу використовуючи при цьому модель проблемної області).

15. Клещевников А.В., Пустоваров В.И., Стиренко С.Г. Подсистема автоматизированного документирования диагностических экспериментов в медицине. // Тематический сборник «Электроника и связь» по материалам Международной научно-технической конференции. - Київ. - 27-29 травня 1997. - С. 355-358. (Автором запропоновано метод обробки текстів за рахунок програмних засобів інженерії знань).

16. Стиренко С.Г. Система интеллектуальной обработки медицинской информации. // Тематический сборник «Электроника и связь» по материалам Международной научно-технической конференции. - Київ. - 27-29 травня 1997. - С. 358-360. (Автором запропоновано правила аналізу і перетворення технічного документу у фреймові структури).

17. Коломиец В.Ф., Пустоваров А.В., Стиренко С.Г. Система автоматизированного анализа оформления текстовой документации и ее использование в подготовке специалистов // Тез. Докл. 3-ї Міжнародної науково-методичної конференції «Стратегії та методики навчання мовам для спеціальних цілей». - Київ. - 24-25 квітня 1997. - С. 137-138. (Автором запропоновано основні структурні компоненти для автоматизованої системи обробки технічних текстів).

18. Пустоваров В.И., Стиренко С.Г. Семантически ориентированное кодирование для систем обработки текстов // Тез. докл. 2-й межд. Конф. "Теория и техника передачи приема и обработки информации". - Туапсе. - 1996. - С. 305. (Автором запропоновано підхід до підвищення рівня автоматизації аналітичних систем обробки технічних текстів).