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

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

1.1. База знаний планировщика.

1.2. Статическая булева модель планирования.

1.3. Динамическая булева модель планирования.

1.4. Абдукция в булевых моделях планирования

1.5. Планирование параллельных абстрактных программ как

булева выполнимость.

1.6. Планирование параллельных абстрактных программ с

учетом ресурсных ограничений

Глава 2. Язык представления вычислительных знаний ОеСоЯ

методы и средства трансляции.

2.1. Язык описания вычислительных знаний и постановок

вычислительных задач.
2.2. Транслятор описаний вычислительных моделей и постановок
задач.
2.3. Планировщик параллельных абстрактных программ.
2.4. Выбор базовых средств параллельного программирования
2.5. Шаблон параллельной управляющей программы на языке
РогНапИУМ.
2.6. Генератор параллельной управляющей программы на языке
РоПгапПУМ.
Глава 3. Многовариантный анализ сложного оптикомеханического комплекса с использованием системы ПеСо.
3.1. Имитационная модель сложного оптикомеханического
комплекса.
3.2. Вычислительная модель сложного оптикомеханического
комплекса.
3.3. База вычислительных знаний, примеры постановок задач,
результатов планирования абстрактных программ и генерации управляющих программ на языке БоПгапПУМ
Заключение .
Литература


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