Авторефераты по всем темам  >>  Авторефераты по техническим наукам

Графо-аналитический подход к анализу и контролю потоков проектных работ в автоматизированном проектировании сложных компьютеризированных систем

Автореферат докторской диссертации по техническим наукам

СКАЧАТЬ ОРИГИНАЛ ДОКУМЕНТА

Страницы: | 1 | 2 | 3 |

 

Параметры модели обучаемого проектировщика (его профиль) меняются событийно в контрольных точках Ki сценария. Оценочные входные векторы поступают на вход нечеткой карты, которая классифицирует полученные данные и формирует нечеткие характеристики уровня подготовленности. Оценочная шкала приведена в табл. 1, а структура FSOM на рис. 2.а

Таблица 1. Оценочная шкала на множестве значений функции

%,	Интервал расстояния (отклонения)	ингвистическая характеристика
	а	оценка1
		оценка2
		оценкаS

Рис. 2. Структурная схема FSOM оценки профиля обучаемого проектировщика

Функция принадлежности аимеет вид

где C - число классов класса. а

Активность нейронов слоя расстояния вычисляется как евклидово расстояние (отклонение) от требуемой активности

где T - число критериальных параметров входного оценочного вектора X, xe - элемент вектора X, а - вес дуги, связывающий элемент xe и нейрон ij класса.

Минимальное значение активности нейрона класса j слоя расстояния имеет вид minj=minj(distij), максимальная принадлежность входного вектора к классу j имеет вид maxj=maxj(ij). При многократном применении нечетких карт обратная связь позволяет обновлять весовые коэффициенты на каждом t шаге ачто позволяет повысить точность оценки.

Четыре выходных кортежа FSOM имеют вид

,

где distj - значение активности нейрона j класса, j - значение функции принадлежности входного вектора к конкретному j классу.

Разрабатывается модель сценария обучения. В основу модели сценарияа положена система, состоящая из ориентированного графа, отображений вершин и альтернативного выбора траектории обучения. Модель сценария имеет вид

Scenariy = {G(vertex,edge), Reflaction, Alternativ},

где G(vertex,edge) - ориентированный граф сценария,

vertex ={vi, i=1ЕV} - множество атрибутивных вершин,

edge = {ei, i=1ЕE} - множество дуг;

Reflaction = {Rf1, Rf2, Rf3, Rf4} - множество гетерогенных отображений вершин в объекты проектирования (Rf1 - архитектура, функции, процессы, данные, паттерны (см. модель CADModel), Rf2 - тестовые вопросы, Rf3 - практические проектные задачи, Rf4 - контрольные точки Ki, содержащие требуемые (целевые) значения лингвистических критериальных параметров (проектных характеристик) обучаемого инженера);

Alternativ={vj, если vi инциндентна vj и vi аKi, vi < vj} - выбор обучаемым проектировщиком траектории обучения из vi неконтрольной вершины.

Модель протокола protocol представляется вектором апараметрических критериев, сформированных из квалиметрии процесса обучения, и имеет вид кортежа

protocol = <name, ttype, typeij, testij, tij, markTeorij, markij, povtoreniyij, countTestij, cognDifij, i=1ЕN, j=1ЕM>,

где ааname - идентификатор обучаемого проектировщика,

ttype={teor, pract} - тип проектной задачи (teor - теория, pract - практика),

ttypeij - массив типов проектных задач,

testij - массив ключей проектных задач,

tij - массив затраченного времени на выполнение проектных действий,

markTeorij - массив баллов за ответы на вопросы,

markij - массив баллов за выполненные практические проектные задачи,

cognDifij - массив когнитивной сложности проектных задач,

povtoreniyij - массив числа повторов решения проектных задач,

countTestij - массив числа решенных проектных задач,

N - число контрольных точек Ki,

M - размерность массива.

Разрабатывается метод адаптивного управления траекторией обучаемого проектировщика, который использует разработанные модели и позволяет достигать требуемого профиля в сокращенные сроки. Управление траекторией обучения рассматривается как выбор вариантов сценария обучения и его реконструкция. Необходимость реконструкции сценария возникает тогда, когда текущий профиль проектировщика не удовлетворяет заданному целевому в точке Ki.

Для учета предыстории обучения проектировщика все значения характеристик в контрольных точках Ki суммируются, и сумма делится на их количество:, , , . В формулах оператор D обеспечивает доступ к значениям расстояния D проектных характеристик модели обучаемого. Функции принадлежности для OcenkaZnanie, OcenkaUmenie, OcenkaNavik, OcenkaKompetentnost определяются с помощью оператора : , где N - число контрольных точекKi.

