Полевщиков А. С. 3(2017)

УДК 692.48

А. С. Полевщиков, Л. В. Елькина, М. Н. Крупин

ПЕРФОРИРОВАННЫЕ БАЛОЧНЫЕ КОНСТРУКЦИИ

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

      Ключевые слова: балки с перфорированной стенкой, двутавр, арка.