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

1.  процесс: это совокупность этапов и/или действий;

2.  методики (правила) выполнения этапов и/или действий;

3.  средства представления исходной, результирующей и справочной информации.

Основные этапы вариантов реализации МАИТ можно определить следующим образом:

1.  для выполнения отображения строго по уровням абстрагирования:

шаг 1: К1—>И1—>Д1 — на основе отображения моделей разного вида на абстрактном уровне 1;

шаг 2: (К1—>К2, И1—>И2, Д1—>Д2) Þ К2—>И2—>Д2 — на основе уточнения абстрактных моделей 1 объектными 2, а затем отображение моделей на объектном уровне 2;

шаг 3: (К2—>К3, И2—>И3, Д2—>Д3) Þ К3—>И3—>Д3 — на основе сначала уточнения объектных моделей 2 конкретными 3, а затем отображение на конкретном уровне 3;

2.  для выполнения отображений строго по видам модели:

шаг 1: К1—>К2—>К3 — на основе уточнения моделей одного вида;

шаг 2: (К1—>И1, К2—>И2, К3—>И3) Þ И1—>И2—>И3 — на основе отображения концептуальных моделей в инфологические, а затем уточнения инфологических моделей;

шаг №: (И1—>Д1, И2—>Д2, И3—>Д3) Þ Д1—>Д2—>Д3 — на основе отображения инфологических моделей в датологические на всех уровнях, а затем уточнения датологических моделей;

3.  для комбинирования отображений по уровням абстрагирования и по видам моделей:

шаг 1: К1—>К2;

шаг 2: (К1—>И1, К2—>И2) Þ И1—>И2;

шаг 3: (К2—>И2, К3—>И3) Þ И2—>И3 — на основе отображения концептуальных моделей в инфологические, а затем уточнения инфологических моделей;

шаг 4: (И1—>Д1, И2—>Д2) Þ Д1—>Д2;

шаг 5: (И3—>Д3) Þ Д2—>Д3 — на основе отображения инфологической модели в датологическую, а затем уточнения датологических моделей.

Таким образом, можно констатировать что преимущество МАИТ заключается в следующем:

—  формирование последовательности отображений в автоматизируемой задаче на 3-х уровнях абстрагирования;

—  наличие формализованного модельного представления инвариантного программно-техническим средством реализации автоматизированных систем;

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

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

Модели, абстракции и связи

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

Модель — это средство абстракции, которое позволяет изучать и исследовать реальный мир.

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

Модель — это:

—  множество элементов различной природы;

—  множество связей на этих элементах;

—  множество ограничений на элементы и связи;

—  множество манипуляций.

В формальном варианте определение модели включает:

—  множество элементов:

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

—  множество правил порождения ограничений;

—  множество операций (манипуляций).

Элементы и структуры моделей отражают статические отношения реального мира, а ограничения и манипуляции — динамические отношения реального мира.

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

Понятие объекта следует рассматривать с позиции его философского толкования.

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

—  обобщение;

—  агрегация;

—  уточнение;

—  декомпозиция.

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

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