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