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

Рассмотрим теперь последовательность моделей M0, M1, M2, … языка L, где M0 - пустое обогащение модели теории T в языке L до модели теории T в языке L, и - преобразование, соответствующее аксиоме (4.5) с монотонным функционалом . В этой последовательности каждая модель является частичным обогащением для всех предыдущих в силу монотонности преобразования , т.е. . Будем называть такую последовательность цепью моделей, полученную преобразованием .

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

Теорема. Пусть - расширение теории T с помощью определяющей аксиомы вида (4.5) для символа R; M - модель теории T и функционал непрерывен. Тогда

а) модель M обладает единственным обогащением, являющимся моделью теории . Таким обогащением является наименьшая верхняя грань последовательности частичных обогащений , ;

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

e) r монотонна.

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

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

Пусть дана теория T=THTS в языке прикладного исчисления предикатов L сигнатуры , где TH - множество структурных аксиом. Пусть TS=TDTC, где TD - аксиомы - определения предикатных и функциональных символов вида (4.3), (4.4), (4.5). Множество THTD представляет собой систему аксиом, определяющих сигнатуру (словарь) профессионального расширения базового языка и, одновременно, предикатных СиОИ ТС.

В соответствии с общей теорией конструкторской семантики и технологией автоматизированного конструирования рассмотрены четыре уровня конструкторской модели: а) структурная конструкторская модель , б) параметризованная структурная конструкторская модель MH, в) сигнатурная конструкторская модель MD, г) семантическая конструкторская модель M. Для построения модели необходимо реализовать все нульместные операции из описаний TH, т.е. построить непараметризованное СКР. В непараметризованном СКР присутствуют все структурные свойства изделия, но не указаны конкретные значения простых конструкторских данных, т.е. терминальных узлов СКР. Для построения модели MH необходимо параметризовать СКР. Модель MD получается из модели MH атрибутированием параметризованного СКР вычислением значений одно-, дву- и т.д. местных операций, определенных в TD. И, наконец, M совпадает с MD, если на MD выполняются все аксиомы из TC. Конструкторская модель более высокого уровня получается как обогащение модели предыдущего уровня, т.е. имеет место MH MD М.

Задача семантического анализа конструкции формулируется теперь так. Дана (возможно частичная) параметризованная структурная конструкторская модель MH, проверить, является ли MH решением (моделью) системы логических соотношений TS. Теоретические основы этой задачи введены (глава 4) в виде пошагового процесса обогащения моделей до получения искомой. Если все аксиомы-ограничения на построенном обогащении M истинны, то M является моделью теории T, т.е. решением поставленной задачи. Если некоторые предикатные свойства на обогащении M получают значения л, то задачу построения модели теории T, удовлетворяющей начальным условиям MH будем называть некорректно поставленной, а параметризованное СКР - некорректным. Если некоторые предикатные свойства на обогащении M получают значения i (i=1, … , n), то полученная частичная модель, во-первых, может быть недостроенной и автоматизированная система подскажет, что еще нужно сделать; во-вторых, может быть не пригодной к использованию из-за конструкторских ошибок; в-третьих, может быть вполне приемлемой (неопределенные значения появились из-за отсутствия в конструкции необязательных элементов). Сама теория T всегда считается непротиворечивой, а обогащение M по начальным условиям MH определяется единственным образом.

Потребности прикладной задачи, создания конструкции, удовлетворяющей заданным свойствам изделия, диктуют необходимость выявления источников некорректности параметризованных СКР с целью последующего их устранения. Очевидно, что с некорректностью параметризованных СКР связано множество тех атомных предложений из диаграммы обогащения M, значения которых влекут невыполнимость аксиом-ограничений, т.е. влекут значения л или i (i=1, … , n) хотя бы для одной аксиомы. Множество d(M) таких атомных предложений из диаграммы обогащения в работе названо диагностическим множеством СКР. Ясно, что d(M) должно быть пустым для любой модели M теории T, однако в работе рассмотрены варианты, когда частичная модель с непустым диагностическим множеством d(M) может рассматриваться как допустимое СКР. Под диагностикой СКР понимается процесс получения диагностического множества d(M) или его подмножеств. Для выделения диагностического множества d(M) в работе введено прямое и обратное диагностические преобразования над формулами и рассмотрены различные варианты его применения с целью построения гибкой адаптивной к пользователю системы диагностики и локализации конструкторских ошибок.

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

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

Понятие С Cостав n1:j1, , nk:jk

Атрибуты nk+1:jk+1, , nl:jl

Внешние nl+1:jl+1, , nm:jm (5.1)

