Delist.ru

МОДЕЛИРОВАНИЕ КОНСТРУКТОРСКОЙ СЕМАНТИКИ (10.09.2007)

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

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

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

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

Шестая глава посвящена описанию практических результатов использования разработанных методов, лингвистических средств и алгоритмов при создании систем АП. Целью экспериментальных исследований является практическая проверка полученных в работе теоретических результатов. Содержанием эксперимента является: разработка языка 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 ( Х Истина

Значение

загрузка...