Юрий Григорьевич Егоров родился в 1956 г., окончил в 1978 г. Серпуховское выс-
шее военное командное училище. Д-р техн. наук, профессор кафедры “Системы
и приборы ориентации, стабилизации и навигации” МГТУ им. Н.Э. Баумана. Дей-
ствительный член Академии навигации и управления движением. Автор 56 научных
работ в области автономной выставки и калибровки инерциальных навигационных
систем.
Yu.G. Yegorov (b. 1956) graduated from the Serpukhov Higher Military Command School
in 1978. D. Sc. (Eng.), professor of “Systems and Devices of Orientation, Stabilization and
Navigation” department of the Bauman Moscow State Technical University. Full member
of the Academy of Navigation and Motion Control. Author of 56 publications in the field
of autonomous adjustment and calibration of inertial navigation systems.
Гассан Махмуд Аль-Хуссейн родился в 1963 г., окончил в 1988 г. университет в
Сирии. Аспирант кафедры “Системы и приборы ориентации, стабилизации и на-
вигации” МГТУ им. Н.Э. Баумана. Автор 2 научных работ в области калибровки
инерциальных навигационных систем.
Ghassan Mahmoud Al-hussein (b. 1963) graduated from the Syrian University of Alepo in
1988. Post-graduate of “Systems and Devices of Orientation, Stabilization and Navigation”
department of the Bauman Moscow State Technical University. Author of 2 publications
in the field of calibration of inertial navigation systems.
ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА
УДК 658.512
И. В. Р у д а к о в, М. Д а в у д п у р
АЛГОРИТМ ДЕКОМПОЗИЦИИ ФОРМАЛЬНОЙ
МОДЕЛИ ФУНКЦИОНАЛЬНОГО БЛОКА
ДИСКРЕТНОГО УСТРОЙСТВА
Моделирование больших систем представляет собой задачу боль-
шой размерности, поэтому одним из методов исследования таких
систем является метод декомпозиции, позволяющий разбивать ис-
следуемую схему на части, проверяя работу каждой части, и по-
следовательно добавлять к проверенной части новые фрагменты.
Метод анализа вычислительных дискретных устройств в рамках
иерархических уровней проектирования (вычислительные системы
или функциональные блоки) недостаточно эффективен, так как не
позволяет учитывать, например, такие характеристики дискретного
устройства, как временн ´ые параметры элементов, входящих в мо-
дель и, следовательно, выполнять надежную верификацию проекта.
В работах по многоуровневому анализу предлагается рассматривать
схемы устройства с разной степенью детализации. Предлагаемый
90 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2006. № 1
