CC BY
42
энергетического института ( технического университета ). Данный комплекс позволяет приобрести необходимые практические навыки последовательного и параллельного вывода с использованием графа связности Ковальского [1] в логике предикатов первого порядка при изучении курса «Математическая логика».
УМК состоит из подсистемы ввода и вывода графической информации и подсистемы логического вывода. Встроенный текстовый редактор позволяет создавать и редактировать файлы с исходными данными. Результаты работы комплекса по желанию студента выводятся в файл и на печать. Подсистема логического вывода позволяет решить поставленную задачу двумя способами: применением последовательного или параллельного вывода. Последовательный включает в себя использование dcdp- и and-параллельного вывода. Решение задачи возможно в текстовом и графическом виде.
ЛИТЕРАТУРА
1. R.Kowlaski. A Proof Procedure Using Connection Graphs. • Journal of the Association for Computing Machinery, Vol.22, No.4, October 1975, pp.572-595.
УДК 681.3:621.3.049
С.А. Ховансков
Распараллеливание алгоритмов построения связывающего дерева для решения на многопроцессорной вычислительной системе
Рассмотрен ряд алгоритмов построения связывающих деревьев (дерево Прима, дерево Штейнера, волновой алгоритм и др.) с точки зрения применения для их решения многопроцессорных вычислительных систем ( МВС).
Произведен анализ работы каждого шага выбранных алгоритмов для определения в них независимых процессов. На основе анализа в каждом алгоритме найдены процессы, обладающие максимальным уровнем параллелизма по сравнению с остальными. Даны рекомендации по оптимальной конфигурации МВС.
Получены формулы оценки времени решения алгоритмов на МВС и однопроцессорных вычислительных системах ( ОВС ). Выведены оценки эффективности применения МВС для работы каждого алгоритма по сравнению с работой на ОВС. На основе оценки обоснован выбор алгоритма, который позволяет наиболее эффективно применить МВС для построения деревьев связанности.
