автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Моделирование конструкторской семантики в интеллектуальных САПР

На правах рукописи

Барков Игорь Александрович

УДК 658.512.011.56

МОДЕЛИРОВАНИЕ КОНСТРУКТОРСКОЙ СЕМАНТИКИ В ИНТЕЛЛЕКТУАЛЬНЫХ САПР

Специальности: 05.13.12 - Системы автоматизации проектирования,

05.13.18 -Математическое моделирование, численные методы и комплексы программ

АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора технических наук

Ижевск 2007

003066127

Работа выполнена в ГОУ ВПО «Ижевский государственный технический университет» (ИжГТУ)

Научные консультанты:

доктор технических наук, профессор Кучуганов Валерий Никанорович,

заслуженный изобретатель Российской Федерации,

доктор технических наук, профессор Лялин Вадим Евгеньевич

Официальные оппоненты: академик РАН,

доктор технических наук, профессор Липанов Алексей Матвеевич

(Институт прикладной механики УрО РАН),

доктор технических наук, профессор Малина Ольга Васильевна

(Ижевский государственный технический университет),

доктор технических наук, профессор Арасланов Анвар Мидхатович

(Казанский государственный технический университет),

Ведущее предприятие:

Казанский филиал конструкторского бюро ОАО «Туполев»

Защита состоится 1 ноября 2007 г. в 10 часов на заседании диссертационного совета Д212.065.01 в ИжГТУ по адресу: 426069, г. Ижевск, ул. Студенческая, 7.

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

С диссертацией можно ознакомиться в библиотеке ИжГТУ.

Автореферат разослан 15 сентября 2007 г.

Ученый секретарь диссертационного сов доктор технических наук, профессор

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Актуальность исследования. Применение автоматизированного Проектирования (АП) в различных отраслях инженерии привело к значительному повышению эффективности труда проектировщика. В развитии АП заметную роль сыграли работы Дж.Джонса, М. Принса, И. Сазерленда, И.П. Норенкова, В.А. Осипова, А.И. Половинкина, Ю.М. Соломенцева и многих других ученых.

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

В АП проблема согласования профессионального разнообразия проектных работ трансформируется в проблему интеграции на инвариантной основе структур данных и процедур решения проектных задач. Наметилась тенденция создания интеллектуальных автоматизированных систем. Наивысшей степенью интеллектуальности обладают основанные на знания системы АП. Под интеллектуальностью САПР понимается возможность принятия смысловых проектных решений при использовании инвариантных к проблемным областям алгоритмов получения решения. Конструкция является ядром, вокруг которого объединяются различные миры: технологические, эргономические, экономические и т.д. Представление о подобных множественных мирах и управление им являются теми новыми функциями, которыми должна обладать интеллектуальная САПР. Людям различных профессий необходимы теоретические, методические, инструментальные средства, с помощью которых их знания и пожелания могут быть учтены при разработке САПР интересующего изделия. ' ';

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

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

Предпочтение исследователей и разработчиков САПР отдается моделированию формы изделия. В результате, основой большинства интегрированных систем АП является геометро-графическая подсистема. Задачи проектирования изделий реализуются как дополнительные возможности системы машинной графики. Метафорой методологии АП является: «от формы к содержанию изделия». Построенная по данной метафоре САПР представляет собой конгломерат различных профессиональных подсистем. При этом неизбежны трудности согласования структур данных и алгоритмов, возникает противоречие между желанием увеличить функциональные возможности САПР и лавинообразным возрастанием сложности САПР.

В настоящей работе показано, что заслуживают внимания и другие методологии АП: «от содержания к форме изделия» и «содержание одновременно с формой». Совместное моделирование в системах АП формы и содержания из-

делия отражает философское единство этих двух категорий, переходящее друг в друга.

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

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

Методы исследования. В работе используется лингвистический (семантический) подход к моделированию конструкторской информации. Данными в

системе АП являются конструкторские понятия: термины, дополненные описанием свойств и особенностей обозначаемого денотата. Семантическое моделирование изделия ориентировано на передачу содержания конструкторских данных, а содержание конструкторских данных определяется как свойствами самих данных, так и свойствами моделируемых изделий. Моделирование конструкторского понятия выполняется двумя уровнями. Базовой моделью являются структурные СиОИ (структурная семантика), включающие компонентные свойства, атрибутные свойства и, особенности внешнего мира изделия. Над ней выполняется надстройка в виде системы логических рассуждений о корректности, свойствах базовой модели (предикатная семантика).

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

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

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

ской семантики.

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

Задачи исследования. С учетом выбранных методов исследования цель работы достигается путем решения следующих научных и прикладных задач:

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

2. Разработка формальной системы (исчисления) СиОИ.

3. Разработка теории декларативной конструкторской семантики.

4. Разработка теории операционной конструкторской семантики.

5. Разработка декларативного профессионально расширяемого семантического языка описания СиОИ.

6. Разработка методики создания САПР изделия путем формализации, систематизации и стандартизации профессиональных, научных и потребительских представлений о СиОИ.

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

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

9. Разработка информационной технологии семантического конструирова-

ния.

10. Экспериментальная проверка разработанных методов, лингвистических средств и алгоритмов с целью подтверждения их обоснованности, достоверности и практической работоспособности.

Научная новизна. Разработана новая методология автоматизированного проектирования «Теория конструкторской семантики», отличительными особенностями которой являются:

а) использование конструкторской семантики для моделирования на единой концептуальной основе содержания и формы изделия;

б) введение профессиональных, научных и потребительских представлений о СиОИ в инструментальные средства автоматизированного проектирования;

в) использование профессионально расширяемого семантического языка для описания в явном виде профессиональных, научных и потребительских представлений об изделии;

г) реализация задач семантического анализа и синтеза конструкции изделия в виде процесса поиска решения систем логических соотношений;

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

Изложенные в п.п. а), б), в) особенности методологии АП позволили получить инвариантные к профессиональным, научным и потребительским представлениям структуры данных САПР. Пункт г) позволил ввести инвариантные к профессиональным, научным и потребительским представлениям процедуры решения проектно-конструкторских задач.

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

вмешательства программиста.

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

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

Достоверность теоретических результатов обусловлена применением в качестве базы рассуждений проверенных опытом теорий: математической логики, математической семантики, общей алгебры, математической лингвистики; и подтверждена доказательством 10 теорем и 11 утверждений, теоретическим экспериментом обоснования семантики спецификаций СиОИ с помощью проверенного опытом аппарата позитивно образованных формул. Проведенные на реальных данных эксперименты показали ожидаемое соответствие полученным теоретическим результатам.

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

Частными практическими результатами работы являются: -базовый профессионально расширяемый семантический язык описания свойств и особенностей изделий машиностроения;

- методика построения САПР изделия путем формализации профессиональных, научных и потребительских представлений о СиОИ;

- методика и алгоритмы основанного на описаниях СиОИ семантического анализа и проведения в реальном проектном времени профессиональной, научной и потребительской экспертизы конструкции изделия;

- методика и алгоритмы основанного на описаниях СиОИ автоматизированного и автоматического семантического синтеза конструкции изделия;

-информационная технология семантического конструирования, основанная на описаниях СиОИ.

Практические результаты работы позволяют ввести в АП новые возможности:

- существенно повысить интеллектуальный уровень САПР;

- интегрировать в автоматизированной системе на единой концептуальной основе профессиональные, научные и потребительские представления о СиОИ;

-передать функции создания САПР изделия специалистам по изделию, без привлечения программистов;

- реализовать, доказательное конструирование;

- вводить стандарты СиОИ, обеспеченные процедурой автоматизированного контроля их соблюдения;

-создавать унифицированные и стандартизованные спецификации СиОИ для последующего распространения с целью достижения заданного уровня качества конструирования в каждом проектном подразделении;

- проводить по содержанию описания СиОИ «квалификационную» оценку САПР;

- использовать конструкторскую семантику как концептуальное и информационное средство интеграции компонентов САПР;

- проводить в реальном времени процесса АП профессиональную, научную и потребительскую экспертизу конструкторских решений;

- осуществлять гибкий вычислительный процесс локализации и диагностики смысловых конструкторских ошибок;

- организовать монотонный процесс семантических вычислений, сохраняю-

хцих непрерывность в условиях неполноты или ошибочности конструкторских данных.

Апробация работы. Результаты диссертационной работы докладывались и обсуждались на Всесоюзной научно-практической конференции «Роботы и роботизированные технологические комплексы в механообрабатывающем и сборочном производстве» (г. Ижевск, 1982 г.); на Первой всесоюзной конференции «Методы и средства обработки сложноструктурированной семантически насыщенной графической информации» (г. Горький, 1983 г.); на Шестом научно-техническом семинаре «Математическое обеспечение систем с машинной графикой» (г. Ижевск-Махачкала, 1989 г.); на международной научно-технической конференции «Информационные технологии в инновационных проектах» (г. Ижевск, 2000 г); на IV Международном конгрессе «Конструкторско-технологическая информатика-2000» (г. Москва, 2000 г.); на международном научном семинаре «Современные информационные технологии. Проблемы исследования, проектирования и производства зубчатых передач» (г. Ижевск, 2001 г.); на международной научно-технической конференции, посвященной 50-летию ИжГТУ (г. Ижевск, 2002 г.); на IV международной научно-технической конференции «Информационные технологии в инновационных проектах» (г. Ижевск, 2003 г); на Российском семинаре по оценке методов информационного поиска (г. Пущино, 2004 г.); на Девятой Национальной конференции по искусственному интеллекту с международным участием КИИ-2004 (г. Тверь, 2004 г.); на международном форуме «Высокие технологии» (г. Ижевск, 2005 г.); на международной научной конференции «Современные информационные технологии и письменное наследие: от древних рукописей к электронным текстам (Ижевск, ^2006 г.); на школе-семинаре ТЕЬ-2006 Казанской школы по компьютерной и когнитивной лингвистике «Интеллектуальный поиск в текстовых базах данных» (Казань, 2006 г.); на конференциях и семинарах ИжГТУ.

Публикации. Основные теоретические и прикладные результаты работы

опубликованы в 44 трудах, в том числе: 1 монография (360 е.), 2 отчета о НИР, 10 статей в рекомендуемых ВАК изданиях, 31 прочее издание.

Использование в промышленности и образовании. Результаты работы апробированы на промышленных предприятиях ФГУП «Ижевский механический завод», Ижевское ОАО «Редуктор»; в проектной организации: ГУП Республики Татарстан «Татинвестгражданпроект» в качестве средства автоматизации отдельных этапов проектных работ. Также результаты внедрены в образовательном учреждении Ижевский государственный технический университет. Создана новая дисциплина «Семантическое моделирование в САПР», включенная в учебный план специальности САПР на кафедре АСОИУ ИжГТУ. Отдельные темы работы использовались в дисциплинах «Информатика», «Математическая лингвистика» (специальность АСОИУ), «Лингвистическое и программное обеспечение САПР» (специальность САПР), «Теория языков программирования и методы трансляции» (специальность ПО ВТ и АС), а также в курсовом и дипломном проектировании (более 70 работ). В учебном процессе используется экспериментальная автоматизированная система SD (Semantic Design). Кроме того, методика и программное обеспечение информационной технологии семантического конструирования использовались в приемной комиссии для генерации вариантов тестов вступительного экзамена по информатике.

Объем и структура работы. Диссертация состоит из введения, шести глав, заключения, списка литературы из 216 наименований и 6 приложений. Основная часть содержит 330 страниц машинописного текста, 7 таблиц, 39 рисунков. Приложения занимают 76 страниц, содержат 3 таблицы, 11 рисунков.

Иа защиту выносится:

А) Методология автоматизированного проектирования «Теория конструкторской семантики», заключающаяся в использовании концепции конструкторской семантики для построения инвариантных к профессиональным, научным и потребительским представлениям методов моделирования содержания и формы изделия, решения задач, семантического анализа и синтеза конструкции.

Б) Математические модели семантического конструирования, включающие

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

/

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

3. Формальную систему (исчисление) СиОИ как логическую основу семантических преобразований проектной информации.

3. Обоснование построения инвариантных к профессиональным, научным и потребительским представлениям конструкторских теорий СиОИ и семантических конструкторских моделей, а также обоснование методов получения конструкторских моделей в реальных условиях автоматизированного проектирования (21 теорема и утверждение).

В) Научный метод автоматизированного конструирования изделий машиностроения с использованием моделей СиОИ, включающий

1. Базовый семантический язык и логические основы построения профессионально расширяемых языков описания СиОИ.

2. Методику построения САПР изделия путем формализации профессиональных, научных и потребительских представлений о СиОИ на основе конструкторской семантики.

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

4. Методику автоматизированого и автоматического решения конструкторских задач анализа и синтеза

Г) Информационная технология семантического конструирования, включающая математические, лингвистические, алгоритмические средства и позволяющая создавать автоматизированные системы семантического конструирования изделий.

СОДЕРЖАНИЕ РАБОТЫ

Во введении приведена общая характеристика работы.

В первой главе на основе анализа тенденций развития САПР, логики АП, методов построения интеллектуальных автоматизированных систем сделан вывод о том, что задачи моделирования профессиональных, научных и потребительских представлений о СиОИ должны занимать одно из центральных мест в методологии создания систем АП. Для решения этих задач предложено использовать конструкторскую семантику. Анализ семантических исследований в различных областях позволил разработать концепцию конструкторской семантики. Сформулировано понятие конструкторской семантики и принципы семантического моделирования изделия. Под конструкторской семантикой в работе понимается отношение между изделием, описанием изделия в виде конструкции и представлением специалистов об изделии. Для повышения интеллектуального уровня САПР представления специалистов об изделии должны явно фиксироваться в автоматизированной системе. В настоящей работе «конструкторская семантика» обозначает способы записи и адекватного воспроизведения в САПР профессиональных, научных и потребительских представлений о СиОИ. Отличительной чертой семантических моделей является то, что они являются смысловыми: понятие «свойство изделия» непосредственно связано с понятием смысла изделия. Семантическое моделирование изделия ориентировано на передачу содержания конструкторских данных, которое определяется как свойствами самих данных, так и свойствами моделируемых реальных объектов.

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

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

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

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

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

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

Принцип смыслового абстрагирования. Суть этого принципа состоит в ориентации на смысловое, семантическое описание проблемной области. В качестве базовых семантических категорий в настоящей работе выбраны свойства и особенности изделия. Свойство характеризует изделие изолированно от внешнего мира. Особенность изделия представляет собой черту, зависящую от внешнего мира. Описание свойства представляет собой отношение, заданное на элементах изделия; описание особенности представляет собой отношение, заданное на элементах изделия и элементах объектов и явлений внешнего мира.

Принцип типизации языка и универсума. Данный принцип необходим нам для реализации механизма приписывания набора свойств и особенностей объектам и явлениям проблемной области изделия. Тип является носителем свойств и особенностей. Описание типа представляет собой перечисление определенного набора свойств и особенностей, таким образом, тип становится кратким обозначением заданного набора свойств и особенностей. Сопоставление имени объекта или явления некоторого типа представляет собой приписы-

вание объекту заданного в типе набора свойств и особенностей. Указанное сопоставление является процедурной основой процесса семантического конструирования. В настоящей работе понятие «тип» отождествляется с понятием «понятие». Описание конструкторских понятий можно реализовать в автоматизированной системе в виде специализированного тезауруса, представляющего систему определений профессиональных понятий, а каждое такое определение представляет собой некоторый профессиональный термин, к которому приписывается фиксированный набор свойств и особенностей, обозначаемого термином денотата. Таким образом, понятие становится носителем набора свойств и особенностей некоторого денотата, система понятий (раздел описания) отражает профессиональный взгляд эксперта, а совокупность профессиональных разделов представляет собой описание свойств и особенностей класса изделий.

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

Первая, задача анализа, формулируется следующим образом: дана конструкция, заданная набором СиОИ; проверить, является ли она представителем класса изделий. В автоматизированной системе задача анализа решается путем проверки исполнения в предъявленной конструкции каждого свойства и особенности, определенных в описании класса изделий.

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

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

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

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

С учетом выбранных принципов разработаны изобразительные средства описания СиОИ и обосновано их применение в АП. Введение представлений специалиста о СиОИ в инструментальные средства САПР позволило сформулировать новые качества систем АП: доказательное конструирование, исполняе-мость описаний СиОИ, стандартизация СиОИ, квалификационная оценка САПР.

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

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

Во второй главе исследуются вопросы систематизации описаний СиОИ. Сравнительный анализ методов смыслоотождествления в лингвистике, информатике и проектировании позволил выявить аналогии. В каждой дисциплине базовыми приемами являются: структурирование, сопоставление смыслового содержания структурным элементам, использование системы правил достижения человеком своих целей на основе семантической информации. Аналогичные приемы имеются и в других науках. Явная фиксация в автоматизированной системе СиОИ дает возможность, комбинируя свойства, получать конструкции.

Поиск инвариантных к профессиональной, научной и потребительской специфике средств описания СиОИ привел к конструкторскому понятию: некоторое слово, термин, с которым связано описание свойств и особенностей обозначаемого объекта или явления. Для создания интеллектуальных САПР необходимо от терминов перейти к понятиям. В этом случае нужно выписать все необходимые смыслы, обозначаемые конкретным термином и включить их в обработку.

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

принадлежащих различным профессиям. Например, в предложении «вал является телом вращения» понятие «вал» является конструкторским, а «тело вращения» - математическим. При этом все свойства тела вращения наследуются валом и могут быть использованы для описания семантической сочетаемости с другими свойствами вала.

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

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

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

На рис.1 приведен простейший иллюстративный пример описания СиОИ. Описание представляет собой систему конструкторских понятий, каждое кон-

структорское понятие определяет структурные свойства изделия (разделы «Состав» и «Атрибуты») и предикатные свойства изделия (раздел «Свойства»). Спецификация конструкторского понятия «крепежный узел»

Понятие крепежный узел Состав

Болт: {болт}. Гайка: {гайка}, [Стопор:

{стопор^жесткий, стопор_фрикционный}]. Конец гайка Свойства

УХ: крепежный_узел

Номинал из Болт из Х =

Номинал из Диаметр из Гайка из X. Конец крепежный узел

Понятие гайка Состав

Нет Атрибуты

Диаметр: {диаметр}.

Понятие болт (диаметр)

Состав Нет Конец болт

Рис. 1

Понятие диаметр Состав

Нет Атрибуты

Номинал: {вещественное}. Свойства \/Х: диаметр Номинал из X > 0. Конец диаметр

Конструкторские имена записаны с заглавной буквы, а конструкторские понятия - с малой. Предикатные свойства изделия представляют собой логические соотношения специального вида. Описания понятий «стопор^жесткий» и «стопор_фржционный» не приведены из-за ограниченности автореферата.

Структурное конструкторское решение

'зделие, крепежный узел)

, {Гайка, гайка)

(Диаметр, диаметр)

{Номинал, вещественное) 5.0

Рис. 2.

Задачей конструирования является получение СКР. На рис 2. приведен пример СКР, соответствующего описанию СиОИ (рис.1). Показанные непрерывными линиями дуги обозначают компонентные отношения, пунктирные линии

21 ' •

обозначают отношение «является атрибутом». Особенности отношений агрегации и наследования можно проследить в описании понятий «болт» и «гайка».

Понятие «болт» сочетается с понятием «диаметр» отношением наследования. Понятие «гайка» сочетается с понятием «диаметр» отношением агрегации.

Как видно из рис. 1, 2, применение наследования позволяет существенно сократить экстенсиональную составляющую как спецификации СиОИ, так и конструкторской базы данных. Однако из рис.1, 2 видно, что при этом возможна потеря смысловой информации: в отличие от «гайки» у понятия «болт» исчезло атрибутное свойство «Диаметр» и осталось только атрибутное свойство «Номинал».

На рис.1 в описании компонента «Стопор» можно увидеть также средства задания вариантности описаний. Заключение этого определения в квадратные скобки означает необязательность присутствия стопора в конструкции. Кроме того, выражение в фигурных скобках имеет теоретико-множественный смысл и означает, что конструкторскому имени «Стопор» можно сопоставить в СКР одно из конструкторских понятий «стопор^жесткий» или «сто-пор_фрикционный», каждое из них обозначает индивидуальный набор свойств. В СКР на рис.2 элемент «Стопор» не попал.

Нетрудно представить, что описание (рис.1) легко расширить такими объектами как: материал, форма гайки и головки болта, свойства поверхности, цена и т.д. Тоже самое можно сказать о предикатных свойствах.

Разработанные средства позволили сформулировать принципы семантического конструирования. Множество СКР представляет теперь множество возможных конструкций. Подмножество возможных конструкций, в котором выполняются предикатные свойства изделия, представляет собой множество допустимых конструкций (на рис.2 структурные и предикатные СиОИ выполняются). Выбор единственного СКР в нашей постановке задачи может быть сделан поэтапным введением дополнительных предикатных свойств изделия и

(или) ужесточением существующих. Возможна и обратная задача: при пустом множестве допустимых конструкций с помощью поэтапного сокращения и (или) ослабления списка предикатных СиОИ необходимо получить хотя бы одно допустимое СКР. Указанные действия фиксируются в техническом задании.

В третьей главе приведены результаты разработки формальной теории декларативной конструкторской семантики, позволяющей строить корректные описания СиОИ и допустимые СКР. Для моделирования конструкторского понятия предлагается ввести множество 5 основ (обозначений) конструкторских данных определяемого понятия и множество С2 идентификаторов операций над конструкторскими понятиями вместе с указанием их областей определения и значений. Тогда Е = (5, О) - сигнатура (словарь) конструкторского понятия. Сигнатура Е дополняется множеством Е утверждений, которые характеризуют свойства сигнатуры. В результате получаем конструкторскую теорию СиОИ.

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

Разработана формальная теория (система) структурной надстройки ТСН, определяющей правила построения наследственно конечной структурной над-

стройки СН(М) над моделью М последовательности простых конструкторских данных.

Определение. Формула вида №<=у Ф(х), Зхеу Ф(х), в записи которой встречаются только ограниченные кванторы, называется Лг формулой. Совместное использование Л0- формул и транзитивных множеств позволяет обеспечить полноту ТСН.

Пусть Т структурная надстройка. ТСН в качестве своих аксиом имеет следующие.

Аксиома простых конструкторских данных: Vte Т U(t)-+xg t - существуют простые конструкторские данные U(t).

Аксиома существования пустой конструкции: Эх (V(x)a Components (х)=0 л Attributes(x)~ 0) - существует конструкция (составное конструкторское данное V(xf). которая имеет пустое множество компонентов и атрибутов.

Аксиома структурированности конструкции:3 а (хеа /\ yea) - конструкция должна обладать внутренней структурой (возможно пустой). Эта аксиома вместе с предыдущими обеспечивает единую структуру конструкторских данных.

. Аксиомы операций над составными конструкторскими данными определяют свойства операций.

Аксиома единственности СКР: Add(t, Т) = Addft' Т) ->(t=t'л Т=Т) - добавление конструкторского данного однозначно определяет СН(М).

Аксиома объемности конструкции: для ТеСН(М) и Т'еСН(М) имеет место T=T'<->VT"cT (Г"сТ'л (ТТ'->3tеТ(Add(t,Т")с Тл Add(t,Т")<= Т))) - любая конструкция полностью определяется своими элементами.

Аксиомы фундируемости конструкции: Vx(\fyex Ф(у) ->Ф(х)) —> Vz <P(z) для всех формул Ф(х) - конструкция является фундированной, если каждая составная часть имеет минимальный элемент (начальный элемент построения).

Аксиомы Ло - выделения: для каждой конструкции Г существует табличная функция, выделяющая только те элементы, на которых выполняется свойство

Ф(1), 1еТ. Позволяют вводить произвольные подмножества.

Аксиомы А0 - выборки позволяют с помощью табличных функций конструировать определенные формулой Ф(х, у) новые множества.

Разработка аксиоматики конструкторских данных позволила выявить и исследовать свойства семантических спецификаций СиОИ и СКР.

Утверждение. Структурная надстройка СН(М) является транзитивным множеством. Транзитивность СН(М) является мощным семантическим средством и позволяет естественно моделировать свойства вида: каждый сборочный узел образует элемент и, одновременно, подмножество входящих в него элементов другого сборочного узла (изделия).

Утверждение. Все Л0 - формулы абсолютны. Благодаря абсолютности Л0 -формул все счетные транзитивные модели (СКР) замкнуты относительно теоретико-множественных операций, что позволяет из существующих свойств получать новые свойства.

