1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 1(38)'2014
  5. Верификация программных средств символьных преобразований для моделирования динамических объектов транспорта

Верификация программных средств символьных преобразований для моделирования динамических объектов транспорта

А.Н. Носовский, Г.Л. Баранов, С.М. Васько
Аннотации на языках:

Разработаны тесты для практического применения качества работоспособности предложенных средств символьных преобразований для аналитического решения нелинейных дифференциальных уравнений.
Ключевые слова: нелинейная динамика, пакет символьной алгебры, тестирование, контроль, аналитическое решение