Модели и методы параллельной асинхронной переработки информации в графодинамической ассоциативной памяти

• Автор: Гапонов, Павел Анатольевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Минск
• Количество страниц: 114 с. : ил.

1. МОДЕЛИ И СРЕДСТВА ПАРАЛЛЕЛЬНОЙ ОРГАНИЗАЦИИ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА

1.1. Модели и механизмы синхронизации в языках параллельного

про1 рлммировлния ЯПП.

1.2. ОБЪЕКТНООРИЕНТИРОВАННОЕ И АГЕНТНООРИЕтИРОВЛННОЕ параллельное программирование.

1.2.1. Модель и языки акторов

1.2.2. Интегрированные языки

1.2.3. Проблемы интеграции параллелизма и объектных технологии

1.2.4. Многоагентные системы

1.2.5. Проблемы агентноориентированного подхода

1.3. Принципы и модели обработки транзакции.

1.3.1. Плоские транзакции.

1.3.2. Контрольные тонки. Многозвенные транзакции.
1.3.3. Вложенные транзакции.
1.3.4. Осчаб.ченные модели транзакций.
1.3.5. Методы управления одновременным доступом к ресурсам
1.4. Современные технологии разработки сложных информационных систем
1.4.1. САЗЕтехнологии
1.4.2. Представление информации.
1.4.3. Графический интер1еис
1.5. Выводы.
2. БАЗОВЫЕ ГРАФОДИНАМИЧЕСКИЕ МОДЕЛИ ПЕРЕРАБОТКИ ИНФОРМАЦИИ.
2.1. Графовые языки БС и БСР
2.2. Базовые формальные модели
2.3. Модели транзакций
2.3.1. Метамодель транзакций
2.3.2. Относительная сила блокировок
2.3.3. Методика обюботки блокировок
2.3.4. Пример спецификации модели транзакций
2.4. Выводы.
3. ОРГАНИЗАЦИЯ ВЗАИМОДЕЙСТВИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ В ГРАФОДИНАМИЧЕСКОЙ АССОЦИАТИВНОЙ ПАМЯТИ.
3.1. Модели, информационные структуры и алгоритмы синхронизации
процессов в графодинамической ассоциа тивной памяти.
3.1.1. ЯСРпроцессы.
3.1.2. Модель транзакций ЯСР.
3.1.3. Информационные структуры и
алгоритмы работы с блокировками
3.2. Модели и языковые средства межпроцессной коммуникации в ГРЛФОДИНЛМИческой ассоциативной памяти.
3.2.1. Контексты5
3.2.2. События.
3.2.3. Языковые средства межпроцессной коммуникации и их использование.
3.2.4. Сообщения.
3.3. Сравнительный анализ предлагаемых решений.
3.3.1. Сравнение с механизмами синхронизации и моделями транзакций, используемыми в современных СУБД
3.3.2. Сравнение с объектноориентированным подходом.
3.3.3. Сравнение с языками параллельного программирования
3.3.4. Сравнение с системами программирования на языках сверхвысокого уровня ЯСВУ.
3.4. Выводы
4. ТЕХНОЛОГИЧЕСКАЯ СРЕДА ВИЗУАЛЬНОЙ РАЗРАБОТКИ ПАРАЛЛЕЛЬНЫХ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ И ЕЕ РЕАЛИЗАЦИЯ
4.1. Обзор архитектуры среды.
4.1.1. Основные режимы работы пользователя.
4.1.2. Краткая спецификация основных блоков терминального модуля.
4.1.3. Подсистема управления событиями.
4.2. Визуальное пропаммирование интеллектуальных систем
4.2.1. Принципы представления 8Сконструкций на виртуальном экране. Понятие листа.
4.2.2. Видеоформы
4.2.3. Семантическая визуализация
4.2.4. Технология разработки интеллектуальных систем в среде визуального программирования
4.3. Реализация
4.3.1. Используемые средства.
4.3.2. Кодирование БСконструкций
в модели графодинамической памяти
4.3.3. Экспериментальная проверка
4.4. Выводы
ЗАКЛЮЧЕНИЕ .
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ


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