Определение. Е- формулой называется любая формула, составленная из Л0 -формул, операций дизъюнкции и конъюнкции, а также присоединения ограниченных кванторов и неограниченного квантора существования.

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

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

Четвертая глава посвящена разработке теории операционной конструкторской семантики: системы приемов построения семантических конструкторских моделей по заданным описаниям СиОИ.

Пусть Ь - {Р, /% с} - язык прикладного исчисления предикатов, где Р, Р, с -множества предикатных, функциональных, константных символов. Аксиоматическое описание СиОИ представляет собой конечное множество Т предложений языка £ (рис. 1), оформленных как система конструкторских понятий, имеющих в общем случае (без описаний функций и отношений) вид: Понятие (

Состав п, ... , пр : ...

Атрибуты пр.,: ... , пч : {!?...., ^^ (4.1)

Внешние пч.,: {$*'... , пщ: .....

Свойства (¿¡,..., Конец (.

В выражении (4.1) «Состав» включает описание компонентных отношений, «Атрибуты» - атрибутных отношений, «Внешние» - особенностей, т.е. внешних объектов, влияющих на определяемое понятие I. В совокупности эти описания представляют собой структурные отношения.

Для получения конструкторских моделей необходимо определить правила интерпретации конструкторской теории Т. В задаче синтеза структурного конструкторского решения основной операцией является сопоставление обозначаемому некоторый объект конструкторскому имени п набора свойств и осо-

бенностей, носителем которых является конструкторское понятие 1еТ. Обозначим предикат сопоставления имени п понятия I через

С учетом введенных в (4.1) обозначений смысл предиката $(п,и можно выразить формулой вида:

Чп&ЫЗгеТ v лУп.еЛГ v Э*' еТ )=> л (4.2)

/с/, /е/ ■" " АеЛГ

Описания конструкторских понятий вида (4.1) вводят некоторое множество Г составных конструкторских данных, каждый элемент (еТ которого может быть сопоставлен некоторому имени п. Предикат сопоставления {) в формуле (4.2) определяется следующим образом:

1. Имеется множество N имен конструкторских данных и множество Т описаний конструкторских понятий. В каждом описании конструкторского понятия 1еТ имеется множество ¿ = /У, ,...,/„, / структурных описателей (содержимое разделов «Состав», «Атрибуты», «Внешние»).

2. Любому конструкторскому имени п &У можно сопоставить некоторый набор свойств, обозначаемый конструкторским понятием (еТ, описание которого присутствует в спецификации Т. Необходимым условием сопоставления

I) имени п набора свойств / является исполнение формулы, стоящей справа от знака =>.

3. Дизъюнкция V в (4.2) обозначает необязательность некоторых

/<=х

структурных элементов описания конструкторского понятия. Например, понятие «строповочный узел» является необязательным элементом обозначаемой понятием «редуктор» конструкции.

4. Конъюнкция л в (4.2) понимается как ограниченный квантор всеобщности, члены конъюнкции а указывают, что составное конструкторское

'в/

данное состоит из |/| элементов.

5. Ограниченный квантор всеобщностиЬ'я/ е N означает, что любому

имени, обозначающему конструкторское данное в описании /, е Ь конструкторского понятия I должно быть сопоставлено некоторое конструкторское понятие.

6. Дизъюнкция V в (4.2) понимается как ограниченный квантор суще-

м

ствования, члены дизъюнкции V указывают, что конструкторскому имени и,-

можно сопоставить значение одного из Д / конструкторских понятий, перечисленных в фигурных скобках выражения (4.1).

7. 3 1'и еТ э(п,,1'/1) понимаем как необходимость построения предиката и,, ), при этом в системе конструкторских понятий Г должно присутствовать соответствующее описание е Т .

Конструкторскому имени сопоставляются структурные свойства, для которых, в свою очередь, необходимо исполнение предикатных свойств л Qk.

кеК

Описание предикатных свойств включает аксиомы четырех видов (предполагается, что ко всем аксиомам слева приписаны кванторы всеобщности по всем свободным переменным):

- определяющие аксиомы для функциональных символов F вида 0,(х< у)=$Р(х)=1(х, у) (4.3), где <2(х, у) - формула языка не содержащая свободных переменных, отличных от х,у; 1(х, у) - терм в языке Ц если для набора х показана истинность формулы 3!у<2(х,у), то значение функции Р(х) равно значению терма 1(х,Ь), где Ь значения у; в противном случае значение Р(х) не определено;

- определяющие аксиомы для предикатных символов Р вида ()(х) о Р(х)

(4.4), где 0.(х) - формула, строится так же, как и предыдущая;

- система определяющих аксиом рекурсивного типа

11,(Х1, ... , Хп) = Г//7?,, ... , Ящ] (х,, ..., х„),

(4.5)

Ят(х,, ... , х„) = гт[Я,, ... , Я„] (х/, ... , х„), где Я1 (¡=1, ... , т) предикатный или функциональный символ языка Ь, т^Я/, ... , Я„] (1=1, ..., т) - функционал, зависящий от Я/, ... , Ят;

- любые предложения языка Ь, определяющие предикатные СиОИ ( л 0,к в

кеК

выражении (4.1)).

Нашей целью является построение для конструкторской теории Т ее модели М - параметризованного СКР.

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

Рассмотрим модель М = (А, ^ некоторого языка Ь= { /", с } описания СиОИ, где А - универсум модели. Интерпретирующее отображение J задает соответствие символам языка определенным на универсуме А отношениям Р, функциям F и константам с. Мы допускаем частичные функции и предикаты в качестве интерпретаций. Для фиксации неопределенных вычислительных ситуаций и построения монотонного процесса семантических вычислений в работе введены множества неопределенных значений {аь ... , а„) для термов и /Д, ... \ Р„} для формул. Каждая пара (а„ ДД 1=1, ... .п соответствует / - му виду неопределенной вычислительной ситуации. Теперь А' = Аи {щ, ... , а„} универсум расширенной модели описания СиОИ, В+= Ви {¡51, ... , /3„}, где В = {и, л} и Вс А'. Будем теперь рассматривать все частичные функции как полностью

определенные функции, отображающие (А*)т =А+х... хА в А'. Все т- арные частичные предикаты будем считать полностью определенными на (А ')".

Классические логические операции предложено расширить следующим образом:

<р -ыр

и л

л и

Pi Pi

А Pi

...

Рп-, Рп-,

д, Рп

А и л Pi Рг Рп-, Рп

и и Л Pi Р2 ... Рп-, Рп

л л л л л Л л

pi Pi л Pi Р2 Рп-1 Рп

р2 Рз л р* Р2 Рп-1 Рп

...

Рп-! Рп-, л Рп., Рп-1 Рп-1 Рп.

Рп Рп л Рп Рп Рп Рп

На множестве А' введено отношение < частичного порядка, которое обозначает «менее определенный, чем или равный». Полагаем, что для всех i = 1, ... , п, j = 1.....п,аеА и i >j имеет место at<ц, 0Ci<a, а<а, где a,, as-неопределенные значения, а - определенное значение. Для всех термов и операций разработаны правила их вычисления с учетом отношения <.

Утверждение. Расширения классических логических функций до введенной многозначной логики монотонны.

Утверждение. Если р(х0, ... , хJ - монотонный предикат, определенный на Л и т >/, то (Эх*)р(х(), ... , х„) и (Vxt) р(х0, ... , x„J, где к = 6, ... , т, являются монотонными предикатами.

Аналогично построены расширения функций и доказана их монотонность.

Введено понятие модели в многозначной логике. Выявлены условия выполнимости формулы, предложения. На множестве моделей введено отношение частичного порядка <.

Утверждение. Пусть Mj=(a+,Jm/s} и М2 = (a*,Jm^-- модели, языка- L. Mj<M2 тогда и только тогда, когда для каждого предикатного символа PeL

>}<-/Мз(Р), где - интерпретация символа Р в модели Мь к-1, 2.

Аналогичное утверждение доказано для функционального символа К

Для хранения конструкторских моделей предложено использовать диаграммный метод. Исследованы способы обогащения конструкторских моделей с помощью нерекурсивных и рекурсивных определений.

. Теорема. Пусть Т - некоторая теория в языке ¿ и М=(А\ - модель этой теории. Пусть Т/=Тиа, где а - предложение вида (4.3) или (4.4), в котором формула 0(х, у) и терм 1(х, у) построены с помощью суперпозиции монотон-: ных функций и предикатов. Тогда М имеет единственное обогащение М/, яв-; ляющееся моделью теории Т1 и интерпретация символа (Р) является монотонной функцией (монотонным предикатом).

Для рекурсивных определений вида (4.5) введено специального вида преобразование тс: М*—>М* над множеством моделей М*.

Теорема. Преобразование ж: М*М*, соответствующее аксиоме (4.5), монотонно, если функционал т[Щ монотонен.

Пусть М—(А Л) - модель теории Т в языке ¿. Очевидно, что модель М можно всегда тривиально обогатить до модели М' ~(А+,J{^J') теории Т в языке =Ьи{Я1, ... , Кку}, где Я, (1=1, ... , - рекурсивно определяемые символы, не

содержащиеся в языке Ь. Для этого достаточно в качестве интерпретации J'(Ri) символов из {/?/,... } задать всюду неопределенные функции и

предикаты, т.е. для всех I = ],... ) J'(Ri) положить равным а„ для функций и рп для предикатов. Заметим, что среди всех пар неопределенных значений последняя пара <«„,/?„> должна быть использована для указанной цели. Семантически это означает, что для фиксации начальной, «абсолютной» неопределенности, соответствующей началу процесса конструирования, нужно предусмотреть специальное обозначение.

Рассмотрим теперь последовательность моделей Мо, М/, М2, ... языка Ь^ где

М0 - пустое обогащение модели М = теории Т в языке L до модели тео-

рии Т в языке Ls, Мt = я(М0),...,М1 = я(я'~'(М0)) = я'(Мд) и я- преобразование, соответствующее аксиоме (4.5) с монотонным функционалом г. В этой последовательности каждая модель является частичным обогащением для всех предыдущих в силу монотонности преобразования я, т.е. М0 <М, <М2... . Будем называть такую последовательность {М, }iW цепью моделей, полученную преобразованием я.

Утверждение. Каждая цепь моделей {М, },г0, полученная преобразованием я,, имеет наименьшую верхнюю грань, т.е. такую модель Мтш, что для каждой верхней грани М = Мк последовательности {М( }iiS) имеет место

D+(Mmi„)^D+(M).

Теорема. Пусть Tz = T\J{^fx, ...xnR(x,,...,xn) = T[R](xlt...,xn)} - расширение теории Тс помощью определяющей аксиомы вида(4.5) для символа R; М - модель теории Т и функционал г непрерывен. Тогда

a) модель М обладает единственным обогащением, являющимся моделью теории . Таким обогащением является наименьшая верхняя грань М„»■« последовательностей частичных обогащений {я'(Л(М ))}, i= 1,2,...;

b) интерпретирующей функцией г для символа R в Мтш является наименьшая неподвижная точка функционала г,

е) г монотонна.

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

В пятой главе представлены результаты разработки информационной тех-

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

Пусть дана теория 7=7^01^ в языке прикладного исчисления предикатов £ сигнатуры Е, где - множество структурных аксиом. Пусть где

- аксиомы - определения предикатных и функциональных символов вида (4.3), (4.4), (4.5). Множество Iмпредставляет собой систему аксиом, определяющих сигнатуру (словарь) профессионального расширения базового языка и, одновременно, предикатных СиОИ 7е,

В соответствии с общей теорией конструкторской семантики и технологией автоматизированного конструирования рассмотрены четыре уровня конструкторской модели: а) структурная конструкторская модель Мн", б) параметризованная структурная конструкторская модель М", в) сигнатурная конструкторская модель А/0, г) семантическая конструкторская модель М. Для построения модели

Мн<>

необходимо реализовать все нульместные операции из описаний 7я, т.е. построить ^параметризованное СКР. В ^параметризованном СКР присутствуют все структурные свойства изделия, но не указаны конкретные значения простых конструкторских данных, т.е. терминальных узлов СКР. Для построения модели м" необходимо параметризовать СКР. Модель М" получается из модели М" атрибутированием параметризованного СКР вычислением значений одно-, дву- и т.д. местных операций, определенных в 1°. И, наконец, Мсовпадает с

если на

выполняются все аксиомы из Г". Конструкторская модель более высокого уровня получается как обогащение модели предыдущего уровня, т.е. имеет место Мн° с: М? с: М° сгМ

Задача семантического анализа конструкции формулируется теперь так. Дана (возможно частичная) параметризованная структурная конструкторская модель М", проверить, является ли

М"

решением (моделью) системы логических соотношений 7е. Теоретические основы этой задачи введены (глава 4) в виде

пошагового процесса обогащения моделей до получения искомой. Если все аксиомы-ограничения на построенном обогащении М истинны, то М является моделью теории Т, т.е. решением поставленной задачи. Если некоторые предикатные свойства на обогащении М получают значения л, то задачу построения модели теории Т, удовлетворяющей начальным условиям Л/' будем называть некорректно поставленной, а параметризованное СКР - некорректным. Если некоторые предикатные свойства на обогащении М получают значения Д (/= 1, ... , и), то полученная частичная модель, во-первых, может быть недостроенной и автоматизированная система подскажет, что еще нужно сделать; во-вторых, может быть не пригодной к использованию из-за конструкторских ошибок; в-третьих, может быть вполне приемлемой (неопределенные значения появились из-за отсутствия в конструкции необязательных элементов). Сама теория Т всегда считается непротиворечивой, а обогащение М по начальным условиям М" определяется единственным образом.

Потребности прикладной задачи, создания конструкции, удовлетворяющей заданным свойствам изделия, диктуют необходимость выявления источников некорректности параметризованных СКР с целью последующего их устранения. Очевидно, что с некорректностью параметризованных СКР связано множество тех атомных предложений из диаграммы обогащения М, значения которых влекут невыполнимость аксиом-ограничений, т.е. влекут значения л или Д (/=1, ... , п) хотя бы для одной аксиомы. Множество с1(М) таких атомных предложений из диаграммы обогащения в работе названо диагностическим множеством СКР. Ясно, что й(М) должно быть пустым для любой модели М теории Т, однако в работе рассмотрены варианты, когда частичная модель с непустым диагностическим множеством Л<Л(М) может рассматриваться как допустимое СКР. Под диагностикой СКР понимается процесс получения диагностического множества с1(М) или его подмножеств. Для выделения диагностического множества (¡(М) в работе введено прямое >{Ф) и обратное <{Ф) диагностические преобразования над формулами Ф и рассмотрены различные варианты его при-

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

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

Для решения задачи автоматизированного синтеза конструкции разработана формальная система S[G, z] порождения СКР, где G является непустым множеством правил вывода вида

Понятие С Состав n¡:j¡, ..., nk:jk

Атрибуты пк,¡:jk.~¡, ..., n¡:j¡

Внешние ,,h ..., nm:jm. (5.1)

Пусть г - начальный элемент вида {п0, jo, ро), где щ - конструкторское имя изделия, jo- конструкторский тип изделия, р0 - позиция начального элемента в СКР.

Определение. Деревом порождения в системе порождения S[G, z] будем называть помеченное упорядоченное дерево Д если выполнены следующие условия:

а) корень дерева D помечен начальным элементом вида (па ja, ро)\

б) если D!,..., Dm - поддеревья, над которыми доминирует прямой потомок (nr,jr, р,.) корня дерева, и корень дерева D, помечен (и,, у',, pr.i), то существует спецификация конструкторского понятия вида (5.1), в которой в качестве С выступает jr, а в разделах «Состав» или «Атрибуты» или «Внешние» имеется пара щ : j¡ ; Д должно быть деревом порождения, если имеется спецификация конструкторского понятия j¡ вида (5.1); Д состоит из единственного узла, помеченного {n¡, jf, pr.i), если у, является базовым типом данных и пара n¡ : j¡ входит в раздел параметров; Д содержит узел, помеченный (0), если имеется спецификация вида (5.1) и раздел «состав» не содержит ни одного элемента;

в) если корень дерева имеет единственного потомка, то потомком является

узел, помеченный (0).

Определение. СКР в системе г] называется дерево порождения, терминальными узлами которого являются узлы, помеченные метками (0) или (я,, , рл), где у', - обозначение базового типа данных.

