Н. С. Зинкина
МЕТОДЫ И МОДЕЛИ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ
ДИСКРЕТНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ
ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ НА ОСНОВЕ
КОНЦЕПЦИИ СОГЛАСОВАНИЯ
Аннотация. <...> Основное внимание при
проектировании уделяется формальному описанию процессов и их свойств на
основе концепции согласования процессов через пространство структурированной памяти. <...> Даны рекомендации по аппаратной и программной реализации
распределенных систем управления. <...> Ключевые слова: логическое управление, дискретные процессы, асинхронные
предикатно-функциональные сети, формальные модели, распределенные вычислительные системы. <...> Введение
Семантика событийного и потокового асинхронного управления удобно и наглядно описывается в терминах асинхронных предикатно-функциональных (АПФС) и асинхронных предикатных (АПС) сетей. <...> Под АПФС
или АПС понимаются сети, состоящие из совокупности абстрактных машин,
взаимодействующих через структурированную память – пространство функций и предикатов (АПФС) или пространство предикатов (АПС). <...> Для решения задач моделирования дискретных систем в работах ряда авторов
ранее были предложены различные обобщения и модификации сетей Петри. <...> В данной работе при определении сетей АПФС и АПС использованы некоторые элементы теории машин абстрактных состояний Ю. Гуревича <...> [1–3] (правила модификации функций и предикатов), систем алгоритмических алгебр <...> Используемая концепция построения сети абстрактных машин
базируется на согласовании асинхронных процессов через разделяемую
структурированную память (базу знаний) и в данной интерпретации с интеграцией концепций различных формализмов обладает элементами научной
новизны, главный из которых – интеграция моделей искусственного интеллекта с моделями дискретных распределенных систем [9–11]. <...> Поволжский регион
ном описании сетей АПФС и АПС частично используется нотация сетей абстрактных машин (СеАМ), введенная в работах [12, 13]. <...> В целях унификации описания <...>