Долженкова М. Л. 3(2017)

УДК 004.4

М. Л. Долженкова, Г. А. Чистяков

ПРОЕКТИРОВАНИЕ АРХИТЕКТУР УНИВЕРСАЛЬНЫХ МАШИН ЛОГИЧЕСКОГО ВЫВОДА

       В работе рассматривается вопрос проектирования архитектур универсальных машин логического вывода (МЛВ) – специализированных вычислительных устройств символьной обработки данных, способных осуществлять логический вывода посредством группы методов. В основе организации архитектуры лежит концепция абстрактного исполнителя, реализующего акторную модель логико‑потоковых вычислений, что позволяет при минимальных аппаратурных затратах обеспечить поддержку свойственной методам логического вывода крайне высокой степени параллелизма. С точки зрения конченого пользователя подобная МЛВ является виртуальной машиной с перестраиваемой архитектурой, в которой конкретный применяемый метод определяется посредством микропрограммного управления с учетом особенностей формальной постановки решаемой задачи, а процесс выбора метода не требует внесения изменений в архитектуру машины. Отмеченные особенности позволяют использовать универсальную МЛВ специалистам, не являющимся экспертами в разработке систем логического вывода, для решения актуальных задач из различных областей человеческой деятельности.

      Ключевые слова: логический вывода, архитектура машины логического вывода, модель логического вывода, акторная модель.