Сохранение и численная валидность
- Баланс массы, энергии и потоков
- Сходимость по сетке и временному шагу
- Оценка численной ошибки и инвариантов
METHOD / REPRODUCIBILITY / CLAIM CONTROL
Метод допуска утверждений
Цель — не получить благоприятный график, а построить проверяемую цепочку: вопрос способен провалиться, допущения модели описаны, контроли предшествуют интерпретации, а вывод не выходит за пределы свидетельств.
01 / EVIDENCE LADDER
Уровни утверждений не взаимозаменяемы
Каждый переход требует нового типа свидетельства; numerical PoC не становится лабораторным результатом за счёт формулировки.
- 01
Гипотеза
Формулировка предполагаемого механизма
Ещё нет результата - 02
Численный результат
Наблюдаемое в конкретном расчёте
Требует проверки устойчивости - 03
Симуляционное исследование
Серия расчётов с заявленной моделью
Ограничено моделью и параметрами - 04
Numerical PoC
Связанная цепочка контролей и стресс-тестов
Поддерживает механизм на уровне модели - 05
Лабораторная валидация
Независимый физический эксперимент
Проверяет соответствие модели реальности - 06
Экспериментально подтверждённый результат
Воспроизводимое измерение на физической системе
Не равен автоматически промышленной готовности
CASE / DB1
От наблюдения к допустимому выводу
В DB1 локализованный интерфейсный отклик сохраняется под контролями. Это поддерживает организацию интерфейса в рассмотренных моделях. Чтобы перейти к утверждению об упрочнении, нужны отдельные механические проверки; три такие ветви не подтвердили усиление. Поэтому положительный интерфейсный результат и отрицательный механический результат сохраняются одновременно.
Посмотреть проверки и разделённый вердикт DB1 ↗02 / WORKFLOW
Шесть обязательных переходов
Конкретные тесты меняются с физикой задачи; логика проверки остаётся постоянной.
- 01
Определить фальсифицируемый вопрос
Перевести идею в переменные состояния, наблюдаемые, допущения и результат, который способен оказаться отрицательным.
- 02
Построить минимально состоятельную модель
Выбрать уравнения, дискретизацию, границы, начальные условия и диагностики, соответствующие вопросу.
- 03
Задать контроли и проверки баланса
Добавить пассивные, нулевые, отрицательные, абляционные, балансовые и численно-валидирующие контроли до интерпретации благоприятной ветки.
- 04
Провести структурированную серию
Варьировать параметры, seeds, возмущения и разрешения; сохранять отрицательные результаты и режимы отказа.
- 05
Проверить устойчивость и границы заявлений
Отделить модельные свидетельства от предположений, артефактов, непроверенной экстраполяции и лабораторных утверждений.
- 06
Упаковать свидетельства и следующий тест
Передать согласованную методику, диагностики, ограничения и план лабораторного или инженерного продолжения в установленном для проекта режиме доступа.
03 / CONTROL FAMILIES
Контроли организованы по функции
Не каждый проект требует всех тестов, но исключение семейства должно быть явно обосновано.
Контрфактические ветви
- Пассивный и нулевой режим
- Отрицательный контроль
- Абляция заявленного механизма
Устойчивость результата
- Seeds и начальные состояния
- Шум, дефекты и возмущения
- Чувствительность к параметрам и метрикам
Граница переноса
- Неиспытанная экстраполяция
- Требования к физическому измерению
- Критерии подтверждения и опровержения
04 / CLAIM ADMISSION GATE
Вывод проходит только вместе с границей
Допустить → воспроизводимый · устойчивый · ограниченный
Удержать → отрицательный · неоднозначный · открытый
Не переносить → модельный эффект в физическую валидацию
Численный результат устанавливает поведение модели в рамках заявленных предположений и не заменяет независимую лабораторную проверку.