Для устранения лслабого места инженера в обучении определена функция h, которая обладает минимальным значением принадлежности к одному из классов знания, умения, навыка и компетентности и максимальным расстоянием dist: h=min(знания ,умения ,навыки , компетентность)?max(distзнания , distумения ,distнавыки ,distкомпетентност). Применение функции h позволяет равномерно распределить весь учебный материал для получения сбалансированных проектных характеристик по всему курсу.

Алгоритм формирования динамического сценария имеет следующий вид:

1. Выбрать учебные элементы E из модели предметной области, связанные с контрольным элементом Ki.
2. Выбрать критериальный параметра P, имеющий минимальное значение .
3. Из множества E выбрать учебные элементы, которые связаны с P, и занести их в кортеж DE.
4. К кортежу DE добавить из сценария пройденный контрольный теоретический и практический учебный материал, связанный с P.
5. Добавить контрольный элемент Ki.

Проектировщик проходит обучение по траектории, состоящей из элементов кортежа DE. Число выбранных учебных элементов может регулироваться наличием иерархической, порядковой и ассоциативной связанности элементов в модели предметной области.

Предложенный метод позволяет сократить на 40% сроки обучения по сравнению с известными адаптивными методами за счет исключения из траектории обучения лненужных учебных элементов.

Шестая глава апосвящена разработке программно-структурных средств обработки моделей ППР.

Структура программного комплекса контроля, анализа и трансляции графических языков ППР представлена на рис. 3.

Рис. 3. Структура программного комплекса контроля, анализа и трансляции графических языков потоков работ

Структура программного комплекса интеллектуальной системы обучения проектированию, моделированию и анализу ППР представлена рис. 4.

Разрабатываются аппаратные средства контроля и анализа лингвистических моделей управления потоками проектных работ и потоков работ.

Разрабатывается обобщенная структура ассоциативного процессора лингвистического контроля, в основу функционирования которого положен алгоритм анализа по RG-грамматике. В структуре используются два типа памяти: управляющая для хранения грамматики и функциональная различных типов - лстек, лбобслей, лвагон, лассоциативный стек и другие для хранения информации, необходимой в операциях контроля. На основе обобщенной структуры ассоциативного процессора разработаны оригинальные структуры синтаксических анализаторов, отличающиеся от известных повышенным быстродействием и расширенными функциональными возможностями. Предлагаются структуры анализаторов для анализа языков с регулярной скобочной структурой, с нерегулярной скобочной структурой, для языков с грамматикой, содержащей одинаковые синтермы в комплексе продукций, с параллельным поиском термов и синтермов.

 

Рис. 4. Структура программного комплекса интеллектуальной системы обучения

проектированию, моделированию и анализу ППР

Разрабатываются структуры безадресных запоминающих устройств стекового и ассоциативно-стекового типов. Основными вопросами при их разработке являются: выбор способа хранения информации (со сдвигом или без), выбор способа обращения (односторонний или двухсторонний), учет положения границы между занятыми и свободными зонами. Предложены оригинальные структуры безадресной памяти с бессдвиговым последовательным и списочным способами хранения информации, отличающиеся от известных универсальностью: возможностью обращения в режиме записи и чтения как к вершине, так и к основанию стека, и организации многоканального режима работы.

Разрабатывается структура ассоциативного арифметического устройства, входящего в состав процессора контроля.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

Подводя обобщающий итог диссертационному исследованию и практическим разработкам, реализованным на их базе, можно утверждать следующее:

Цель исследований, направленная на снижение проектных ошибок при создании СКС за счет разработанного и проверенного на практике графо-аналитического подхода, в котором конструктивно используется адаптация опыта программирования к диаграммному моделированию потоков проектных работ, достигнута.

Получены новые научные результаты:

1. Предложен, обоснован, исследован и проверен графо-аналитический подход, представляющий собой систему принципов, теоретических составляющих, моделей, методов и средств, способствующих при их комплексном применении снижению ошибок проектирования в диаграммных схемах, в первую очередь, за счет использования грамматических формализмов, моделирующих статику и динамику потоков работ в процессе проектирования СКС и его продукте.

2. Разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления потоками работ,а обеспечивающая разбиение множества задач на классы, соответствующие проектным ситуациям, выбор задач по проектным признакам и контексту, параллельно-последовательное управление задачами потоков работ и позволяющая улучшить учет критериев, параметров и специфику процесса проектирования СКС, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.

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

4. Разработан нейро-семантический метод обработки лингвистических моделей ППР, позволяющий настраивать среду проектирования и накапливать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.

5. Разработаны модели (предметной области, проектировщика, сценария и протокола)а и методы (диагностики профиля проектировщика и управления траекторией обучения) организации адаптивного обучения проектированию ППР, позволяющие повысить качество обучения в сокращенные сроки и, тем самым, понизить уровень совершаемых ошибок проектировщиками.

6. Разработано программно-информационное обеспечение связной совокупности систем контроля, анализа и трансляции, классификации, повторного использования и аобучения.

