Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей
Подождите немного. Документ загружается.
СОДЕРЖАНИЕ
Введение
Глава 1. МОДЕЛИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ДИСКРЕТНЫХ СИСТЕМ С
ИСПОЛЬЗОВАНИЕМ ПРЕДИКАТНЫХ СЕТЕЙ, ИНТЕРПРЕТИРУЕМЫХ НА
ЯЗЫКЕ ПРОЛОГ
1.1. Предикатные сети
1.2. Некоторые свойства сетевых моделей
1.3. Представление предикатных сетей на языке Пролог
1.4. Построение графа достижимых состояний с помощью языка Пролог
Глава 2. ПРИМЕРЫ МОДЕЛИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ И
ПРОЦЕССОВ С ИСПОЛЬЗОВАНИЕМ ПРЕДИКАТНЫХ СЕТЕЙ
2.1. Система с общими ресурсами
2.2. Задача взаимного исключения
2.3. Задача об обедающих философах
2.4. Алгоритм взаимного исключения в распределенной вычислительной
системе
2.5. Альтернативно-битовый протокол
Глава 3. ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ И ПРОЦЕССОВ С
ИСПОЛЬЗОВАНИЕМ ВРЕМЕННОЙ ЛОГИКИ, ИНТЕРПРЕТИРУЕМОЙ НА
ЯЗЫКЕ ПРОЛОГ
3.1. Логика дерева вычислений
3.2. Интерпретация временной логики на языке Пролог
3.2.1. Реализация POT-оператора
3.2.2. Реализация ALL-оператора
3.2.3. Реализация других временных операторов
3.2.4. Реализация невременных логических операторов
3.3. Исследование сетевых моделей
3.3.1. Доказательство свойств сетевых моделей
3.3.2. Система с общими ресурсами
3.3.3. Задача взаимного исключения
3.3.4. Задача об обедающих философах
3.3.5. Алгоритм взаимного исключения в распределенной
вычислительной системе
3.3.6. Альтернативно-битовый протокол
Литература