КРАТКИЕ СООБЩЕНИЯ
УДК 681.31
И. В. Р у д а к о в
ПРОГРАММНЫЙ КОМПЛЕКС
ИЕРАРХИЧЕСКОГО ИССЛЕДОВАНИЯ
СЛОЖНЫХ ДИСКРЕТНЫХ СТРУКТУР
Рассмотрена проблема создания программного обеспечения САПР
технических систем на базе блочно-иерархического исследования
сложных дискретных структур. Описан разработанный язык мо-
делирования, ориентированный на транзакты, предназначенный
для иерархического проектирования структур с очередями. Подроб-
но приведен механизм управления, включающий в себя методику
хранения и индексирования событий, а также сами алгоритмы
управления. Описан синтаксис языка моделирования и особенности
использования разработанного программного обеспечения.
E-mail:
Ключевые слова
:
анализ сложных дискретных систем, язык моделиро-
вания, транзакты.
В настоящее время задача создания программного обеспечения САПР
анализа сложных дискретных устройств является актуальной и находит ши-
рокое применение [1, 2] (робототехника, устройства управления техниче-
скими системами, информационные системы, микропроцессорная техника
и т.д.). Однако в силу исключительного разнообразия встречающихся на
практике задач и недостаточной изученности их математического описания
арсенал формализации и моделирования непрерывно пополняется. Поэтому
порядок структуризации, разбиения на подсистемы и элементы объектов и
отбор математических схем для описания элементов нельзя считать оконча-
тельно сложившимся.
При анализе и проектировании структур сложных систем с очередя-
ми используется блочно-иерархический метод [1], который предусматривает
расчленение процесса проектирования на ряд последовательных уровней и
сведение задачи большей размерности к совокупности задач значительно
меньшей размерности.
Одной из задачпри разработке структур сложных систем является зада-
ча анализа и контроля правильности функционирования системы на ранних
этапах ее разработки, в результате чего определяется состав функциональ-
ных блоков и их взаимодействие. На последующих этапах анализируются
отдельные блоки. Предлагаемый подход позволяет анализировать функцио-
нирование сложной структуры, используя методы макромоделирования и де-
композиции на базе языка моделирования, ориентированного на транзакты.
Для реализации правильности функционирования сложных систем в ка-
честве элементов моделирования предлагается использовать макромодели
функциональных блоков сложной системы на основе формализации их функ-
ционирования в виде логической сети [3].
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 1 121
