Функционально-структурная реализация интеллектуальных систем управления внешней памятью ЭВМ и сетей

интеллектуальные системы управления внешняя память сети абстрактных машин СеАМ расширенные сети абстрактных машин РСеАМ вычислительные запоминающиеся устройства системы управления внешней памятью СУВП базовый формализм сети хранения обработка данных

Использование реверсивных частично маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем, Аппаратно-программный комплекс для измерения параметров электрических цепей, ...

С. А. Зинкин ФУНКЦИОНАЛЬНО-СТРУКТУРНАЯ РЕАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ УПРАВЛЕНИЯ ВНЕШНЕЙ ПАМЯТЬЮ ЭВМ И СЕТЕЙ Рассматривается архитектура интеллектуальных сетевых систем управления вычислительными запоминающими устройствами, построенная на основе моделей и методов согласования процессов. <...> Введение В качестве средства автоматизации описания основных стадий жизненного цикла программных, микропрограммных и аппаратных средств систем хранения и обработки данных выбрана FS-технология, базирующаяся на формальных спецификациях сетей абстрактных машин (СеАМ) и рсширенных СеАМ (РСеАМ), предложенных в работах автора [1, 2]. <...> Необходимым условием использования формальных спецификаций является предварительное функциональное описание проектируемой системы в терминах состояние, событие, процесс, структура. <...> Выбор базового формализма К числу наиболее распространенных математических схем, используемых для формализации распределенных систем, относятся конечные автоматы, формальные грамматики и языки, временная логика, абстрактные типы данных, сети Петри, агрегативные модели и др. <...> СеАМ и РСеАМ спецификации, в свою очередь, представляют собой формальные, машиннонезависимые описания функционирования проектируемых или моделируемых систем. <...> Формальные спецификации СеАМ и РСеАМ представляют собой описание иерархической системы абстрактных модулей, взаимодействующих друг с другом через FS-пространство. <...> На каждом уровне абстракции модули могут быть подвергнуты декомпозиции на подмодули; в частности нетрудно доказать построением, что каждый модуль РСеАМ может быть представлен в виде совокупности каузально связанных модулей СеАМ. <...> Упомянутые построения были нами проделаны при реализации темпоральных операций в сетях модулей СеАМ. <...> Возможен случай, когда общая сеть абстрактных машин содержит только модули СеАМ и РСеАМ, т.е. сценарии в данном случае полностью описаны в терминах алгебры абстрактных <...>

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