Пример СКР приведен на рис.2.

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

Задача автоматического синтеза СКР. На первом этапе в структурные аксиомы вида (4.2) выполнена подстановка конъюнкции аксиом описания функций, предикатов и предикатных свойств. Затем вместо каждого я,, ) была

подставлена определяемая предикатом формула. В полученную формулу сделаны аналогичные подстановки. И так далее, пока не выполнены все подстановки. В результате получили выражение вида:

Уие^ЗгеГ V л Уи,- eN V Зс'° еТ V л \/щ еЫЭ^'еТ ...

/0с£0/„б/0 >о с/.,/,<=/, 11 л

... V л Уи,- е N V 3/* еТу(п:, А) л л (5.2)

Полученная формула является системой логических соотношений, представленных в виде конъюнктивной игровой формулы, определяющей множество допустимых СКР. Нашей задачей является их построение. В работе определена теоретико - игровая семантика задачи автоматического порождения СКР двумя игроками л и V. Получены и исследованы дерево поиска решений и дерево решений. Дерево решений определяет класс допустимых решений формулы (5.2).

Теорема. В каждой игре один из игроков имеет выигрышную стратегию.

В рамках решения задачи автоматического синтеза СКР было формализовано техническое задание на проектирование изделия. Суть технического задания

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

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

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

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

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

Шестая глава посвящена описанию практических результатов использования разработанных методов, лингвистических средств и алгоритмов при создании систем АП. Целью экспериментальных исследований является практическая проверка полученных в работе теоретических результатов. Содержанием эксперимента является: разработка языка SL/D (Semantic Language of Design) описания СиОИ; разработка методики построения и экспериментальной автоматизированной системы семантического конструирования SD (Semantic Design)-, испытание информационной технологии семантического конструирования на реальных данных.

В главе приведены результаты реализации языка SL/D описания СиОИ. Целью составителя описания СиОИ является описание множества корректных параметризованных СКР. Описание СиОИ класса изделий является взаимосвязанным множеством разделов. Каждый раздел представляет собой взаимосвязанное множество конструкторских понятий и содержит описание отдельной профессиональной темы. В соответствии с теорией декларативной конструкторской семантики спецификация конструкторского понятия должна включать следующие описания:

Понятие С [H] [I] [V] [S] [А] [В] [F] [R] [M] [Р] Конец С. (6.1)

В выражении (6.1) используются следующие обозначения: С - наименование вводимого конструкторского понятия; выражения «Понятие С» и «Конец С» образуют отделяющие каждую спецификацию от других структурные скобки;

скобки [ и ] - представляют'собой символы метаязыка и обозначают необязательность использования заключенного в них средства;

H - наследование, / - референциапьное тождество», V - формальные параметры понятия, S - состав, А - атрибуты понятия, В - внешние объекты; F - функции, R - отношения, M — множества, Р - предикатные свойства. Описания F, R,

№

« -

V

л»

¡ь.

m

ff

М и P могут следовать в произвольном порядке.

Для примера рассмотрим фрагмент спецификации конструкторского понятия «фиксация».

Понятие фиксация Параметры

Тип соединения : строка.

Толщина подвижнойдетали J: вещественное. Расстояние: вещественное. Состав

Ф {фиксатор}, ¡7: {пру жина}. Атрибуты

Коэффициент трения : /вещественное: 0. !}. Функция Поднимающая сила_Р(X: фиксация) : вещественное Область определения

Найти! Сила_затяжки еХ Найти! Угол конуса е X Истина Значение Сила_затяжки из X/ Sin (Угол _конуса из X/ 2} Конец функции

Функция Реактивная силана _конусе(Х: фиксация) : вещественное Область определения Найти! Угол конуса е X Истина Значение Поднимающая сила Р(Х) * Cos (Угол конуса из X/2) Конец функции

Функция Реактивная силаМ 1(Х: фиксация) : вещественное Область определения Найти! Расстояние L Найти! Толщинаподви-жнайдетали/ е X Истина Значение

Реа'ктивная_сила_на_конусе(Х) * Расстояние L / ТолщинаподеижнойдеталиJ Конец функции

Функция Реактивная _сила_Ы2(Х: фиксация) : вещественное Область определения Найти! Расстояние !^ Найти! Толщина_подвижной_детали_1 е X Истина Значение

Реактивная сила на_конусе(Х) * (Расстояние L/Толщина подвижнойдетали J-I) Конец функции

Функция Силы_противодействия(Х: фиксация) : вещественное Область определения Найти! Расстояние_L Нарпи! Толщта_подвижной_детали_1 еХ Истина Значение

Реактивная_сила_Ы1(Х) * Коэффициент трения + Реактивная_cuna_N2(X) * Коэффициент трения + Поднимающая_сила_Р (X) * Коэффициент трения * Со$(Угол_конуса / 2) Конец функции

Функция Сипа_поднятия(Х: фиксация) : вещественное

Область определения Найти! Угол конуса е X Истина Значение Поднимающая_сила(Х) * Sin (Угол конуса / 2) Конец функции

Отношение Превышение сил_поднятия(Х: фиксация): Сила поднятия(Х) > Си-лыпротиводействия (X)

Свойство Для X: фиксация Типсоединения изХ = Если Превышение_сил_поднятия(Х: фиксация) То 'срывающееся'Иначе 'самотормозящееся': 'Неверно заданы параметры фиксации'. Конец фиксация

Понятие фиксатор Понятие пружина

Разработан специальный метаязык, на котором построено формальное описание языка БЬ/О. Рассмотрены семантические приемы спецификации конструкторских понятий.

С целью доказательства достоверности полученных научных результатов был проведен эксперимент по формальному описанию семантики спецификации СиОИ с помощью теоретически обоснованного аппарата позитивно образованных формул. Успех эксперимента полностью подтвердил достижение це-, ли его проведения. В виду значительного объема подробное описание эксперимента здесь не приведено.

В главе также приведено описание программной реализации эксперимен-

Состав Нет Атрибуты

Уголконуса: {вещественное}. Конец фиксатор

Состав Нет Атрибуты

Сила_затяжки: {вещественное}. Конец пружина

тальной системы семантического конструирования изделий машиностроения 573. Основная цель разработки 5£> состояла в следующем:

- экспериментальное апробирование информационной технологии семантического конструирования;

- отработка структур данных и алгоритмов;

-экспериментальное обоснование возможности применения предлагаемых методов в составе САПР.

Функционирование системы семантического конструирования осуществляется путем решения следующих задач:

1. Ввод и корректировка описания системы конструкторских понятий, управление спецификацией изделия, анализ правильности каждого понятия, совместности системы понятий, целостности системы понятий;

2. Автоматизированный синтез и параметризация СКР;

3. Семантический анализ СКР с помощью описания СиОИ;

4. Диагностика СКР;

5. Автоматический синтез параметризованного СКР;

6. Управление базой конструкторских данных;

7. Взаимодействие с системой геометрического моделирования.

Заканчивается глава описанием результатов экспериментального исследования метода и информационной технологии семантического конструирования. Суть проведенных экспериментов состоит в составлении семантических описаний СиОИ и решения с помощью этих описаний задач анализа и синтеза СКР. Эксперименты были проведены на ФГУП «Ижевский механический завод», Ижевском ОАО «Редуктор», ГУП Республики Татарстан «Татинвестграждан-проект». Многочисленные эксперименты выполнены студентами ИжГТУ в рамках учебного процесса по специальностям АСОИУ, САПР. Накопленный опыт полностью подтвердил теоретические положения работы и показал практическую полезность результатов.

ЗАКЛЮЧЕНИЕ

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

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

Частными результатами, отражающими научную новизну я практическую полезность работы, являются:

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

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

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

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

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

6. Получено решение задачи семантического анализа конструкции в виде пошагового процесса обогащения структурной модели конструкции до полной семантической модели. Доказательно определены условия существования и единственности построенного обогащения, что позволило разработать алгорит-

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

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

8. Получено решение задачи автоматического синтеза структурного конструкторского решения. Доказаны условия существования решения задачи. Экспериментально установлено, что число шагов поиска решения сокращается в 107 - 109 раз по сравнению с поиском решения методом простого перебора вариантов. Имеется потенциальная возможность усовершенствования алгоритма.

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

10. Теоретические эксперименты по обоснованию достоверности научных результатов с помощью аппарата позитивно образованных формул показали родственность задач семантического конструирования и автоматического доказательства теорем.

11. Разработаны логические основы построения формальных языков записи конструкторской семантики, обеспечивающих вычислительную независимость от проблемной области и профессиональную расширяемость. Создан семантический язык SL/D для изделий машиностроения и построено его формальное описание, предназначенное для создания программного обеспечения.

12.Разработана экспериментальная автоматизированная система семантического конструирования 5Д апробированная на промышленных предприятиях, в проектной организации и в образовательном учреждении. Многочисленные эксперименты проведены в курсовом и дипломном проектировании. Результаты экспериментов полностью отвечают полученным в работе теоретическим результатам, показывают новизну и практическую полезность методики семантического конструирования.

13. Для воспроизведения полученного опыта разработана новая дисциплина «Семантическое моделирование в САПР» для студентов специальности САПР, введенная в учебный процесс ИжГТУ. Отдельные темы работы использовались еще в четырех дисциплинах.

Содержание работы отражено в 44 публикациях. Наиболее существенными являются следующие.

А) Монография:

Барков, И.А. Теория конструкторской семантики : монография/И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2003. -360с.

Б) Статьи в рекомендованых ВАК РФ изданиях:

1. Барков, И.А. Автоматический синтез структурного описания конструкции / И.А. Барков // Информационные технологии, 2004. - №3. -С.4-11.

2. Барков, И.А. Концепция конструкторской семантики / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.213-229.

3. Барков, И.А. Описание проблемной области изделия в интеллектуальных САПР / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.230-245.

4. Барков, И.А. Семантика описания свойств и особенностей изделия / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.246-260.

5. Барков, И.А. Интерпретация описания свойств и особенностей изделия /

И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.423-436.

6. Барков, И.А. Семантические конструкторские модели / И.А. Барков // ¡Известия ТулГУ. Серия: математика, механика, информатика. -Т.12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.437-452.

7. Барков, И.А. Монотонные вычисления конструкторской семантики / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.453-469.

8. Барков, И.А. Свойства декларативной конструкторской семантики / И.А. Барков И Вестн. ЙжГТУ. -2007. -№2. -С.20-27.

9. Барков, И.А. Декларативная конструкторская семантика свойств и ос-бенностей изделия в интеллектуальных САПР / И.А. Барков // Вестн. ИжГТУ. -2007.-№3.-С.101-109.

10. Барков, И.А. Формальная система свойств и особенностей изделия / И.А. Барков // Вестн. ИжГТУ. -2007. -№4. -С.З-12.

В) Статьи в сборниках трудов, материалах конференций:

1. Барков, И.А. Применение V-языка для разработки программ-трансляторов / И.А. Барков, В.И. Баркова // Обмен опытом в области современных методов разработки программ на ЭВМ : материалы науч. конференции. -Ижевск, 1982.-е 32-33.

2. Барков, И.А. Контекстно-синтаксические модели программ и диагностика контекстных ошибок / И.А. Барков, В.И. Баркова // Разработка сложных программных систем : сб. науч. работ. -Ростов-на-Дону: Изд-во РГУ, 1987,-С. 15-24.

3. Барков, И.А.-Вопросы разработки и использования систем автоматизированного проектирования / И.А. Барков // Избранные ученые записки Ижевского государственного технического университета. В трех томах. -Том II: Моделирование технических объектов и систем. Приборостроение. Измерительная техника. Экономика. Системология.-Ижевск, Изд-во ИжГТУ, 19981-С.41-48.

■ 4. Барков, И.А. Конструкторская семантика в системах поддержки жизненного цикла изделия / И.А. Барков // Информационные технологии в инновационных проектах : труды междунар. научно-техн. конференции (г. Ижевск, 19-20 апреля 2000 г). -Ижевск : Изд-во Механического завода, 2000. -С. 174-177.

5. Барков, И.А. Интеграция профессиональных знаний в САЬ8-технологиях на основе конструкторской семантики / И.А. Барков И Конструкторско-

. технологическая информатика-2000 : труды IV междунар. конгресса. В 2-х томах. -Том 1. -М.: Изд-во «Станкин», 2000. -С.49-51.

6. Барков, И.А. Теория конструкторской семантики для описания в САПР свойств зубчатых передач / И.А. Барков // Современные информационные технологии. Проблемы исследования, проектирования и производства зубчатых передач : сбор. докл. междунар. науч. семинара. - Ижевск: Изд-во ИжГТУ, 2001. -С.278-294.

7. Барков, И.А. Описание свойств изделий в САПР редукторов / И.А. Барков // Пространство зацеплений : сбор. докл. науч. семинара Учебно-научного центра зубчатых передач и редукторостроения. -Ижевск: Изд-во ИжГТУ, 2001. -С. 159-169.

8. Барков, И.А. Конструкторские модели в многозначной логике / И.А. Барков // Информационная математика, 2001. - № 1. -С.212-219.

9. Барков, И.А. Задача автоматического семантического анализа конструкции в САПР редукторов / И.А. Барков // Материалы Международной научно-технической конференции, посвященной 50 - летию ИжГТУ (19 - 22 февраля 2002 г.). В .пяти ч. -Часть 2. Инновационные технологии в машиностроении и приборостроении. - Ижевск: Изд-во ИжГТУ,2002. -С. 20-26.

Ю.Барков, И.А. Семантическая сочетаемость конструкторских понятий и описание свойств изделия в САПР / И.А. Барков // Материалы Международной -научно-технической конференции, посвященной 50 - летию ИжГТУ (19-22 февраля 2002 г.). В пяти ч. -Часть 2. Инновационные технологии в машиностроении и приборостроении. - Ижевск: Изд-во ИжГТУ, 2002-. --С.26-34.

11. Барков, И.А. Применение метода семантического анализа и синтеза при раскрытии размерных связей машин / И.А. Барков, В.Г. Осетров // Информационные технологии в инновационных проектах: труды IV Международной научно-технической конференции. (Ижевск, 29-30 мая, 2003 г.). В 4-х ч. -Часть 3. -Ижевск: Изд-во ИжГТУ, 2003. -С.7-10.

12. Барков, И.А. Автоматический синтез структурных конструкторских решений / И.А. Барков // Девятая Национальная конференция по искусственному интеллекту с международным участием КИИ-2004 (28 сентября - 2 октября 2004 г., Тверь) : тр. междунар. науч. конференции. В 3-х т. -Том 3. -М.: Физ-матлит, 2004. -С.967-976.

13. Барков, И.А. Принципы построения информационной технологии семантического конструирования / И.А. Барков // Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности): сбор, трудов научно-технич. конференции с международным участием в рамках форума «Высокие технологии-2004». -Ижевск: НИЦ «Регулярная и хаотическая динамика», 2005.-С.337-346.

14. Барков, И.А. Описание проблемной области в интеллектуальных информационных технологиях / И.А. Барков // Современные информационные технологии и письменное наследие: от древних рукописей к электронным текстам : матер, междунар. науч. конференции. — Ижевск, Изд-во ИжГТУ, 2006. -С. 10-21.

15. Барков, И.А. Формальные семантические средства описания и решения конструктивных задач / И.А. Барков // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2006. -Казань: Отечество, 2007. -С.92-102.

Д) Статьи в электронных изданиях:

1. Барков, И.А. Семантика свойств изделия в интеллектуальных САПР / И.А. Барков // Перспективные информационные технологии и интеллектуальные системы : электронный журнал ТРТУ -Таганрог: Изд-во ТРТУ, 2003. -С.36-54. - ( http://pitis.tsure.ru/Journai 16.htm).

Е) Научно-технические отчеты:

1. Разработка универсального средства обработки языков описания данных : научно-технический отчет; № гос. per. 01870097338./ Руководитель И.А. Барков ; Ижевский механический институт. -Ижевск: ИМИ, 1990. -30с.

Ж) Конспекты лекций:

1. Барков, И.А. Семантическое моделирование в САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования : учеб. - мет. пособие / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -98с.

2. Барков, И.А. Математическая лингвистика. Конспект лекций для студентов специальностей 22.02 Автоматизированные системы обработки информации и управления и 55.28 Информатика и вычислительная техника : учеб. - метод. пособие / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2001. -85с.

3. Барков, И.А. Информатика. Конспект лекций для студентов специальности 22.02 Автоматизированные системы обработки информации и управления, 2203 Системы автоматизированного проектирования и 55.28 Информатика и вычислительная техника : учеб. - метод, пособие / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -93с.

4. Барков, И.А. Лингвистическое и программное обеспечение САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования : учеб. - метод, пособие / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -81с.

5. Барков, И.А. Программирование на языках высокого уровня. Конспект лекций для студентов специальности 22.02 Автоматизированные системы обработки информации и управления, 2203 Системы автоматизированного проектирования и 55.28 Информатика и вычислительная техника : учеб. — метод, пособие / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -89с.

Подписано в печать 07.09.2007. Формат 60x84/16 Усл. печ. л. 2,8. Тираж 125 экз. Заказ № 226

Отпечатано в типографии Издательства ИжГТУ

Издательство и типография Ижевского государственного технического университета. 426069, г. Ижевск, ул. Студенческая, 7

Введение

Глава 1. Разработка концепции конструкторской семантики

1.1. Анализ состояния и тенденций развития автоматизированного проектирования

1.2. Анализ логики автоматизированного конструирования

1.3. Анализ семантических исследований

1.4. Разработка принципов моделирования конструкторской семантики

Выводы

Глава 2. Разработка семантических средств моделирования свойств и особенностей изделия

2.1. Семантика свойств и особенностей изделия

2.2. Семантическая сочетаемость конструкторских понятий

2.3. Разработка концептуальных средств моделирования свойств и особенностей изделия

Выводы

Глава 3. Разработка теории декларативной конструкторской семан- 110 тики

3.1. Формализация задачи моделирования конструкторской семантики

3.2. Структуры конструкторских данных и конструкторских понятий

3.3. Операции над конструкторскими данными

3.4. Исследование свойств конструкторских теорий

Выводы

Глава 4. Разработка теории операционной конструкторской семантики

4.1. Формализация задачи вычисления конструкторской семантики

4.2. Конструкторские модели в многозначной логике

4.3. Построение конструкторских моделей в многозначной логике

Выводы

Глава 5. Разработка информационной технологии семантического конструирования

5.1. Конструкторские модели

5.2. Анализ структурного конструкторского решения

5.3. Синтез структурного конструкторского решения

5.4. Универсум семантических конструкторских моделей

Выводы

Глава 6. Экспериментальные исследования

6.1. Описание семантики задачи конструирования с помощью

Современное проектирование и производство приводят к изменениям в окружающей человека среде, зачастую затрагивающим интересы многих членов общества. Поэтому проектирование становится сферой интересов не только конструкторов, технологов и других «профессиональных» проектировщиков, но также экономистов, законодателей, администраторов, публицистов, ученых, участников движений охраны окружающей среды, политиков, потребителей - всех тех, кто стремится предъявить свои требования к форме, содержанию, производству и эксплуатации изделий. Учет указанных многосторонних интересов заставляет создателей интеллектуальных САПР сосредоточиться на создании возможности сбора и использования профессиональных, научных и потребительских представлений об изделии.

В настоящее время предпочтение исследователей и разработчиков САПР отдается моделированию формы изделия. Это заключается в том, что основой большинства систем автоматизированного проектирования (АП) является геометро-графическая подсистема. Задачи проектирования изделий реализуются как дополнительные возможности системы машинной графики. Таким образом, здесь используется схема: «от формы к содержанию изделия». Суть такого проектирования состоит в обосновании конечного результата с помощью большого числа профессиональных приемов. Построенная по данной метафоре САПР представляет собой конгломерат различных профессиональных подсистем. При этом неизбежны трудности согласования структур данных и алгоритмов. Возникает противоречие между желанием увеличить функциональные возможности САПР и лавинообразным возрастанием сложности САПР.

В настоящей работе показано, что заслуживают внимания и другие схемы построения САПР: «от содержания к форме изделия» и «содержание одновременно с формой». Сутью такого проектирования является переход от совместного обоснования содержания изделия к его форме, одновременное обоснование и содержания, и формы изделия. Совместное моделирование в системах АП формы и содержания изделия отражает философское единство этих двух категорий, переходящее друг в друга. Для успешного решения задач проектирования путем совместного моделирования формы и содержания необходимы единые инвариантные изобразительные средства. Отличительной чертой категории содержания изделия является ярко выраженная смысловая составляющая. Поэтому очевидной становится необходимость повышения интеллектуальных возможностей САПР, ориентированных на смысловую обработку проектно-конструкторских данных. Однако в настоящее время в этом направлении существует дефицит как практических, так и теоретических наработок. Исследование содержания изделия позволяет по-новому взглянуть как на модели изделия, так и на модели решения проектных задач.

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

Цель исследования: расширение интеллектуальных функций САПР за счет обеспечения инвариантными смысловыми средствами моделирования профессиональных, научных, потребительских представлений о СиОИ и разработки научно обоснованного метода автоматизированного конструирования, позволяющего передать функции создания САПР изделия специалистам 7 по изделию, получать конструкцию изделия путем автоматизированного и автоматического решения задач анализа и синтеза.

Основное содержание диссертации размещено в шести главах.

В первой и второй главах рассмотрены принципиальные вопросы использования конструкторской семантики для моделирования свойств и особенностей изделия.

Третья и четвертая главы содержат основные результаты работы по созданию новой методологии конструкторской семантики, на основе которой разработан новый метод автоматизированного конструирования изделий машиностроения.

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

Шестая глава содержит описание экспериментальных исследований, целью проведения которых явилось обоснование достоверности теории конструкторской семантики, метода семантического конструирования и подтверждение практической работоспособности информационной технологии семантического конструирования.

При чтении диссертации рекомендуется использовать краткие терминологические словари, приведенные в приложении 1.

Выводы

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

2. Разработана архитектура автоматизированной системы семантического конструирования SD (Semantic Design ).

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

4. Разработаны программы автоматического синтеза параметризованного структурного конструкторского решения. Исходными данными для алгоритма являются описание системы конструкторских понятий и описание технического задания на конструирование. Алгоритмы позволяют осуществлять гибкий поиск структурного конструкторского решения, варьируя пунктами технического задания. Экспериментальное исследование алгоритма показало, что число

7 9 шагов поиска решения сокращается в 10 - 10 раз по сравнению с поиском решения методом простого перебора вариантов. Имеется потенциальная возможность дальнейшего усовершенствования алгоритма, которая требует дополнительных исследований.

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

6. Разработан синтаксис языка SL/D (,Semantic Language of the Design) описания свойств и особенностей изделия. Разработан метаязык и построено формальное описание синтаксиса языка SL/D, дополненное описанием контекстных условий и семантическими пояснениями. Разработана методика применения языка SLID.

7. Проведено экспериментальное исследование метода семантического конструирования на «Ижевском механическом заводе». В результате эксперимента успешно апробирована задача семантического анализа конструкции.

8. Проведен эксперимент по интеграции задач конструкторского и технологического проектирования на Ижевском заводе «Редуктор». В результате эксперимента успешно апробирована задача семантического синтеза конструкции с учетом технологических требований. Как частный результат установлено, что при использовании предлагаемой методики для расчета размерных цепей деление задач расчета размерных цепей на прямую и обратную теряет всякий смысл, т.к. расчеты выполняются по единой методике путем варьирования техническим заданием.

9. Разработана новая дисциплина «Семантическое моделирование в САПР» для специальности 22.03 -Системы автоматизированного проектирования. Проведено апробирование методики изучения дисциплины в Ижевском государственном техническом университете.

10. Проведен эксперимент по генерации вариантов тестов вступительного экзамена по дисциплине «Информатика». Успех эксперимента показал, что имеются прикладные области, в которых целесообразно использовать результаты настоящей работы. Поиск и автоматизация таких областей является одним из направлений развития семантического конструирования.

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

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

13. Сформулированы новые теоретические и практические задачи семантического моделирования свойств и особенностей изделия в автоматизированных системах. Решение этих задач позволит развить полученные в работе результаты.

ЗАКЛЮЧЕНИЕ

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

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

Частными результатами, отражающими научную новизну и практическую полезность работы, являются:

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

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

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

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

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

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

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

8. Получено решение задачи автоматического синтеза структурного конструкторского решения. Доказаны условия существования решения задачи. Экспериментально установлено, что число шагов поиска решения сокращается

7 9 в 10 - 10 раз по сравнению с поиском решения методом простого перебора вариантов. Имеется потенциальная возможность усовершенствования алгоритма.

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

10. Теоретические эксперименты по обоснованию достоверности научных результатов с помощью аппарата позитивно образованных формул показали родственность задач семантического конструирования и автоматического доказательства теорем.

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

310 семантический язык SL/D для изделий машиностроения и построено его формальное описание, предназначенное для создания программного обеспечения.

12.Разработана экспериментальная автоматизированная система семантического конструирования SD, апробированная на промышленных предприятиях, в проектной организации и в образовательном учреждении. Многочисленные эксперименты проведены в курсовом и дипломном проектировании. Результаты экспериментов полностью отвечают полученным в работе теоретическим результатам, показывают новизну и практическую полезность методики семантического конструирования.

13. Для воспроизведения полученного опыта разработана новая дисциплина «Семантическое моделирование в САПР» для студентов специальности САПР, введенная в учебный процесс ИжГТУ. Отдельные темы работы использовались еще в четырех дисциплинах.

1. Чичварин, Н.В. Экспертные компоненты САПР / Н.В. Чичварин. - М.: Машиностроение, 1991. - 240 с.

2. Дитрих, Я. Проектирование и конструирование. Системный подход: Пер. с польского / Я. Дитрих. М.: Мир, 1981. -456с.

3. Е -программирование / С.С. Гончаров, Д.И. Свириденко // Вычислительные системы. Новосибирск, 1985 . - Вып. 107. -С. 2-29.

4. Логика и практика сборки машин / В.Г. Осетров, Ф.Ю. Свитковский. -Ижевск, 1996. -86 с.

5. Естественный подход к проблеме описания контекстных условий / В.Ш. Кауфман, В.А. Левин // Вестник Московского университета. Серия "Математика и кибернетика"-М.: МГУ, 1977. -Вып. 2. -С. 67-76.

6. Examples of formal semantics / D.E. Knuth // Lecture Notes in Mathematics. -N.Y., Springer-Verlag, 1971. -V. 188. -P.212-235.

7. Программирование в метасинтаксических обозначениях / Е.А. Жого-лев, Е.А. Пилипец //Управляющие системы и машины, 1980. -№ 1, -С.61-65.

8. ISO TC/184/SC4/WGI. STEP documentation.

9. Замулин, А. В. Типы данных в языках программирования и базах данных : монография / А.В. Замулин. Новосибирск: Наука, 1987. -151 с.

10. Справочная книга по математической логике: В 4-х частях / Под ред. Дж. Барвайса.-Ч.1. Теория моделей: Пер. с англ. М.: Наука, Главная редакция физико-математической литературы, 1982. -392с.

11. Справочная книга по математической логике: В 4-х частях / Под ред. Дж. Барвайса.-Ч.Н. Теория множеств: Пер. с англ. М.: Наука, Главная редакция физико-математической литературы, 1982. -376с.

12. Миндлин, Я.3. Логика конструирования : монография / Я.З. Миндлин. М.: Машиностроение, 1969. -124с.

13. Цаленко, М.Ш. Моделирование семантики в базах данных / М.Ш. Ца-ленко. М.: Наука. Главная редакция физико-математической литературы, 1989. -288с.

14. Барков, И.А. Применение V-языка для разработки программ-трансляторов / И.А. Барков, В.И. Баркова // Обмен опытом в области современных методов разработки программ на ЭВМ. Ижевск, 1982. -С.32-33.

15. Барков, И.А. Контекстно-синтаксические модели программ и диагностика контекстных ошибок / И.А. Барков, В.И. Баркова Ижевск: УдГУ, 1984. -Деп. В ВИНИТИ 25.04.84 №2916-84ДЕП. -13с.

16. Барков, И.А. Системы построения трансляторов. Окончательный. Ус-тиновский механический институт. УМИ. Руководитель И.А. Барков. Инв. № НИОТК 23.86. -Устинов: УМИ, 1986. -57с. -Деп. в ВИНИТИ 15.0183, № 01.83.0076095.

17. Барков, И.А. Система построения трансляторов как программное средство САПР / И.А. Барков, В.И. Баркова // Логическое управление с использованием ЭВМ. Труды X всесоюзного симпозиума. М. - Устинов: 1987. -С.156-158.

18. Барков, И.А. Контекстно-синтаксические модели программ и диагностика контекстных ошибок / И.А. Барков, В.И. Баркова // Разработка сложных программных систем. -Ростов-на-Дону: Изд-во РГУ, 1987. -С. 15-24.

19. Барков, И.А. Применение системы построения трансляторов для разработки пакетов программ / И.А. Барков // Компьютеризация информационных процессов в управлении народным хозяйством. -М., 1988. -Часть 1. -С. 14-15.

20. Барков, И.А. Автоматизированное конструирование текстовых преобразователей в САПР / И.А. Барков // Шестой всесоюзный научно-технический семинар "Математическое обеспечение систем с машинной графикой". Ижевск-Махачкала, 1989. -С. 27-29.

21. Барков, И.А. Автоматизация проектирования тестов по схемам алгоритмов / И.А. Барков, Н.Н. Карпова // Ученые Ижевского механического института производству. Научно-техническая конференция. -Ижевск, 1990. -С.176-177.

22. Барков, И.А. Разработка универсального средства обработки языков описания данных. Ижевский механический институт. Руководитель И.А.Барков. Отчет. № 01870097338. -Ижевск: ИМИ, 1990. -30с.

23. Автоматизированное проектирование: Пер. с англ. / Ж. Энкарначчо, Э. Шлехенталь М.: Радио и связь, 1986. -288с.

24. Осуга, С. Обработка знаний: Пер. с япон. / С. Осуга. -М.: Мир, 1989.289 с.

25. Представление и использование знаний: Пер. с япон. / Под ред. X. Уэно, М.Исидзука. -М.: Мир, 1989. -220 с.

26. Приобретение знаний: Пер. с япон./ Под ред. С. Осуга, Ю. Саэки. -М: Мир, 1989. -304 с.

27. Лингвистический энциклопедический словарь / Гл. редактор В.Н. Ярцева. -М.: Советская энциклопедия, 1990. -685 с.

28. Шрейдер, Ю.А. Типология как основа интеграции знаний / Ю.А. Шрейдер // НТИ. -М, 1981. -Серия 2. -№11. -С.1-5.

29. Апресян, Ю.Д. К построению языка для описания синтаксических свойств слова / Ю.Д. Апресян // Проблемы структурной лингвистики. -М., 1972-1973.-С. 279-235.

30. Таленс, Я.Ф. Работа конструктора / Я.Ф. Таленс. -J1.: Машиностроение. Ленингр. отделение, 1987. -255с.

31. Манна, 3. Теория неподвижной точки программ / 3. Манна // Кибернетический сборник. -М., 1978. -Вып. 15. -С. 38-100.

32. Клини, С. Введение в метаматематику / С. Клини. -М.: ИЛ, 1957.170с.

33. Resher, N. Many-valued logic / N. Resher. -N.Y., 1969.-365p.

34. Скотт, Д. Набросок математической теории вычислений / Д. Скотт // Кибернетический сборник. -М., 1977. -Вып. 14. -С.107-121.

35. Донаху, Дж. Взаимодополняющие определения семантики языка программирования / Дж. Донаху // Синтаксис и семантика языков программирования. -М., 1980. -С. 222-394.

36. Теория моделей / Г. Кейслер, Ч. Чен. -М.: Мир, 1977. -306 с.

37. Джонс, Дж.К. Методы проектирования : пер.с англ. / Дж. К. Джонс -2-е изд.доп. -М.: Мир, 1986. -386с.

38. Дмитров, В.И. Опыт внедрения CALS за рубежом / В.И. Дмитров // Автоматизация проектирования. -М., 1997. -№1. -С.3-9.

39. Проектирование ракетных двигателей твердого топлива / A.M. Липа-нов, А.В. Алиев. -М.: Машиностроение, 1995. -400с.

40. Половинкин, А.И. Методы инженерного творчества / А.И. Половин-кин. -Волгоград: Изд-во ВПИ, 1984. -365с.

41. Половинкин, А.И. Основы инженерного творчества: учеб. пособие для студентов втузов / А.И. Половинкин. -М.: Машиностроение, 1988. 368 с.

42. Автоматизация поискового конструирования / Под ред. А.И.Половинкина. -М.: Радио и связь, 1981. -344 с.

43. Koller, R. Konstruktionsmethode fur den Maschinen Gerate und Appa-ratenbau /R. Koller. -Berlin: Springer-Verlag, 1976. -165 p.

44. Инструкция по государственной научно-технической экспертизе изобретений (ЭЗ-2-74). -М.: Изд-во ЦНИИ ПИиТЭИ, 1975. -62 с.

45. Мюллер, И. Эвристические методы в инженерных разработках : пер. с нем / И. Мюллер. -М.: Радио и связь, 1984. -144с.

46. Рубашкин, В.Ш. Представление и анализ смысла в интеллектуальных информационных системах / В.Ш. Рубашкин. -М.: Наука, 1989. -192с.

47. Вирт, Н. Алгоритмы+структуры данных = программы : пер. с англ. / Н. Вирт. -М.: Мир, 1985. -406с.

48. Объектно-ориентированное программирование / Г.С. Иванова и др.. -М.: Из-во МГТУ им. Н.Э.Баумана, 2001. -320с

49. Ингенблек, В. Все о мультимедиа / В. Ингенблек. -Киев: BHV, 1996.352с.

50. Никогосов, C.JI. Лингвистическая семантика и логика / С.Л. Никогосов // Семантический компонент в системах автоматического понимания текстов. -М.: ВЦП, 1982. -С. 73-78.

51. Гладкий А.В., Мельчук И.А. Элементы математической лингвистики. -М.: Наука, 1969. -192с.

52. Семантика языков программирования : пер. с англ. / Под ред. В.М. Ку-рочкина. -М.: Мир, 1980. -398с.

53. Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. -М.: Наука, 1976. -320с.

54. Кнут, Д. Семантика контекстно-свободных языков / Д. Кнут // Семантика языков программирования. -М.: Мир, 1980. -С.137-161.

55. Язык Пролог в вычислительных системах пятого поколения : пер. с англ. -М.: Мир, 1988. -235 с.

56. Паскаль. Руководство для пользователя и описание языка: пер. с англ. / К. Йенсен, Н. Вирт. -М.: Финансы и статистика, 1982. -151с.

57. Харофас, Д. Конструкторские базы данных : пер. с англ. Д.Ф. Миронова/ Д. Харофас, С. Легг. -М.: Машиностроение, 1990. -224с.

58. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ : пер. с англ. / Г. Буч. -М.: «Издательство Бином», СПб: «Невский Диалект», 1998 г. -560 с.

59. Норенков, И.П. Основы автоматизированного проектирования : учеб. для вузов / И.П. Норенков. -М: Изд-во МГТУ им. Н.Э. Баумана, 2000. -360с.

60. Bochman, G.V. Semantic evaluation from left to right / G.V. Bochman // Comm. ACM. -1976. -Vol. 19. -№2. -P.55-62.

61. Мир Лиспа. В 2-х т. -Т.1: Введение в язык Лисп и функциональное программирование / Э. Хювенен, Й. Сеппянен. -М.: Мир, 1990. -447с.

62. Крицкий, С.П. Аксиоматическое описание контекстных связей и условий/ С.П. Крицкий. //Программирование, 1980. -№6. -С. 17-26.

63. Клещев, А.С. Реляционная модель вычислений / А.С. Клещев. -Владивосток, 1979. -21с. -Препринт / Институт автоматики и процессов управления.

64. Клещев, А.С. Реляционный язык программирования и принципы его реализации на последовательной ЭВМ / А.С. Клещев. -Владивосток, 1979. -20с. -Препринт/Институт автоматики и процессов управления.

65. Клещев, А.С. Реляционная модель вычислений / А.С. Клещев // Программирование, 1980. -№4. -С.20-29.

66. Крицкий, С.П. Модель асинхронных вычислений в структурах и языки программирования / С.П. Крицкий // Методы трансляции : сбор. науч. статей. -Ростов-на-Дону: Изд-во Ростовского-на-Дону государственного университета, 1981. -С.92-100.

67. Крицкий, С.П. Модель асинхронных вычислений в структурах / С.П. Крицкий // Автоматизация производства пакетов прикладных программ. -Таллин: 1980. -С.95-98.

68. Крицкий, С.П. Реализация контекстного анализа с помощью вычислений в структурах/ С.П. Крицкий //Автоматизация производства пакетов прикладных программ. -Таллин: 1980. -С.91-94.

69. Алексеев, В.Б. Монотонная булевая функция / В.Б. Алексеев // Математическая энциклопедия. -М.: Советская энциклопедия, 1982. -ТЗ. -С.812-813.

70. Semantic programming / S.S. Goncharov, Y.L. Ershov, D.I. Sviridenko // Information Processing. Congres IFIP. -North Holland, 1986. -P. 1093-1100.

71. Ершов, Ю.Л. Динамическая логика над допустимыми множествами / Ю.Л. Ершов //Доклады АН СССР, 1983. Вып. 273. -№ 5. -С.1045-1048.

72. Ершов, Ю.Л. Е предикаты конечных типов над допустимыми множествами / Ю.Л. Ершов // Алгебра и логика, 1985. -Вып. 24. -№ 5. -С.499-536.

73. Ершов, Ю.Л. Язык Е выражений / Ю.Л. Ершов // Вычислительные системы. -Вып. 116.-Новосибирск, 1986.-С.3-10.

74. Денотационная семантика языка Е выражений / В.Ю. Сазонов, Д.И. Свириденко // Вычислительные системы. -Вып. 114. -Новосибирск : ИМ АН СССР, 1986. -С. 16-34.

75. Свириденко, Д.И. Проектирование Е программ. © - оцениваемость / Д.И. Свириденко // Вычислительные системы. -Вып. 114. -Новосибирск : ИМ АН СССР, 1986. -С. 59-83.

76. Смолян, A.M. Ридэр логический язык для разработки систем обработки данных / A.M. Смолян // Всесоюзная конференция по прикладной логике. -Новосибирск : ИМ АН СССР, 1985. -С. 196-199.

77. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. Пер. с нем. В 2-ч. -4.1. / Ф.Л. Бауэр, Г. Гооз. -М.: Мир, 1990. -336с.

78. Локшин, С.М. Интеграция электронных геометрических и текстовых данных об изделии на этапе подготовки производства : автореф. дисс. . канд.техн.наук : 05.01.01 / С.М. Локшин. -Нижний Новгород, 2000. -48с.

79. Scott, D. Lectures on a Mathematical Theory of Computation / D. Scott // Theoretical Foundations of Programming Methodology. -Dordrecht: Reidel, 1982. P. 145-292.

80. An Information Algebra // Communication of ACM. -1962. -5. N4. p. 190-204.

81. Логическое программирование : сбор. науч. статей. -М.: Мир, 1988.368 с.

82. Прат, Т. Языки программирования. Разработка и реализация / Т. Прат. -М.: Мир, 1979. -575с.

83. Барендрегт, X. Ламбда-исчисление. Его синтаксис и семантика : пер. с англ. / X. Барендрегт. -М.: Мир, 1985. -606с.

84. Искусство программирования на языке Пролог : пер. с англ. / Л. Стерлинг, Э. Шапиро. -М.: Мир, 1990. -235с.

85. Агафонов, В.Н. Типы и абстракция данных в языках программирования / В.Н. Агафонов // Данные в языках программирования. -М.: Мир, 1982. -С. 265-327.

86. Кучуганов, В.Н. Автоматический анализ машиностроительных чертежей / В.Н. Кучуганов. -Иркутск : Изд-во Иркутского университета, 1985. -112с.

87. Шрейдер, Ю.А. Перевод как морфизм моделей / Ю.А. Шрейдер // Математическая лингвистика. -М.: Наука, 1973. -С. 104-113.

88. Янсен, Й. Курс цифровой электроники : пер. с голландского : в 4-т. -Т1. Основы цифровой электроники на ИС / И. Янсен. -М.: Мир, 1987. -334 с.

89. Шашкин, Ю.А. Неподвижные точки / Ю.А. Шашкин. -М.: Наука, 1989. -80с.

90. Теория синтаксического анализа, перевода и компиляции : в 2-х т. / А. Ахо, Дж. Ульман. -Том 1. Синтаксический анализ. -М.: Мир, 1978. -612с.

91. Теория синтаксического анализа, перевода и компиляции : в 2-х т. / А. Ахо, Дж. Ульман. -Том 2. Компиляция-М.: Мир, 1978. -487с.

92. Клини, С. Математическая логика / С. Клини. -М.: Мир, 1973.480с.

93. Шрейдер, Ю.А. Равенство, сходство, порядок / Ю.А. Шрейдер. -М.: Наука, 1971.-250с.

94. Борщев, В.Б. Формальный язык как часть естественного / В.Б. Бор-щев // Научно-техническая информация. Серия 2. Информационные процессы и системы, 1994. -№1. -С.27-31.

95. Введение в математическую логику / А.Н. Колмогоров, А.Г. Драга-лин. -М.: Изд-во МГУ, 1982. -119с.

96. Проектирование механических передач : учебно-справочное пособие для втузов / С.А.Чернавский и др.. -5е изд. -М.: Машиностроение, 1984. -560с.

97. Вермишев, Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем / Ю.Х. Вермишев. -М.: Радио и связь, 1982.

98. Системы автоматизированного проектирования электронной и вычислительной аппаратуры / И.П. Норенков, В.Б. Маничев. -М.: Высшая школа, 1983.

99. Пиотровский, Р.Г. Текст, машина, человек / Р.Г. Пиотровский. -JL: Наука, 1975.

100. Гридин, В.Н. Теоретические основы построения базовых адаптируемых компонентов САПР МЭА / В.Н. Гридин. -М.: Наука, 1983. -256с.

101. Колчин, А.Ф. Основные принципы разработки интеллектуальных систем проектирования / А.Ф. Колчин // Конструкторско-технологическая ин-форматика-2000 : труды IV международного конгресса : в 2-х томах. -Том 1. -М.: Изд-во «Станкин», 2000. -С.280-283.

102. Большая советская энциклопедия : изд. 3-е : в 30 томах./ Гл. ред. А. М. Прохоров. -М.: Советская энциклопедия, 1970- 1978.

103. Словарь русского языка в четырех томах / Под ред. А.П.Евгеньевой. -Т. 1. -АН СССР. Ин-т рус. яз. -М: Русский язык, 1985 1988.

104. Колшанский, Г.В. Компоненты структуры текста / Г.В. Колшанский // Лингвистика в высшей школе. -Вып. X. -М., 1981. -С.2-13.

105. Кубрякова, Е.С. Номинативный аспект речевой деятельности / Е.С. Кубякова. -М.: Наука, 1986. -256с.

106. Москальская, О.И. Проблемы системного описания синтаксиса / О.И. Москальская. -М.: Высшая школа, 1974. -342с.

107. Маулер, Ф.И. Виды асимметрии между сторонами языкового знака / Ф.И. Маулер // Асимметрические знаки в языке. -Орджоникидзе, 1987. -С. 1215.

108. Горский, Д.П. Вопросы абстракции и образование понятий / Д.П. Горский.-М., 1961.

109. Анализ развивающегося понятия / А.С. Арсеньев, B.C. Библер, Б.М. Кедров.-М.: 1967.

110. Войшвилло, Е.К. Понятие / Е.К. Войшвилло. -М.: 1967.

111. Справочная книга по математической логике : в 4-х частях / Под ред. Дж. Барвайса.-Ч.Ш. Теория рекурсии : пер. с англ. М.: Наука, Главная редакция физико-математической литературы, 1982. -360с.

112. Барков, И.А. Описание свойств изделий в САПР редукторов / И.А. Барков // Пространство зацеплений : сборник докладов научного семинара Учебно-научного центра зубчатых передач и редукторостроения. -Ижевск: Изд-во ИжГТУ, 2001.-С. 159-169.

113. Шаринбаев, А.А. Формализация семантики языка РЕФАЛ / А.А. Шаринбаев // Программирование, 1987. №3. -С. 32-41.

114. Барков, И.А. Конструкторские модели в многозначной логике / И.А. Барков // Информационная математика, 2001. -№ 1. -С.212-219.

115. Компиляторы: принципы, технологии и инструменты. : пер. с англ. / А. Ахо, Р. Сети, Дж. Ульман -М.: Издательский дом «Вильяме», 2001. -768с.

116. Толковый словарь по информатике / В.И. Першиков, В.М. Савинков. -М.: Финансы и статистика, 1991. -543с.

117. Слюдиков, М.Н. Проектирование деталей, узлов, приводов и механизмов летательных аппаратов / М.Н. Слюдиков. -М.: Машиностроение, 1967. -391с.

118. Орлов, П.И. Основы конструирования: Справочно-методическое пособие : в 2-х кн. / Под ред. П.Н.Учаева. -М.: Машиностроение, 1988. -Кн.1.-560с. -Кн.2. -544с.

119. Крайнев, А.Ф. Словарь-справочник по механизмам / А.Ф. Крайнев. -М.: Машиностроение, 1987. -560с.

120. Артоболевский, И.И. Механизмы в современной технике : в 10 томах / И.И. Артоболевский. -М.: Наука, 1979.

121. Барков, И.А. Математическая лингвистика: конспект лекций для студентов специальностей 22.02 Автоматизированные системы обработки информации и управления и 55.28 Информатика и вычислительная техника / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2001. -85с.

122. Кузьменкова, Е.А. Программирование в метасинтаксических обозначениях / Е.А. Кузьменкова : дисс. . канд. физ. мат. наук. -М, 1982.

123. Жоголев, Е.А. Система синтаксически управляемого конструирования текстов СИНУК / Е.А. Жоголев // Вычислительные методы и программирование. -ML: Изд-во МГУ, 1984. -Вып. 33. -С. 28-46.

124. Ветлова, И.В. Синтаксический гиперанализатор для программирования в метасинтаксических обозначениях / И.В. Ветлова // Вычислительные методы и системы обработки данных на ЭВМ. -М.: Изд-во МГУ, 1988. -С. 135142.

125. Полный справочник по Java : пер. с англ. / П. Нотон, Г. Шилд. -Киев: Диалектика, 1997. -592 с.

126. Логика / В.Е. Кирилов, А.А. Старченко. -М.: Высшая школа, 1987.271с.

127. Логический словарь / Под ред. Ивина А.А., Переверзева В.Н., Петрова В.В. -М.: Мысль, 1994. -268 с.

128. Линдон, Р. Заметки по логике : пПер с англ. / Р. Линдон -М.: Мир, 1968.-128 с.

129. Данные в языках программирования. -М.: Мир, 1982. -328 с.

130. Диалоговое проектирование технологических процессов / Н.М. Капустин, В.В. Павлов, JI.A. Козлов и др. -М.: Машиностроение, 1983. -255с.

131. Автоматизация конструкторского и технологического проектирования / Н.М. Капустин, Г.Н. Васильев. -М.: Высшая школа, 1986. -191с.

132. Лескин, А.А. Алгебраические модели гибких производственных систем / А.А. Лескин. -Л.: Наука, 1986. -150с.

133. Макаров, И.М. Системные принципы создания гибких автоматизированных производств / И.М. Макаров. -М.: Высшая школа, 1986. -175с.

134. Норенков, И.П. Введение в автоматизированное проектирование технических устройств и систем / И.П. Норенков. -М.: Высшая школа, 1986. -304с.

135. Павлов, В.В. Математическое обеспечение САПР в производстве летательных аппаратов / В.В. Павлов. -М.: МФТИ, 1978. -68с.

136. Основы построения систем автоматизированного проектирования / А.И. Петренко, О.И. Семенков. -Киев, Вища школа, 1985. -294с.

137. САПР. Типовые математические модели объектов проектирования в машиностроении : методические указания РД50-464-84. -М.: Изд-во стандартов, 1985. -202с.

138. Технология сборки самолетов / В.И. Ершов, В.В. Павлов, М.Ф. Ка-ширин, B.C. Хухорев. -М.: Машиностроение, 1986. -456с.

139. Цветков В.Д. Системно-структурное моделирование и автоматизация проектирования технологических процессов / В.Д. Цветков. -Минск: Наука и техника, 1979.-264с

140. Павлов, В.В. Структурное моделирование производственных систем : учебное пособие / В.В. павлов. -М.: Мосстанкин, 1987. -80с.

141. Информационные системы общего назначения. -М.: Статистика, 1974. -471с.

142. Теоретико-игровая семантика позитивно-образованных формул / С.Н. Васильев, А.К. Жерлов // Российская ассоциация по искусственному интеллекту.

143. Восьмая национальная конференция по искусственному интеллекту с международным участием КИИ-2002 : труды конференции. -Т 1. -М.: Физматлит., 2002. -С.51-59.

144. Интеллектуальное управление динамическими системами / С.Н. Васильев, А.К. Жерлов, Е.А. Федосов, Б.Е. Федунов. -М.: Физмат лит., 2000. -250с.

145. Васильев, С.Н. От классических задач регулирования к интеллект-ному управлению / С.Н. Васильев // Известия РАН, 2001. -№ 1

146. Hintikka, J. Language Games for Quantifiers / J. Hintikka // Studies in Logical Theory. -Oxford, 1968.

147. Макай, M. Допустимые множества и бесконечная логика / М. Макай // Справочная книга по математической логике : в 4-х частях // Под ред. Дж. Барвайса.-Ч.1. Теория моделей : пер. с англ. М.: Наука, 1982. -С .235-288.

148. Формальная модель стандарта Фортрана : препринт / A.JI. Александров, В.Ш. Кауфман. -Владивосток : ИАПУ ДВНЦ АН СССР, 1982. -24с.

149. Степанов, A. Pro/Ingeneer. Специальный справочник / А. Степанов. -СПб: Изд-во «Питер», 2001. -646с.

150. Братко, И. Программирование на языке Пролог для искусственного интеллекта : пер. с англ. / И. Братко. -М.: Мир, 1990. -560с.

151. Технология сборочного производства в машиностроении : учеб. пособие / И.В.Абрамов, В.Г.Осетров, И.К.Пичугин, Ю.Б.Ярхов; Под общ. ред. И.В.Абрамова, В.Г.Осетрова. -Ижевск: Изд-во ИжГТУ, 2002. -460с.

152. Теоретические основы проектирования компиляторов / Ф. Льюис, Д. Розенкранц, Р. Стирнз. -М.: Мир, 1979. -483с.

153. Грис, Д. Конструирование компиляторов для цифровых вычислительных машин / Д. Грис. -М.: Мир, 1975. -544с.

154. Солтон, Дж. Динамические библиотечно-информационные системы / Дж. Солтон. -Москва: Мир, 1979. -516с.

155. Барков, И.А. Теория конструкторской семантики / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2003. -360с.

156. Барков, И.А. Лингвистическое и программное обеспечение САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -81с.

157. Барков, И.А. Семантическое моделирование в САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования / И.А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -98с.

158. Барков, И.А. Автоматический синтез структурного описания конструкции / И.А. Барков // Информационные технологии, 2004. -№3. -С.4-12.

159. СНиП II-3-86** Строительная теплотехника/Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1986. -32с.

160. СНиП 2-01.07-88. Нагрузки и воздействия : Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1988. -36с.

161. СНиП 2-08.01-89. Жилые здания : Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1990. -16с.

162. Достоверный и правдоподобный вывод в интеллектуальных системах / В.Н. Вагин, Е.Ю. Головина, А.А. Загорянская, М.В. Фомина / Под ред. В.Н.Вагина, Д.А.Поспелова. -М.: Физматлит, 2004. -704с.

163. Непейвода, Н.Н. Прикладная логика / Н.Н. Непейвода. -Новосибирск: Изд-во НГУ, 2000. -490с.

164. Polymorphism, Parametrization and Typing. An Algebraic Specification Perspective / J. Leszczylowsky, M. Witsing // Symp. on Theor. Asp if Computer Sci. 1991.-P.1-15.

165. Искусственный интеллект в CASE-технологии / В.Н. Вагин, Е.Ю. Головина, Н.О. Салапина // Программные системы и продукты. -Тверь: НИИ «Центрпрограммсистем», 1996. -№3. -С. 13 -21.

166. Базы знаний интеллектуальных систем / Т.А. Гаврилова, В.Ф. Хорошевский. -СПб.: Питер, 2000. -384с.

167. Логический подход к искусственному интеллекту: от модальной логики к логике баз данных / А. Тейз, П. Грибомон, Г. Юлен и др. -М.: Мир, 1998. -494с.

168. Статические и динамические экспертные системы / Э.В. Попов, И.Б. Фоминых, Е.Б. Кисель, М.Д. Шапот. -М.: Финансы и статистика, 1996. -319с.

169. Основания программирования /Н.Н. Непейвода, И.Н. Скопин -М.Ижевск: Институт компьютерных исследований, 2003. -868с.

170. Альтшуллер, А.С. Творчество как точная наука. Теория решения изобретательских задач / А.С. Альтшуллер. -М.: Советское радио, 1979. -184с.

171. Современные понятия и методы программирования / М.М. Бежано-ва, И.В. Поттосин. -М.: Научный мир, 2000.

172. Вендров, A.M. CASE-технологии. Современные методы и средства проектирования информационных систем / A.M. Вендров. -М.: Финансы и статистика, 1998.

173. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Ворссидес. -СПб: Питер, 2001.-368с.

174. Ковальски, Р. Логика в решении проблем / Р. Ковальски. -М.: Наука, 1990. -280с.

175. Интеллектное управление динамическими системами / С.Н. Васильев, А.К. Жерлов, Е.А. Федосов, Б.Е. Федунов. -М.: Физико-математическая литература, 2000. -352с.

176. Онтологии и тезаурусы / Б.В. Добров, В.В. Иванов, Н.В. Лукашевич, В.Д. Соловьев. -Казань: Казанский государственный университет, 2006. -198 с.

177. Шемакин, Ю.И. Тезаурус научно-технических терминов / Ю.И. Шемакин. -М.: Военное из-во министерства обороны СССР, 1974. -192с.

178. Поляков, В.Н. Проект WordNet и его влияние на технологии компьютерной и когнитивной лингвистики : обзорная статья / В.Н. Поляков // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2002. -Казань, 2002,-С.6-61.

179. Ландэ, Д. Семантический веб: от идеи к технологии URL / Д. Ландэ. -2005. (http://poiskbook.kiev.ua/sw.html)

180. Базы знаний интеллектуальных систем / Т. Гаврилова, В. Хорошевский. -С-Пб. Литер, 2002. -384 с.

181. Тест по информатике № 1. -Федеральный центр тестирования, 2006. -4с.

182. Барков, И.А. Концепция конструкторской семантики / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.213-229.

183. Барков, И.А. Описание проблемной области изделия в интеллектуальных САПР / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.230-245.

184. Барков, И.А. Семантика описания свойств и особенностей изделия / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.246-260.

185. Барков, И.А. Интерпретация описания свойств и особенностей изделия / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.423-436.

186. Барков, И.А. Семантические конструкторские модели / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.437-452.

187. Барков, И.А. Монотонные вычисления конструкторской семантики / И.А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.453-469.

188. Барков, И.А. Свойства декларативной конструкторской семантики / И.А. Барков // Вестн. ИжГТУ. -2007. -№2. -С.20-27.

189. Барков, И.А. Формальная система свойств и особенностей изделия / И.А. Барков // Вестн. ИжГТУ. -2007. -№3. -С.5-13.

190. Барков, И.А. Декларативная конструкторская семантика свойств и осбенностей изделия в интеллектуальных САПР / И.А. Барков // Вестн. ИжГТУ. -2007. -№4.-С. 18-26.

191. Язык описания трехмерных сцен. Версия 2. / В.Н. Кучуганов, А.Е. Лопаткин // Программирование. 1996. № 2. -С. 64-69.

192. Кучуганов, В.Н. Семантика графической информации. Известия ТРТУ. Тематич. вып. "Интеллектуальные САПР" : материалы междунар. на-учн.-техн. конф. "Интеллектуальные САПР" / В.Н. Кучуганов. -Таганрог: Изд-во ТРТУ, 2002. -№3(26). -С. 157 166.

193. Кучуганов, В.Н. Визуальное моделирование текстов / В.Н. Кучуганов // Труды Междунар. научно-технич. конференций "Интеллектуальные системы" (AIS'05)" и "Интеллектуальные САПР" (CAD-2005). М.: ФИЗМАТ-ЛИТ, 2005. - Т. 4. -С. 104-114.