УПРАВЛЕНИЕ КОНВЕЙЕРНО ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КА… · LibMeta · SciLib
Журнал ИМТ Статья журнала ИМТПубликацияНаучная статья

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

http://libmeta.ru/object/imt_pub_17

Аннотация

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

Данные

pages78-87
год2019
pageEnd87
pageStart78

опубликовано в

содержит фрагмент

Входящие связи

← фрагмент статьи · 17

Внешние ссылки