Exponenta Banner

Верификация модели

Что такое верификация модели?

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

Верификация модели проверяет многие аспекты модели, включая:

  • Моделируйте структуру

  • Валидность математических выражений

  • Размерный анализ

  • Вопросы преобразования модулей

Когда верифицировать модель

Можно проверить модель на наличие предупреждений и ошибок в любое время при построении или работе с моделью. Для примера:

  • Проверьте свою модель во время конструкции, чтобы убедиться, что модель завершена.

  • Проверьте модель после изменения настроек симуляции, настроек размерного анализа или настроек преобразования модулей.

Анализы, такие как симуляция, сканирование и подгонка параметров, автоматически проверяют модель.

Совет

Неоднократно выполняйте задачу с использованием другого варианта или задавая другое значение для InitialAmount свойство вида, Capacity свойство отсека или Value свойство параметра, генерирует предупреждения только при первом моделировании модели. Используйте функцию верификации, описанную в этом разделе, чтобы снова отобразить предупреждения.

Проверка того, что модель не имеет предупреждений или ошибок

Используйте verify метод, чтобы увидеть список предупреждений и ошибок в вашей модели.

Используйте sbiolastwarning и sbiolasterror возвращает последнее предупреждение и последнюю ошибку, возникшую во время верификации.

Пример верификации модели

  1. Создайте модель с реакцией, которая ссылается на K1, неопределенный параметр:

    % Create a model named example
model = sbiomodel('example');
% Add a compartment named cell to model
compartment = addcompartment(model, 'cell');
% Add two species, A and B, to the cell compartment
species_1 = addspecies(compartment, 'A');
species_2 = addspecies(compartment, 'B');
% Add the reaction A -> B to the model
reaction = addreaction(model, 'A -> B', 'ReactionRate', 'K1');

  2. Проверьте модель, чтобы проверить на наличие предупреждений и ошибок:

    verify(model)
    ??? --> Error reported from Expression Validation:
The name 'K1' in reaction 'A -> B' does not refer to any in-scope species,
parameters, or compartments.

  3. Устраните ошибку, определив параметр K1:

    % Add a parameter, K1, to the model with a value of 3
parameter = addparameter(model, 'K1', 3);

  4. Проверьте модель еще раз:

    verify(model)

Документация SimBiology

Поддержка