КОНСПЕКТ ЛЕКЦИЙ КОДЭИ

Simulink — интерактивный инструмент для моделирования, имитации и анализа динамических систем. Он дает возможность строить графические блок-диаграммы, имитировать динамические системы, исследовать работоспособность систем и совершенствовать проекты. Simulink полностью интегрирован с MATLAB, обеспечивая немедленным доступом к широкому спектру инструментов анализа и проектирования.

STATISTICA (торговая марка — STATISTICA) — пакет для всестороннего статистического анализа, разработанный компанией StatSoft. В пакете STATISTICA реализованы процедуры для анализа данных(data analysis), управления данными (data management), добычи данных (data mining), визуализации данных (data visualization).

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

Mathematica — система компьютерной алгебры компании Wolfram Research. Содержит множество функций как для аналитических преобразований, так и для численных расчѐтов. Кроме того, программа поддерживает работу с графикой и звуком, включая построение двух- и трѐхмерных графиков функций, рисование произвольных геометрических фигур, импорт и экспорт изображений и звука.

Возможности: аналитические преобразования, численные расчѐты, теория чисел, линейная алгебра.

Верификация модели (model verification) —

проверка еѐ истинности, адекватности. Верификация есть проверка соответствия поведения модели предположениям экспериментатора. Когда модель организована в виде вычислительной программы для компьютера, то сначала исправляют ошибки в еѐ записи на алгоритмическом языке, а затем переходят к верификации. Подбираются некоторые исходные данные, для которых могут быть предсказаны результаты расчета. Если окажется, что ЭВМ выдает данные, противоречащие тем, которые ожидались при формировании модели, значит, модель неверна.

Валидация модели (model validation) —

проверка соответствия данных, получаемых в процессе машинной имитации, реальному ходу явлений, для описания которых создана модель. Валидация производится тогда, когда экспериментатор убедился на предшествующей стадии (верификации) в правильности структуры (логики) модели, и состоит в том, что выходные данные после расчета на компьютере сопоставляются с имеющимися статистическими сведениями о моделируемой системе.