7. Разработаны структурные решения процессоров контроля диаграмм ППР, а также блоков безадресной памяти и ассоциативного арифметического устройства, входящие в их состав.

Основные результаты диссертации опубликованы в следующих работах:

Публикации в изданиях, рекомендованных ВАК РФ

1. Афанасьев, А. Н. Пакет программ контроля корректности исходных описаний вычислительных устройств / А. Н. Афанасьев, А. А. Гужавин // Программирование. - 1983. - №5. - С. 92-93.

2. Афанасьев, А. Н. Синтаксически-ориентированная реализация графических языков на основе автоматных графических грамматик / А. Н. Афанасьев, О. Г. Шаров // Программирование. - 2005. - №6. - С. 56-66.

• Афанасьев, А. Н. Нейро-семантический подход к обработке функциональных моделей вычислительной техники / А. Н. Афанасьев, А. Г. Игонин // Известия высших учебных заведений. Поволжский регион. Серия Технические науки. - 2006. - №6. - С. 93-100.
• Афанасьев, А. Н. Применение нейро-семантических сетей для анализа и синтеза структурно-функциональных моделей в системах проектирования / А. Н. Афанасьев,а А. Г. Игонин // Системы управления и информационные технологии. - 2006. - №4 (26). - С. 12-15.

5. Афанасьев, А. Н. Применение нейросемантического подхода для анализа и синтеза функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Вестник Ижевского государственного технического университета. - 2007. - №1. - С. 66-69.

6. Афанасьев, А. Н. Нейтрализация синтаксических ошибок в графических языках / А. Н. Афанасьев, О. Г. Шаров // Программирование. - 2008. - №1. - С. 61-66.

7. Афанасьев, А. Н. аИспользование нейросемантических сетей для автоматизированного проектирования вычислительной техники / А. Н. Афанасьев, А. Г. Игонин,а аТ. В. Афанасьева, Н. Н. Войт //а Автоматизация и современные технологии. - 2008. - №1. - C. 21Ц24.

• Афанасьев, А. Н. Программная реализация адаптивной компонентной автоматизированной обучающей системы САПР / А. Н. Афанасьев, Н. Н. Войт // Программные продукты и системы. - 2008. - №4. - С. 73-75.
• Афанасьев, А. Н. Разработка компонентной автоматизированной обучающей системы САПР на основе гибридной нейронной сети / А. Н. Афанасьев, Н. Н. Войт //а Автоматизация и современные технологии. - 2009. - №3. - C. 14-18.
• Афанасьев, А. Н. Организация когнитивной автоматизированной обучающей системы (КАОС) промышленных пакетов САПР / А. Н. Афанасьев, Н. Н. Войт //а Автоматизация и современные технологии. - 2009. - №3. - C. 14-18.
• Афанасьев, А. Н. Интеллектуальная обучающая система концептуальному проектированию автоматизированных систем / А. Н. Афанасьев, Н. Н. Войт //а Известия Самарского научного центра Российской академии наук. - 2010. - №4 (2). Ца Т. 12. - С. 465-468.
• Афанасьев, А. Н. Методы и средства трансляции графических диаграмм /а А. Н. Афанасьев, О. Г. Шаров // Программирование. - 2011. - №3. - С. 65-76.

Книги

13. Афанасьев, А. Н. Контроль информации в системах автоматизации проектирования / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев и др. - Саратов : СГУ, 1985. - 136 с.

14. Афанасьев, А. Н. Процессоры обработки нечеткой информации / А. Н. Афанасьев, П. И. Соснин, О. Г. Кокаев. - Саратов : СГУ, 1988. - 124 с.

15. Афанасьев, А. Н. Ассоциативное микропрограммирование / А. Н. Афанасьев,аа . А. Гужавин, О. Г. Кокаев. - Саратов : СГУ, 1991. - 116 с.

16. Афанасьев, А. Н. Методы и средства обработки лингвистических структурно-функциональных моделей на основе нейросемантических сетей / А. Н. Афанасьев,а А. Г. Игонин. - Ульяновск : УГТУ, 2007. - 227 с.

17. Афанасьев, А. Н. Методы и средства моделирования вычислительных устройств и систем : учебное пособие / А. Н. Афанасьев, В. В. Шишкин. - Ульяновск: УГТУ, 1996. - 88 с.

18. Афанасьев, А. Н. Программные средства автоматизации инженерного труда. Интегрированная система FRAMEWORK : учебное пособие / А. Н. Афанасьев. - Ульяновск : УГТУ, 1996. - 124 с.

19. Афанасьев, А. Н. Формальные языки и грамматики : учебное пособие / А. Н. Афанасьев. - Ульяновск : УГТУ, 1997. - 82 с.

Статьи и материалы конференций

20. Афанасьев,а А. Н. Средства анализа программного обеспечения на базе микропроцессора / А. Н. Афанасьев, В. Н. Негода, А. А. Смагин, С.В. Скворцов // Межвузовский сб. науч. трудов Проектирование и применение микропроцессорных систем управления. - М. : МИЭТ, 1984. Ца С. 217-220.

21. Афанасьев, А. Н. Метод предельной структуризации программ для микропроцессорных систем / А. Н. Афанасьев, О. Г. Кокаев, О. В. Панов // Всесоюзная конференция Микропроцессорные системы. - Челябинск, 1984. - С. 175-176.

22. Афанасьев, А. Н. Обработка лингвистической информации в микропроцессорных системах / А. Н. Афанасьев, А. А. Гужавин, Т. В. Афанасьева // Всесоюзная конференция Микропроцессорные системы. - Челябинск, 1984. - С. 177-178.

23. Афанасьев, А. Н. Интерпретация алгоритмов трансляции параллельными сетевыми схемами / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева а// Всесоюзная школа-семинар Распараллеливание обработки информации. - Львов, 1985. - С. 36-37.

24. Афанасьев, А. Н. Сравнительный анализ методов синтаксического контроля описаний микропроцессорных систем / А. Н. Афанасьев, А. А. Гужавин а// Межвузовский сб. науч. трудов Проектирование, контроль и диагностика МПС. - Саратов, 1985. - С. 35-41.

25. Афанасьев, А. Н. аПрименение параллельных сетевых схем алгоритмов при построении модели транслятора / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Межвузовский сб. Проблемы системотехники и АСУ. - Л., 1986. - С. 133-140.

26. Афанасьев, А. Н. Преобразования и реализация алгоритмов управления в ассоциативных вычислительных структурах / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев // Межвузовский сб. Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления. - М., 1986. - С. 5-13.

27. Афанасьев, А. Н. Контроль языков параллельных схем алгоритмов / А. Н. Афанасьев, А. А. Гужавин // Межвузовский сб. Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления. - М., 1986. - С. 74-82.

28. Афанасьев, А. Н. Интерпретация нечетных операторных схем алгоритмов в микропроцессорных системах / А. Н. Афанасьев // Межвузовский сб. Проектирование, контроль и диагностика МПС. - Ульяновск, 1986. - С. 53-58.

29. Афанасьев, А. Н. Методы и средства параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // VI Всесоюзная школа-семинар Распараллеливание обработки информации. - Львов, 1987. - С. 6-7.

30. Афанасьев, А. Н. Построение и интерпретация сетевых схем алгоритмов / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов Вычислительная техника в автоматизированных системах контроля и управления. - Пенза, 1987. - С. 16-19.

31. Афанасьев, А. Н. Вопросы технологии параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, А. А. Гужавин а// Межвузовский сб. науч. трудов Проектирование, контроль и диагностика МПС. - Ульяновск, 1989. - С. 30-36.

32. Афанасьев, А. Н. Методы параллельного ассоциативного микро-программирования / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов Вычислительная техника в автоматизированных системах контроля и управления. - Пенза, 1987. - С. 51-56.

33. Афанасьев, А. Н. Анализ способов описания параллельных алгоритмов и методов их интерпретации / А. Н. Афанасьев, Т. В. Афанасьева // Российская научно-техн. конф. Системный анализ и принятие решений в задачах автоматизированного обеспечения качества и надежности изделий приборостроения и РЭА. - Махачкала, 1991. - С. 103-104.

34. Афанасьев, А. Н. Ассоциативные вычисления и структуры в САПР / А. Н. Афанасьев // Международная НТК Интерактивные системы: проблемы человеко-компьютерного взаимодействия. - Ульяновск : УГТУ, 1995. - Ч.1. - С. 32-33.

35. Афанасьев, А. Н. Методы и средства автоматизации проектирования процессов управления для радиотехнических систем / А. Н. Афанасьев, М. В. Егунов //а Труды аа3-й всероссийской науч.-практ. конференции (с участием стран СНГ) Современные проблемы создания и эксплуатации радиотехнических систем. - Ульяновск, 2001. - С. 165-166.

36. Афанасьев, А. Н. Interactive designing of computing devices / А. Н. Афанасьев,аа М. В. Егунов // Сб. статей Interactive systems: the problems of human - computer interaction. - Ульяновск, 2001. - С. 75-76.

37. Афанасьев, А. Н. Mathematical support for designing of algorithmic processors /а А. Н. Афанасьев // Сб. статей Interactive systems: the problems of human - computer interaction. - Ульяновск, 2001. - С. 76-78.