Пусть z - начальный элемент вида n0, j0, p0, где n0 - конструкторское имя изделия, j0 - конструкторский тип изделия, p0 - позиция начального элемента в СКР.

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

а) корень дерева D помечен начальным элементом вида n0, j0, p0;

б) если - поддеревья, над которыми доминирует прямой потомок корня дерева, и корень дерева помечен , то существует спецификация конструкторского понятия вида (5.1), в которой в качестве С выступает , а в разделах «Cостав» или «Атрибуты» или «Внешние» имеется пара ; Di должно быть деревом порождения, если имеется спецификация конструкторского понятия ji вида (5.1); Di состоит из единственного узла, помеченного , если является базовым типом данных и пара входит в раздел параметров; Di содержит узел, помеченный , если имеется спецификация вида (5.1) и раздел «состав» не содержит ни одного элемента;

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

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

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

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

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



. (5.2)

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

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

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

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

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

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

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

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

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

Понятие С [H] [I] [V] [S] [A] [B] [F] [R] [M] [P] Конец С. (6.1)

В выражении (6.1) используются следующие обозначения:

С - наименование вводимого конструкторского понятия;

выражения «Понятие С» и «Конец С» образуют отделяющие каждую спецификацию от других структурные скобки;

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

H - наследование, I - референциальное тождество, V - формальные параметры понятия, S - состав, A - атрибуты понятия, B - внешние объекты; F - функции, R - отношения, M - множества, P - предикатные свойства. Описания F, R, M и P могут следовать в произвольном порядке.

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

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

Параметры

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

Толщина_подвижной_детали_l : вещественное,

Расстояние_L : вещественное.

Состав

Ф : {фиксатор},

П : {пружина}.



Атрибуты

Коэффициент_трения : {вещественное: 0.1}.

Функция Поднимающая_сила_Р(Х : фиксация) : вещественное

Область определения

Найти Сила_затяжки Х Найти Угол_конуса Х Истина

Значение Сила_затяжки из Х / Sin (Угол_конуса из Х / 2)

Конец функции

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

Область определения Найти Угол_конуса Х Истина

Значение Поднимающая_сила_Р(Х) * Cos (Угол_конуса из Х / 2)

Конец функции

Функция Реактивная_сила_N1(Х : фиксация) : вещественное

Область определения

Найти Расстояние_L Найти Толщина_подвижной_детали_l Х Истина

Значение

Реактивная_сила_на_конусе(Х) * Расстояние_L /

Толщина_подвижной_детали_l

Конец функции

Функция Реактивная_сила_N2(Х : фиксация) : вещественное

Область определения

Найти Расстояние_L Найти Толщина_подвижной_детали_l Х

Истина

Значение

Реактивная_сила_на_конусе(Х) * (Расстояние_L /

Толщина_подвижной_детали_l -1)

Конец функции

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

Область определения

Найти Расстояние_L Найти Толщина_подвижной_детали_l Х Истина

Значение

Реактивная_сила_N1(Х) * Коэффициент_трения +

Реактивная_сила_N2(Х) *

Коэффициент_трения + Поднимающая_сила_Р (Х) *

Коэффициент_трения * Cos(Угол_конуса / 2)

Конец функции

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

Область определения Найти Угол_конуса Х Истина

Значение Поднимающая_сила(Х) * Sin (Угол_конуса / 2)

Конец функции

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

Сила_поднятия(Х) > Силы_противодействия (Х)

Свойство Для Х : фиксация Тип_соединения из Х = Если

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

Конец фиксация

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

Состав Нет Состав Нет

Атрибуты Атрибуты

Угол_конуса : {вещественное}. Сила_затяжки : {вещественное}.

Конец фиксатор Конец пружина

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

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

В главе также приведено описании программной реализации экспериментальной системы семантического конструирования SD. Основная цель разработки SD состояла в следующем:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

13. Разработана экспериментальная автоматизированная система семантического конструирования SD, апробированная на «Ижевском механическом заводе», на Ижевском заводе «Редуктор», ГУП Республики Татарстан «Татинвестгражданпроект», в ИжГТУ. Проведенные эксперименты полностью подтвердили полученные в работе теоретические результаты, показали новизну и практическую полезность разработанного метода.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5. Барков, И.А. Интеграция профессиональных знаний в CALS-технологиях на основе конструкторской семантики / И.А. Барков // Конструкторско-технологическая информатика-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.

10. Барков, И.А. Семантическая сочетаемость конструкторских понятий и описание свойств изделия в САПР / И.А. Барков // Материалы Международной научно-технической конференции, посвященной 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.

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

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

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

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с.

Размещено на Allbest.ur

...