avz, Ansys, как и многие другие программы компьютерного моделирования с использованием зашитых в программном коде численных методов, позволяют получать численные значения интересующих исследователя параметров, графики изменения этих параметров, или даже 2D/3D-анимации моделируемого объекта или процесса. Я же говорю о программах, которые позволяют получать новые, ранее неизвестные, формулы, уравнения и системы уравнений в символьном виде.
В качестве простого примера использования Maple - генератор стационарной системы уравнений Колмогорова-Чепмена для любой заданной цепи Маркова для решения каких-то исследовательских задач (ну например моделирования надежности технических систем).
Ключевые моменты:
- Уравнения не вводятся, а именно генерируются процедурой генерации GEN_SYS. Исследователь лишь только вводит список состояний системы и интенсивности переходов между ними в символьном виде (без конкретных числовых значений).
- Уравнения генерируются с использованием соответствующих переменных и параметров в символьном виде (никаких числовых значений).
- Далее систему можно решить командой solve и получить аналитические формулы для вероятностей всех состояний цепи Маркова.