ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. «Естественные науки». 2012
186
нию программы за счет возникновения точек накопления системных
событий (подробно см. в [6]. К сожалению, полностью гарантировать
отсутствие зацикливания можно лишь для непрерывных систем, опи-
сываемых дифференциальными уравнениями с правой частью, удо-
влетворяющей условию Липшица по совокупности переменных. Для
более широкого класса моделей [6] можно доказать (неконструктив-
но) существование нециклящегося набора событий.
Отметим, что мы требовали от элементов однозначности имита-
ционных вычислений и сумели этого добиться — все одновременно
выполняющиеся в модельном времени элементы можно запускать на
выполнение асинхронно, т. е. загружать ими имеющиеся ядра про-
цессора или же доступные распределенные компьютеры. Если же
этого почему-то добиться не удалось, у системы поддержки выпол-
нения модели есть полная информация о том, кто и что меняет (соб-
ственно, это она должна будет обновить соответствующие данные в
базе) и она обязана выдать соответствующую диагностику ошибки
времени выполнения.
Комплексы.
Компоненты могут объединяться в комплекс, при
этом (необязательно) может оказаться, что некоторые компоненты яв-
но моделируют внешние переменные некоторых других компонент.
Для того чтобы полностью описать комплекс, достаточно указать:
какие компоненты и в каком количестве экземпляров в него
входят;
коммутацию компонент внутри комплекса, если она имеет место,
т. е. внутренние переменные каких компонент являются внешними
переменными и каких именно компонент комплекса.
При объединении компонент в комплекс следует иметь в виду,
что однозначность вычислительного процесса может быть потеряна.
Так может произойти, если по каким-то причинам несколько компо-
нент вычисляют одну и ту же характеристику моделируемого явле-
ния. В таком случае можно ввести в комплекс новую компоненту,
которая в качестве внешних переменных получает весь многознач-
ный набор значений упомянутой характеристики, а в качестве внут-
ренней переменной каким-то образом вычисляет единственное ее
значение.
Комплекс как компонента.
Комплекс, состоящий из многих
компонент, вовне может проявляться в качестве единой компоненты.
Введем следующую операцию объединения компонент комплекса:
внутренние переменные комплекса — объединение внутренних
переменных всех его компонент;
процессы комплекса — объединение всех процессов его компо-
нент;
методы комплекса — объединение всех методов его компонент;