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

Верифікація програмних засобів символьних перетворень для моделювання динамічних процесів об’єктів транспорту

А.М. Носовський, Г.Л. Баранов, С.М. Васько
УДК 681.3:629.122
Мова статті: українська
Анотації на мовах:


Анотація: Розроблено тести для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь.


Ключові слова: нелінійна динаміка, пакет символьної алгебри, тестування, контроль, аналітичний розв’язок
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Носовський А.М., Баранов Г.Л., Васько С.М. Верифікація програмних засобів символьних перетворень для моделювання динамічних процесів об’єктів транспорту. Збірник наукових праць Харківського національного університету Повітряних Сил. 2014. № 1(38). С. 146-149.