38. Афанасьев, А. Н. Нечеткие ассоциативно-ориентированные модели алгоритмических вычислений / А. Н. Афанасьев // Труды междунар. конференции Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике. Т. 3. Логико-алгебраические методы, модели, прикладные применения. - Ульяновск, 2001. - С. 138-140.

39. Афанасьев, А. Н. аИнтеллектуальная компьютерная система обучения САПР /а А. Н. Афанасьев, А. В. Максимов // Сб. статей X Международной НТК Математические методы и информационные технологии в экономике, социологии и образовании. - Пенза, 2002. - С. 319-321.

40. Афанасьев, А. Н. Алгебра ассоциативно ориентированных схем алгоритмов / А. Н. Афанасьев // Труды междунар. конференции Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике. Т. 3. Системы искусственного интеллекта и нейроинформатика. - Ульяновск, 2003. - С. 15-16.

41. Афанасьев, А. Н. Проектирование интеллектуальной обучающей системы для САПР / аА. Н. Афанасьев, А. В. Максимов // Interactive Systems: The Problems of Human-Computer Interaction 2003: Proceedingsа of International Conference. - Ulyanovsk : UlSTU, 2003. - P.124-125.

42. Афанасьев, А. Н. Инструментальные средства анализа и контроля знаний /аа А. Н. Афанасьев, А. В. Максимов // Компьютерное моделирование и информационные технологии в науке, инженерии и образовании: Сборник материалов Международной научной конференции. - Пенза, 2003. - С. 11-13.

43. Афанасьев, А. Н. Разработка графо-алгебраических методов и средств обучения проектной деятельности в САПР / А. Н. Афанасьев, А. В. Максимов // Вестник аУГТУ. - 2004. - №3. - С. 49-52.

44. Afanasev, A. N. The concept of construction and realization of graphical editors for CAD / A. N. Afanasev, O. G.а Sharov // Proceedings of the International Conference. Interactive Systems : The Problems of Human - Computer Interaction. - Ulyanovsk : UlSTU, 2003. - P. 248-252.

45. Афанасьев, А. Н. Автоматная графическая грамматика / А. Н. Афанасьев,аа О. Г. Шаров // Вестник УГТУ. - 2005. - №1. - С. 54-56.

46. Афанасьев, А. Н. Разработка алгоритмического, методического и информационного обеспечения АОС для САПР КОМПАС-3D / А. Н. Афанасьев, Н. Н. Войт // Вестник УГТУ. - 2005. - №3. - С. 50-56.

47. Афанасьев, А. Н. Разработка и реализация компонентной модели представления учебного материала / А. Н. Афанасьев, Н. Н. Войт // Труды международной конференцииа Новые информационные технологии и системы. - Пенза : ПГУ, 2006. - Т. 2. - С. 174.

48. Афанасьев, А. Н. Применение нейро-семантических сетей для обработки функциональных моделей проектных решений / А. Н. Афанасьев, А. Г. Игонин // Вестник УГТУ. - 2006. - №2. - С. 69-73.

49. Афанасьев, А. Н. Разработка метода синтеза проектных решенийа на основе нейросетевого подхода / А. Н. Афанасьев, А. Г. Игонин // Interactive Systems: The Problems of Human-Computer Interaction 2005: Proceedings of the International Conference. - Ulyanovsk : UlSTU, 2005. - P. 44-46.

50. Афанасьев, А. Н. Разработка и исследование моделей автоматизированной обучающей системы САПР / А. Н. Афанасьев, Н. Н. Войт // Автоматизация процессов управления. - 2009. - №4. - С. 77-84.

51. Afanasev, A. N. Development and using of interactive cognitive parametric automated training system of CAD / A. N. Afanasev, N. N. аVoit // Proceedings of International Conference. Interactive Systems And Technologies: The Problem of Human-Computer Interaction. Ца Collection of scientific papers. - Ulyanovsk : 2009. - September. - P. 235-249.

52. Afanasev, A. N. Analysis of diagram languages of design processes representation in a CAD computerize system / A. N. Afanasev, V. V. Sychev // Proceedings of International Conference. Interactive Systems And Technologies: The Problem of Human-Computer Interaction. Ца Collection of scientific papers. - Ulyanovsk : 2009. - September. - P. 199-207.

53. Афанасьев, А. Н. Организация интеллектуальных обучающих систем /а А. Н. Афанасьев, М. А. Беляева // Труды Всероссийской конференции с элементами научной школы для молодежи Проведение научных исследований в области обработки, хранения, передачи и защиты информации. В 4 т. Т. 3. - Ульяновск : УГТУ, 2009. - С. 56-60.

54. Афанасьев, А. Н. Анализ описаний событийных процессов в ARIS-технологии проектирования автоматизированных систем / А. Н. Афанасьев, В. В. Сычев // Труды Всероссийской конференции с элементами научной школы для молодежи Проведение научных исследований в области обработки, хранения, передачи и защиты информации. В 4 т. Т. 3. - Ульяновск : УГТУ, 2009. - С. 56-60.

