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

• Автор: Бородатова, Маргарита Витальевна
• Шифр специальности: 05.13.07
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Санкт-Петербург
• Количество страниц: 197 с. : ил.

^ЯЯШШШЯШЯШЯ—шшшшт

ЗРЕЧЕНЬ СОКРАЩЕНИЙ
ВЕДЕНИЕ
. ОБОСНОВАНИЕ ПРИМЕНЕНИЯ МЕТАУПРАВЛЕНИЯ В ИНТЕРЕСАХ АВТОМАТИЗАЦИИ ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ
ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
.1. Место и роль информационного моделирования технологических процессов в ходе реинжиниринга промышленных предприятий
1.2. Содержание информационного моделирования и анализ существующих подходов к его автоматизации
1.3. Возможность и целесообразность применения метода метауправления в интересах
автоматизированного информационного моделирования технологических процессов
1.4. Постановка задачи исследования
ВЫВОДЫ
2. СИНТЕЗ И ПРИМЕНЕНИЕ МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ
ВЫЧИСЛИТЕЛЬНОГО ФОРМАЛИЗМА ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ
2.1. Синтез модели представления знаний
2.1.1. Требования к модели представления знаний
2.1.2. Формирование модели представления знаний . . . 2 .1.2.1. Подход к представлению знаний
2.1.2.2. Формальные требования к представлению знаний в виде иерархической сети фреймов
2.1.2.3. Базовый и расширенный базовый языки представления знаний. Фиксированность и конкретизованность иерархической сети фреймов
2.2. Применение разработанной модели представления знаний

2.2.1. Манипулирование компонентами логического уровн представления знаний при формировании метаспецификади
2.2.2. Представление метаспецификаций . . * . . .
2.2.2.1. Номенклатор понятий
2.2.2.2. Спецификатор
2.3. Модель синтеза предметных спецификаций по заданному спецификатору
2.3.1. Алгоритм формирования управляющей таблицы процессора синтеза спецификаций
2.3.2. Процессор синтеза спецификаций
ВЫВОДЫ
3. ПРИМЕНЕНИЕ МЕТАЗНАНИЙ И ПРЕДМЕТНЫХ СПЕЦИФИКАЦИЙ В ИНТЕРЕСАХ
ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
3.1. Методика агрегации предметных спецификаций
3.1.1. Содержание процесса агрегации предметных спецификаций
3.1.2. Планирование процесса агрегации предметных спецификаций
3.2. Общая методика автоматизированного информационного моделирования технологических процессов в интересах реинжиниринга промышленных предприятий
3.2.1. Содержание автоматизированного информационного моделирования с использованием разработанной методики
3.2.2. Эффективность применения разработанной методики
3.2.3. Рекомендации по использованию методики и средств
автоматизированного информационного моделирования
ВЫВОДЫ
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
Приложение 1. Грамматики базового языка и
расширенного базового языка
Приложение 2. Примеры номенклатора, спецификатора и типовых схем формализации

Приложение 3. Пример формирования процессора синтеза
спецификаций и его функционирования
Приложение 4. Текст модели процессов информационного моделирования

Исходя из выделенных особенностей ПрО и их влияния на процесс ИМ, а также из особенностей процесса ИМ с применением метода метауправления, можно сформулировать ряд требований к МПЗ ПСАИМ ТП:
возможность адекватной формализации понятий ПрО с достаточной степенью детализации;
возможность иерархического представления спецификаций; возможность "настройки” МПЗ на конкретную ПрО; учет "доменности" ПрО;
возможность представления составных объектов; возможность объединения (но не смешения) спецификаций отдельных доменов;
возможность отображения связи между семантически близкими объектами и обеспечение их прослеживания, отображение процессов формирования понятий;
возможность описания междоменных связей; возможность использования шаблонов описания знаний.
Кроме того, поскольку МПЗ является частью ВФ ПСАИМ, она должна быть по возможности проста и эффективна в программной реализации.
Главные особенности в выборе МПЗ обусловлены характером ее применения:
I) Абсолютное большинство МПЗ рассматриваются как составная часть одного из классов интеллектуальных систем (систем, основанных на знаниях) - экспертных систем /46,53,60,63/. Специфика экспертных систем предполагает выполнение процесса логического вывода как механизма решения задач с использованием метода экспертных консультаций. Содержание применяемого метода логического вывода, а также ряд особенностей организации экспертных систем и предъявляемых к ним требований накладывают свой отпечаток на используемые МПЗ. ПСАИМ также можно отнести к системам, основанным на знаниях.