УПРАВЛЕНИЕ КОНВЕЙЕРНО ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КА… · LibMeta · SciLib
IMT journal IMT journal articlePublicationAcademic article

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

http://libmeta.ru/object/imt_pub_17

Abstract

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

Данные

pages78-87
year2019
pageEnd87
pageStart78

author

Богданова Вера Геннадьевна Пашинин Антон Алексеевич Опарин Геннадий Анатольевич

topic

Динамические системы subject matter ДИНАМИЧЕСКАЯ СИСТЕМА Динамическая система Предметная область управление вычислениями конвейер пакет прикладных микросервисов 004.2 004.4 004.421 004.771 +2

cites

Methods and Software for Computer-Aided design of the Spacecraft Guidance, Navi… Analytical Modeling of Pipeline Parallelism Pipeline Pattern for Parallel MCTS Software Pipelines and SOA: Releasing the Power of Multi-Core Processing Application of Lyapunov's direct method to error-propagation effect convoluaten… ViraPipe: scalable parallel pipeline for viral metagenome analysis from next ge… Метод булевых ограничений в качественном анализе двоичных динамических систем Моделирование конвейерно-параллельного вычислителя с проблемной ориентацией Моделирование конвейерных и волновых вычислений Building Microservices Применение гибридных методов проектирования вычислительных систем реального вре… Сервис-ориентированная технология создания и применения децентрализованных муль… +5

references

Methods and Software for Computer-Aided design of the Spacecraft Guidance, Navi… Analytical Modeling of Pipeline Parallelism Pipeline Pattern for Parallel MCTS Software Pipelines and SOA: Releasing the Power of Multi-Core Processing Application of Lyapunov's direct method to error-propagation effect convoluaten… ViraPipe: scalable parallel pipeline for viral metagenome analysis from next ge… Метод булевых ограничений в качественном анализе двоичных динамических систем Моделирование конвейерно-параллельного вычислителя с проблемной ориентацией Моделирование конвейерных и волновых вычислений Building Microservices Применение гибридных методов проектирования вычислительных систем реального вре… Сервис-ориентированная технология создания и применения децентрализованных муль… +5

keyword

управление вычислениями конвейер пакет прикладных микросервисов двоичные динамические системы микросервис

UDC

004.2 004.4 004.421 004.771

in journal

Information and mathematical technologies in science and management

published in

ИМТ № 3(15) / 2019

part of

Information and mathematical technologies in science and management ИМТ № 3(15) / 2019

in abstract

subject matter Предметная область

mentions concept

Динамические системы subject matter ДИНАМИЧЕСКАЯ СИСТЕМА Динамическая система Предметная область

in keywords

Динамические системы ДИНАМИЧЕСКАЯ СИСТЕМА Динамическая система

has fragment

17_0 17_1 17_10 17_11 17_12 17_13 17_14 17_15 17_16 17_2 17_3 17_4 +5

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

← contains article · 1
Information and mathematical technologies in science and management
← fragment of · 17
17_0 17_1 17_10 17_11 17_12 17_13 17_14 17_15 17_16 17_2 17_3 17_4 ещё 5
← Contains · 1
Information and mathematical technologies in science and management
← has part · 1
Information and mathematical technologies in science and management

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