55. Афанасьев, А. Н. Методы и средства обработки диаграммных языков /аа А. Н. Афанасьев // Сборник научных трудов Российской школы-семинара аспирантов, студентов и молодых ученых ИМАП-2009. - Ульяновск : УГТУ, 2009. - С. 16-30.

56. Афанасьев, А. Н. Графо-аналитический подход обработки потоков работ в проектировании сложных автоматизированных систем / А. Н. Афанасьев // Труды конгресса по интеллектуальным системам и информационным технологиям AIS-ITТ10. В 4 т. Т.1. - М. : Физматлит, 2010. - С. 91-93.

57. Афанасьев, А. Н. Математическое обеспечение интеллектуальных обучающих систем САПР / А. Н. Афанасьев, Н. Н. Войт // Труды конгресса по интеллектуальным системам и информационным технологиям AIS-ITТ10 В 4 т. Т.1. - М. : Физматлит, 2010. - С. 94-95.

58. Афанасьев, А. Н. Графо-аналитический подход к анализу и контролю потоков работ / А. Н. Афанасьев // Информатика и вычислительная техника:а сборник научных трудов. - Ульяновск : УГТУ, 2010. - С. 616-623.

59. Афанасьев, А. Н. Нейтрализация ошибок в диаграммных графических языках САПР / А. Н. Афанасьев, В. В. Сычев // Информационные технологии: межвузовский сб. науч. трудов. - Ульяновск : УГТУ, 2008. - С. 187-192.

60. Афанасьев, А. Н. Методы и средства обработки и поддержки потоков работ в автоматизированном проектировании сложных компьютеризованных систем /аа А. Н. Афанасьев // Информатика, моделирование, автоматизация проектирования: сб. науч. трудов. Ца Ульяновск : УГТУ, 2010. - С. 47-58.

61. Афанасьев, А. Н. Анализ графических спецификаций потоков проектных работ на примере языка UML / аА. Н. Афанасьев, Р. Ф. Гайнуллин // Вестник УГТУ. - 2010. - №4. - С. 42-45.

62. Афанасьев, А. Н. Интеллектуальная система обработки потоков работ в автоматизированном проектировании сложных компьютеризованных систем / А. Н. Афанасьев // Системный анализ и семиотическое моделирование: материалы Первой всероссийской конференции с международным участием (SASM-2011). - Казань : Изд-во Фэн Академии наук РТ, 2011. - С. 78-84.

63. Афанасьев, А. Н. Интеллектуальная мультиагентная система обучения проектной деятельности / А. Н. Афанасьев, Н. Н. Войт, Д. С. Канев // Системный анализ и семиотическое моделирование: материалы Первой всероссийской конференции с международным участием (SASM-2011). - Казань : Изд-во Фэн Академии наук РТ, 2011. - ааС. 267-269.

64. Афанасьев, А. Н. Интеллектуальная система обработки потоков работ в автоматизированном проектировании сложных систем / А. Н. Афанасьев // Информатика и вычислительная техника: сб. науч. трудов 3-й Российской научно-технической конференции (ИВТ-2011). - Ульяновск : УГТУ, 2011. - С. 43-48.

65. Афанасьев, А. Н. Разработка анализатора IDEF-диаграмм / А. Н. Афанасьев,а ааД. Г. Брагин // Вестник УГТУ. - 2011. - №2 (54). - С. 41-49.

66. Афанасьев, А. Н. Интеллектуальная система обработки графических спецификацийа потоков проектных работ в автоматизированном проектировании сложных систем / аА. Н. Афанасьев // Труды конгресса по интеллектуальным системам и информационным технологиям IS&ITТ11. В 4-х т. Т.1. - М. : Физматлит, 2011. - С. 132-137.

67. Афанасьев, А. Н. Методология разработки распределенных интеллектуальных систем проектной деятельности / А. Н. Афанасьев, Н. Н. Войт // Труды конгресса по интеллектуальным системам и информационным технологиям IS&ITТ11. Научное издание в 4-х томах. - М. : Физматлит, 2011 . - Т. 1. - С. 132-142.

68. Afanasev, A. Intelligent methods and tools for handling graphic workflows in computer-aided design of comlex systems / A. Afanasev // Proceedings of International Conference. Interactive Systems And Technologies: The Problem of Human-Computer Interaction. Ца Collection of scientific papers. - Ulyanovsk : ULSTU, 2011. - P. 95-100.

69. Afanasev, A. Methodology and concepts for development of intelligent learning systems of design activity / A. Afanasev, аN. Voit, D. Kanev, P. Troitski // Proceedings of International Conference. Interactive Systems And Technologies: The Problem of Human-Computer Interaction. Ца Collection of scientific papers. - Ulyanovsk : ULSTU, 2011. - P. 93-95.

Свидетельства о государственной регистрации программ для ЭВМ,

авторские свидетельства на изобретения

• Свидетельство об официальной регистрации программы для ЭВМ № 200261576. САПР Ассоциативных Процессоров Управления (САПР АПУ) / Афанасьев А. Н., Егунов М. В., Шаталин К. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2002611393; заявл. 26.07.2002; зарегистр. 13.09.2002. - Москва, Роспатент, 2002.
• Свидетельство об официальной регистрации программы для ЭВМ № 2003612553. Графический редактор алгоритмов управленияа (ГРАУ) / Афанасьев А.Н., Шаров О.Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2003612046; заявл. 26.09.2003; зарегистр. 24.11.2003. - Москва, Роспатент, 2003.
• Свидетельство об официальной регистрации программы для ЭВМ № 2004611290. Система моделирования событийно управляемых процессов / Афанасьев А. Н., Игонин А. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - аа№ 2004610724; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
• Свидетельство об официальной регистрации программы для ЭВМ № 2004611286. Система графического редактирования и визуализирования схемных объектов / Афанасьев А. Н., Игонин А. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2004610720; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
• Свидетельство об официальной регистрации программы для ЭВМ № 2004611289. Транслятор схемных описаний / Афанасьев А. Н., Игонин А. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2004610723; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
• Свидетельство об официальной регистрации программы для ЭВМ № 2005611312. Анализатор графических схем алгоритмов / Шаров О. Г., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2005610802; заявл. 15.04.2005; зарегистр. 31.05.2005. - Москва, Роспатент, 2005.
• Свидетельство об официальной регистрации программы для ЭВМ № 2005611314. Синтаксически-ориентированный графический редактор алгоритмов управления (СОГРАУ) / Шаров О. Г., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2005610804; заявл. 15.04.2005; зарегистр. 31.05.2005. - Москва, Роспатент, 2005.
• Свидетельство об официальной регистрации программы для ЭВМ № 2005611316. Программный пакет Вопросно-ответный процессор автоматизированного обучения и тестирования пользователей изделий и систем / Афанасьев А. Н., Карпушин А. Н., Максимов А. В., Соснин П. И., Соснин Д. П.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2005610806; заявл. 15.04.2005; зарегистр. 31.05.2005. - Москва, Роспатент, 2005.
• Свидетельство об официальной регистрации программы для ЭВМ № 2005610662. Графический конструктор электронных учебно-методических комплексов / Войт Н. Н., Афанасьев А. Н., Шаров О. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - аа№ 2005610119; заявл. 21.01.2005; зарегистр. 17.03.2005. - Москва, Роспатент, 2005.
• Свидетельство об официальной регистрации программы для ЭВМ № 2006610929. Графическая студия разработки электронных учебников / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2006610045; заявл. 10.01.2006; зарегистр. 09.03.2006. - Москва, Роспатент, 2006.
• Свидетельство об официальной регистрации программы для ЭВМ № 2006612714. Графический конструктор разработки гипертекстовых электронных учебно-методических комплексов / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2006611860; заявл. 07.06.2006; зарегистр. 02.08.2006. - Москва, Роспатент, 2006.
• Свидетельство об официальной регистрации программы для ЭВМ № 2006610929. Графическая студия разработки электронных учебников комплексов / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2006610045; заявл. 10.01.2006; зарегистр. 09.03.2006. - Москва, Роспатент, 2006.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007612025. Метакомпилятор графических грамматик / Яшин А. В., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2007610974; заявл. 20.03.2007; зарегистр. 17.05.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007610545. Классификатор объектов проектирования / Шумилов А. И., Афанасьев а А. Н., Войт Н. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2006614148; заявл. 05.12.2006; зарегистр. 02.02.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007613023. Синтаксически-ориентированный редактор графических средств концептуального проектирования / Новичков В. А., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2007612011; заявл. 22.05.2007; зарегистр. 11.06.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007611772. Система построения спецификаций графических языков на основе RV-грамматик / Афанасьев А. Н., Шаров О. Г., Яшин А. В.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2007610815; заявл. 09.03.2007; зарегистр. 26.04.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007611773. Универсальная система анализа графических языков на базе RV-грамматик / Афанасьев А. Н., Шаров О. Г., Яшин А. В.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2007610817; заявл. 09.03.2007; зарегистр. 26.04.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2007610545. Классификатор объектов проектирования / Шумилов А. И, Афанасьев а А. Н., Войт Н. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2006614148; заявл. 05.12.2006; зарегистр. 02.02.2007. - Москва, Роспатент, 2007.
• Свидетельство об официальной регистрации программы для ЭВМ № 2008615365. Система мониторинга оценки качества повышения квалификации / Афанасьев А. Н., Войт Н. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2008614365; заявл. 23.09.2008; зарегистр. 10.11.2008. - Москва, Роспатент, 2008.
• Свидетельство об официальной регистрации программы для ЭВМ № 2008615364. Система контроля знаний ТЕСКО / Афанасьев А. Н., Афанасьева Т. В., Войт Н. Н., Романов А. А.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2008614364; заявл. 23.09.2008; зарегистр. 10.11.2008. - Москва, Роспатент, 2008.
• Свидетельство об официальной регистрации программы для ЭВМ № 2008610561. Программный контроллер управляющего элемента ActiveX КОМПАС обучающей системы GraphConstructor / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2007615018; заявл. 11.12.2007; зарегистр. 31.01.2008. - Москва, Роспатент, 2008.
• Свидетельство об официальной регистрации программы для ЭВМ № 2008611429. Транслятор SCORM-спецификации проектных решений САПР КОМПАС / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян. гос. техн. ун-т. - аа№ 2008610503; заявл. 12.02.2008; зарегистр. 20.03.2008. - Москва, Роспатент, 2008.
• Свидетельство об официальной регистрации программы для ЭВМ № 2010611718. Internet система разработки графического описания процесса обработки детали для систем ЧПУ (токарный вариант) / Афанасьев А. Н., Игонин А. Г., Тимин А. А., Гоголев А. В.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2009616314; заявл. 10.11.2009; зарегистр. 03.03.2010. - Москва, Роспатент, 2010.
• Свидетельство об официальной регистрации программы для ЭВМ № 2009610818. Гипертекстовый редактор электронной конструкторской документации САПР / Афанасьев А. Н., Войт Н. Н., Белов В. А., Сидорова Р. М.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2008615896; заявл. 12.12.2008; зарегистр. 06.02.2009. - Москва, Роспатент, 2009.
• Свидетельство об официальной регистрации программы для ЭВМ № 2010610076. Программа анализа событийных диаграмм проектирования АС /а Афанасьев А. Н., Сычев В. В., Шаров О. Г.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2009616060; заявл. 30.10.2009; зарегистр. 11.01.2010. - Москва, Роспатент, 2010.
• Свидетельство об официальной регистрации программы для ЭВМ № 2010613515. Графический конструктор модели предметной области САПР / Войт Н. Н., Афанасьев А. Н., Канев Д. С.; заявитель и правообладатель Ульян. гос. техн. ун-т. - № 2010611999; заявл. 13.04.2010; зарегистр. 28.05.2010. - Москва, Роспатент, 2010.

