автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем
- доктора технических наук
- Афанасьев, Александр Николаевич
- город
- Ульяновск
- год
- 2011
- специальность ВАК РФ
- 05.13.12
Автореферат диссертации по теме "Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем"
На правах рукописи
005004081
АФАНАСЬЕВ Александр Николаевич
ГРАФО-АНАЛИТИЧЕСКИЙ ПОДХОД К АНАЛИЗУ И КОНТРОЛЮ ПОТОКОВ РАБОТ В АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИИ СЛОЖНЫХ КОМПЬЮТЕРИЗОВАННЫХ СИСТЕМ
Специальность: 05.13.12 — Системы автоматизации проектирования
(промышленность)
- 1 ДЕК 2011
АВТОРЕФЕРАТ
диссертации на соискание ученой степени доктора технических наук
Ульяновск-2011
005004081
Работа выполнена на кафедре Вычислительной техники Ульяновского государственного технического университета
Научный консультант: доктор технических наук, профессор
Соснин Петр Иванович
Официальные оппоненты: доктор технических наук, профессор
Курейчик Владимир Викторович
доктор технических наук, профессор Камаев Валерий Анатольевич
доктор технических наук, профессор Егоров Юрий Петрович
Ведущая организация: Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина).
Защита состоится 26 декабря 2011 г. в 1500 часов в ауд. 211 на заседании диссертационного совета Д 212.277.01 при Ульяновском государственном техническом университете по адресу: 432027, г. Ульяновск, ул. Сев. Венец, 32.
С диссертацией можно ознакомиться в научно-технической библиотеке Ульяновского государственного технического университета.
Автореферат разослан «12» ноября 2011 г.
Ученый секретарь диссертационного совета д.т.н., профессор В.И. Смирнов
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность проблемы. В настоящее время проектирование, производство, внедрение и реинжиниринг сложных систем, использующих программное обеспечение, сталкивается с рядом принципиальных проблем, оказывающих негативное влияние на их успешность. В зарубежной теории и практике такой класс систем получил название систем, интенсивно использующих программное обеспечение (Software Intensive Systems - SIS). Выделение таких систем в отдельный класс (около 20 лет назад) было вызвано проблемой успешности их создания (непозволительно высокий выход разработок за рамки запланированных временных, финансовых и функциональных параметров). В российской нормативной базе классу SIS близок класс автоматизированных систем (АС), который подчинен классу SIS.
Для снижения негативных влияний на разработку SIS за последние годы в теорию и практику системной инженерии введены такие парадигмы, как жизненный цикл программных систем, линейки программных продуктов, потоки работ, организационно-профессиональная зрелость, коллективная обработка и проектирование, система компетенций, а также множество стандартов (например, ISO/IEC 12207, IEEE Std 1471, ISO/IEC 9126), в частности введен и активно используется стандарт «ГОСТ Р ИСО 9004-2010 МЕНЕДЖМЕНТ ДЛЯ ДОСТИЖЕНИЯ УСТОЙЧИВОГО УСПЕХА ОРГАНИЗАЦИИ».
Значительный вклад в теорию и практику разработки SIS внесли российские и зарубежные ученые Васильев С.Н., Емельянов C.B., Иванников В.Г1., Камаев В.А., Курейчик В.М., Липаев В.В., Норенков И.П., Советов Б.Я., Hall A., Sage A., Booch G., Rumbaugh D., Jacobson I., Boem R., Kruchten Ph. и др.
Особое место в достижении успешности разработки SIS отведено диа-грамматике в визуальных формах артефактов, сопровождающих проектную деятельность (UML, IDEF, ER, DFD, еЕРС, SDL-диаграммы, параллельные граф-схемы - ПГС и др.).
Акцент на диаграмматику обусловлен рядом причин:
- устойчивым использованием разработчиками SIS в оперативных рассуждениях диаграммных схем, способствующих решению задач и пониманию того, о чем идет речь;
- требованиями нормативной диаграммной регистрации процесса разработки, его составляющих, а также продуктов проектных действий;
- попытками автоматической и/или автоматизированной трансформации диаграммных схем в их материальное воплощение.
К сожалению, следует отметить, что в богатейшем опыте диаграмматнче-ских представлений, используемых в практиках SIS, не уделяется должного внимания методам и средствам оперативного контроля схемных диаграмм.
Отсутствие в современных технологиях разработок SIS методов и инструментальных средств, предоставляемых в коллективе разработчиков каждому проектировщику для оперативного контроля создаваемых им графических диа-
грамм в условиях их расширяющегося внедрения, нацеленного в перспективе на трансляцию диаграмм в программный код, открыло дополнительный источник опасных ошибок проектирования, что является актуальной научно-технической проблемой.
Схемные диаграммы создаются и используются как для процесса проектирования SIS, инструментальная среда которого представляет специализированную SIS типа САПР, так и для продуктов проектирования. И в первом, и во втором случае процессность проекта представляется потоками работ, за каждым из которых стоит определенный бизнес-процесс, в согласованное осуществление которого вовлечена группа исполнителей.
Модельное представление бизнес-процессов и их систем оказалось настолько полезным, что оно широко применяется в различных предметных областях и с различными целями. Потоки работ являются базовым модельным представлением динамики практически во всех технологиях разработки SIS, в частности в технологии RUP. Анализ существующих технологий демонстрирует, что типичными формами контроля диаграмматики потоков работ являются:
- их конструктивное создание с использованием специализированных декларативных языков без автоматических и/или автоматизированных проверок синтаксиса;
- многократный преднамеренный или ситуационный визуальный просмотр диаграмм разработчиками SIS и другими заинтересованными лицами.
В теории и практике потоков работ поиск новых методов и средств, формализующих порождение и контроль схемных диаграмм, способствующих снижению проникающих в них ошибок проектирования, считается особо актуальным.
Вкладом в решение указанной выше проблемы является включение в потоки проектных работ (ППР) дополнительного потока, обеспечивающего снижение ошибок в оперативном создании проектировщиками нормативных и ситуативных графических диаграмм за счет лингвистического моделирования потоков работ и работ с графикой, а также интеллектуального обучения проектировщиков созданию нормативных и ситуативных потоков работ.
В управлении потоками работ широко применяются специализированные процессоры (workflow engines), подобные компьютерным процессорам, использующим алгоритмические программы. Этот факт подсказывает идею аналогового наследования методов и средств контроля из опыта алгоритмических процессов. Одной из подсказок для такого наследования является использование паттернов потоков работ, схемы которых подобны алгоритмическим схемам.
Аналоговое наследование используется в диссертационной работе как базовый принцип графо-аналитического подхода к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем (СКС). В диссертации класс СКС специфицируется как подкласс SIS, включающий сложные автоматизированные системы.
Графо-аналитический подход определен и используется как система
принципов, теоретических составляющих, моделей, методов и средств, способствующих при их комплексном применении снижению ошибок проектирования в диаграммных схемах ППР, в первую очередь за счет использования грамматических формализмов, моделирующих статику и динамику потоков работ в процессе проектирования СКС и его продукте.
В реализации графо-аналитического подхода, настроенной на се коллективное использование разработчиками СКС, используются методы и средства потоков работ, в том числе и те, которые отвечают за их обучение построению, анализу и контролю диаграммных схем. Разработанные средства обучения учитывают специфику диаграмматики потоков работ в ее приложении к автоматизированному проектированию СКС.
Актуальность диссертационной работы обусловлена названной выше проблемой и расширяющимся внедрением диаграмматики в практику разработки СКС. Понятие класса СКС используется в диссертации как рабочее, содержание которого синонимично (с учетом отмеченной специфики) понятиям «системы, интенсивно использующие программное обеспечение» и «автоматизированные системы».
Цель и задачи исследования. Целыо диссертационного исследования является разработка и реализация графо-аналигического подхода, включающего комплекс методологических принципов, методов, моделей, алгоритмов и структур создания, контроля, анализа, трансляции л моделирования нормативных и ситуативных ППР, обеспечивающих снижение ошибок при создании СКС.
Для достижения поставленной цели необходимо решить следующие основные задачи.
1. Анализ технологий проектирования SIS и автоматизированных систем.
2. Анализ подходов, методов и средств обработки потоков проектных работ.
3. Разработка основ прикладной теории ассоциативного управления потоками работ.
4. Развитие теории анализа, перевода и компиляции графических языков потоков проектных работ.
5. Разработка методов и средств обработки лингвистических моделей потоков проектных работ.
6. Разработка интеллектуальной автоматизированной обучающей системы проектированию, моделированию и анализу потоков проектных работ СКС.
7. Разработка программно-структурных средств обработки моделей потоков проектных работ.
Областями исследований являются методология автоматизированного проектирования в техггике, включая постановку, формализацию и типизацию проектных процедур и процессов проектирования, вопросы выбора методов и средств для применения в САПР; разработка научных основ построения средств САПР, разработка и исследование моделей, алгоритмов и методов для синтеза и анализа проектных решений, включая конструкторские и технологи-
ческие решения в САПР и АСТГГП; разработка научных основ обучения автоматизированному проектированию.
Направление исследований связано с использованием аналогий из компьютерного программирования для развития теории и практических средств управления, создания, контроля, анализа и моделирования 11111' при проектировании СКС.
Объектом исследований является применение диаграмматики ПГ1Р при создании СКС, нацеленное на снижение ошибок проектирования и, тем самым, на повышение успешности проектов.
Предметом исследований являются модели, методы и средства диаграмматики, в которых используется опыт программирования для управления, создания, контроля, анализа, трансляции и моделирования ППР.
Методы исследования. При выполнении работы использованы основные положения и методы теории формальных и фафических грамматик, системного анализа, теории графов, искусственного интеллекта, теории нейронных сетей, теории нечетких множеств.
Научная новизна результатов исследования. В диссертации получены следующие основные результаты, характеризующиеся научной новизной.
1. Разработан графо-аналитический подход, система принципов, теоретических составляющих, моделей, методов и средств которого представляет собой методолого-технологическую основу для анализа и контроля диаграммных схем на концептуальном этапе проектирования СКС, нацеленных на снижение ошибок проекгирования за счет использования грамматических формализмов, моделирующих по образцам программирования статику и динамику потоков проектных работ.
2. Разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления ППР, позволяющая улучшить учет критериев, параметров и специфику процесса проектирования СКС, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.
3. Разработаны методы и средства контроля, анализа и преобразования графических языков ППР, являющиеся развитием теории обработки графических языков. Предложен класс синтаксически-ориентированных графических грамматик (автоматные графические грамматики, автрматные графические грамматики с нейтрализацией ошибок, иерархические графические грамматики, транслирующие графические грамматики, нечеткие графические грамматики), отличающихся от известных простотой синтеза, универсальностью, линейными временными характеристиками анализа, малыми затратами памяти, обеспечивающими полноту контроля, обнаружение синтаксических и семантических ошибок в диаграммах ППР, возможность продолжения анализа в случае наличия ошибок, получение семантического значения диаграмм потоков работ в терминах денотационной и операционной семантик, поддерживающих группо-
вое, в том числе и удаленное, проектирование потоков работ, и позволяющих сократить проектные ошибки.
4. Разработан метод обработки лингвистических моделей потоков работ, сущность которого определяется хранением формы и правил описания объектов потоков работ в нейроподобных структурах, связанных с семантической сетью, что позволяет настраивать среду проектирования и накапливать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.
5. Разработаны модели и методы организации адаптивного обучения проектированию 1I1IP. Предложена модель проектировщика, в которой используются нечеткие лингвистические характеристики, обеспечивающие применение адаптивного планирования траектории обучения. Предложен метод диагностики проектной компетенции проектировщика, заключающийся в классификации его проектного профиля на основе нечетких карт Кохонена и обеспечивающий уменьшение ошибки оценки уровня подготовленности и повышающий качество процесса обучения. Предложен метод адаптивного управления траекторией обучения проектировщика, использующий комплекс моделей (предметной области, проектировщика, сценария и протокола) и позволяющий достигнуть требуемого значения проектных характеристик обучаемого в сокращенные сроки.
Практическая значимость и результаты внедрения. Разработана архитектура и программно-информационное обеспечение системы контроля, анализа и перевода диаграмм потоков проектных работ. Разработаны программы контроля, анализа и перевода диаграмм потоков проектных работ, предназначенные для использования в наиболее распространенных в практике проектирования сложных систем инструментальных средствах и позволяющие снизить ошибки при создании СКС.
Разработана архитектура и программно-информационное обеспечение системы обработки лингвистических моделей потоков проектных работ.
Разработана архитектура и программно-информационное обеспечение интеллектуальной обучающей системы проектирования потоков ППР.
Разработаны структурные решения процессоров контроля диаграмм потоков проектных работ на основе автоматных графических грамматик.
Разработаны структурные решения блоков безадресной памяти и ассоциативного арифметического устройства, используемые в процессорах контроля.
Результаты работы внедрены на следующих промышленных предприятиях: ФНПЦ ОАО НПО «Марс» (г. Ульяновск), ОАО «Ульяновский механический завод» (г. Ульяновск). Результаты исследования использованы в рамках ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы (госконтракт № 02.741.11.2135), при выполнении х/д НИР № Д286 с УВАУГА, г/б НИР № 13-02.03.06 «Методы и средства проектирования интеллектуальных САПР (№ гос. per. 01200706629, отчет за 20062010 гг. инв. № 02201150531). Результаты диссертационной работы
используются также в учебном процессе кафедры Вычислительной техники Ульяновского государственного технического университета при обучении студентов направления «Информатика и вычислительная техника». Под руководством автора защищены 4 кандидатских и 22 магистерских диссертации по тематике исследования.
Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Всесоюзной конференции «Микропроцессорные системы» (Челябинск, 1984), Всесоюзных школах-семинарах «Распараллеливание обработки информации» (Львов, 1985, 1987), Российской научно-технической конференции «Системный анализ и принятие решений в задачах автоматизированного обеспечения качества и надежности изделий приборостроения и РЭА» (Махачкала, 1991), Российской научно-технической конференции «Интерактивные системы» (Ульяновск, 1993), международных НТК «Интерактивные системы: проблемы человеко-компьютерного взаимодействия», (Ульяновск, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011), международной НТК «Непрерывнологические и нейронные сети и модели» (Ульяновск, 1995), Всероссийской НПК «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 1998), Третьей всероссийской научно-практической конференции (с участием стран СНГ) «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 2001), международной конференции «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике» (Ульяновск, 2001), международной конференции «Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике» (Ульяновск, 2003), международной научной конференции «Компьютерное моделирование и информационные технологии в науке, инженерии и образовании» (Пенза, 2003), международной конференции «Новые информационные технологии и системы» (Пенза, 2006), Всероссийской конференции с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации» (Ульяновск, 2009), VII международной конференции «Математическое моделирование физических, экономических, технических, социальных систем и процессов» (Ульяновск, 2009), конгрессах по интеллектуальным системам и информационным технологиям «АК-ГГ'9,10» и «18&1Т'Н» (Дивноморское, 2009-2011), Первой всероссийской конференции с международным участием «Системный анализ и семиотическое моделирование» (8АБМ-2011) (Казань, 2011), Российских научно-технических конференциях «Информатика и вычислительная техника» (Ульяновск, 20092011), Российских научно-технических конференциях «Информатика, моделирование, автоматизация проектирования» (Ульяновск, 2009, 2010), профессорско-преподавательских конференциях ЛЭТИ им. В. И. Ульянова (Ленина) (Ленинград, 1984-1986), профессорско-преподавательских конференциях Улья-
новского политехнического института и Ульяновского государственного технического университета (Ульяновск, 1980-1983,1987-2011).
Публикации. По теме диссертации опубликовано 98 научных работ, в том числе 12 - в изданиях, рекомендованных ВАК РФ, 4 монографии, 26 свидетельств о государственной регистрации программ для ЭВМ, 3 авторских свидетельств на изобретения.
Структура и объем работы. Диссертация состоит из введения, шести глав, заключения, приложений и списка литературы из 356 наименований. Основная часть работы изложена на 315 страницах и содержит 144 рисунка и 67 таблиц.
ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ
Во введении обоснована актуальность работы, дана ее краткая характеристика, сформулированы цель и задачи исследования, изложены основные научные положения и результаты, выносимые на защиту.
В первой главе проведен анализ подходов, методов и средств создания и обработки потоков проектных работ. На основе анализа определений потоков работ сформулировано рабочее определение потока проектных работ как модель событийного процесса выполнения задач проектирования с помощью коллективных ресурсов.
Проведен анализ основных методологий, технологий и инструментальных средств проектирования СКС (RUP- и ARIS-подобные) с позиций места, роли и поддержки потоков работ. Исследованы системы управления потоками работ, паттерны потоков работ с точки зрения возможности их использования для решения типовых задач проектирования, методы и средства реализации графических языков потоков работ, методы и средства интеллектуального моделирования и обучения проектированию нормативных потоков проектных работ.
Исследованы стандарты и языки представления, моделирования и выполнения потоков работ WPDL (Workflow Process Definition Language), XPDL (XML Workflow Process Definition Language) , BPMN (Business Process Modelling Notation), BPML (Business Process Modelling Language), BPQL (Business Process Query Language), BPSS (Business Process Specification Schema), BPDL (Business Process Describing Language), EPC (Event-Driven Process Chains), ICN (The Information-Control Nets), UML 2.0, WSCL (Web Services Composition Languages), XLANG (Web Services for Business Process Design), WSFL (Web Services Flow Language) , BPEL4WS (Business Process Execution Language for Web Services), WSC1 (Web Services Choreography Interface), WS-CDL (Web Services Choreography Description Language), WSCL (Web Services Conversation Language), Web Bond.
Проведен анализ методологий моделирования потоков работ: процессно-ориентированной, ресурсно-ориентированной и ориентированной на данные. По результатам анализа сформулированы и обоснованы следующие базовые
принципы графоаналитического подхода.
1. Принцип аналогового наследования: в теорию и практику потоков проектных работ, используя аналогии, целесообразно вводить те формализмы программирования, которые увеличивают выразительную мощность диаграмматических языков и открывают возможности для автоматического и/или автоматизированного грамматического контроля проектных ошибок в диаграммных схемах.
2. Принцип дополнительности «декларативное-процедурное» в его приложении к потокам работ: вводя в формализмы потоков работ полезные аналогии, следует в диаграммных схемах различать классы, представляющие активность потоков работ, и информационную поддержку активностей, в число средств которой входят пакеты САПР.
Проведена пошаговая детализация базовых принципов, результаты которой используются для логического размещения результатов исследований и разработок диссертации по ее тексту.
Одно из направлений детализации связано с использованием методов и средств потоков работ, в том числе и тех, которые предложены и исследованы в диссертации для реализации графо-аналитического подхода, в частности для специализированного обучения проектировщиков построению диаграммных схем, их анализу и контролю.
Разработана схема диссертационного исследования, включающего следующие этапы.
1. Разработать теоретические основы и соответствующий им инструментарий для повышения гарантий успешности разработки СКС за счет обоснованного и контролируемого снижения ошибок в оперативном создании проектировщиками нормативных и ситуативных графических диаграмм ППР.
2. Для обеспечения отмеченного эффекта в теорию и практику ППР, используя аналогии, ввести формализмы программирования, которые повышают выразительную мощность диаграммных языков и открывают возможности для автоматического и/или автоматизированного контроля проектных ошибок в диаграммах.
3. Практическую реализацию комплекса средств, способствующих выявлению и коррекции ошибок, реализовать в виде связной совокупности систем контроля, анализа, трансляции, классификации, повторного использования и обучения.
Во второй главе разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления ППР, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.
Ассоциативно-ориентированная модель управления потоками работ представляется в виде параллельной сетевой схемы работ (ПССР), которая определяется кортежом
где К - множество операторных вершин, О - множество дуг, £ и Е- множества составных и условных операторов. Множество V состоит из множеств вершин V присваивания, V11 распараллеливания и У1 соединения. Множество 5 состоит из множеств ^ составных операторов задач, составных операторов распараллеливания и Б1 составных операторов соединения. Л - отображение V Множество Б состоит из множеств дуг ¡У' разветвления, /У распараллеливания и I? соединения. Множество Е условных операторов состоит из множеств Е обобщенных условных операторов выполнения задач, условных операторов распараллеливания и Е1 условных операторов соединения. С - отображение В-+Е. Операторы ж/?е5Л, з^еЯ1, с{еЕ'\ е?еЕк, с+еЕ1 имеют
вид
где гр. р еР и М; еМ, Z, Р и М - множества задач, условий и масок.
Вершины инициируют действия, позволяющие переход к нескольким следующим задачам, которые могут выполняться независимо друг от друга с произвольным сдвигом во времени. Вершины V1 инициируют действия, которые разрешают переход к другим задачам только тогда, когда все предыдущие выполнены.
Формулируются условия корректности Г1ССР. Вводится четыре типа Я'Е-ПССР (хорошо сформированных ПССР), использование которых обеспечивает получение корректных и структурированных ПССР.
Разрабатывается методика доказательства проверки корректности ПССР, включающая представление ПССР системой отмеченных взвешенных формул перехода и алгоритм трансляции ПССР в соответствующую параллельную граф-схему.
Доказывается следующая теорема.
Теорема 2.1. Класс ПССР транслируем в класс ПГС (и обратно).
Доказательство строится на основе конструктивного подхода путем построения соответствующих корректных алгоритмов трансляции с использованием взвешенных формул вида
где - составной оператор задач, помеченный символом
гпы=(М,\ЩЬ1\). Каждому формируемому в процессе трансляции составному оператору ставится в соответствие вес и> - -1; для еР и' = /2/ + 1, где И/ - коли-
чество операторов , образующих конъюнкцию обобщенного условного оператора; для <?/г м> = П2, где п? - количество ветвей распараллеливания; для <?/• V/ = 1.
Процесс трансляции считается завершенным в том и только в том случае, если сумма весов всех формул перехода равна 0:
г т ;=1/=1
где г'-й терм /-Й отмеченной формулы перехода, т - число термов у'-й
формулы, г - ранг системы отмеченных формул.
Для моделирования ПССР разрабатывается структура и алгоритм функционирования абстрактной ассоциативной машины. ПССР в этом случае рассматривается как геометрическая интерпретация бинарного отношения о, заданного на множестве пар элементов множества Б.
Отношение о записывается в виде ассоциации
т+1
ы
где о - один из трех типов условных операторов множества Е. Пара (5/,о) за-
т+1
дает признак ассоциации, а пара {Я},^^) - значение ассоциации. Абстрактен
ная машина имеет бесконечную вправо ленту памяти, разделенную на четыре части, головки считывания/записи и устройство управления. В первой части ленты запоминается цепочка символов входного алфавита, образованного операторами множества Е, во второй - список признаков текущих ассоциаций, в третьей - описание работы абстрактной машины, в четвертой, служебной, -имена ассоциаций, участвующих в формировании условных значений ассоциаций.
В описании работы абстрактной машины различаются безусловные и условные значения ассоциаций. Безусловному значению соответствует переход по условному обобщенному оператору е? или условному оператору распараллеливания е-\ а условному значению - по условному оператору соединения с/'.
Разрабатывается лингвистическое представление модели ПССР, основанное на использовании предложенного скобочного языка со скобочными терминалами трех видов: открывающих и закрывающих скобок разветвления, распараллеливания и соединения.
Исследуется возможность применения ряда известных синтаксически-ориентированных методов для анализа лингвистической модели ПССР. Показывается их недостаточная эффективность как по полноте контроля, так и по затратам времени.
Предлагается метаязык Л<7-грамматик, обеспечивающий контроль нерегулярной скобочной структуры языка ПССР за линейное время.
Определение 2.1. ЛС-грамматикой языка ЦС) называется четверка множеств вида
где V - {VI,I = 1 ,£} - вспомогательный алфавит (алфавит внутренней памяти); £ = = 1,7} - терминальный алфавит (может быть использован и синтермальный алфавит);
Л = = - схема грамматики О (множество имен комплексов
продукций), причем каждый комплекс г-, состоит из подмножества продукций Рц : п = {Лу, / = 1, •/};
- аксиома К/З-грамматики. Продукция Р,} имеет вид
/1;: а у-'-= У уп,
где гт&К - имя комплекса продукций-преемников;
1Уу - и-арное отношение, определяющее вид операции над
внутренней памятью в зависимости от У| = {01112}.
При VI = 0 никаких действий над памятью не производится. При V] = ] в ячейки а/(Ц) лент = записываются символы VI е V, сх\ - номер ячейки, Ь, - номер лепты.
При VI =2 из ячеек щ{Ц) лент £,-,/ = 1,и считываются символы цеУ, а,--номер ячейки, Ц— номер ленты.
Распознавание принадлежности некоторой цепочки языку Ь(О), заданному Я(0 грамматикой, сводится к проверке принадлежности первого символа цепочки какой-либо продукции комплекса г0, последующие символы должны принадлежать текущему комплексу продукций-преемников, а последний символ цепочки - продукции с г* в левой части. Применение продукции сопровождается соответствующими операциями с внутренней памятью, в начале и в конце распознавания внутренняя память должна быть пуста. Алгоритм анализа, таким образом, сводится к посимвольному беступиковому просмотру проверяемой цепочки языка.
Разрабатываются подклассы ЯС-грамматик: монарные, детерминированные, моноидные и упорядоченные. Определяются мощность, методика минимизации и временная характеристика .КС-грамматик.
Разрабатывается структура распознающего линейноограничеиного автомата (/¿(/-анализатора).
Основными достоинствами ЛСчрамматик являются: беступиковость анализа, линейная скорость анализа, малые затраты памяти, возможность анализа широкого класса языков, описывающих параллельные процессы.
Ассоциативная модель управления ППР позволяет улучшить учет критериев, параметров и специфику процесса проектирования СКС.
В третьей главе разрабатываются методы и средства, являющиеся развитием теории контроля, анализа, перевода и компиляции графических языков потоков проектных работ.
Предлагаются следующие виды автоматных 1-рафических грамматик.
1. Базовая Л F-грамматика, обеспечивающая контроль и анализ графических языков ППР, которые могут содержать неструктурированность и элементы параллелизма.
2. ЯК-грамматика с нейтрализацией ошибок (RK/V-грамматика).
3. Иерархическая ЯК-грамматика (ЛКЯ-грамматика).
4. Транслирующие ÄF-грамматики (в текстовый целевой язык - RVTt-грамматика и в графический целевой язык-/?К7^-грамматика).
5. Нечеткая RF-грамматнка (ЯVF-грамматика).
Класс указанных грамматик является развитием и расширением RG-грамматик.
Определение 3.1. RV- грамматикой языка L(G) называется упорядоченная пятерка непустых множеств G = (V, X, R, гу),
где V = {vt,, е = 1, Ц - вспомогательный алфавит (алфавит операций над внутренней памятью);
I, = {ai,t = l,TJ - терминальный алфавит графического языка, являющийся объединением множеств его графических объектов и связей (множество примитивов графического языка);
H = {äi,t = \,T} - квазитерминальный алфавит, являющийся расширением терминального алфавита. Алфавит Е включает:
- квазитермы графических объектов;
- квазитермы графических объектов, имеющих более одного входа;
- квазитермы связей-меток с определенными для них семантическими различиями, использующиеся для возврата к непроанализированным частям i-рафического образа;
- квазитерм по Jabel, определяющий отсутствие связей-меток и использующийся для прекращения анализа диаграммы при условии выполнения операции (ий) над внутренней памятью;
/?={/;, i=0,I} - схема грамматики G (множество имен комплексов продукций, причем каждый комплекс г,- состоит из подмножества продукций
го ей - аксиома ЛК-грамматики (имя начального комплекса продукций), ^ еЯ - заключительный комплекс продукций.
Продукция Цац имеет вид /'у: а,-" '" ■» гт,
где - п-арное отношение, определяющее вид операции над внут-
ренней памятью в зависимости от у е {0,1,2,3};
С!ц - оператор модификации, определенным образом изменяющий вид операции над памятью, причем // е {0,1,2}; гт е Я - имя комплекса продукции - преемника.
В качестве внутренней памяти предлагается использовать стеки для обработки графических объектов, имеющих более одного выхода (чтобы хранить информации о связях-метках), и эластичные ленты для обработки графических объектов, имеющих более одного входа (чтобы отмечать количество возвратов к данной вершине, а, следовательно, количество входящих дуг).
Определим следующую интерпретацию правил КК-грамматики в зависимости от параметров /I и V.
Пусть //=0,тогдаПо[^(п»-.Гп)]=,^1(л,-.?'я)» т.е. Оо~ пустой оператор.
Отношение 1Ул[уи~-,Уп) определяет операции над памятью, реализованной моделью стек.
При Х-0 никаких действий над памятью не производится.
При Л = 1 (/1=2) в стек с номером .V £ {\,п} записывается (стирается) у5 еК, причем если запись производится безусловно, то стирание осуществляется при условии, что уц в правиле II К-грамматики и вершине стека совпадают. В противном случае данное правило считается неприменимым (стирание не производится).
При //=1 оператор О] имеет вид
определен для Я = 1,2,3 и задает операцию записи, чтения или сравнения над ленточной памятью, где («¡(¿|), ...,«„(/.„)) указывают номера ячеек соответствующих эластичных лент (1,..,/;), куда будут записаны при Х-\ (считаны при Л=2, сравнены при Л--3) символы у\,..^упеУ.
При /л=2 оператор Г2г имеет вид
определен для Я] =1,2, Д? = 2,3 и задает условную операцию над ленточной памятью, т. е. операция в числителе выполняется при условии выполнения операции в знаменателе.
Цепочка <р~-=а1, а,2,..., а^ называется ЯГ-выводом й^ из а([ и обознача-
ИУ
ется «/, ==> , если для любого ¿<Я существует г, и ге е К такие, что <5,;1 е ге,
КУ
К К-вывод называется законченным (обозначается а1: => а!л), если а^ порождается продукцией с г к в правой части.
Л У- грамматика эффективна как для порождения, гак и для распознавания.
Порождение некоторой цепочки языка Ь по его ЯК-грамматике С начинается с применения любой из продукций комплекса Гц. Эта продукция определяет начальный символ порождаемой цепочки, а кроме того, она определяет необходимую операцию над внутренней памятью и имя применимого комплекса продукций - преемников, из которых выбирается очередная продукция. Порождение заканчивается применением продукции с /1 в правой части.
Распознавание принадлежности некоторой цепочки языка Л, заданному ЛК-грамматикой, аналогично /?С-грамматике.
Методика построения Л ^-грамматики состоит из следующих этапов.
1. Определяется терминальный алфавит контролируемого графического языка, описывается расположение меток, выявляются семантические различия для связей, имеющих общее графическое представление, строится алфавит квазитермов.
2. Строится матрица допустимых паросочетаний для.квазитерминального алфавита.
3. Определяются отношения над внутренней памятью, обеспечивающие эффективный контроль связности графических объектов.
4. По матрице допустимых паросочетаний строится граф метаязыка КУ-грамматик, вершинам которого поставлены в соответствие имена комплексов правил, а дугам - квазитермы и операции над внутренней памятью.
5. Производится минимизация ЯК-грамматики, устраняются недетерми-нированпости и неопределенности.
С целью эффективной организации обработки ошибок предлагается ЯК-грамматика с нейтрализацией ошибок (/? РТУ-грамматика), обеспечивающая определение всех ошибок за один проход за линейное время анализа.
Комплексы продукций ЯКМ-грамматики дополнены комплексами-продолжателями, управление которым передается в случае обнаружения ошибки. В продукциях таких комплексов содержатся квазитермы графических объектов — продолжателей. Множество объектов - продолжателей формируется на этапе синтеза грамматики.
Внутренняя память ЯУЫ-грамматики дополнена стеком для хранения комплексов - продолжателей и лентой для хранения меток о проанализированных графических объектах.
Для иерархического описания и эволюционного доопределения вариантов сети проектов потоков работ предлагается иерархическая ЛГ-грамматика (RVH-грамматика). В продукциях /?И//-грамматики разрешается использовать не только терминальные (квазитерминальные) символы, но и нетерминалы, в качестве которых могут выступать имена комплексов продукций других грамматик (подграмматик). Для организации разбора по RVH-грамматике используется стековый механизм.
Использование /Ш/-грамматик позволяет сократить объем грамматики, легко модифицировать ее, эффективно конструировать грамматику из уже имеющихся подграмматик.
Предлагается нечеткая RV-грамматика (Я F/<-грамматика), в которой комплекс ?t представляет собой нечеткое множество правил ру и степеней их принадлежности ц(ру). rl,{(plhp(pij))J = l,J)), где //(Ду) е [О, I ].
Степень принадлежности цепочки Т определяется следующим образом.
Пусть цепочка W = ati ,atl ,...,at д является R^-выводом ati из аи . В каждой
подцепочке вывода a,, ai tt выбирается минимальное значение степени
принадлежности jut, а затем из величин Р/ выбирается максимальная по всем
выводам. Рассматривается понятие «прочность», понимаемое как
рл = тт{р\,р2,...,рх}• Под «прочностью связи» понимается максимальное Я
значение «прочности» среди всех цепочек вывода р = m&xmmip^,р^..р1^).
I Я
Величина р принимается за степень принадлежности цепочки lF
языку L(G), порождаемому нечеткой RVF-грамматикой.
Выводятся сравнительные оценки по времени анализа и затратам памяти для ЯК-грамматик, позиционных, реляционных, многоуровневых и сохраняющих графовых грамматик. Временная сложность анализа графических языков потоков работ по ЯК-грамматике является линейной, зависит от числа графических примитивов диаграммы потоков работ и не превышает двойного количество объектов диаграммы. Другие грамматики имеют полиномиальную или экспоненциальную оценку временной сложности. Для ЯКЛ-грамматики время анализа не превышает тройного количества объектов диаграммы.
Затраты памяти при работе ЯК-анализатора в среднем в пять раз меньше указанных формализмов.
Приводятся ЯК-грамматики для наиболее применяемых в практике проектирования СКС графических языков ППР: UML, IDEF, еЕРС, сетей Петри, SDL, параллельных граф-схем. Определяются типы синтаксических и семантических ошибок этих языков.
Большинство графических языков потоков работ не является семантически формальными, что увеличивает их гибкость, расширяет области применения, но затрудняет машинную обработку.
Гибкость языка может привести к возникновению семейства языков, т. е.
множества языков, которые концептуально имеют общую базу, но различную интерпретацию, специфичную для предметной области их применения. Большинство существующих подходов рассматривает такие языки изолированно, хотя достаточно определить обобщающую семантику для семейства языков (возможно для некоторых элементов она будет абстрактной) и специализировать семантическую составляющую отдельных элементов языка и/или диаграммы перед ее интерпретацией.
Проведенный анализ методов формализации семантики графических языков показывает, что, в основном, они основываются па двух подходах.
Первый связан со специализацией и упрощением языка, семантическая неоднозначность исчезает. Это эффективно, когда необходимо реализовать узкоспециализированное, малобюджетное инструментальное средство для автоматизации процесса проектирования, программирования и т. п.
Второй подход предполагает определять семантику динамически путем трансляции диаграмм базового языка в целевой текстовый или графический язык, который является более формальным, чем базовый. Методы этого подхода являются Солее перспективными, так как дают возможность на базе одного универсального инструментального средства реализовать диаграммы различных графических языков.
Для графических языков потоков работ рассматриваются следующие типы семантик: денотационная, операционная, аксиоматическая и алгебраическая.
В качестве базовых в работе используются денотационная и операционная семантики, ориептиронанные на реализацию второго подхода. Предлагается два типа транслирующих грамматик, позволяющих проводить синтаксически -ориентированную трансляцию диаграмм графических языков потоков работ в текстовые и графические формальные описания.
1. ЯК77-грамматика - целевым является текстовое формальное описание (программы на языке программирования, текст на языке спецификаций и т. п.).
2. ЯКГ^-грамматика - целевым является графическое формальное опис-ние (например, сеть Петри).
Определение 3.2. Л (^/-грамматикой языка 1(0) называется упорядоченная семерка непустых множеств (7 = (V,I/, Е, 1,Л/, Я, го).
Множества К,£,£,./{, аналогичны ЯК-грамматике. Множества и и М введены с целью реализации функции трансляции. Множество и = {щ,1 = 1 ,К}~ алфавит операций над внутренней памятью, используемый целевым языком. М~ТГиТЫ - объединение алфавитов терминальных (77) и нетерминальных (75У) символов целевого языка.
Продукция Ру е г, имеет вид
р. -л Пм№(Гъ-,ГпШв^УЛГи-,Гп)]} ,,. ,х
где Qp(Q/1) - оператор модификации определенным образом изменяющий вид операции над памятью базового (целевого) языка, причем /.I б {0,1,2}; X - отображение квазитерма в терминах целевого языка (набор символов теМ).
Методика построения R VTt-грамматики дополняется этапами:
• определение отображения квазитерма в терминах целевого языка для каждой продукции, т. к. один и тот же квазитерм в зависимости от контекста может интерпретироваться разным набором символов целевого языка;
• определение операций над внутренней памятью для элементов целевого языка.
Затем минимизируются комплексы продукций и отображений. Минимизация отображений основана на поиске и свертке эквивалентных цепочек символов терминального и нетерминального алфавитов целевого языка. В качестве возможных эквивалентных фрагментов могут использоваться цепочки, не содержащие символов, для которых необходимо применять операции над внутренней памятью.
Определенная последовательность символов целевого языка обеспечивается использованием стеков для хранения информации о связях-метках, исходящих из объектов с более чем одним выходом.
Определение 3.3. R КТ^мрамматикой языка L(G) называется упорядоченная восьмерка непустых множеств G = (V,U, М, F, R, гц).
Множества V,U, 2, X,M,R, го аналогичны соответствующим множествам RVTt-грамматики. Элементами множества М являются графические примитивы. F= {generateJnputQ, generate outputQ, select_output{), stick connection pointsQ] - множество транслирующих функций по работе с элементами множества М.
Функция generateJnputQ формирует набор входных точек соединения, кроме той, по которой был достигнут данный графический объект. Выполняется при первичном анализе графических объектов, содержащих более одного входа.
Функция generale_ontput() формирует набор исходящих точек соединения. Выполняется при первичном анализе графических объектов, содержащих более одного выхода, либо когда единственный выход предполагается использовать как связь-метку, т. е. необходимо изменить направление анализа.
Функция select_output() производит выбор исходящей точки соединения элемента в качестве продолжателя цепочки целевого языка. Выполняется для графических объектов с динамически изменяемым числом исходящих точек соединения после формирования набора точек соединения для исходящих связей, выбирается одна из таких точек. В общем случае выбор является случайным.
Функция stick_connection_pointsQ - связывает точки соединения связи и объекта. Выполняется при вторичном анализе графических объектов, содержащих более одного входа. Производит связывание входящей связи с
19
точкой соединения объекта, информация о которой хранится во внутренней памяти.
Наличие этих функций позволяет сформировать алгоритм построения выходной цепочки, основными операциями в котором являются выбор точки - продолжателя анализа для объектов, содержащих более одного выхода, и компоновка целостной последовательности из уже проанализированных объектов, содержащих более одного входа и связываемых с ними анализируемых объектов.
Рассматривается схема метакомпиляции й К-грамматики, состоящая из следующих этапов.
1. Лексический разбор описания диаграммного языка.
2. Синтаксический разбор и построение дерева разбора.
3. Анализ дерева разбора и построение промежуточной структуры грамматики в терминах языка спецификаций.
4. Трансляция — преобразование внутреннего представления в термины ЯК-грамматики.
5. Оптимизация и минимизация.
6. Сохранение таблиц ЯК-грамматики в формате ХМЬ. /
В четвертой главе разрабатываются методы и средства обработки лингвистических моделей потоков проектных работ, позволяющие автоматизировать процесс разбора описаний, классификацию, построение шаблонов и синтез проектных решений потоков работ.
В качестве базового описания лингвистических моделей проектных работ выбран язык ВРЕЬ как наиболее типичный представитель этого класса языков.
В ходе анализа описания модели решаются две задачи:
- разбор описания модели и приведение его к единому унифицированному виду;
- разбор унифицированного описания, профилирование (определение параметров) и сохранение модели в базе данных.
Грамматика применяемого базового языка описания потоков проектных работ представляется в виде
С = (ГГ,Ш,Р,Ох,К), где УТ- множество терминальных символов, УЫ - множество нетерминальных символов, Р - конечное подмножество (УТ V УМ) *х (УТ и Ш) ' , О.ч - начальный символ, К- классификационный признак.
Классификационный признак объектов моделей дает возможность проектировщику указывать на объекты, которые необходимо добавить в классификатор, или указать системе объекты, которые она классифицировать затрудняется.
Лексический, синтаксический и семантический анализаторы языка описания построены на базе нейро-семантической сети.
Лексический анализатор состоит из слоя нейронов-идентификаторов, управляющего нейрона и нейрона ошибки.
Слой нейронов-идентификаторов предназначен для анализа основных конструкций (лексем) языка: ключевых слов, идентификаторов, чисел, управляющих символов, символов-разделителей.
Нейроны-идентификаторы построены по принципу сетей адаптивно-резонансной теории (APT) и представляют собой векторные классификаторы. Входной вектор классифицируется в зависимости от того, на какой из множества ранее сохраненных образов он похож. Свое классификационное решение сеть APT выражает в форме возбуждения одного из нейронов.
Выход нейронов-идентификаторов представляет собой вектор 0, который соответствует унифицированному виду языка. Все выходы слоя нейронов-идентификаторов поступают на вход управляющего нейрона. Управляющие нейроны содержат веса входов, которые определяют приоритетность выходов нейронов предыдущего слоя. Наиболее приоритетный вход поступает на выход управляющего нейрона.
С выхода управляющего нейрона лексического анализатора вектор поступает на слой нейронов-идентификаторов синтаксического анализатора.
Синтаксический анализатор состоит из слоя нейронов-идентификаторов, управляющего нейрона и нейрона ошибки. Слой нейронов-идентификаторов работает аналогично слою лексического анализатора.
Отличительная особенность управляющего нейрона синтаксического анализатора состоит в том, что вектор с его выхода поступает обратно на вход нейронов-идентификаторов.
Нейроны ошибки выдают сигнал, если на входную цепочку символов нет реакции управляющего нейрона.
Параллельно работе синтаксического анализатора обработку входной цепочки осуществляет сеть управления. Сеть управления построена на базе семантической сети и составляет основу контекстного анализатора описания проектного решения. Данная сеть содержит набор правил-действий обработки символа промежуточного представления. Набор правил-действий задается фиксировано, но порядок их применения может варьироваться. Правила содержат действия, необходимые для информационного заполнения унифицированного описания артефакта модели 111 IP базы данных.
Сеть управления описывается следующим образом:
где Sim - входной символ, Oper - реакция на данный символ, Shag - шаг, на который необходимо перейти после реакции.
В ходе работы лексического и синтаксического анализатора строится унифицированное представление описания модели, которое в дальнейшем поступает на вход нейронов профилирования.
Нейроны профилирования заполняют векторы параметров профилирования разбираемого описания.
Для классификации профилируемых объектов используются самоорганизующиеся карты Кохонена (K.CN - Kohonen Clastering Networks). Сеть KC.N имеет один слой нейронов. Размерность вектора каждого нейрона равна количеству параметров профилирования Р.
Точность, с которой происходит классификация представленного описания в соответствии с multidimensional scaling (MDS), имеет вид
E = y(e{i,j)-d(i,j))2
dOJ)
где d(i,j) - расстояние между вычисленными параметрами модели и параме!рами, хранящимися в нейроне-классификаторе и e(ij) - евклидово расстояние между соответствующими параметрами.
Высчитывая Е, определяются модели, хранящиеся в базе данных, наиболее подходящие по типу описания к разработанной проектировщиком.
Fia рис. ] представлена комплексная нейро-семантическая сеть анализа и классификации лингвистических моделей ППР.
Входная^
цепочка
символов
Рис. I. Нейро-семантическая сеть обработки модели III IP I, IV - слои нейронов-идентификаторов, 11,V -управляющие нейроны, III,VI -нейроны ошибки, VII - слой нейронов профилирования, ПП - промежуточное представление, f|, f2,..., f„- функция преобразования, @ - унифицированный вид, НС-БД -нейро-семантическая база данных
Пятая глава посвящена разработке методов и средств реализации интеллектуальной адаптивной системы обучения проектированию нормативных и ситуативных ППР.
Выделяется несколько основных парадигм организации и реализации систем данного класса.
1. Основанная на концепции специализированных экспертных систем.
2. Основанная на гипертексте и гипермедиа.
3. Основанная на интеграции экспертных систем и гипертеста / гипермедиа.
4. Использующая концепцию интеллектуальных обучающих инструментов, представляющих собой системы со смешанной инициативой и оверлейным типом модели обучаемого.
5. На основе интеграции экспертных систем с системами обучения.
Однако эги подходы слабо учитывают оценку знаний обучаемых, носящих нечеткий характер, не обеспечивают эффективную адаптацию обучаемого к учебно-практическому наполнению в ходе процесса обучения в условиях существенно различной степени первичной подготовки обучаемых, ориентированы на узкую предметную область, что снижает степень их универсальности. Таким образом, для устранения указанных недостатков необходим новый иод-ход к организации и реализации интеллектуальных адаптивных автоматизированных обучающих систем, включающий комплекс моделей и методов, повышающий эффективность и качество обучения и позволяющий сократить сроки обучения.
Образовательное пространство проектирования нормативных и ситуативных потоков проектных работ включает следующие компоненты: «проектировщик - предметная область - средства обучения - среда проектирования».
Модель предметной области автоматизированного проектирования представляется в виде дерева онтологии, которая динамически использует иерархические, порядковые и ассоциативные связи оатологий объектов и процессов проектирования. Каждой онтологии соответствует учебный элемент. Модель предметной области позволяет адекватно представить учебный материал и является базой знаний среды проектирования.
Модель предметной области имеет вид
CADModel={ApxumeKmypa, Функции, Процессы, Данные, Паттерн, MetaData] ortree, <, view}, где Архитектура-{архитектура» i=l...E} - множество архитектур проектирования;
Функции—{фуикцияк i—1-..Z} — множество проектных функций; Процессы={процесс,, /"=/...Р} - множество проектных процессов; Паттерн^ {Операция, Команда, Способ} - множество проектных шаблонов; Операция--{операция^ i=l... О} -множество проектных операций; Команда={команда1, Í-1...C} - множество проектных команд; Способ^ {способ,, i=l...S} - множество проектных способов выполнения команды, Atoni—{noHHmue¡, действие„ /=/...А) - множество «атомов» знаний, состоящее из элементарных понятий и простейших действий;
MetaData={keyi, hash-function, i=l...H} — метаданные модели, где <keyi> - кортеж ассоциативных ключей, hash-function - хэш-функция поиска элемента, ortree - иерархическое отношение, < - отношение порядка, view -ассоциативная функция.
Структура паттернов операций, команд и способов одинакова. Например, структура PatternOperation имеет вид
РайетОрегайоп-{назбание, назначение, мотивация, применимость, структура, участники, отношения, результаты, реализация, пример применения, родственные паттерны}.
Разрабатывается модель обучаемого проектировщика, отражающая динамический уровень его подготовленности к решению задач проектирования потоков работ. Уровень описан нечеткими лингвистическими критериальными параметрами (знания, умения, навыки и компетентность).
Модель обучаемого проектировщика имеет вид
UserModel = { OcenkaZnanieh OcenkaUmenie¡, OcenkaNaviki, OcenkaKom-petentnost,, haracteristika | calcZ, calcU, calcN, calcK, i=l...N}, где OcenkaZnanie,, OcenkaUmenie„ OcenkaNaviki и OcenkaKompetentnost, - массивы оценок знаний, умений, навыков и компетентности соответственно, N -число контрольных точек К, сценария. Областью значений функций расчета указанных оценок являются пары (D, ft): calcZ, calcU, calcN, calcK s (D, /л), где D - значение функции евклидово расстояние, ft - значение функции принадлежности к классу проектной характеристики,
haracteristika {оценка/, оценка2,..., оценкаs} - множество лингвистических характеристик. calcZ: markTeorj оценка„ calcU: marki — оценкаb calcNjj -> оценка.;, calcK.calcZ, calcU, calcN -»оценка„ где markTeorit mark,, определены в модели протокола ниже.
Реализация функций calcZ, calcU, calcN, calcK выполнена с помощью предлагаемого метода диагностики на базе классификации на основе нечетких карт Кохонена (FSOM), которые хорошо зарекомендовали себя в качестве универсальных классификаторов.
Параметры модели обучаемого проектировщика (его профиль) меняются событийно в контрольных точках Kt сценария. Оценочные входные векторы поступают на вход нечеткой карты, которая классифицирует полученные данные и формирует нечеткие характеристики уровня подготовленности. Оценочная шкала приведена в табл. 1, а структура FSOM на рис. 2.
%, /75 = ЮОХ /й Интервал расстояния (отклонения) Лингвистическая характеристика
Ро [0; (1 (Л'Чуе] оценка|
Р\ ... ч V '«"ИХ) ,, , саг¡ЦХ) оцснка2
РБ [(1 - ) х * Ч*; ] оценкад
Оценочные входные Слой Слой
векторы нейронов нейронов
расстояния принадлежности
Рис. 2. Структурная схема Г80М оценки профиля обучаемого проектировщика
25
Фуикция принадлежности Цц имеет вид
Hij = схр
~2 x(distvf
,i = \,C,j = 1,4,
где С - число классов класса.
Активность нейронов слоя расстояния вычисляется как евклидово расстояние (отклонение) от требуемой активности
distjj = . ¡£(хе - Щ)е)2 .
Ve=l
где Т - число критериальных параметров входного оценочного вектора X, хе-элемент вектора X, Wye - вес дуги, связывающий элемент хе и нейрон ij класса.
Минимальное значение активности нейрона класса j слоя расстояния имеет вид minj" ini>!](di,stlj), максимальная принадлежность входного вектора к классу j имеет вид тах^тах//.!,,). При многократном применении нечетких карт обратная связь позволяет обновлять весовые коэффициенты на каждом t шаге Wij{l + \) = Wij{t) +fiij(t)y.distij{X,Wij{t)), что позволяет повысить точность оценки.
Четыре выходных кортежа FSOM имеют вид
<distj,Hj>,j = 1,4,
где distj - значение активности нейрона j класса, /ij - значение функции принадлежности входного вектора к конкретномуJ классу.
Разрабатывается модель сценария обучения. В основу модели сценария положена система, состоящая из ориентированного графа, отображений вершин и альтернативного выбора траектории обучения. Модель сценария имеет вид
Scenariy = {G(vertex,edge), Reflaction, Alternativ}, где G(vertex,edge) - ориентированный граф сценария, Vertex ~{vb i=l... V'} — множество атрибутивных вершин, edge = {e„ i~l...E} - множество дуг;
Reflaction = (Я/), Rf2, Rf3, Rf4} - множество гетерогенных отображений вершин в объекты проектирования (RJ] - архитектура, функции, процессы, данные, паттерны (см. модель CADModel), Rf2 - тестовые вопросы, Rfj - практические проектные задачи, Rf4 - контрольные точки К,-, содержащие требуемые (целевые) значения лингвистических критериальных параметров (проектных характеристик) обучаемого инженера);
Alternativ~{vj, если v, инциндентна Vj и v, ф Kb v, < vj - выбор обучаемым проектировщиком траектории обучения из Vi неконтрольной вершины!
Модель протокола protocol представляется вектором параметрических критериев, сформированных из квалиметрии процесса обучения, и имеет вид кортежа
protocol = <пате, ttype, type¡¡, test-ф ty, markTeorjj, marky, povtoreniyij, countTestj,, cognDify, i=l...N,j=I...M>,
где name - идентификатор обучаемого проектировщика, ttype^fteor, practj- тип проектной задачи (tear - теория, pract - практика), ttype,, - массив типов проектных задач, testy - массив ключей проектных задач,
tjj~ массив затраченного времени на выполнение проектных действий, тагкТеогу - массив баллов за ответы на вопросы, татку - массив баллов за выполненные практические проектные задачи, cognDify - массив когнитивной сложности проектных задач, povtoreniyij - массив числа повторов решения проектных задач, countTesty - массив числа решенных проектных задач, N — число кон трольных точек К„ М-размерность массива.
Разрабатывается метод адаптивного управления траекторией обучаемого проектировщика, который использует разработанные модели и позволяет достигать требуемого профиля в сокращенные сроки. Управление траекторией обучения рассматривается как выбор вариантов сценария обучения и его реконструкция. Необходимость реконструкции сценария возникает тогда, когда текущий профиль проектировщика не удовлетворяет заданному целевому в точке Ki.
Для учета предыстории обучения проектировщика все значения характеристик в контрольных точках К, суммируются, и сумма делится на их
У OcenkaZnanie, .D . Yi\OcenkaUmeniehD
количество: OcenkaZnanie = —---OcenkaUmeme = ——-'■—,
N N
OcenkaNavik = _ 0сМ т = Е»,<OcenkaKompetentnoSt,D
N N
В формулах оператор D обеспечивает доступ к значениям расстояния D проектных характеристик модели обучаемого. Функции принадлежности для OcenkaZnanie, OcenkaUmenie, OcenkaNavik, OcenkaKompetentnost определяются
N
с помощью оператора I : M = Mi, где N - число контрольных точекХ-.
Для устранения «слабого места» инженера в обучении определена функция h, которая обладает минимальным значением принадлежности // к одному из,классов знания, умения, навыка и компетентности и максимальным расстоянием dist: h=min(ji3uaHW1 ,Цушшш ,рпавыки, MKoMnemeHm„ocmb)xmax{clist3„a„m,
distym,mm у (listнавыки » ^^компетентность
). Применение функции h позволяет равномерно распределить весь учебный материал для получения сбалансированных проектных характеристик по всему курсу.
Алгоритм формирования динамического сценария имеет следующий вид:
1. Выбрать учебные элементы Е из модели предметной области, связанные с контрольным элементом К/.
2. Выбрать критериальный параметр Р, имеющий минимальное значение //.
3. Из множества Е выбрать учебные элементы, которые связаны с Р, и занести их в кортеж ОЕ.
4. К кортежу ОЕ добавить из сценария пройденный контрольный теоретический и практический учебный материал, связанный с Р.
5. Добавить контрольный элемент К,.
Проектировщик проходит обучение по траектории, состоящей из элементов кортежа ВЕ. Число выбранных учебных элементов может регулироваться наличием иерархической, порядковой и ассоциативной связанности элементов в модели предметной области.
Предложенный метод позволяет сократить на 40% сроки обучения по сравнению с известными адаптивными методами за счет исключения из траектории обучения «ненужных» учебных элементов.
Шестая глава посвящена разработке программно-структурных средств обработки моделей ППР.
Структура программного комплекса контроля, анализа и трансляции графических языков ППР представлена на рис. 3.
Рис. 3. Структура программного комплекса контроля, анализа и трансляции графических языков потоков работ
Структура программного комплекса интеллектуальной системы обучения проектированию, моделированию и анализу ПГТР представлена рис. 4.
Разрабатываются аппаратные средства контроля и анализа лингвистических моделей управления потоками проектных работ и потоков работ.
Разрабатывается обобщенная структура ассоциативного процессора лингвистического контроля, в основу функционирования которого положен алгоритм анализа по 1Ю-фамматикс. В структуре используются два типа памяти: управляющая для хранения грамматики и функциональная различных типов - «стек», «бобслей», «вагон», «ассоциативный стек» и другие для хранения информации, необходимой в операциях контроля. На основе обобщенной структуры ассоциативного процессора разработаны оригинальные структуры синтаксических анализаторов, отличающиеся от известных повышенным быстродействием и расширенными функциональными возможностями. Предлагаются структуры анализаторов для анализа языков с регулярной скобочной структурой, с нерегулярной скобочной структурой, для языков с грамматикой, содержащей одинаковые синтермы в комплексе продукций, с параллельным поиском термов и синтермов.
проектированию, моделированию и анализу ППР
Разрабатываются структуры безадресных запоминающих устройств стекового и ассоциативно-стекового типов. Основными вопросами при их разработке являются: выбор способа хранения информации (со сдвигом или без), выбор способа обращения (односторонний или двухсторонний), учет положения границы между занятыми и свободными зонами. Предложены оригинальные структуры безадресной памяти с бессдвиговым последовательным и списочным способами хранения информации, отличающиеся от известных универсальностью: возможностью обращения в режиме записи и чтения как к вершине, так и к основанию стека, и организации многоканального режима работы.
Разрабатывается структура ассоциативного арифметического устройства, входящего в состав процессора контроля.
ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ
Подводя обобщающий итог диссертационному исследованию и практическим разработкам, реализованным на их базе, можно утверждать следующее:
Цель исследований, направленная на снижение проектных ошибок при создании СКС за счет разработанного и проверенного на практике графоаналитического подхода, в котором конструктивно используется адаптация опыта программирования к диаграммному моделированию потоков проектных работ, достигнута.
Получены новые научные результаты:
1. Предложен, обоснован, исследован и проверен графо-аналитический подход, представляющий собой систему принципов, теоретических составляющих, моделей, методов и средств, способствующих при их комплексном применении снижению ошибок проектирования в диаграммных схемах, в первую очередь, за счет использования грамматических формализмов, моделирующих статику и динамику потоков работ в процессе проектирования СКС и его продукте.
2. Разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления потоками работ, обеспечивающая разбиение множества задач на классы, соответствующие проектным ситуациям, выбор задач по проектным признакам и контексту, параллельно-последовательное управление задачами потоков работ и позволяющая улучшить учет критериев, параметров и специфику процесса проектирования СКС, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.
3. Разработан класс автоматных графических грамматик и комплекс методов обработки диаграммных схем ТТПР, отличающихся от известных простотой синтеза, универсальностью, линейными временными характеристиками анализа, малыми затратами памяти и обеспечивающими полноту контроля, об-
30
наружение синтаксических, семантических ошибок в диаграммах Г1ПР и их нейтрализацию, трансляцию в целевые языки.
4. Разработан нейро-семантический метод обработки лингвистических моделей ППР, позволяющий настраивать среду проектирования и накапливать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ.на базе карт Ко-хонена. •
5. Разработаны модели (предметной области, проектировщика, сценария и протокола) и методы (диагностики профиля проектировщика и управления траекторией обучения) организации адаптивного обучения проектированию ППР, позволяющие повысить качество обучения в сокращенные сроки и, тем самым, понизить уровень совершаемых ошибок проектировщиками.
6. Разработано программно-информационное обеспечение связной совокупности систем контроля, анализа и трансляции, классификации, повторного использования и обучения.
7. Разработаны структурные решения процессоров контроля диаграмм ППР, а также блоков безадресной памяти и ассоциативного арифметического устройства, входящие в их состав.
Основные результаты диссертации опубликованы в следующих работах: Публикации в изданиях, рекомендованных ВАК РФ
1. Афанасьев, А. II. Пакет прстрамм контроля корректности исходных описаний вычислительных устройств / А. Н. Афанасьев, А. Л. Гужавин // Программирование. -1983.-№5.-С. 92-93.
2. Афанасьев, А. Н. Синтаксически-ориентированная реализация графических языков на основе автоматных графических грамматик / О. Г. Шаров, А. Н. Афанасьев // Программирование. - 2005. - №6. - С. 56-66.
3. Афанасьев, А. Н. Нейро-ссмашичсский подход к обработке функциональных моделей вычислительной техники / А. Н. Афанасьев, А. Г. Игонин II Известия высших учебных заведений. Поволжский регион. Серия «Технические науки». - 2006. - №6. -С. 93-100.
4. Афанасьев, А. Н. Применение пейро-семантических сетей для анализа и синтеза структурно-функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Системы управления и информационные технологии. - 2006. - №4 (26). -С. 12-15.
5. Афанасьев, А. Н. Применение нейросемацтического подхода для анализа и синтеза функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Вестник Ижевского государственного технического университета. - 2007. -№1,-С. 66-69.
6. Афанасьев, А. Н. Нейтрализация синтаксических ошибок в графических языках / О. Г'. Шаров, А. П. Афанасьев // Программирование. - 2008. -Ж.-С. 61-66.
7. Афанасьев, А. Н. Использование нейросемантических сетей для автоматизированного проектирования вычислительной техники / А. Н. Афанасьев, А. Г. Игонин,
Т. В. Афанасьева, H. H. Войт // Автоматизация и современные технологии. - 2008. - №1. -С. 21-24.
8. Афанасьев, А. Н. Программная реализация адаптивной компонентной автоматизированной обучающей системы САПР / А. Н. Афанасьев, H. Н. Войт // Программные продукты и системы. - 2008. - №4. - С. 73-75.
9. Афанасьев, А. Н. Разработка компонентной автоматизированной обучающей системы САПР на основе гибридной нейронной сети / А. Н. Афанасьев, H. Н. Войт // Автоматизация и современные технологии. - 2009. - №3. - С. 14-18.
Ю.Афанасьев, А. Н. Организация когнитивной автоматизированной обучающей системы (КАОС) промышленных пакетов САПР / А. Н. Афанасьев, H. Н. Войт // Обозрение прикладной и промышленной математики. -2009.-№ 5, том 16.-С. 804.
11. Афанасьев, А. Н. Интеллектуальная обучающая система концептуальному проектированию автоматизированных систем / А. Н. Афанасьев, H. Н. Войт // Известия Самарского научного центра Российской академии наук. - 2010. - №4 (2). - Т. 12. - С. 465-468.
12. Афанасьев, А. Н. Методы и средства трансляции графических диаграмм / О. Г. Шаров, А. Н. Афанасьев // Программирование. - 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. Афанасьев, А. Н. Средства анализа программного обеспечения на базе микропроцессора / А. Н. Афанасьев, В. Н. Негода, А. А. Смагин, C.B. Скворцов // Межвузовский сб. науч. трудов «Проектирование и применение микропроцессорных систем управления». - М. : МИЭТ, 1984. - С. 217-220.
21. Афанасьев, А. Н. Метод предельной структуризации программ для
микропроцессорных систем / Л. II. Афанасьев, О. Г. Кокаев, О. В. Панов // Бессоюзная конференция «Микропроцессорные системы». - Челябинск, 1984. - С. 175-176.
22. Афанасьев, А. II. Обработка лингвистической информации в микропроцессорных системах / Л. II. Афанасьев, А. А. Гужавин, Г. В. Афанасьева // Всесоюзная конференция «Микропроцессорные системы». - Челябинск, 1984. - С. 177-178.
23. Афанасьев, А. II. Интерпретация алгоритмов трансляции параллельными сетевыми схемами / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Всесоюзная школа-семинар «Распараллеливание обработки информации». - Львов, 1985. - С. 36-37.
24. Афанасьев, Л. Н. Сравнительный анализ методов синтаксического контроля описаний микропроцессорных систем / А. П. Афанасьев, А. А. Гужавин // Межвузовский сб. науч. трудов «Проектирование, контроль и диагностика МПС». - Саратов, 1985. - С. 35-41.
25. Афанасьев, А. П. Применение параллельных сетевых схем алгоритмов при построении модели транслятора / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Межвузовский сб. «Проблемы системотехники и АСУ». - JI., 1986. - С. 133-140.
26. Афанасьев, А. II. Преобразования и реализация алгоритмов управления в ассоциативных вычислительных структурах / А. II. Афанасьев, А. Л. Гужавин, О. Г. Кокаев // Межвузовский сб. «Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления». -- М„ 1986. - С. 5-13.
27. Афанасьев, A. Н. Контроль языков параллельных схем алгоритмов / А. П. Афанасьев, А. А. I 'ужавин // Межвузовский сб. «Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления». - М., 1986. - С. 74-82.
28. Афанасьев, А. Н. Интерпретация нечетных операторных схем алгоритмов в микропроцессорных системах / А. Н. Афанасьев // Межвузовский сб. «Проектирование, контроль и диагностика МПС». - Ульяновск, 1986. - С. 53-58.
29. Афанасьев, A. Н. Методы и средства параллслыюго ассоциативного микропрограммирования / A. Н. Афанасьев, О. Г. Кокаев // VI Всесоюзная школа-семинар «Распараллеливание обработки информации». - Львов, 1987. - С. 6-7.
30. Афанасьев, А. Н. Построение и интерпретация сетевых схем алгоритмов / А. II. Афанасьев, О. Г. Кокаев // Межвузовский сб. иауч. трудов «Вычислительная техника н автоматизированных системах контроля и управления». - Пенза, 1987. - С. 16-19.
31. Афанасьев, А. Н. Вопросы технологии параллельного ассоциативного микропрограммирования / А. 11. Афанасьев, А. А. Гужавин II Межвузовский сб. науч. трудов «Проектирование, контроль и диагностика МПС». - Ульяновск, 1989. - С. 30-36.
32. Афанасьев, А. II. Методы параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов «Вычислительная техника в автоматизированных системах контроля и управления». -Пенза, 1987.-С. 51-56.
33. Афанасьев, А. II. Анализ способов описания параллельных алгоритмов и методов их интерпретации / А. И. Афанасьев, Т. В. Афанасьева // Российская научно-техн. коиф. ■«Системный анализ и принятие решений в задачах автоматизированного обеспечения качества и надежности изделий приборостроения и РЭА». - Махачкала, 1991.-С. 103-104.
34. Афанасьев, А. Н. Ассоциативные вычисления и структуры в САПР / А. Н. Афанасьев // Международная НТК «Интерактивные системы: проблемы человеко-компыотерного взаимодействия». - Ульяновск: УлГТУ, 1995. - Ч. 1. - С. 32-33.
35. Афанасьев, А. Н. Методы и средства автоматизации проектирования процессов управления для радиотехнических систем / А. Н. Афанасьев, М. В. Егунов // Труды 3-й всероссийской науч.-практ. конференции (с участием стран СНГ) «Современные проблемы создания и эксплуатации радиотехнических систем».-Ульяновск, 2001. - С. 165-166.
36. Афанасьев, А. Н. Interactive designing of computing devices / A. H. Афанасьев, M. В. Егунов // Сб. статей «INTERACTIVE SYSTEMS: THE PROBLEMS OF HUMAN -COMPUTER INTERACTION». - Ульяновск, 2001. - С. 75-76.
37. Афанасьев, A. H. Mathematical support for designing of algorithmic processors / A. H. Афанасьев // Сб. статей «INTERACTIVE SYSTEMS: THE PROBLEMS OF HUMAN -COMPUTER INTERACTION». - Ульяновск, 2001. - С. 76-78.
38. Афанасьев, A. H. Нечеткие ассоциативно-ориентированные модели алгоритмических вычислений / А. Н. Афанасьев // Труды междунар. конференции «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике». Т. 3. Логико-алгебраические методы, модели, прикладные применения. - Ульяновск,
' 2001.-С. 138-140.
39. Афанасьев, А. Н. Интеллектуальная компьютерная система обучения САПР / А. Н. Афанасьев, А. В. Максимов // Сб. статей X Международной НТК «Математические методы и информационные технологии в экономике, социологии и образовании». -Пенза, 2002.-С. 319-321.
40. Афанасьев, А. Н. Алгебра ассоциативно ориентированных схем алгоритмов / А. Н. Афанасьев // Труды междунар. конференции «Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике». Т. 3. Системы искусственного интеллекта и нейроинформатика. - Ульяновск, 2003. - С. 15-16.
41. Афанасьев, А. 11. Проектирование интеллектуальной обучающей системы для САПР / А. Н. Афанасьев, А. В. Максимов // Interactive Systems: The Problems of HumanComputer Interaction 2003: Proceedings of International Conference. - Ulyanovsk : U1STU, 2003. - P.124-125.
42. Афанасьев, A. H. Инструментальные средства анализа и контроля знаний / А. Н. Афанасьев, А. В. Максимов // Компьютерное моделирование и информационные технологии в науке, инженерии и образовании: Сборник материалов Международной научной конференции. - Пенза, 2003. - С. 11-13.
43. Афанасьев, А. Н. Разработка графо-алгебраических методов и средств обучения проектной деятельности в САПР / А. Н. Афанасьев, А. В. Максимов // Вестник УлГТУ. - 2004. - №3: - С. 49-52.
44. Afanasev, А. 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 : U1STU, 2003. -P. 248-252.
45. Афанасьев, A. H. Автоматная графическая грамматика / A. H. Афанасьев, О. Г. Шаров // Вестник УлГТУ. - 2005. - №1. - С. 54-56.
46. Афанасьев, Л. Н. Разработка алгоритмического, методического и информационного обеспечения ДОС для САПР KOMI1AC-3D / А. 11. Афанасьев, II. 11. Войт // Вестник УлГТУ. - 2005. -.№3. - С. 50-56.
47. Афанасьев, А. II. Разработка и реализация компонентной модели представления учебного материала / A. II. Афанасьев, II. Н. Вонг // Груды международной конференции «Новые информационные технологии и системы». - Пенза : ИГУ, 2006. - Т. 2. -С. 174.
48. Афанасьев, А. Н. Применение нейро-семантичсских сегсй для обработки функциональных моделей проектных решений / А. II. Афанасьев, А. Г. Игошш // Вестник УлГТУ. -- 2006. - №2. - С. 69-73.
49. Афанасьев, А. Н. Разработка метода синтеза проектных решении на основе нейросстсвого подхода / А. Н. Афанасьев, А. Г. Игошш // Interactive Systems: The Problems of Human-Computer Interaction 2005: Proceedings of the International Conference. -Ulyanovsk : U1STU, 2005. - P. 44-46.
50. Афанасьев, A. 11. Разработка и исследование моделей автоматизированной обучающей системы САШ' / А. II. Афанасьев, Н. Н. Войт // Автоматизация процессов управления. - 2009. - №4. - С. 77-84.
51. Afanasev, А. N. Development and using of interactive cognitive parametric automated training system of CAD / A. N. Afanasev, N. N. Voit // Proceedings of Internationa! 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. Афанасьев, A. H. Организация интеллектуальных обучающих систем / A. II. Афанасьев, М. А. Беляева // Труды Всероссийской конференции с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защита информации». В 4 т. Т. 3. - Ульяновск: УлГТУ, 2009. - С. 56-60.
54. Афанасьев, А. 11. Анализ описаний событийных процессов в ARIS-технологии проектирования автоматизированных систем / А. II. Афанасьев, В. В. Сычев // Труды Всероссийской конференции с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации». В 4 т. Т. 3. - Ульяновск : УлГТУ, 2009. - С. 56-60.
55. Афанасьев, А. Н. Методы и средства обработки диаграммных языков / А. II. Афанасьев // Сборник научных трудов Российской школы-семинара аспирантов, студентов и молодых ученых ИМАП-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. Афанасьев, А. 11. Разработка анализатора IDEF-диаграмм / А. Н. Афанасьев, Д. Г. Брагин // Вестник УлГТУ. - 2011. - Х°2 (54). - С. 41 -49.
66. Афанасьев, А. Н. Интеллектуальная система обработки графических спецификаций потоков проектных работ в автоматизированном проектировании сложных систем / А. Н. Афанасьев // Труды конгресса по интеллектуальным системам и информационным технологиям «IS&IT'l 1». В 4 т. Т.1. - М. :-Физмаглит, 2011. - С. 132-137.
67. Афанасьев, А. II. Методология разработки распределенных интеллектуальных систем проектной деятельности / А. Н. Афанасьев, II. II. Войт // Труды конгресса по интеллектуальным системам и информационным технологиям «IS&IT'l 1». В 4 т. Т. 1. -М.: Физматлит, 2011 С. 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 ol" 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.
Свидетельства о государственной регистрации программ для ЭВМ, авторские свидетельства на изобретения
70. Свидетельство об официальной регистрации про1раммы для ЭВМ № 200261576. САПР Ассоциативных Процессоров Управления (САПР АПУ)/ Афанасьев Л. Н., Егуиов М. В., Шаталин К. Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2002611393; заявл. 26.07.2002; зарегистр. 13.09.2002. - Москва, Роспатент, 2002.
71. Свидетельство об официальной регистрации программы для ЭВМ № 2003612553. Графический редактор алгоритмов управления (ГРАУ) / Афанасьев А.Н., Шаров О.Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2003612046; заявл. 26.09.2003; зарегистр. 24.11.2003. - Москва, Роспатент, 2003.
72. Свидетельство об официальной регистрации программы для ЭВМ № 2004611290. Система моделирования событийно управляемых процессов / Афанасьев А. II., Игопин А. Г'.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2004610724; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
73. Свидетельство об официальной регистрации программы цля ЭВМ № 2004611286. Система графического редактирования и визуализирования схемных объектов / Афанасьев А. П., Игонии А. Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2004610720; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
74. Свидетельство об официальной регистрации программы для ЭВМ № 2004611289. Транслятор схемных описаний / Афанасьев А. Н., Игонин А. Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2004610723; заявл. 30.03.2004; зарегистр. 25.05.2004. - Москва, Роспатент, 2004.
75. Свидетельство об официальной регистрации программы для ЭВМ №2005611312. Анализатор графических схем алгоритмов / Шаров О. Г., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2005610802; заявл. 15.04.2005; зарегистр. 31.05.2005. - Москва, Роспатент, 2.005.
76. Свидетельство об официальной регистрации программы для ЭВМ №2005611314. Синтаксически-ориентированный графический редактор алгоритмов управления (СОГРАУ) / Шаров О. Г., Афанасьев А. П.; заявитель и правообладатель Ульян, гос. техн. уц-т. - № 20056)0804; заявл. 15.04.2005; зарегистр. 31.05.2005. -Москва, Роспатент, 2005.
77. Свидетельство об официальной регистрации программы для ЭВМ №2005611316. Программный пакет «Вопросно-ответный процессор автоматизированного обучения и тестирования пользователей изделий и систем» / Афанасьев А. Н., Карпушин А. П., Максимов А. В., Соснин П. И., Соснин Д. П.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2005610806; заявл. 15.04.2005; зарегистр. 31.05.2005. - Москва, Роспатент, 2005.
78. Свидетельство об официальной регистрации программы для ЭВМ № 2005610662. Графический конструктор электронных учебно-методических комплексов / Войт Н. Н., Афанасьев А. П., Шаров О. Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2005610119; заявл. 21.01.2005; зарегистр. 17.03.2005,- Москва, Роспатент, 2005.
79. Свидетельство об официальной регистрации программы для ЭВМ №2006610929. Графическая студия разработки электронных учебников / Войт Н. Н., Афанасьев А. II.; заявитель и правообладатель Ульян, гос. техн. ун-т. - №2006610045; заявл. 10.01.2006; зарегистр. 09.03.2006. - Москва, Роспатент, 2006.
80. Свидетельство об официальной регистрации программы для ЭВМ №2006612714. Графический конструктор разработки гипертекстовых электронных учебно-методических комплексов / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2006611860; заявл. 07.06.2006; зарегистр. 02.08.2006. - Москва, Роспатент, 2006.
81. Свидетельство об официальной регистрации программы для ЭВМ №2006610929. Графическая студия разработки электронных учебников комплексов / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2006610045; заявл. 10.01.2006; зарегистр. 09.03.2006. - Москва, Роспатент, 2006.
82. Свидетельство об официальной регистрации программы для ЭВМ № 2007612025. Метакомпилятор графических грамматик / Яшин А. В., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2007610974; заявл. 20.03.2007; зарегистр. 17.05.2007. - Москва, Роспатент, 2007.
83. Свидетельство об официальной регистрации программы для ЭВМ №2007610545. Классификатор объектов проектирования / Шумилов А. И., Афанасьев А. Н., Войт Н. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2006614148; заявл. 05.12.2006; зарегистр. 02.02.2007. - Москва, Роспатент, 2007.
84. Свидетельство об официальной регистрации программы для ЭВМ №2007613023. Синтаксически-ориентированный редактор графических средств концептуального проектирования / Новичков В. А., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2007612011; заявл. 22.05.2007; зарегистр. 11.06.2007. - Москва, Роспатент, 2007.
85. Свидетельство об официальной регистрации программы для ЭВМ №2007611772. Система построения спецификаций графических языков на основе RV-грамматик / Афанасьев А. Н., Шаров О. Г., Яшин А. В.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2007610815; заявл. 09.03.2007; зарегистр. 26.04.2007. -Москва, Роспатент, 2007.
86. Свидетельство об официальной регистрации программы для ЭВМ №2007611773. Универсальная система анализа графических языков на базе RV-граммагик / Афанасьев А. Н., Шаров О. Г., Яшин А. В.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2007610817; заявл. 09.03.2007; зарегистр. 26.04.2007. -Москва, Роспатент, 2007.
87. Свидетельство об официальной регистрации программы для ЭВМ №2007610545. Классификатор объектов проектирования / Шумилов А. И, Афанасьев А. Н., Войт Н. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - №2006614148; заявл. 05.12.2006; зарегистр. 02.02.2007. - Москва, Роспатент, 2007.
88. Свидетельство об официальной регистрации программы для ЭВМ № 2008615365. Система мониторинга оценки качества повышения квалификации / Афанасьев А. Н., Войт Н. Н.; заявитель и правообладатель Ульян, гос. техн. уи-т. -№ 2008614365; заявл. 23.09.2008; зарегистр. 10.11.2008. - Москва, Роспатент, 2008.
. 89. Свидетельство об официальной регистрации программы для ЭВМ № 2008615364. Система контроля знаний ТЕСКО / Афанасьев А. Н., Афанасьева Т. В., Войт Н. Н., Романов А. А.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2008614364; заявл. 23.09.2008; зарегистр. 10.11.2008. - Москва, Роспатент, 2008.
90. Свидетельство об официальной регистрации программы для ЭВМ №2008610561. Программный контроллер управляющего элемента ActiveX КОМПАС обучающей системы GraphConstructor / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2007615018;. заявл. 11.12.2007; зарегистр. 31.01.2008. - Москва, Роспатент, 2008.
91. Свидетельство об официальной регистрации программы для ЭВМ № 2008611429. Транслятор SCORM-спецификации проектных решений САПР КОМПАС / Войт Н. Н., Афанасьев А. Н.; заявитель и правообладатель Ульян, гос. техн. ун-т. -№ 2008610503; заявл. 12.02.2008; зарегистр. 20.03.2008. -Москва, Роспэтент, 2008.
92. Свидетельство об официальной регистрации программы для ЭВМ №2010611718. Internet система разработки графического описания процесса обработки детали для систем ЧПУ (токарный вариант) / Афанасьев А. Н., Игошш А. Г., Тимин А. А., Гоголев Л. В.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2009616314; заявл. 10.11.2009; зарегистр. 03.03.2010. - Москва, Роспатент, 2010.
93. Свидетельство об официальной регистрации программы для ЭВМ №2009610818. Гипертекстовый редактор электронной конструкторской документации САПР / Афанасьев А. II., Войт H. Н., Белов В. А., Сидорова Р. М.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2008615896; заявл. 12.12.2008; зарегистр. 06.02.2009. - Москва, Роспатент, 2009.
94. Свидетельство об официальной регистрации программы для ЭВМ №2010610076. Программа анализа событийных диаграмм проектирования АС / Афанасьев А. Н., Сычев В. В., Шаров О. Г.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2009616060; заявл. 30.10.2009; зарегистр. 11.01.2010. - Москва, Роспатент, 2010.
95. Свидетельство об официальной регистрации программы для ЭВМ № 2010613515. Графический конструктор модели предметной области САПР / Войт H.H., Афанасьев А. II., Канев Д. С-.; заявитель и правообладатель Ульян, гос. техн. ун-т. - № 2010611999; заявл. 13.04.2010; зарегистр. 28.052010. -Москва, Роспатент, 2010.
96. A.c. 957272 СССР, М.Кл.3 G 11 С 11/00. Многоканальное запоминающее устройство / А. Н. Афанасьев A.I I., А. А. Гужавин, О. Г. Кокаев. - 3250077/18-24; заявл. 21.11.80, опубл. 07.09.82, Бюл. № 33. - 3 с.
97. A.c. № 1304078 СССР, М.Кл.4 G 11 С 19/00. Стековое запоминающее устройство / А. II. Афанасьев, И Ф. Имамутдинов, О. Г. Кокаев, В. Г. Тарасов. -392223/24-24; заявл. 01.07.85, опубл. 15.04.87, Бюл. № 14. - 4 с.
98. A.c. № 1363187 СССР, М.Кл.4 G 06 F 17/38. Ассоциативное арифметическое устройство / О. Г. Кокаев, B.C. Кислсико, Л. А. Жигач, A. 11. Афанасьев. - 4097649/24-24; заявл. 29.07.86, оиубл. 30.12.87, Бюл. № 48. - 4 с.
СПИСОК СОКРАЩЕНИЙ
АС - автоматизированная система
СКС — сложная компьютеризованная система
ПГС - параллельная граф-схема
Г1ГГР - поток проектных работ
ПССР - параллельная сетевая схема работ
SIS - Software Intensive Systems
АФАНАСЬЕВ Александр Николаевич
ГРАФО-АНАЛИТИЧЕСКИЙ ПОДХОД К АНАЛИЗУ И КОНТРОЛЮ
ПОТОКОВ РАБОТ В АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИИ СЛОЖНЫХ КОМПЬЮТЕРИЗОВАННЫХ CHÇJEM
V Автореферат
диссертации на соискание ученой степени доктора технических наук
Подписано в печать 19.09.2011. Формат 60x84/16.
Усл. псч. л. 2,32. Тираж 100 экз. Заказ № 1157
Типография УлГТУ, 432027, г. Ульяновск, ул. Сев. Венец, 32.
Оглавление автор диссертации — доктора технических наук Афанасьев, Александр Николаевич
Принятые сокращения и обозначения.
Введение.
Глава 1. Концептуальные основы графо-аналитического подхода.
1.1. Место и роль диаграммных рассуждений в коллективной разработке сложных компьютеризованных систем.
1.2. Методы и средства проектирования и реализации потоков работ.
1.3. Основные принципы графо-аналитического подхода.
1.4. Вопросно-ответный анализ концепций графо-аналитического подхода.
Выводы.
Глава 2. Разработка и анализ моделей управления потоками проектных работ.
2.1. Разработка ассоциативно-ориентированной модели управления потоками работ.
2.2. Построение и доказательство корректности параллельных сетевых схем работ.
2.3. Разработка лингвистического представления модели управления потоками проектных работ и метода его анализа.
Введение 2011 год, диссертация по информатике, вычислительной технике и управлению, Афанасьев, Александр Николаевич
Актуальность проблемы. В настоящее время проектирование, производство, внедрение и реинжиниринг сложных систем, использующих программное обеспечение, сталкивается с рядом принципиальных проблем, оказывающих негативное влияние на их успешность. В зарубежной теории и практике такой класс систем получил название систем, интенсивно использующих программное обеспечение (Software Intensive Systems - SIS). Выделение таких систем в отдельный класс (около 20 лет назад) было вызвано проблемой успешности их создания (непозволительно высокий выход разработок за рамки запланированных временных, финансовых и функциональных параметров). В российской нормативной базе классу SIS близок класс автоматизированных систем (АС), который подчинен классу SIS.
Для снижения негативных влияний на разработку SIS за последние годы в теорию и практику системной инженерии введены такие парадигмы, как жизненный цикл программных систем, линейки программных продуктов, потоки работ, организационно-профессиональная зрелость, коллективная обработка и проектирование, система компетенций, а также множество стандартов (например, ISO/IEC 12207, IEEE Std 1471, ISO/IEC 9126), в частности введен и активно используется стандарт «ГОСТ Р ИСО 9004-2010 МЕНЕДЖМЕНТ ДЛЯ ДОСТИЖЕНИЯ УСТОЙЧИВОГО УСПЕХА ОРГАНИЗАЦИИ».
Значительный вклад в теорию и практику разработки SIS внесли российские и зарубежные ученые Васильев С. Н., Емельянов С. В., Иванников В. П., Камаев В. А., Курейчик В. М., Липаев В. В., Норенков И. П., Советов Б. Я., Hall A., Sage A., Booch G., Rumbaugh D., Jacobson I., Boem R., Kruchten Ph. и др.
Особое место в достижении успешности разработки SIS отведено диа-грамматике в визуальных формах артефактов, сопровождающих проектную деятельность (UML, IDEF, ER, DFD, еЕРС, SDL-диаграммы, параллельные граф-схемы - ПГС и др.).
Акцент на диаграмматику обусловлен рядом причин: 5
- устойчивым использованием разработчиками SIS в оперативных рассуждениях диаграммных схем, способствующих решению задач и пониманию того, о чем идет речь;
- требованиями нормативной диаграммной регистрации процесса разработки, его составляющих, а также продуктов проектных действий;
- попытками автоматической и/или автоматизированной трансформации диаграммных схем в их материальное воплощение.
К сожалению, следует отметить, что в богатейшем опыте диаграм-матических представлений, используемых в практиках SIS, не уделяется должного внимания методам и средствам оперативного контроля схемных диаграмм.
Отсутствие в современных технологиях разработок SIS методов и инструментальных средств, предоставляемых в коллективе разработчиков каждому проектировщику для оперативного контроля создаваемых им графических диаграмм в условиях их расширяющегося внедрения, нацеленного в перспективе на трансляцию диаграмм в программный код, открыло дополнительный источник опасных ошибок проектирования, что является актуальной научно-технической проблемой.
Схемные диаграммы создаются и используются как для процесса проектирования SIS, инструментальная среда которого представляет специализированную SIS типа САПР, так и для продуктов проектирования. И в первом, и во втором случае процессность проекта представляется потоками работ, за каждым из которых стоит определенный бизнес-процесс, в согласованное осуществление которого вовлечена группа исполнителей.
Модельное представление бизнес-процессов и их систем оказалось настолько полезным, что оно широко применяется в различных предметных областях и с различными целями. Потоки работ являются базовым модельным представлением динамики практически во всех технологиях разработки SIS, в частности в технологии RUP. Анализ существующих технологий демонстрирует, что типичными формами контроля диаграмматики потоков работ являются:
- их конструктивное создание с использованием специализированных декларативных языков без автоматических и/или автоматизированных проверок синтаксиса;
- многократный преднамеренный или ситуационный визуальный просмотр диаграмм разработчиками SIS и другими заинтересованными лицами.
В теории и практике потоков работ поиск новых методов и средств, формализующих порождение и контроль схемных диаграмм, способствующих снижению проникающих в них ошибок проектирования, считается особо актуальным.
Вкладом в решение указанной выше проблемы является включение в потоки проектных работ (ППР) дополнительного потока, обеспечивающего снижение ошибок в оперативном создании проектировщиками нормативных и ситуативных графических диаграмм за счет лингвистического моделирования потоков работ и работ с графикой, а также интеллектуального обучения проектировщиков созданию нормативных и ситуативных потоков работ.
В управлении потоками работ широко применяются специализированные процессоры (workflow engines), подобные компьютерным процессорам, использующим алгоритмические программы. Этот факт подсказывает идею аналогового наследования методов и средств контроля из опыта алгоритмических процессов. Одной из подсказок для такого наследования является использование паттернов потоков работ, схемы которых подобны алгоритмическим схемам.
Аналоговое наследование используется в диссертационной работе как базовый принцип графо-аналитического подхода к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем (СКС). В диссертации класс СКС специфицируется как подкласс SIS, включающий сложные автоматизированные системы.
Графо-аналитический подход определен и используется как система принципов, теоретических составляющих, моделей, методов и средств, способствующих при их комплексном применении снижению ошибок проекти7 рования в диаграммных схемах ППР, в первую очередь за счет использования грамматических формализмов, моделирующих статику и динамику потоков работ в процессе проектирования СКС и его продукте.
В реализации графо-аналитического подхода, настроенной на ее коллективное использование разработчиками СКС, используются методы и средства потоков работ, в том числе и те, которые отвечают за их обучение построению, анализу и контролю диаграммных схем. Разработанные средства обучения учитывают специфику диаграмматики потоков работ в ее приложении к автоматизированному проектированию СКС.
Актуальность диссертационной работы обусловлена названной выше проблемой и расширяющимся внедрением диаграмматики в практику разработки СКС. Понятие класса СКС используется в диссертации как рабочее, содержание которого синонимично (с учетом отмеченной специфики) понятиям «системы, интенсивно использующие программное обеспечение» и «автоматизированные системы».
Цель и задачи исследования. Целью диссертационного исследования является разработка и реализация графо-аналитического подхода, включающего комплекс методологических принципов, методов, моделей, алгоритмов и структур создания, контроля, анализа, трансляции и моделирования нормативных и ситуативных ППР, обеспечивающих снижение ошибок при создании СКС.
Для достижения поставленной цели необходимо решить следующие основные задачи.
1. Анализ технологий проектирования SIS и автоматизированных систем.
2. Анализ подходов, методов и средств обработки потоков проектных работ.
3. Разработка основ прикладной теории ассоциативного управления потоками работ.
4. Развитие теории анализа, перевода и компиляции графических языков потоков проектных работ.
5. Разработка методов и средств обработки лингвистических моделей 8 потоков проектных работ.
6. Разработка интеллектуальной автоматизированной обучающей системы проектированию, моделированию и анализу потоков проектных работ СКС.
7. Разработка программно-структурных средств обработки моделей потоков проектных работ.
Областями исследований являются методология автоматизированного проектирования в технике, включая постановку, формализацию и типизацию проектных процедур и процессов проектирования, вопросы выбора методов и средств для применения в САПР; разработка научных основ построения средств САПР, разработка и исследование моделей, алгоритмов и методов для синтеза и анализа проектных решений, включая конструкторские и технологические решения в САПР и АСТПП; разработка научных основ обучения автоматизированному проектированию.
Направление исследований связано с использованием аналогий из компьютерного программирования для развития теории и практических средств управления, создания, контроля, анализа и моделирования ППР при проектировании СКС.
Объектом исследований является применение диаграмматики ППР при создании СКС, нацеленное на снижение ошибок проектирования и, тем самым, на повышение успешности проектов.
Предметом исследований являются модели, методы и средства диаграмматики, в которых используется опыт программирования для управления, создания, контроля, анализа, трансляции и моделирования ППР.
Методы исследования. При выполнении работы использованы основные положения и методы теории формальных и графических грамматик, системного анализа, теории графов, искусственного интеллекта, теории нейронных сетей, теории нечетких множеств.
Научная новизна результатов исследования. В диссертации получены следующие основные результаты, характеризующиеся научной новизной.
1. Разработан графо-аналитический подход, система принципов, теоре9 тических составляющих, моделей, методов и средств которого представляет собой методолого-технологическую основу для анализа и контроля диаграммных схем на концептуальном этапе проектирования СКС, нацеленных на снижение ошибок проектирования за счет использования грамматических формализмов, моделирующих по образцам программирования статику и динамику потоков проектных работ.
2. Разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления ПГТР, позволяющая улучшить учет критериев, параметров и специфику процесса проектирования СКС, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.
3. Разработаны методы и средства контроля, анализа и преобразования графических языков ППР, являющиеся развитием теории обработки графических языков. Предложен класс синтаксически-ориентированных графических грамматик (автоматные графические грамматики, автоматные графические грамматики с нейтрализацией ошибок, иерархические графические грамматики, транслирующие графические грамматики, нечеткие графические грамматики), отличающихся от известных простотой синтеза, универсальностью, линейными временными характеристиками анализа, малыми затратами памяти, обеспечивающими полноту контроля, обнаружение синтаксических и семантических ошибок в диаграммах ППР, возможность продолжения анализа в случае наличия ошибок, получение семантического значения диаграмм потоков работ в терминах денотационной и операционной семантик, поддерживающих групповое, в том числе и удаленное, проектирование потоков работ, и позволяющих сократить проектные ошибки.
4. Разработан метод обработки лингвистических моделей потоков работ, сущность которого определяется хранением формы и правил описания объектов потоков работ в нейроподобных структурах, связанных с семантической сетью, что позволяет настраивать среду проектирования и накапли
10 вать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.
5. Разработаны модели и методы организации адаптивного обучения проектированию ППР. Предложена модель проектировщика, в которой используются нечеткие лингвистические характеристики, обеспечивающие применение адаптивного планирования траектории обучения. Предложен метод диагностики проектной компетенции проектировщика, заключающийся в классификации его проектного профиля на основе нечетких карт Кохонена и обеспечивающий уменьшение ошибки оценки уровня подготовленности и повышающий качество процесса обучения. Предложен метод адаптивного управления траекторией обучения проектировщика, использующий комплекс моделей (предметной области, проектировщика, сценария и протокола) и позволяющий достигнуть требуемого значения проектных характеристик обучаемого в сокращенные сроки.
Практическая значимость и результаты внедрения. Разработана архитектура и программно-информационное обеспечение системы контроля, анализа и перевода диаграмм потоков проектных работ. Разработаны программы контроля, анализа и перевода диаграмм потоков проектных работ, предназначенные для использования в наиболее распространенных в практике проектирования сложных систем инструментальных средствах и позволяющие снизить ошибки при создании СКС.
Разработана архитектура и программно-информационное обеспечение системы обработки лингвистических моделей потоков проектных работ.
Разработана архитектура и программно-информационное обеспечение интеллектуальной обучающей системы проектирования потоков ППР.
Разработаны структурные решения процессоров контроля диаграмм потоков проектных работ на основе автоматных графических грамматик.
Разработаны структурные решения блоков безадресной памяти и ассоциативного арифметического устройства, используемые в процессорах контроля.
11
Результаты работы внедрены на следующих промышленных предприятиях: ФНПЦ ОАО НПО «Марс» (г. Ульяновск), ОАО «Ульяновский механический завод» (г. Ульяновск). Результаты исследования использованы в рамках ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы (госконтракт № 02.741.11.2135), при выполнении х/д НИР № Д286 с УВАУГА, г/б НИР № 13-02.03.06 «Методы и средства проектирования интеллектуальных САПР (№ гос. per. 01200706629, отчет за 2006- 2010 гг. инв. № 02201150531). Результаты диссертационной работы используются также в учебном процессе кафедры Вычислительной техники Ульяновского государственного технического университета при обучении студентов направления «Информатика и вычислительная техника». Под руководством автора защищены 4 кандидатских и 22 магистерских диссертации по тематике исследования.
Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Всесоюзной конференции «Микропроцессорные системы» (Челябинск, 1984), Всесоюзных школах-семинарах «Распараллеливание обработки информации» (Львов, 1985, 1987), Российской научно-технической конференции «Системный анализ и принятие решений в задачах автоматизированного обеспечения качества и надежности изделий приборостроения и РЭА» (Махачкала, 1991), Российской научно-технической конференции «Интерактивные системы» (Ульяновск, 1993), международных НТК «Интерактивные системы: проблемы человеко-компьютерного взаимодействия», (Ульяновск, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011), международной НТК «Непрерывнологические и нейронные сети и модели» (Ульяновск, 1995), Всероссийской НПК «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 1998), Третьей всероссийской научно-практической конференции (с участием стран СНГ) «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 2001), международной конференции «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике» (Ульяновск, 2001), международной конферен
12 ции «Континуальные алгебраические логики, исчисления и нейроинформа-тика в науке, технике и экономике» (Ульяновск, 2003), международной научной конференции «Компьютерное моделирование и информационные технологии в науке, инженерии и образовании» (Пенза, 2003), международной конференции «Новые информационные технологии и системы» (Пенза, 2006), Всероссийской конференции с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации» (Ульяновск, 2009), VII международной конференции «Математическое моделирование физических, экономических, технических, социальных систем и процессов» (Ульяновск, 2009), конгрессах по интеллектуальным системам и информационным технологиям «А18-1Т'9,10» и «18&ГГ11» (Дивноморское, 2009-2011), Первой всероссийской конференции с международным участием «Системный анализ и семиотическое моделирование» (8А8М-2011) (Казань, 2011), Российских научно-технических конференциях «Информатика и вычислительная техника» (Ульяновск, 2009- 2011), Российских научно-технических конференциях «Информатика, моделирование, автоматизация проектирования» (Ульяновск, 2009, 2010), профессорско-преподавательских конференциях ЛЭТИ им. В. И. Ульянова (Ленина) (Ленинград, 1984-1986), профессорско-преподавательских конференциях Ульяновского политехнического института и Ульяновского государственного технического университета (Ульяновск, 1980-1983, 1987-2011).
Публикации. По теме диссертации опубликовано 98 научных работ, в том числе 12 - в изданиях, рекомендованных ВАК РФ, 4 монографии, 26 свидетельств о государственной регистрации программ для ЭВМ, 3 авторских свидетельств на изобретения.
Структура и объем работы. Диссертация состоит из введения, шести глав, заключения, приложений и списка литературы из 356 наименований. Основная часть работы изложена на 315 страницах и содержит 144 рисунка и 67 таблиц.
Заключение диссертация на тему "Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем"
Выводы и рекомендации
1. Разработанный комплекс программных средств контроля, анализа, трансляции, классификации, повторного использования и обучения рекомендуется применять в инструментальных средах автоматизированного проектирования СКС, таких как RUP, ARIS и др. , а также для автономных средств MS Visio, Dia> BPWin, ERWin и др. Использование разработанных программных средств позволит контролировать и исправлять ошибки в практике проектирования СКС, а также предотвратить их появление.
2. Разработанные новые структуры синтаксических анализаторов и памяти безадресного типа рекомендуется применять в качестве аппаратной поддержки обработки моделей ППР, позволяющей ускорить обработку ППР.
Заключение
Подводя обобщающий итог диссертационному исследованию и практическим разработкам, реализованным на их базе, можно утверждать следующее:
Цель исследований, направленная на снижение проектных ошибок при создании СКС за счет разработанного и проверенного на практике графоаналитического подхода, в котором конструктивно используется адаптация опыта программирования к диаграммному моделированию потоков проектных работ, достигнута.
Получены новые научные результаты:
1. Предложен, обоснован, исследован и проверен графо-аналитический подход, представляющий собой систему принципов, теоретических составляющих, моделей, методов и средств, способствующих при их комплексном применении снижению ошибок проектирования в диаграммных схемах, в первую очередь, за счет использования грамматических формализмов, моделирующих статику и динамику потоков работ в процессе проектирования СКС и его продукте.
2. Разработаны основы прикладной теории ассоциативного управления потоками работ, в рамках которой предложена и исследована ассоциативно-ориентированная модель управления потоками работ, обеспечивающая разбиение множества задач на классы, соответствующие проектным ситуациям, выбор задач по проектным признакам и контексту, параллельно-последовательное управление задачами потоков работ и позволяющая улучшить учет критериев, параметров и специфику процесса проектирования СКС, разработано лингвистическое представление модели и синтаксически-ориентированный метод ее анализа.
3. Разработан класс автоматных графических грамматик и комплекс методов обработки диаграммных схем ППР, отличающихся от известных простотой синтеза, универсальностью, линейными временными характеристиками анализа, малыми затратами памяти и обеспечивающими полноту контроля, обнаружение синтаксических, семантических ошибок в диаграммах ППР и их нейтрализацию, трансляцию в целевые языки.
4. Разработан нейро-семантический метод обработки лингвистических моделей ППР, позволяющий настраивать среду проектирования и накапливать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.
5. Разработаны модели (предметной области, проектировщика, сценария и протокола) и методы (диагностики профиля проектировщика и управления траекторией обучения) организации адаптивного обучения проектированию ППР, позволяющие повысить качество обучения в сокращенные сроки и, тем самым, понизить уровень совершаемых ошибок проектировщиками.
6. Разработано программно-информационное обеспечение связной совокупности систем контроля, анализа и трансляции, классификации, повторного использования и обучения.
7. Разработаны структурные решения процессоров контроля диаграмм ППР, а также блоков безадресной памяти и ассоциативного арифметического устройства, входящие в их состав.
Библиография Афанасьев, Александр Николаевич, диссертация по теме Системы автоматизации проектирования (по отраслям)
1. Айвазян С. А., Бухштабер В. М., Енюков И. С., Мешалкин J1. Д. Прикладная статистика: классификация и снижение размерности. — М.: Финансы и статистика, 1989.
2. Алиев, Р. А. Теория интеллектуальных систем / Р. А. Алиев, Р. Р. Алиев. Баку : Чашигоглу, 2001. - 720 с.
3. Алферова, 3. В. Теория алгоритмов / 3. В. Алферова. М. : Статистика, 1973.- 164 с.
4. Анишев, П. А. Методы параллельного микропрограммирования / П. А. Анишев, С. М. Ачасова, О. J1. Бандман и др. Новосибирск :1. Т—То1 ОЙ 1 1 R4 г
5. J. iu^ uu^ 1 у О А . 1 О « VI
6. Арефьев, А. А. Язык граф-схем параллельных алгоритмов и его расширения / А. А. Арефьев, Ю. П. Кораблин, В. П. Кутепов // Программирование. 1981. -№4. - С. 14-25.
7. Архангельский, А. Я. Программирование в С++ Builder 5 / А. Я. Архангельский. М. : Бином Пресс, 2000.
8. Аткинсон, JI. MySQL. Библиотека профессионала / JI. Аткинсон. -M. : Вильяме, 2002. 624 с.
9. Афанасьев, А. Н. Использование нейросемантических сетей для автоматизированного проектирования вычислительной техники / А. Н. Афанасьев, А. Г. Игонин, Т. В. Афанасьева, H. Н. Войт // Автоматизация и современные технологии. 2008. - №1. - С. 21-24.
10. Афанасьев, А. Н. Применение параллельных сетевых схем алгоритмов при построении модели транслятора / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Межвузовский сб. «Проблемы системотехники и АСУ».-Л., 1986.-С. 133-140.
11. Афанасьев, A. H. Interactive designing of computing devices / A. H. Афанасьев, M. В. Егунов // Сб. статей «Interactive systems: the problems of human computer interaction». - Ульяновск,2001.-С. 75-76.
12. Афанасьев, А. Н. Mathematical support for designing of algorithmic processors / A. H. Афанасьев // Сб. статей «Interactive systems: the problems of human computer interaction». - Ульяновск, 2001. - С. 76-78.
13. Афанасьев, A. H. Автоматная графическая грамматика / А. Н. Афанасьев, О. Г. Шаров // Вестник УлГТУ. 2005. - №1. - С. 54-56.
14. Афанасьев, А. Н. Анализ графических спецификаций потоков проектных работ на примере языка UML / А. Н. Афанасьев, Р. Ф. Гайнуллин // Вестник УлГТУ. 2010. - №4. - С. 42-45.
15. Афанасьев, А. Н. Ассоциативное микропрограммирование / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев. Саратов : СГУ, 1991. -116с.
16. Афанасьев, А. Н. Ассоциативные вычисления и структуры в САПР / А. Н. Афанасьев // Международная НТК «Интерактивные системы: проблемы человеко-компьютерного взаимодействия». Ульяновск : УлГТУ, 1995. - 4.1. - С. 32-33.
17. Афанасьев, А. Н. Вопросы технологии параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, А. А. Гужавин // Межвузовский сб. науч. трудов «Проектирование, контроль и диагностика МПС». Ульяновск, 1989. - С. 30-36.
18. Афанасьев, А. Н. Графо-аналитический подход к анализу и контролю потоков работ / А. Н. Афанасьев // Информатика и вычислительная техника: сборник научных трудов. Ульяновск : УлГТУ, 2010. - С. 616623.
19. Афанасьев, А. Н. Интеллектуальная обучающая система концептуальному проектированию автоматизированных систем / А. Н. Афанасьев, Н. Н. Войт // Известия Самарского научного центра Российской академии наук. 2010. - №4 (2). - Т. 12. - С. 465-468.
20. Афанасьев, А. Н. Интерпретация алгоритмов трансляции параллельными сетевыми схемами / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Всесоюзная школа-семинар «Распараллеливание обработки информации». Львов, 1985. - С. 36-37.
21. Афанасьев, А. Н. Интерпретация нечетных операторных схем алгоритмов в микропроцессорных системах / А. Н. Афанасьев // Межвузовский сб. «Проектирование, контроль и диагностика МПС». -Ульяновск, 1986. С. 53-58.
22. Афанасьев, А. Н. Контроль информации в системах автоматизации проектирования / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев и др. -Саратов : СГУ, 1985.- 136 с.
23. Афанасьев, А. Н. Контроль языков параллельных схем алгоритмов / А.
24. Н. Афанасьев, А. А. Гужавин // Межвузовский сб. «Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления». М., 1986. - С. 74-82.
25. Афанасьев, А. Н. Математическое обеспечение интеллектуальных обучающих систем САПР / А. Н. Афанасьев, Н. Н. Войт // Труды конгресса по интеллектуальным системам и информационным технологиям «AIS-IT'10». В 4 т. Т.1. М. : Физматлит, 2010. - С. 94-95.
26. Афанасьев, А. Н. Метод предельной структуризации программ для микропроцессорных систем / А. Н. Афанасьев, О. Г. Кокаев, О. В. Панов // Всесоюзная конференция «Микропроцессорные системы». -Челябинск, 1984.-С. 175-176.
27. Афанасьев, А. Н. Методы и средства моделирования вычислительных устройств и систем : учебное пособие / А. Н. Афанасьев, В. В. Шишкин. Ульяновск: УлГТУ, 1996. - 88 с.
28. Афанасьев, А. Н. Методы и средства обработки диаграммных языков / А. Н. Афанасьев // Сборник научных трудов Российской школы-семинара аспирантов, студентов и молодых ученых ИМАП-2009. -Ульяновск : УлГТУ, 2009. С. 16-30.
29. Афанасьев, А. Н. Методы и средства обработки лингвистических структурно-функциональных моделей на основе нейросемантических сетей / А. Н. Афанасьев, А. Г. Игонин. Ульяновск : УлГТУ, 2007. - 227 с.
30. Афанасьев, А. Н. Методы и средства параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // VI Всесоюзная школа-семинар «Распараллеливание обработки информации». Львов, 1987. - С. 6-7.
31. Афанасьев, А. Н. Методы и средства трансляции графических диаграмм / О. Г. Шаров ,А. Н. Афанасьев // Программирование. 2011. - №3. - С. 65-76.
32. Афанасьев, А. Н. Методы параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов «Вычислительная техника в автоматизированных системах контроля и управления». Пенза, 1987. - С. 51-56.
33. Афанасьев, А. Н. Нейро-семантический подход к обработке функциональных моделей вычислительной техники / А. Н. Афанасьев, А. Г. Игонин // Известия высших учебных заведений. Поволжский регион. Серия «Технические науки». 2006. - №6. - С. 93-100.
34. Афанасьев, А. Н. Нейтрализация ошибок в диаграммных графических языках САПР / А. Н. Афанасьев, В. В. Сычев // Информационные технологии: межвузовский сб. науч. трудов. Ульяновск : УлГТУ, 2008. -С. 187-192.
35. Афанасьев, А. Н. Нейтрализация синтаксических ошибок в графических языках / О. Г. Шаров, А. Н. Афанасьев // Программирование. 2008. -№1. - С. 61-66.
36. Афанасьев, А. Н. Обработка лингвистической информации в микропроцессорных системах / А. Н. Афанасьев, А. А. Гужавин, Т. В. Афанасьева // Всесоюзная конференция «Микропроцессорные системы». -Челябинск, 1984,- С. 177-178.
37. Афанасьев, А. Н. Организация когнитивной автоматизированной обучающей системы (КАОС) промышленных пакетов САПР / А. Н. Афанасьев, Н. Н. Войт // Обозрение прикладной и промышленной математики. 2009. - № 5, том 16. - С. 804.
38. Афанасьев, А. Н. Пакет программ контроля корректности исходных описаний вычислительных устройств / А. Н. Афанасьев, А. А. Гужавин // Программирование. 1983. - №5. - С. 92-93.
39. Афанасьев, А. Н. Построение и интерпретация сетевых схем алгоритмов / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов «Вычислительная техника в автоматизированных системах контроля и управления». Пенза, 1987.-С. 16-19.
40. Афанасьев, А. Н. Применение нейро-семантических сетей для анализа и синтеза структурно-функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Системы управления и информационные технологии. 2006. - №4 (26). - С. 1215.
41. Афанасьев, А. Н. Применение нейро-семантических сетей для обработки функциональных моделей проектных решений / А. Н. Афанасьев, А. Г. Игонин // Вестник УлГТУ. 2006. - №2. - С. 69-73.
42. Афанасьев, А. Н. Применение нейросемантического подхода для анализа и синтеза функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Вестник Ижевского государственного технического университета. 2007. - №1. - С. 66-69.
43. Афанасьев, А. Н. Программная реализация адаптивной компонентной автоматизированной обучающей системы САПР / А. Н. Афанасьев, H. Н. Войт // Программные продукты и системы. 2008. - №4. - С. 73-75.
44. Афанасьев, А. Н. Программные средства автоматизации инженерного труда. Интегрированная система FRAMEWORK : учебное пособие / А. Н. Афанасьев. Ульяновск : УлГТУ, 1996. - 124 с.
45. Афанасьев, A. H. Процессоры обработки нечеткой информации / А. H. Афанасьев, П. И. Соснин, О. Г. Кокаев. Саратов : СГУ, 1988. -124 с.
46. Афанасьев, А. Н. Разработка алгоритмического, методического и информационного обеспечения АОС для САПР КОМПАС-ЗБ / А. Н. Афанасьев, H. Н. Войт // Вестник Ул-ГТУ. 2005. - №3. - С. 50-56.
47. Афанасьев, А. Н. Разработка анализатора IDEF-диаграмм / А. Н. Афанасьев, Д. Г. Брагин // Вестник УлГТУ. 2011. - №2 (54). - С. 41-49.
48. Афанасьев, А. Н. Разработка графо-алгебраических методов и средств обучения проектной деятельности в САПР / А. Н. Афанасьев, А. В. Максимов // Вестник УлГТУ. 2004. - №3. - С. 49-52.
49. Афанасьев, А. Н. Разработка и исследование моделей автоматизированной обучающей системы САПР / А. Н. Афанасьев, H. Н. Войт // Автоматизация процессов управления. 2009. - №4. - С. 77-84.
50. Афанасьев, А. Н. Разработка и реализация компонентной модели представления учебного материала / А. Н. Афанасьев, H. Н. Войт // Труды международной конференции «Новые информационные технологии и системы». Пенза : ПГУ, 2006. - Т. 2. - С. 174.
51. Афанасьев, А. Н. Разработка компонентной автоматизированнойобучающей системы САПР на основе гибридной нейронной сети / А. Н. Афанасьев, Н. Н. Войт // Автоматизация и современные технологии.-2009.-№3.-С. 14-18.
52. Афанасьев, А. Н. Разработка метода синтеза проектных решений на основе нейросетевого подхода / А. Н. Афанасьев, А. Г. Игонин //
53. Interactive Systems: The Problems of Human-Computer Interaction 2005: Proceedings of the International Conference. Ulyanovsk : U1STU, 2005. -P. 44-46.
54. Афанасьев, А. Н. Формальные языки и грамматики : учебное пособие / А. Н. Афанасьев. Ульяновск : УлГТУ, 1997. - 82 с.
55. Ахо, А. Компиляторы. Принципы, технологии, инструменты / А. Ахо, Р. Сети, Д. Ульман. М. : Издательский дом «Вильяме», 2003. - 768 с.
56. Ахо, А. Теория синтаксического анализа, перевода и компиляции / А. Ахо, Д. Ульман. -М. : Мир, 1978. Т. 1. -612 с.
57. Ахо, А. Теория синтаксического анализа, перевода и компиляции: В 2-х томах. Т. 1. Синтаксический анализ / А. Ахо, Д. Ульман. М. : Мир, 1978.-612 с.
58. Баранов, С. И. Синтез микропрограммных автоматов / С. И. Баранов. -М. : Энергия, 1979. 232 с.
59. Башмаков, А. И. Разработка компьютерных учебников и обучающих систем / А. И. Башмаков, И. А. Башмаков. М. : Информационно-издательский дом.
60. Башмаков, И. А. Модель семантической сети для представленя учебного материла в компьютерных обучающих средствах / И. А. Башмаков, П. Д. Рабинович // Master's thesis. 2002. - Режим доступа : http://www.rabinovitch.ru/public/art02 2002 04 10.pdf.
61. Безруков, Н. С. Выделение информативных признаков для системы поддержки принятия решения на основе нейро-нечеткой сети / Н. С. Безруков, Е. JI. Еремин // Нейрокомпьютеры. 2007. - №1-2.
62. Буль Е.Е. Сравнительный анализ моделей обучаемого // Труды X Всероссийской научно-методической конференции "Телематика"2003" -2003. Т2 - с.364-366.
63. Бурбаки, Н. Теория множеств / Н. Бурбаки. М. : Мир, 1965. - 450 с.
64. Буч Г. UML. Классика CS / Г. Буч, А. Якобсон, Дж. Рамбо ; пер. с англ. ; под общей редакцией проф. С. Орлова. 2-е изд. — СПб. : Питер, 2006. — 736 с.
65. Буч, Г. UML. Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекобсон. М. : ДМК Пресс, 2001. - 432 с.
66. Буч, Г. Объектно-ориентированное проектирование с примерами применения / Г. Буч ; пер. с англ. М. : Конкорд, 1992. - 519 с.
67. Буч, Г. Язык UML / Г. Буч, Д. Рамбо, А. Джекобсон. М. : ДМК.
68. Вандевурд, Д. Шаблоны С++ : справочник разработчика = С++ Templates: The Complete Guide / Д. Вандервуд, Н. М. Джосаттис. М. : Вильяме, 2003. - 544 с.
69. Вельбицкий, И. В. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6 / И. В. Вельбицкий, В. Н. Ходаковский, JI. И. Шолмов. М. : Статистика, 1980. - 264 с.
70. Вендров, А. М. CASE-технологии. Современные методы и средства проектирования информационных систем / А. М. Вендров. М. : Финансы и статистика, 1998. - 176 с.
71. Вил ван дер Аалст, Кейс ван Хей. Управление потоками работ: модели, методы и системы. М.: Физматлит, 2007. - 316 с.
72. Вудс, В. А. Сетевые грамматики для анализа естественных языков / В. А. Вудс // Кибернетический сборник. Новая серия. 1976. - №13. - С. 120-158.
73. Гаврилова, Т. А. Базы знаний интеллектуальных систем / Т. А. Гаврилова, В. Ф. Хорошевский. СПб. : Питер, 2001.
74. Галушкин, А. И. Нейрокомпьютеры. Кн. 3 / А. И. Галушкин ; под общ. ред. А. И. Галушкина. М. : ИПРЖР, 2000.
75. Галушкин, А. И. Нейронные сети: основы теории / А. И. Галушкин. М. : Издательство: Горячая линия - Телеком, 2010. - 480 с.
76. Гамма, Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон. СПб. : Питер, 2008. - 366 с.
77. Гвоздева Т.В., Баллод Б.А. Проектирование информационных систем. -Ростов н/Д: Феникс, 2009. 508 с.
78. Гибридная сеть для реализации нечетких моделей с mimo-структурой // Нейрокомпьютеры. 2007. - №1.
79. Гинзбург, С. Математическая теория контекстно-свободных языков / С. Гинзбург. М. : Мир, 1970. - 328 с.
80. Глушков, В. М. Алгебра. Языки программирования / В. М. Глушков, Г. Е. Цейтлин, Е. J1. Ющенко. Киев : Наукова думка, 1978. - 320 с.
81. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. JT. Ющенко. Киев : Наукова думка, 1980. - 252 с.
82. Горбань, А. Н. Нейроинформатика / А. Н. Горбань, В. JI. Дунин-Барковский, А. Н. Кирдин. Новосибирск : Наука, 1998. - 296 с.
83. Гореткина, Е. Перспективы развития САПР / Е. Гореткина // PCWeek. -2007. №35. - Режим доступа : http://pcweek.ru/themes/detail.php?ID=102768& phraseid=1705.
84. ГОСТ 34.003-90. Автоматизированные системы.1. Термины и определения.
85. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания.
86. Гречин И.В. Новый подход к экспертной системе в технологии обучения науки // Известия Южного федерального университета. Технические. 2001. - Т. 22. - № 4. - С. 343-344. http://elibrary.nl/item.asp7icH12854397.
87. Гречин И.В. Технология работы экспертной системы в сети Internet/Intranet // Известия Южного федерального университета. Технические науки. 2001. - Т. 22. - № 4. - С. 254-256. http://elibrary.ru/item.asp7icH12854377
88. Грин, Д. Математические методы анализа алгоритмов / Д. Грин, Д. Кнут. М. : Мир, 1987.
89. Грофф, Д. P. SQL. Полное руководство / Д. Р. Грофф. Киев : BHV, 2001.-816 с.
90. Дал, У. Структурное программирование / У. Дал, Э. Дейкстра, К. Хоор. М. : Мир, 1975. - 280 с.
91. Джозеф Шмуллер. Освой самостоятельно UML 2 за 24 часа. Практическое руководство / Шмуллер Джозеф. — М.: Вильяме, 2005. — 416 с.
92. Джонс, Дж. К. Методы проектирования / Дж. К. Джонс. М. : Мир, 1986.
93. Добров, А. Д. Применение принципа минимизации при профилировании программ / А. Д. Добров, В. Ю. Гусельников, С. А. Лунев и др. Режим доступа : http://ict.edu.ru/fl/002174/sb4page3843.pdf.
94. Доррер, Г. А. Моделирование процесса интерактивного обучения на базе формализмов раскрашенных сетей Петри / Г. А. Доррер, Г. М. Рудакова // Вестник КрасГУ. 2004.
95. Дударь, 3. В. Семантическая нейронная сеть, как формальный язык описания и обработки смысла текстов на естественном языке / 3. В. Дударь, Д. Е. Шуклин. Режим доступа : http://prof9.narod.ru/library/lib004/doc030.html.
96. Дэвид, А. Марка Методология структурного анализа и проектирования / Марка А. Дэвид, Клемент Мак-Гоуэн ; пер. с англ. М., 1993. - С. 240. : илл.
97. Дюбуа, П. MySQL / П. Дюбуа. М. : Вильяме, 2001. - 816 с.
98. Евгенев, Г. Б. Интеллектуальные системы проектирования : учеб. пособие / Г. Б. Евгенев. М. : Изд-во МГТУ им. Н. Э. Баумана, 2009. -334 с. : ил.
99. Ежов, А. А. Нейрокомпьютинг и его применение в экономике и бизнесе / А. А. Ежов, С. А. Шумский // Нейрокомпьютеры. 1998. - №1-2. -Режим доступа : http://www.neuroproject.ru.
100. Ерофеев, А. А. Интеллектуальные системы управления / А. А. Ерофеев, А. О. Поляков. СПб. : СПбГТУ, 1999. - 68 с.
101. Ершов, А. П. Введение в теоретическое программирование /
102. А. П. Ершов. М. : Наука, 1978. - 287 с.
103. Ершов, А. П. Введение в теоретическое программирование: беседы о методе / А. П. Ершов. М. : Наука, 1981.
104. Ершов, А. П. Теория схем программ: состояние дел. Проблемы кибернетики. Т.27 / А. П. Ершов. М. : Физматгиз, 1973.
105. Жоголев, Е. А. Графические редакторы и графические грамматики / Е. А. Жоголев // Программирование. 2001. - №3. - С. 30-42.
106. Зайцева, JÏ. В. Методы и модели адаптации к учащимся в системах компьютерного обучения / JI. В. Зайцева // Educational Technology & Society. №4.
107. Зайцева, JI. В. Разработка и применение автоматизированных обучающих систем на базе ЭВМ / Л. В. Зайцева, Л. П. Новицкий, В. А. Грибкова. Рига : Зинатне, 1989. - 174 с.
108. Иодан Э. Структурное проектирование и конструирование программ / Э. Иодан. М. : Издательство Мир, 1979.
109. Ипатова Э.Р., Ипатов Ю.В. Методологии и технологии проектирования информационных систем. Мю: Флинта: МПСИ, 2008. - 256 с.
110. Камма, Э. Приемы ООП / Э. Камма, Р. Хэлм, Р. Джонсон. 2001. - 386 с.
111. Карабегов, А. В. Введение в язык SDL / А. В. Карабегов, Т. М. Тер-Микаэлян. М. : Радио и связь, 1993. - 184 с.
112. Карп, Р. П. Параллельные схемы программ / Р. П. Карп, Р. Е. киллер // Кибернетический сборник. Новая серия. М. : Мир, 1976. - Вып. 13. - С. 5-61.
113. Касьянов, В. Н. Графы в программировании: обработка, визуализация и применение / В. Н. Касьянов, В. А. Евстигнеев. СПб. : БХВ-Петербург, 2003. - 1104 с.
114. Кватрани Т. Rational Rose 2000 и UML. Визуальное моделирование: Пер. с англ. М.: ДМК Пресс, 2001.- 176 с.
115. Клайн, К. Основы CAIIP(CAD/CAM/CAE) / К. Клайн. СПб. : Питер, 2004. - 560 с.
116. Клайн, К. SQL-справочник / К. Клайн. М. : O'Reilly, 2006. - 832 с.
117. Колубай, С. К. Асинхронные параллельные граф-схемы с ИЛИ-вершинами / С. К. Колубай // Проблемы бионики. 1981. - №27. - С. 5161.
118. Комарцова, Л. Г. Нейрокомпьютеры / Л. Г. Комарцова, А. В. Мак-симов. М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 400 с.
119. Коробова, И. Л. Методы представления знаний / И. Л. Коробова ; под ред. Федченко Т. М. Тамбов : Издательско-полиграфический центр Тамбовского государственного технического университета, 2003.
120. Котов, В. Е. Введение в теорию схем программ / В. Е. Котов. -Новосибирск : Наука, 1978. 256 с.
121. Котов, В. Е. Сети Петри / В. Е. Котов. М. : Наука, 1984. - 158 с.
122. Кохонен Т. Ассоциативные запоминающие устройства / Т. Кохонен. -М. : Мир, 1982.-384 с.
123. Кролл П., Крачтен Ф. Rational Unified Process это легко. Руководство по RUP для практиков. - М.: КУДИЦ-Образ, 2004. - 427 с.
124. Крэг Ларман. Применение UML 2.0 и шаблонов проектирования / Крэг Ларман. — 3-е изд. — М.: Вильяме, 2006. — 736 с.
125. Кузнецов, О. П. Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. -М. : Энергоатомиздат, 1988. -480 с.
126. Кук, Д. Компьютерная математика / Д. Кук, Г. Бейз. М. : Наука, 1990. -384 с.
127. Курганская, Г. С. Модель представления знаний и система дифференцированного обучения через Интернет на его основе / Г. С. Курганская // Известия Челябинского Научного Центра. 2000. - Вып. 2.
128. Лазарев, В. Г. Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. М. : Энергия, 1978. - 408 с.
129. Ларман, К. Применение UML и шаблонов проектирования / К. Ларман. М. : Вильяме, 2001. - 496 с.
130. Ленди, М. Borland JBuilder. Руководство разработчика / М. Ленди, С. Сиддикви. М. : Вильяме, 2004. - 864 с.
131. Лингер Р. Теория и практика структурного программирования / Р. Лингер, X. Миллс, Б. Уитт ; пер. с англ. М. : Мир, 1982. - 406 с. : ил.
132. Любарский, Ю. Я. Интеллектуальные информационные системы / Ю. Я. Любарский. М. : Наука, 1990. - 232 с.
133. Майка Кона Scrum: гибкая разработка ПО. М.: «Вильяме», 2011. - С. 576.
134. Макарова, Н. В. Интеллектуальные системы: Модели представления знаний / Н. В. Макарова, Т. А. Юлдашев. Режим доступа: http://synopsis. kubsu.ru/informatic/master/lecture/themes8l4.htm, свободный. - Яз. рус.
135. Маклаев В.А., Соснин П.И. О конструктивных оценках успеха в разработках автоматизированных систем // Сорник научных трудов «Информатика, моделирование, автоматизированное проектирование». -Ульяновск: УлГТУ, 2011. С. 4-11.
136. Мендельсон Э. Введение в математическую логику,- М.: Наука, 1976.
137. Минский, М. Вычисления и автоматы / М. Минский. М. : Мир, 1971. -364 с.
138. Минский, М. Фреймы для представления знаний / М. Минский. М. : Энергия, 1979.- 151 с.
139. Негода, В. Н. Средства автоматизации структурно-функционального проектирования микропроцессорных систем / В. Н. Негода ; под ред. П. И. Соснина ; Ульяновский Государственный университет. Ульяновск, 2001,- 156 с.
140. Непейвода, Н. Н. Прикладная логика / Н. Н. Непейвода. Ижевск : Издательство Удмуртского университета, 1997. - 385 с.
141. Новиков, Ф. А. Дискретная математика для программистов / Ф. А. Новиков. СПб. : Питер, 2000. - 304 с.
142. Норенков И.П. Основы автоматизированного проектирования. М.: Изд-во МГТУ им. Н.Э. Баумана, 2009. - 430 с.
143. Норенков, И. П. Подходы к проектированию автоматизированных систем // Открытые системы. 2005. - №6. - С. 20-32.
144. Нуриев, Н. К. Дидактическое пространство подготовки компетентных специалистов в области программной инженерии / Н. К. Нуриев. -Казань: КГТУ, 2005. 244 с.
145. Осипов, Г. С. Построение моделей предметных областей. Ч. 1. Неоднородные семантические сети / Г. С. Осипов // Известия РАН. Техническая кибернетика. — 1990. — №?5. — С. 32-45.
146. Осипов, Г. С. Приобретение знаний интеллектуальными системами / Г. С. Осипов. М. : Наука, 1997. - 124 с.
147. Осовский, С. Нейронные сети / С. Осовский. М. : Финансы и статистика, 2002. - 344 с.
148. От многоагентных систем к интеллектуальным организациям: Философия, психология, информатика Автор: Тарасов В. Б. Издательство: Едиториал УРСС Год: 2002 . 352 с.
149. Петрушин, В. А. Экспертно-обучающие системы / В. А. Петрушин. -Киев : Наукова Думка, 1992. 180 с.
150. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. М. : Мир, 1984. - 264 с.
151. Полис Г., Огастин Л., Лоу К., Мадхар Д. Разработка программных проектов на основе Rational Unified Process (RUP). M.: ООО «Бином-Пресс», 2005.-256 с.
152. Попов Э.В. и др. Искусственный интеллект. -В 3-х кн. Кн. 2. Модели и методы. -М.: Радио и связь, 1990.
153. Поспелов, Д. А. Искусственный интеллект : кн. 2. Модели и методы / Д. А. Поспелов. М. : Радио и связь, 1990.
154. Поспелов, Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов.-/ Поспелов Д. А. Радио и связь, -1989,-184 с.
155. Построение экспертных систем / под ред. Ф. Хейеса-Рота. М. : Мир, 1987.-441 с.
156. Представление и использование знаний / под ред. X. Уэно, М. Исидзука ; пер. с яп. М. : Мир, 1989. - 220 с.
157. Роджерс, С. Теория рекурсивных функций и эффективная вычислимость / С. Роджерс. М. : Мир, 1972. - 624 с.
158. Рузинкевич М., Цикоцки А. Определение и выполнение потоков транзакций. Постоянный адрес статьи: http://www.osp.ru/dbms/1995/02/18.htm
159. Рыбина Г.В. Автоматизированное рабочее место для построения интегрированных экспертных систем: комплекс АТ-ТЕХНОЛОГИЯ // Новости искусственного интеллекта. 2005. №3. С.69-87.
160. Рыбина Г.В. Архитектуры интегрированных экспертных систем: современное состояние и тенденции // Новости искусственного интеллекта. 2002. №4 (52). С. 10-17.
161. Рыбина Г.В. Интегрированные экспертные системы: современное состояние, проблемы и тенденции // Известия РАН. Теория и системы управления. 2002. №5. С.111-126.
162. Рыбина, Г. В. Обучающие интегрированные экспертные системы: некоторые итоги и перспективы / Г. В. Рыбина // Искусственный интеллект и принятие решений. 2008. - №1. - С. 22-46.
163. Рэй, Э. Изучаем XML / Э. Рэй. СПб. : Символ-Плюс, 2001. - 408 с.
164. Сафонова, И. Е. Разработка автоматизированных обучающих систем для САПР/САИТ ЭВА / И. Е. Сафонова. Режим доступа : http://nit7. artdesign.ru/secti ons/d/156.html.
165. Сервисно-Ориентированная Архитектура (SOA). http://www.sntru.com/solutionsservices/softwaresolutions/24413.ru.php
166. Сервис-ориентированная архитектура (SOA): с чего начать. http://www-01 .ibm.com/software/ru/soa/entrypoints/index.html
167. Системы дистанционного обучения e-learning suite // Программные продукты и системы. 2008. - №1.
168. Соловов, А. В. Проектирование компьютерных систем учебного назначения / А. В. Соловов. Самара : СГАУ, 1995. - 138 с. - Режим доступа : http://www.informika.ru/text/inftech/edu/design/.
169. Соловов, А. В. Электронное обучение: проблематика, дидактика, технология / А. В. Соловов. Самара : Новая техника, 2006. - 462 с.
170. Соснин П.И. Концептуальное моделирование компьютеризованных систем. Ульяновск: УлГТУ, 2008. - 198 с.
171. Соснин, П. И. Архитектурное моделирование автоматизированных систем / П. И. Соснин. Ульяновск : Венец, 2007. - 146 с.
172. Степанов, П. А. Вычислительная модель визуального языка /П. А. Степанов, М. Ю. Охтилев // Изв. вузов. Приборостроение. 2006. - №11. -С. 28-32.
173. Сухомлин В. А. Разработка системы компетенций для образовательного стандарта нового поколения по направлению «Информационные технологии» / В. А. Сухомлин. Режим доступа :http://www.sukhomlin.ru/ results/dokladJVolgograd.doc.
174. Тараненко, А. А. Некоторые вопросы оптимизации Р-грамматик / А. А. Таранеико // Оптимизация вычислений и технология программирования.- Киев : ИК АН УССР, 1978. С. 99-106.
175. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, инфор-матика. М.: Эдиториал УРСС, 2002. - 320 с.
176. Тербер, К. Дж. Архитектура высокопроизводительных вычислительных систем / К. Дж. Тербер. М. : Наука, 1985. - 272 с.
177. Тихомиров, В. П. Основы гипертекстовой информационной технологии /
178. B. П. Тихомиров, В. П. Морозов, Е. Ю. Хрусталев. М. : МЭСИ, 1993.1 оо «1. JLZ.Z. V*.
179. Тулупьев, A. J1. Байесовские сети: логико-вероятностный подход / A. JI. Тулупьев, Николенко С. И., Сироткин А. В. М. : Наука, 2006. - 607 с.
180. Уидетт, С. Руководство по компетенциям / С. Уидетт, С. Холифорд ; пер. с англ. М. : Hippo, 2003. - 228 с.
181. Уоссермен, Ф. Нейрокомпьютерная техника: Теория и практика / Ф. Уоссермен. Режим доступа : http://cs.mipt.ru/docs/comp/rus/develop/neuro/ neurocomputing/index.html.
182. Управление Oracle SOA. http://www.oracle.com/ru/products/middleware/soa-governance/index.html
183. Фаулер, М. UML. Основы / М. Фаулер, К. Скотт. СПб. : Символ -Плюс, 2002.- 192 с.
184. Форрестер, Дж. Мировая динамика / Дж. Форрестер. -М. : Наука, 1978.
185. Форсов Г. Л., Пашнев А. Н. Подходы к построению обучающих экспертных систем и их использованию в подготовке специалистов // Известия Института инженерной физики. 2010.-Т. 3.-№ 17.-С. 7881. http://elibrary.ru/item.asp?id=l5190988
186. Фридман, А. Л. Основы объектно-ориентированной разработки программных систем / А. Л. Фридман. М. : Финансы и статистика, 2000. - 192 с.
187. Фу, К. Структурные методы в распознавании образов / К. Фу. М. : Мир, 1977.-319 с.
188. Хомский, Н. Формальные свойства грамматик / Н. Хомский // Кибернетический сборник. Новая серия. М. : Мир, 1968. - Вып. 2. - С. 121-170.
189. Шалыто, A.A. Логическое управление. Методы аппаратной и программной реализации алгоритмов / A.A. Шалыто. СПб: Наука, 2000.- 780 с.
190. Шибалова, С. Н. Обучение САПР как инвестиционный проект. Часть 2/
191. C. Н. Шибалова // САПР и графика. 2006. - №10. - Режим доступа : http://www.sapr.ru/article.aspx?id=16805&iid=778.
192. Шуклин, Д. Е. Модели семантических нейронных сетей их применение в системах искусственного интеллекта / Д. Е. Шуклин. Режим доступа :http://prof9.narod.ru/doc/doc017.html.
193. Экспертные системы. Принципы работы и примеры / под ред. Р. Форсайта. М. : Радио и связь, 1987. - 224 с.
194. Элементы параллельного программирования / В. А. Вальковский, В. Е. Котов, А. Г. Марчук и др. М. : Радио и связь, 1983. - 240 с.
195. Элиенс, А. Принципы объектно-ориентированной разработки программ / А. Элиенс. М. : Вильяме, 2002. - С. 496.
196. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft/COM и Java/RMI. М.: Мир, 2002.-510 с.
197. Янов, Ю. И. О Логических схемах алгоритмов / Ю. И. Янов // Проблемы кибернетики. М. : Физматгиз, 1958. - Вып. 1. - С. 75-127.
198. Ярушкина, Н. Г. Основы теории нечетких и гибридных систем / Н. Г. Ярушкина. М. : Финансы и статистика, 2004. - 320 с.
199. Ярушкина, Н. Г. Методы нечетких экспертных систем в интеллектуальных САПР // Ярушкина, Н. Г. Основы теории нечетких и гибридных систем : учеб. пособие. М. : Финансы и статистика, 2004. -320 с. : ил.
200. Яхъяева, Г. Э. Нечеткие множества и нейронные сети / Г. Э. Яхъева. -М. : БИНОМ, 2006.-316 с.
201. A.c. 957272 СССР, М.Кл.3 G 11 С 11/00. Многоканальное запоминающее устройство / А. Н. Афанасьев А.Н., А. А. Гужавин, О. Г. Кокаев. -3250077/18-24; заявл. 21.11.80, опубл. 07.09.82, Бюл. № 33. -3 с.
202. A.c. № 1304078 СССР, М.Кл.4 G 11 С 19/00. Стековое запоминающее устройство / А. Н. Афанасьев, И Ф. Имамутдинов, О. Г. Кокаев, В. Г. Тарасов. 392223/24-24; заявл. 01.07.85, опубл. 15.04.87, Бюл. № и. - 4 с.
203. A.c. № 1363187 СССР, М.Кл.4 G 06 F 17/38. Ассоциативное арифметическое устройство / О. Г. Кокаев, B.C. Кисленко, Л. А. Жигач, А. Н. Афанасьев. 4097649/24-24; заявл. 29.07.86, опубл. 30.12.87, Бюл. №48.-4 с.
204. А. Königs: Model Transformation with Triple Graph Grammars. Model Transformations in Practice Satellite Workshop of MODELS 2005. -Montego Bay, Jamaica.
205. Adamo, J.M. L. P. L. a fuzzy programming language: 1. Syn6tactic aspects / J. M. Adamo // Fuzzy Sets and Systems. 1980. - v. 3. - №2. - P. 151 -179.
206. Advance, A. L. D. Scorm 2004 3rd edition / A. L. Advance. -(http://www.adlnet.org/scorm/index.cfm).
207. Agerwala, T. A comparasion of semaphore based synchronising mechanisms / T. Agerwala, B. Lint // Proc. of 10-th Ann. Hawaii Int. Conf. on Syst. Scien. -1977, Jan.
208. Andries, M. How to represent a visual specification? / M. Andries, G. Engels, J. Rekers. (http://citeseer.ist.psu.edu/article/andries96how.html).
209. Bardohl, R. Formal relationship between petri nets and graph grammars as basis for animation view in genged / R. Bardohl, et al. -(http://citeseer.ist. psu.edu/bardohl02formal.html).
210. Bardohl, R. Genged: A development environment for visual languages / R. Bardohl, M. Niemann, M. Schwarze // AGTIVE. 1999. - Pp. 233240. (http://citeseer.ist.psu.edu/bardohl99genged.html).
211. Baresi, L. A formal denition of stuctured analysis with programmable graph grammars / L. Baresi, M. Pezz'e ; Ed. by M. Nagl, A. Schurr, M. Munch // AGTIVE . Vol. 1779 of Lecture Notes in Computer Science. - Springer, 1999.-Pp. 193-208.
212. Baresi, L. Formal interpreters for diagram notations / L. Baresi, M. Pezz'e // ACM Trans. Softw. Eng. Methodol. 2005. - Vol. 14, no. 1. - Pp. 42-84.
213. Baresi, L. Petri nets as semantic domain for diagram notations / L. Baresi, M. Pezz'e //Electr. Notes Theor. Comput. Sci. -2005. Vol. 127. - №2.-Pp. 29-44.
214. Baresi, L. Toward formalizing structured analysis / L. Baresi, M. Pezz'e // ACM Trans. Softw. Eng. Methodol. 1998.-Vol. 7. №1.- Pp. 80-107.
215. Baresi, L. A toolbox for automating visual software engineering / L. Baresi, M. Pezz'e ; Ed. by R.-D. Kutsche, H. Weber // FASE. Vol. 2306 of Lecture Notes in Computer Science. - Springer, 2002. - Pp. 189-202.
216. Baresi, L. Extending UML for modeling web applications / L. Baresi, F. Garzotto, P. Paolini ; Ed. by R. H. Sprague, Jr. // Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.
217. Baresi, L. Introduction graph transformation and visual modeling techniques - gt-vmt 2001 / L. Baresi, M. Pezz'e, G. Taentzer // Electr. Notes Theor. Comput. Sci. - 2001. - Vol. 50. - №3.
218. Baresi, L. On formalizing UML with high-level Petri Nets / L. Baresi, M. Pezze // Tech. Rep. 09.98: Dipartimento di Elettronica e Informazione. -Politécnico diMilano, 1998.
219. Benford, S. Ceilidh: A course administration and marking system / S. Benford, E. Burke, E. Foxley et al // Proceedings of the International Conference of Computer Based Learning. Master's thesis. 1993.
220. Bonissone, P. A pattern recognition approach to the problem of linguistic approximation in system analysis / P. Bonissone // Proc. Int. Conf. Cybern. And Soc. Denver : Colo, 1979 ; N.Y., 1979. - P. 793-798.
221. Boshernitsan, M. Visual programming languages: A survey / M. Boshernitsan, M. Downes. 1997. - (http://citeseer.ist.psu.edu/ boshernitsan97visual.html).
222. Brumfeld, R. Type systems in visual languages / R. Brumfeld. -(http://citeseer.nj.nec.com/brumfield95type.html).
223. Business Process Execution Language for Web Services version 1.1. http://www.ibm.com/developerworks/library/specification/ws-b pel/
224. C. de la Higuera Grammatical inference: learning automata and grammars / C. de la Higuera. Cambridge University Press, 2010.
225. CADinfo. Электронный ресурс.: база данных содержит сведения о зарубеж. и отечеств, разработках в обл. САПР. Режим доступа : http://www.cadinfo.net/scatalog.htm, свободный. - Яз. англ.
226. Cambel, R. Н. The specification of process synchronization by path expressions / R. H. Cambel, A. N. Habermann // Lecture Notes in Computer Science. Berlin : Springer - Verlag, 1974. - P. 16.
227. Chapman, B. L. Accelerating the Design Process: A Tool for Instructional Designers / B. L. Chapman // CBT Solutions. 1995. - №9.
228. Chapman, B. L. Enchancing Interactivity and Productivity Through Object-Oriented Authoring: An Instructional Designer's Perspective / B. L. Chapman // Journal of Interactive Instruction Development. 1994. - №7(2). - Pp. 311.
229. Chaudhri, R. Java & Databases / R. Chaudhri. London : Hermes Science Publications, 2000. - 139 pp.
230. Chopra, V. Professional Apache Tomcat 6 / V. Chopra, S. Li, J. Genender. -Wrox Press, 2007. 629 pp.
231. Clements, P. Imroving software architecture competence / P. Clements. (www.sei.cmu.edu/architecture).
232. Cockburn, A. Writing effective use cases / A. Cockburn. Addison-wesley pub со.
233. Corradini, A. General theory of graph transformation systems (getgrats) / A. Corradini. (http://citeseer.ist.psu.edu/8097.html).
234. Costagliola, G. A framework of syntactic models for the implementation of visual languages / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/vl97.ps.gz).
235. Costagliola, G. A parsing methodology for the implementation of visual systems / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/method.ps.gz).
236. Costagliola, G. Positional grammars: a formalism for LR-like parsing of visual languages / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/tvl96.ps.gz).
237. Davis, M. Media streams: An iconic visual language for video annotation / M. Davis. (http://www.w3. org/People/howcome/p/telektronikk-4-93/DavisM. html).
238. Delphi и Model Driven Architecture. Разработка приложений баз данных
239. Автор: Константин Грибачев Издательство: Питер Год: 2004
240. Denaro, G. Petri nets and software engineering / G. Denaro, M. Pezz'e ; Ed. by J. Desel, W. Reisig, G. Rozenberg // Lectures on Concurrency and Petri Nets . Vol. 3098 of Lecture Notes in Computer Science. -Springer, 2003. - Pp. 439-466.
241. Deufemia, V. A Grammar-based Approach to Specify and Implement Visual Languages / V. Deufemia // Master's thesis. 2002. -(http://www.dia.unisa.it/dottorato/TESI/tesi-deufemia.pdf).
242. Didier, Caucal Deterministic graph grammars / Didier Caucal // Logic and Automata. 2008. - Pp. 169-250.
243. Feder, J. Plex languages / J. Feder // Information Science. 1971. - №3. -Pp. 225-241.
244. Felder, R. M. Silverman L. K. Learning styles and teaching styles in engineering education / R. M. Felder, L. K. Silverman // Engineering Education. -№78(7). 1988. - Pp. 674-681.
245. Ferrucci, F. Relation grammars: a grammatical model for a high-level specification of visual languages / F. Ferrucci, G.Tortora, M. Tucci, G. Vitiello. 1996. - (http://www.csse.monash.edu.au/ berndm/TVL96/tvl96-papers.html).
246. Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday / Ed. by H.- J. Kreowski, U. Montanari, F. Orejas et al. Vol. 3393 of Lecture Notes in Computer Science. - Springer, 2005.
247. Golin, E. Parsing visual languages with picture layout grammars / E. Golin //Journal of Visual Languages and Computing. 1991. - Vol. 2.- №4.-Pp. 371-394.
248. Hack, M. Analysis for Production Schemata by Petri Nets / M. Hack // Computer Structure Group, TR 94, Project MAC, M.I.T. - February, 1972. -119 p
249. Ip, A. What is a learning object, technically? / A. Ip, I. Morrison, M. Currie // Master's thesis. 2001. http://users.tpg.com.au/adslfrcf/lo/ LO( WebNet2001 ).ppt
250. Istwan, Jonyer Concept Formation Using Graph Grammars / Jonyer Istwan, B. Holder Lawrence, Diane J. Cook // Proceedings of the KDD Workshop on Multi-Relational Data Mining. 2002.
251. ITU. Specification and description language (SDL). 1999. -(http://www.itu.int/ITU-T/studygroups/coml0/languages/Z.100l 199.pdf).
252. Jonyer, I. MDL-based context-free graph grammar induction and applications / I. Jonyer, L. Holder, D. Cook // International Journal on Artificial Intelligence Tools 2004. - №13. - Pp. 65-79.
253. Kanban Development Oversimplified. http://www.agileproductdesign.com/blog/2009/kanbanoversimplified.html
254. Kazman, L. B. . P. C. . R. Software Architecture in Practice / L. Kazman. -1st edition. Addison-Wesley Professional, 1997. - 452 pp.
255. Kinshuk & Patel A. A conceptual framework for Internet based intelligent tutoring systems. Knowledge transfer (volume II) (ed. A.Behrooz), pAce, London, pp. 117-124 (ISBN 1-900427-015-X)
256. Koth, O. Structure, abstraction and direct manipulation in diagram editors / O. Koth, M. Minas. (http://citeseer.ist.psu.edu/611548.html).
257. Krista, Lagus Mining massive document collections by the WEBSOM method / Lagus Krista, Kaski Samuel, Teuvo Kohonen // Information Sciences. Vol 163/1-3. - Pp. 135-156. - 2004. -(http://websom.hut.fi/websom/doc/ps/ Lagus04Infosci.pdf).
258. Kukluk, J. Inference of Node Replacement Graph Grammars / J. Kukluk, L. Holder and D. Cook // Intelligent Data Analysis. Vol. 11. - №4. - 2007.
259. Lee, E. T. Application of fuzzy languages to pattern recognition / E. T. Lee // Kybernetes. 1977. - Vol. 6. - №3. - Pp. 167-173
260. Levis, de Graaf A. Lexical scanning for visual languages / de Graaf A. Levis. (http://citeseer.ist.psu.edu/26255.html).
261. Marriott, K. Towards a hierarchy of visual languages / K. Marriott, B. Meyer //VL.- 1996.-Pp. 196-203.
262. Minas, M. Xml-based specification of diagram editors / M. Minas. -(http://citeseer.ist.psu.edu/minas03xmlbased.html).
263. Ming-Hsuan, Yang Detecting Faces in Images: A Survey / Yang Ming-Hsuan, David Kriegman, Narendra Ahuja // IEEE Transactions on Pattern Analysisand Machine Intelligence (PAMI). Vol. 24. - 2002. - №1. - Pp. 34-58.
264. MODAF: Ministry of Defence Architecture Framework. http://www.telelogic.com/standards/modal.cfm
265. Multimodal Human-Computer Communication, Systems, Techniques, and Experiments / Ed. by H. Bunt, R.-J. Beun, T. Borghuis. Vol. 1374 of Lecture Notes in Computer Science. - Springer, 1998.
266. Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyvaskyla, Finland, June 9-13, 1997 / Ed. By J. Bosch, S. Mitchell. Vol. 1357 of Lecture Notes in Computer Science. - Springer, 1998.
267. Paakki, J. Source-to-source translation of visual languages / J. Paakki, A.-P. Tuovinen // Nordic J. of Computing. 1998. - Vol. 5. - №3. -Pp. 235-264.
268. Pezz e, M. Can graph grammars make formal methods more human? / M.Pezze, L. Baresi //ICALP Satellite Workshops. 2000. - Pp. 387-394.
269. Rekers, J. Defining and parsing visual languages with layered graph grammars / J. Rekers, A. Schurr // Journal of Visual Languages and Computing. 1997. - Vol. 8. - №1. - Pp. 27-55. -http://citeseer.ist.psu.edu/rekers97defining.html.
270. Rekers, J., Schurr A. A parsing algorithm for context sensitive graph grammars / J. Rekers, A. Schurr // Tech. Rep. 95-05: Leiden University, Dept. of Computer Science. the Netherlands, 1995. - (http://citeseer.ist.psu.edu/ rekers95parsing.html).
271. Rensink, A. Graph transformation tool contest 2008 / A. Rensink, P. Van Gorp // International journal on software tools for technology transfer. -2010. -№12 (3-4).-Pp. 171-181.
272. Rover, D. T. Active learning in an electronic design automation course / D. T. Rover, N. G. Santiago, M. M. Tsai // Master's thesis. 1999. -(http://mayaweb.upr.clu.edu/ nayda/Publications/MSE99.pdf).
273. Shoham Yoav. Agent Oriented Programming, (англ.) : Technical Report STAN-CS-90-1335. — Computer Science Department, Stanford University: 1990
274. Siegfried, Nijssen, Hendrik Blockeel Induction of node label controlled graph grammar rules / Nijssen Siegfried, Hendrik Blockeel // International Workshop on Mining and Learning with Graphs, 6 (4-5 July 2008). -Helsinki. Pp. 128-132.
275. Skyttner L. General Systems Theory: Problems, Perspective, Practice / L. Skyttner. World Scientific Publishing Company, 2006. - 328p.
276. SOA Work Group Members Site. http://opengroup.org/projects/soa/doc.tpl?gdid=10632
277. Spohrer, J. C. Putting it all together is hard for novice programmers / J. C. Spohrer, E. Soloway // In Proceeding of the IEEE International Conference on Systems. Man, and Cybernetics, 1985. - Pp. 728-735.
278. Sprunger, S. Metrics-directed analysis of vhdl models / S. Sprunger, R. Zage
279. D., W. Zage. (http://www.serc.net/library/publication/newTR.asp).
280. The New Product Development Game Гарвардский Деловой Обзор, 1986.
281. Tuovinen, A.-P. A framework for processors of visual languages / A.-P. Tuovinen ; Ed. by J. Bosch, S. Mitchell // ECOOP Workshops. Vol. 1357 of Lecture Notes in Computer Science. - Springer, 1997. - Pp. 119-122.
282. Tuovinen, A.-P. Error recovery in parsing relational languages / A.-P. Tuovinen // Visual Languages. 1998. - Pp. 6-13. -(citeseer.ist.psu.edu/tuovinen98error.html).
283. UML 2000 The United Modeling Language, Advancing the Standard, Third International Conference (York, UK, October 2-6, 2000) Proceedings / Ed. by A. Evans, S. Kent, B. Selic. - Vol. 1939 of Lecture Notes in Сomputcr Science» - Springer, 2000.
284. Wittenburg, K. Earley-style parsing for relational grammars / K. Wittenburg // VL. — IEEE Computer Society. 1992. - Pp. 192-199.
285. Wittenburg, K. Relational grammars: Theory and practicein a visual language interface for process modeling / K. Wittenburg, L. Weitzman. -1996. (http://citeseer.ist.psu.edu/wittenburg96relational.html).
286. Wittenburg, K. Visual language parsing: If i had a hammer. / K. Wittenburg ; Ed. by H. Bunt, R.-J. Beun, T. Borghuis // Multimodal Human-Computer Communication. Vol. 1374 of Lecture Notes in Computer Science. - Springer, 1995. - Pp. 231-249.
287. Wittenburg, K. Visual grammars and incremental parsing for interface languages / K. Wittenburg, L. Weitzman // VL. 1990. - Pp. 111-118.351. www.staffware.com
288. Zhang K. Visual language semantics specification in the vispro system / D.-Q. Zhang, M. Orgun, K. Zhang. 2002. - (http://citeseer.ist.psu.edu/ zhang02visual.html).
289. Zhang K.-B. Using graph grammar to implement global layout for a visual programming language generation system / K.-B. Zhang, K. Zhang, M. A. Orgun. (http://citeseer.ist.psu.edu/537427.html).
290. Zhang, D.-Q. Vispro: A visual language generation toolset / D.-Q. Zhang, K. Zhang // Visual Languages. 1998. - Pp. 195-202. -(http://citeseer.ist.psu.edu/199922.html).
-
Похожие работы
- Автоматизация технической подготовки и проектирования производственных систем для обработки корпусных деталей
- Повышение производительности функционирования автоматизированных технологических систем путем моделирования и оптимизации технических решений
- Теория и практика автоматизированного проектирования гибких технологий управления распределенными системами
- Метод и алгоритм автоматизированной обработки графовых моделей динамических систем в структурах автоматического управления
- Структурное моделирование процессов проектирования при разработке объектных САПР
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность