УДК 004.94
Формализация процесса функционирования
сложных дискретных устройств на базе макромоделей
функциональных блоков
© И.В. Рудаков
МГТУ им. <...> Н.Э. Баумана, Москва, 105005, Россия
В статье рассматривается вопрос иерархического моделирования сложных дискретных систем с использованием макромоделей устройств на уровне функциональных блоков для анализа и контроля правильности их функционирования на
ранних этапах разработки и проектирования. <...> Приведена макромодель функционального блока сложной дискретной структуры, формализованная логической
последовательностной схемой Ŝ. <...> Ключевые слова: иерархическое моделирование, макромодели функциональных блоков сложной дискретной структуры, логические и последовательностные схемы. <...> В настоящее время актуальной задачей является исследование
сложных дискретных систем (СДС), отображающих функционирование таких объектов, как автоматизированные системы управления
технологическими процессами, информационно-вычислительные системы, комплексы, сети, транспортные и банковские информационные системы и т. д. <...> При анализе и проектировании СДС используется
блочно-иерархический метод исследования, который предусматривает расчленение процесса проектирования на ряд последовательных
уровней и сведения задачи большей размерности к совокупности задач значительно меньшей размерности. <...> Для реализации иерархического моделирования сложных дискретных устройств реализуется макромоделирование устройств на
уровне функциональных блоков сложных дискретных устройств для
анализа и контроля правильности их функционирования на ранних
этапах разработки и проектирования. <...> Для решения задачи анализа и контроля правильности функционирования СДС в качестве входного и выходного алфавита функционального блока используется понятие информационной группы. <...> Известно [1, 2], что сложное дискретное устройство может быть представлено схемой над множеством элементов сложной <...>