Смешанное моделирование дискретных устройств с использованием автоматической декомпозиции макромодели функционального блока в модели элементов

смешанное моделирование макромодель функционального блока дискретной структуры алгоритм декомпозиции макромодели

Построение срезов для программ на динамических языках, Автоматизация тестирования студенческих программ, ...

УДК 004.94 Смешанное моделирование дискретных устройств с использованием автоматической декомпозиции макромодели функционального блока в модели элементов И.В. Рудаков, А.В. Шляева МГТУ им. <...> Н.Э. Баумана, Москва, 105005, Россия В работе показано, что смешанное моделирование структур является составной частью метода иерархического моделирования сложных дискретных структур. <...> Рассмотрен вопрос смешанного моделирования сложных дискретных устройств с использованием макромоделей устройств на уровне функциональных блоков и их декомпозиции в элементы дискретных структур с разной степенью детализации для анализа и контроля правильности функционирования дискретных устройств на ранних этапах разработки и проектирования. <...> Ключевые слова: смешанное моделирование, макромодель функционального блока дискретной структуры, алгоритм декомпозиции макромодели. <...> И.В. Рудаков, А.В. Шляева Смешанное моделирование структур является составной частью метода иерархического моделирования сложных дискретных структур. <...> При этом осуществляется анализ схемы устройства с использованием моделей, описывающих функционирование сложных дискретных структур с разной степенью детализации: одна часть описывается на уровне макромоделей функциональных блоков, а другая — на уровне элементов сложной структуры с целью уточнения параметров элементов. <...> Необходимым условием реализации смешанного моделирования с использованием алгоритма декомпозиции макромодели блока является обеспечение информационной согласованности подсистем макромоделирования и моделирования на уровне элементов, что достигается при помощи базы данных подсистемы анализа и контроля функционирования сложных дискретных структур. <...> В результате декомпозиции функционирование сети автоматов N представляется функционированием множества компонентных автоматов KA. <...> Необходимо доказать, что функционирование компонентного автомата KAiN эквивалентно <...>

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