ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Пусть линейная однородная дифференциально-алгебраическая система первого порядка имеет полный ранг, и некоторые ее неизвестные выделены. Предлагается реализованный с среде Maple алгоритм Extract, позволяющий в этой ситуации получить для некоторой части компонент вектора неизвестных исходной системы новую дифференциальную систему, и при этом те выделенные компоненты, которые не вошли в новую систему, выражаются линейно лишь через вошедшие в новую дифференциальную систему выделенные компоненты. Количество выделенных компонент, не попадающих в новую дифференциальную систему, определяется однозначно лишь исходной системой. Размер получаемой дифференциальной системы не определен однозначно постановкой задачи. Показано, что дополнительное привлечение алгоритма Абрамова-Бронштейна позволяет минимизировать этот размер.