96.а А.с. 957272 СССР, М.Кл.3 G 11 C 11/00. Многоканальное запоминающее устройство / А. Н. Афанасьев А.Н., А. А. Гужавин, О. Г. Кокаев. - 3250077/18-24; заявл. 21.11.80, опубл. 07.09.82, Бюл. № 33. - 3 с.

97. А.с. № 1304078 СССР, М.Кл.4 G 11 C 19/00. Стековое запоминающее устройство / А. Н. Афанасьев, И Ф. Имамутдинов, О. Г. Кокаев, В. Г. Тарасов. - 392223/24-24; заявл. 01.07.85, опубл. 15.04.87, Бюл. № 14. - 4 с.

98. А.с. № 1363187 СССР, М.Кл.4 G 06 F 17/38. Ассоциативное арифметическое устройство / О. Г. Кокаев, В.С. Кисленко, Л. А. Жигач, А. Н. Афанасьев. - 4097649/24-24; заявл. 29.07.86, опубл. 30.12.87, Бюл. № 48. - 4 с.

СПИСОК СОКРАЩЕНИЙ

АС - автоматизированная система

СКС - сложная компьютеризованная система

ПГС - параллельная граф-схема

ППР - поток проектных работ

ПССР - параллельная сетевая схема работ

SIS - Software Intensive Systems

АФАНАСЬЕВ Александр Николаевич

ГРАФО-АНАЛИТИЧЕСКИЙ ПОДХОД К АНАЛИЗУ И КОНТРОЛЮ

ПОТОКОВ аРАБОТ В АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИИ

СЛОЖНЫХ КОМПЬЮТЕРИЗОВАННЫХ СИСТЕМ

Автореферат

диссертации на соискание ученой степени

доктора технических наук

Подписано в печать 19.09.2011. Формат 60х84/16.

Усл. печ. л. 2,32. Тираж 100 экз. Заказ

Типография УГТУ, 432027, г. Ульяновск, ул. Сев. Венец, 32. а

СКАЧАТЬ ОРИГИНАЛ ДОКУМЕНТА

Страницы: | 1 | 2 | 3 |

     Авторефераты по всем темам  >>  Авторефераты по техническим наукам