И.В. Рудаков
,
А.В. Шляева
6
Подставив выражения (14)–(17) в (18), получим:
(
) (
)
25& 26 29 = 27 & 28 30
A A A A A A
→
→
.
(21)
Выражение (21) является справедливым, так как каждый член ле-
вой части является эквивалентным соответствующим членом в пра-
вой части, т. е.
A
25 =
A
27, согласно (1);
A
26 =
A
28, согласно (2);
A
29 =
A
30 как логические следствия из эквивалентных выражений.
Следовательно, утверждение 1 справедливо, и функционирование
компонентного автомата
KA
i
°
эквивалентно функционированию эле-
мента сложной структуры
F
i
.
Выводы.
Разработанный алгоритм декомпозиции макромодели
функционального блока позволяет автоматически изменить степень
детализации описания анализируемой сложной структуры и, таким
образом, является средством осуществления смешанного моделиро-
вания. Результаты исследований показали, что в целом смешанное
моделирование сложных дискретных устройств обладает необходи-
мой эффективностью. Анализ результатов подтвердил, что при до-
статочной сложности и определенной топологии системы алгоритм
уменьшает время анализа процесса функционирования такого класса
устройств в среднем на 18 %, причем также уменьшается общая ве-
роятность ошибки в системе (порядка 29 %) в силу подробного про-
смотра и анализа каждой подструктуры.
ЛИТЕРАТУРА
[1] Рудаков И.В., Смирнов А.А. Исследование сложных дискретных систем на
базе агентного метода.
Вестник МГТУ им. Н.Э. Баумана. Сер. Приборо-
строение
, 2009, № 3, с. 33–41.
[2] Рудаков И.В. Методика иерархического исследования сложных дискретных
структур.
Наука и образование
, 2012, вып 6, с. 251–260.
70230.html
Статья поступила в редакцию 10.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Рудаков И.В., Шляева А.В. Смешанное моделирование дискретных
устройств с использованием автоматической декомпозиции макромодели
функционального блока в модели элементов.
Инженерный журнал: наука и
инновации
, 2013, вып. 6. URL
Рудаков Игорь Владимирович
родился в 1958 г., окончил МВТУ им. Н.Э. Бау-
мана в 1981 г. Канд. техн. наук, заведующий кафедрой «Программное обеспечение
ЭВМ и информационные технологии» МГТУ им. Н.Э. Баумана. е-mail:
