Название: Исследование и разработка методов и средств реализации диаграммных графических языков САПР(Шаров О.Г)

Жанр: Информационные системы и технологии

Просмотров: 3072


Основные результаты работы

1. Предложен метод синтаксического анализа диаграмм графических языков САПР,  в том числе неструктурированных и  содержащих параллелизм. Метод оформлен в виде автоматной графической RV– грамматики, которая отличается от известных линейной временной сложностью  анализа,  не   превосходящей двойного  количества элементов  диаграммы для любого из поддерживаемых  языков, а также сокращением затрат памяти в среднем в 5 раз, и обеспечивает необходимую полноту контроля.2. Предложен  метод  нейтрализации ошибок   в   анализируемых диаграммах    графических  языков.   Метод  реализован на   базе автоматной графической RVN – грамматики, позволяющей сократить время создания корректных диаграмм за счет формирования списка всех                      допущенных  проектировщиком  ошибок  за   один  прогон. Известный       метод  нейтрализации ошибок  уступает  авторскому по            временным  характеристикам  (экспоненциальная временная сложность против линейной) и затратам памяти в среднем в 5 раз.3. Предложен метод синтаксически –  ориентированной  трансляции диаграмм графических языков в другие текстовые и графические формы в виде автоматной транслирующей RVT – грамматики. Метод позволяет получать семантические значения диаграмм в терминах денотационной и операционной семантик.4. Разработан  набор   инструментальных  средств,  на   которых опробованы            методы  синтаксического контроля  диаграмм  и  их

синтаксически – ориентированной трансляции.5. Предложена архитектура  системы реализации ДГЯ,   имеющая полный набор функциональности  для построения и редактирования диаграмм различных графических языков САПР, средств их анализа и преобразования  в текстовые и/или  графические представления. Реализованы компоненты системы.Публикации в журналах, входящих в список ВАК1. Шаров О.Г., Афанасьев А.Н. Нейтрализация синтаксических ошибок в графических языках  // Программирование.  – 2007. – N0      6. – принята к публикации.2. Шаров О.Г.,  Афанасьев  А.Н.  Синтаксически –  ориентированнаяреализация графических языков на основе автоматных  графических грамматик // Программирование. – 2005. – N0    6. – С. 56 – 66.Публикации3. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрации программы для ЭВМ N0    2005611312. ”Анализатор графических схем алгоритмов” – Москва, 2005.4. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрациипрограммы для ЭВМ  N0      2005610662.  ”Графический конструктор электронных учебно – методических комплексов” – Москва, 2005.5. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрациипрограммы для ЭВМ  N0     2003612553.  ”Графический редактор алгоритмов управления” – Москва, 2003.6. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрациипрограммы  для   ЭВМ   N0         2005611314. ”Синтаксически  – ориентированный графический редактор алгоритмов управления” – Москва, 2005.7. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрациипрограммы   для   ЭВМ    N0         2007611772. ”Система  построения спецификаций графических языков  на  основе RV  –  грамматик”– Москва, 2007.8. РОСПАТЕНТ:   СВИДЕТЕЛЬСТВО  об официальной регистрации программы для ЭВМ N0   2007611773. ”Универсальная система анализа графических языков на базе RV – грамматик” – Москва, 2007.9. Sharov O.G., Afanas’ev A.N. Automaton methods of syntactic analysisand syntax-directed translation of diagram visual languages // Proceed- ings of the International Conference. Interactive Systems and Technolo- gies: The Problems of Human – Computer Interaction. – Collection of scientific papers. – Ulyanovsk:  2007. – September. – Pp. 129–135.10. Sharov O.G. Development of graphic editor CAD of associative proces-sors of management // Proceedings of the International Conference. In- teractive  Systems : The Problems of Human – Computer Interaction.

Ulyanovsk:  2003. – September. – Pp. 168 – 169.11. Sharov O.G., Afanasjev A.N. The concept of construction and realiza- tion of graphical editors for CAD // Proceedings  of the International Conference. Interactive Systems : The Problems of Human - Computer Interaction. – Ulyanovsk:  2003. – September. – Pp. 248–252.12. Шаров  О.Г.   Алгоритм  анализа диаграммных  языков  на  базе автоматной RV    -    грамматики    //  Труды    международной конференции ”Континуальные  алгебраические логики, исчисления и нейроинформатика в науке  и технике  – КЛИН – 2005”. Ульяновск: УлГТУ,  2005 г. – Том. 2. – С. 177.13. Шаров О.Г. Анализ и разработка графических  средств представления и обработки алгоритмов управления // Тезисы докладов XXXVII научно – технической конференции УлГТУ.  – Т. 2. – Ульяновск: 2003.– С. 14 – 15.14. Шаров О.Г.  Задачи нейтрализации  ошибок в RV  – грамматиках// Труды  международной конференции ”Континуальные алгебраические логики, исчисления и нейроинформатика в науке  и технике – КЛИН – 2005”. Ульяновск: УлГТУ,  2005 г. – Том. 2. – С.178.15. Шаров  О.Г.  Методы семантической формализации графических языков // Труды  международной  конференции  ”Конференции по логике, информатике, науковедению – КЛИН – 2007”. – Ульяновск: УлГТУ.  – 2007. – Т. 2. – С. 87.16. Шаров О.Г. Семантика диаграммных языков. // VII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям (с участием иностранных ученых). Программа и тезисы докладов. Новосибирск: 2006. – С. 99 – 100.17. Шаров О.Г. Средства синтаксического  анализа графических языков САПР            // Тезисы  докладов  международная XXXIX-я    научно- техническая конференция ППС  ”Вузовская наука  в  современных условиях” – Ульяновск, УлГТУ,  2005 – Том 1. – С. 128.18. Шаров     О.Г.,     Афанасьев   А.Н.      Автоматная     графическая грамматика // Вестник Ульяновского государственного технического университета. – 2005. – N0    1. – C. 54 – 56.19. Шаров    О.Г.,    Афанасьев  А.Н.     Транслирующая   автоматная графическая грамматика // Вестник Ульяновского государственного технического университета. – 2007. – N0    1. – C. 47 – 50.ПЕРЕЧЕНЬ ПРИНЯТЫХ СОКРАЩЕНИЙ ДГЯ – диаграммный графический языкСАПР – система автоматизированного проектирования