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

• Автор: Никольский, Сергей Николаевич
• Шифр специальности: 05.13.12
• Научная степень: Докторская
• Год защиты: 2007
• Место защиты: Москва
• Количество страниц: 307 с. : ил.

Содержание
Введение

Глава 1 .Обобщенная модель процесса автоматизации

1.1. Диаграмма переноса модели объекта исследования

1.2. Базисное представление объекта исследования.

1.2.1. Мифологический подход к базисному представлению

1.2.2. Логический подход к базисному представлению.

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

1.3. Диаграммы компьютеризации.

1.4. Обобщенная задача реализации

Выводы по главе

Глава 2. Онтологии и принципы
концептуальноориентированного моделировании
2.1. Онтологические системы представления знаний.
2.2. Принципы концептуальноориентированного моделирования
2.2.1. Принцип множественности представлений.
2.2.2. Принцип характеризации
2.2.3. Принцип структуризации
2.2.4. Принцип системности.
Выводы по главе
Глава 3. Модели информационного поведения
3.1. Структура информационного поведения.
3.1.1. Модель Анохина
3.1.2. Модель Дсйтча.
3.1.3. Модель Месаровича.
3.2. Онтология цели и результата.
3.3. Структура целенаправленного информационного поведения
3.3.1. Структура модели Нповедения.
3.3.2. Ролевая диаграмма организации
3.3.3. Диаграмма м окроле в ых взаимодействий.
3.4. Задача автоматизации целенаправленного
информационного поведения
Выводы по главе 3.
Глава 4. Структура метаонтологии н модели языка.
4.1. Характеризации языка в диаграмме переноса модели.
4.2. Метаонтология и проблема значения
4.3. Концептуальные метабазисы
4.4. Концептуальные метабазисы и структура
онтологической системы представления знаний.
4.5. Принцип системности и структура метаонтологий
4.6. Онтологическая модельная система Вте
Выводы по главе 4.
Глава 5. Объектные модельные структуры
5.1. Диаграмма понятия и модельные представления значений.
5.2. Обобщенная задача реализации Сметабазиса СВгШ.
5.3. Модельная система понятия объект.
5.3.1. Система объекта Клира
5.3.2. Типы объектных представлений
5.3.3. Диаграмма понятия один объект
Выводы но главе 5.
Глава 6. Системные модели организаций.
6.1. Диаграмма представлений 1модели организации.
6.1.1. Модели действий
6.1.2. Модели динамических систем.
6.1.2.1. Теоретикомножественные модели отношение входвыход.
6.1.2.2. Сетевые модели система помеченных переходов.
6.1.2.3. Алгебраические модели
Мдействие в пространстве состояний
6.1.2.4. Геометрические модели
векторное поле в пространстве состояний
6.1.2.5. Пространство состояний и модели времени
6.2. Метаонтология физической точки.
6.3. Обобщенная задача реализации физического метабазиса
6.4. Системные модельные структуры
физического метабазиса
6. 4. 1. Модели объектов
6. 4. 2. Модели соответствий
6.4.3. Модели пространства состояний
6.4.4. Характеризации элементарной стрелки
6.5. Динамическая система
в пространстве элементарных событий
6.5.1. Элементарная динамическая система в v
6.5.1.1. Полное представление Мдействия в v
6.5.2. Базисные динамики в v.
6.5.2.1. Типы базисных динамик,
порожденные структурой пространства состояний
6.5.2.2. Элементарные базисные динамики.
6.6. Взаимодействие элементарных базисных динамик
6.6.1. Взаимодействие элементарных базисных динамик экземпляров.
6.6.2. Взаимодействие элементарных базисных динамик классов
6.6.2.1. Композиционная объемная динамика.
6.6.2.2. Структурные модели композиционной объемной динамики.
6.6.2.3. Условия согласования для
композиционной объемной динамики
6.6.2.4. Анализ задач принятия решений на
структурированной композиционной объемной динамике
Выводы но главе 6.
Глава 7. Структурный системный тип
7.1. Системный структурный тип. Определение.
7.2. Динамический структурный тип.
7.2.1. Отношение технологической связи
7.2.2. Отношение системной связи
7.2.3. Системносвязанные динамические модельные структуры
7.3. Системная объектная совокупность оЬсистема.
7.4. Диаграмма представлений оЬдинамики
7.5. Модели оЬсистемы в форме знаковых сетей Петри.
7.5.1. Петримодели объектов элементов носителя оЬсистемы
7.5.2. Знаковые петримодели событий элементов оЬдинамики
7.5.3. Знаковые петримодели системной связи
7.6. Знаковые петримодели элементарных динамик.
7.7. Знаковые петримодели системной совокупности объектов
Выводы по главе 7.
Заключение.
Литература


