Методы и модели логического управления дискретными процессами в распределенных вычислительных системах на основе концепции согласования

логическое управление дискретные процессы распределенные вычислительные системы вычислительные системы согласование процессов асинхронные предикатно-функциональные сети предикатно-функциональные сети

Метод реализации эффективного компенсирующего устройства на промышленных контроллерах, Определение размера и скорости движения нарушителя в двухпозиционных охранных системах ближней радиолокации, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт