Компьютерные технологии в электроприводе. Доманов А.В. - 92 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

90
− сортировка формул с учетом связей; обнаружение и разрыв
алгебраических циклов;
−
определение типа глобальной системы уравнений и выбор адекватного
численного метода.
Сортировка формул производится на основе промежуточной информации,
в которой входные переменные заменяются соответствующими выходными
переменными других блоков с учетом реально существующих связей (для
динамической структуры может не существовать экземпляров некоторых
блоков и, следовательно, всех исходящих от них связей). Макроформулы могут
вычисляться
предварительно в любом порядке.
Проверка на алгебраические циклы проводится в случае, если два или
более локальных поведения, входящих в глобальную суперпозицию, имеют
выработанный на стадии компиляции признак наличия «транзитных цепочек».
В случае обнаружения алгебраического цикла одна из образующих его связей
разрывается и заменяется соответствующим алгебраическим уравнением (для
пользователя выводится предупреждающее
сообщение), после чего снова
проводится проверка на алгебраические циклы до тех пор, пока все
алгебраические циклы не будут разорваны. При изменении локальных
поведений, входящих в циклы, дополнительные алгебраические уравнения
ликвидируются, и связи восстанавливаются.
Исполняющая система определяет вид новой глобальной системы
уравнений (алгебраическая, дифференциальная или алгебро-
дифференциальная) и выбирает указанный в установках
численный метод (см.
ниже) для этого вида уравнений. По умолчанию используются «методы-
автоматы». В любом случае после дискретного события численный метод
заново инициализируется, т. к. в результате мгновенных действий в переходах
и узлах может скачком измениться значение правых частей уравнений.
Другой проблемой, связанной с гибридностью модели, является поиск
точки переключения
непрерывных поведений. Точка переключения может быть
обусловлена:
−
изменением значения логического предиката дискретного
перехода (change event);
−
переходом на другую логическую ветвь условного выражения в правых
частях уравнений и формул или условного оператора в функциях,
вызываемых из правых частей («скрытое» дискретное событие).
При решении текущей системы уравнений на каждом шаге проверяется
наличие переключения. Если оно обнаружено, то методом половинного
деления находятся решения системы для двух временных точек Т
0 и Т, таких,
что в Т0 еще нет переключения, а в Т оно уже есть, а разность фазовых
переменных и времени в этих точках удовлетворяют заданным в установках
погрешностям.
В рамках версии 3.0 планируется доработка, связанная с дополнительным
анализом характера поведения функций, определяющих предикат change event,
для самого распространенного случая, когда предикат является
логической
комбинацией отношений вещественных выражений. Это позволит находить

Страницы