Exponenta Banner

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)

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

Поддержка