Model Verification

Что такое Model Verification?

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

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

  • Структура модели

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

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

  • Модульные проблемы преобразования

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

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

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

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

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

Совет

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

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

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

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

Пример Model Verification

  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)

Просмотрите уравнения модели

Когда вы проверяете модель, можно просмотреть базовую систему уравнений модели. Просмотр уравнений модели полезен для:

  • Публикация целей

  • Отладка модели

Для получения дополнительной информации смотрите getequations или уравнения модели Show и начальные условия.