17_1

Рассматриваются средства управления вычислениями в пакете прикладных микросе рвисов, ориентированном на применение при решении задач качественного исследования двоичных динамических систем на основе метода булевых ограничений. Вычислительная модель предметной области и архитектура агента обеспечивают возможность проведения многовар иантных, параллельных и конвейерно -параллельных вычислений на выделенных ресурсах. Предложенный подход демонстрируется на примере а нализ а структуры пространства состояний сдвигового регистра .