Объектам рассмотрения ставятся в соответствия их внутренние описания в терминах характеристик свойств. Взаимосвязь объектов, свойств и отношений приводит к понятиям типа и класса объектов, как средствам выражения семантики объектов. Особое место в инфологическом подходе занимает понятие роли . Переход от понятия объект к понятию роль состоит в замене объектов, как сущностей внешнего мира, на совокупность ролей, которые эта сущность играет в предметной области и которые в совокупности определяют ее поведение. Этот переход является принципиальным в том смысле, что он связывает объект с его поведением и, следовательно, связывает понятие объект с понятием процесс. Выбор базисных концептуальных средств моделирования. Первый подход к ее решению состоит в построении двух моделей информационнологической концептуальной модели предметной области, модели базы данных и отображения первой модели во вторую. Это означает разделение языка моделирования и языка модели данных. В качестве категорий, на основе которых строится язык моделирования принимаются объект, сущность, связь, тин, свойство, факт, время, сообщение и т. Второй подход состоит в том, чтобы язык модели данных непосредственно использовать в качестве языка моделирования, где возникает понятие суррогатов. Третий подход состоит в том, что строится единая концептуальная модель предме тной области и базы данных. При любом подходе выбираемые средства должны быть пригодны для моделирования любых предметных областей, т. Выбор основных семантических отношений мегаотношений. Логический подход к базисному представлению. Понятие объекта в инфологическом моделировании, равно как и само инфологическое моделирование в целом, находится под существенным влиянием исследований в области математической логики и особенно ее оснований, традиционно относящихся к исследованиям логикофилософских проблем естественного языка, логики и методологии науки. Центральной проблемой логического анализа предложений естественного языка является соответствие между выражениями и их значениями, т. Если предложение рассматривать, как синтаксический объект, порождаемый определенным процессом, то важно, вопервых, с какого момента семантика используется в этом процессе и, вовторых, в какой мере семантику можно отождествить с глубинными структурами предложения . В контексте семантического анализа соответствия языковое выражениесмысл, выражающего процесс порождения предложений языка, в качестве общей точки зрения на язык можно принять модель языка в виде исчисления ,,,,. Различают два типа исчислений логические и лингвистические. Целью логических исчислений является выявление логических истин, т. Нели в логическом исчислении правильность построения выражения является предварительным условием для его анализа по истинности, то в лингвистических исчислениях правильность выражения является конечным результатом. Любое исчисление основано на модели выражения. В лингвистических исчислениях одной из таких моделей является трансформационногенеративная модель естественного языка. Трасформационногенеративная теория понимается как теория лингвистической компетентности, моделирующая языковую деятельность идеального носителя языка . Основу теории составляют семантические маркеры, которые при содержательной интерпретации рассматриваются как концепты. Таким образом, концегггы оказываются связанными с семантическими маркерамисущностями, которые отвечают за интерпретацию выражений языка, т. Такое понимание интерпретации приводит тому, что смысл выражение естественного языка, т. В интерпретационной, генеративной семантике логическая форма отождествляется с глубинной структурой языка. Глубинная структура выражения представляет собой синтаксический объект, порождаемый правилами грамматики на множестве универсальных семантических маркеров, как теоретических конструктов, из которых конструируется смысл языкового выражения. Глубинная структура приводит к предположению о существовании универсальной алгебры смысла, которая моделирует семантику естественного языка .