Электронный фонд правовой
и нормативно-технической документации
ГОСТ Р 57700.13-2018 Численное моделирование физических процессов. Численное моделирование многофазной фильтрации. Верификация ПО
ГОСТ Р 57700.13-2018
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ
ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ ФИЗИЧЕСКИХ ПРОЦЕССОВ
Численное моделирование многофазной фильтрации. Верификация ПО
Numerical modeling of physical processes. Numerical modeling of multiphase filtiation. Software verification
ОКС 35.020
Дата введения 2019-01-01
Предисловие
1 РАЗРАБОТАН Закрытым акционерным обществом "Т-Сервисы" (ЗАО "Т-Сервисы")
2 ВНЕСЕН Техническим комитетом по стандартизации ТК 700 "Математическое моделирование и высокопроизводительные вычислительные технологии"
3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 6 февраля 2018 г. N 53-ст
4 ВВЕДЕН ВПЕРВЫЕ
Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. N 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячном информационном указателе "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)
Введение
Данный стандарт посвящен требованиям к верификации программного обеспечения компьютерного моделирования (ПО КМ), предназначенного для численного моделирования многофазной фильтрации. Целью верификации является подтверждение корректности программной реализации выбранных математических моделей течений в пористой среде. Верификация других функциональных возможностей ПО КМ (ввод-вывод, пользовательский интерфейс и т.д.) рассматривается в ГОСТ Р ИСО/МЭК 12207. Основной метод верификации ПО КМ - это решение тестовых задач, в идеале покрывающих весь код ПО КМ. Рекомендуемые тесты изложены в настоящем стандарте.
Для тестирования ПО КМ предлагается 28 тестовых задач, позволяющих проверить адекватность расчета на ПО различных фильтрационных течений. Для каждой тестовой задачи приведена формулировка функциональности ПО, адекватность реализации которой позволяет проверить краткое описание постановки задачи, результаты моделирования фильтрации и критерий качества, позволяющий определить прохождение теста.
В стандарте приведена обзорная таблица основных параметров тестовых задач.
1 Область применения
Настоящий стандарт определяет общие требования к верификации программного обеспечения компьютерного моделирования, применяемого для численного моделирования многофазной фильтрации жидкостей и газов. Фильтрацией называется течение флюидов в проницаемой пористой среде. Течение может сопровождаться относительным движением фаз флюида, фазовыми превращениями, неизотермическими процессами, диффузией компонентов, теплопроводностью и т.д. В стандарте предлагаются тестовые задачи для верификации расчетов фильтрации в геофизических приложениях, в том числе расчетов фильтрации при разработке месторождений углеводородов, получения геотермальной энергии и захоронения отходов в недрах Земли. При выборе тестовых задач учитывается, что в отмеченных приложениях на фильтрацию существенно влияют физико-химические свойства флюида, его компонентный состав, фильтрационно-емкостные свойства скелета пористой среды, а также тепломассообмен со скважинами.
Настоящий стандарт применим для верификации программного обеспечения компьютерного моделирования при проведении его сертификации в соответствии с ГОСТ Р 57700.1 и ГОСТ Р 57700.2.
2 Нормативные ссылки
В настоящем стандарте использованы нормативные ссылки на следующие стандарты:
ГОСТ Р 57188 Численное моделирование физических процессов. Термины и определения
ГОСТ Р 57700.1 Численное моделирование для разработки и сдачи в эксплуатацию высокотехнологичных промышленных изделий. Сертификация программного обеспечения. Требования
ГОСТ Р 57700.2 Численное моделирование для разработки и сдачи в эксплуатацию высокотехнологичных промышленных изделий. Сертификация программного обеспечения. Общие положения
ГОСТ Р 57700.5 Численное моделирование физических процессов. Термины и определения в области механики течений в пористых средах
ГОСТ Р ИСО/МЭК 12207 Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств
Примечание - При пользовании настоящим стандартом целесообразно проверить действие ссылочных стандартов в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет или по ежегодному информационному указателю "Национальные стандарты", который опубликован по состоянию на 1 января текущего года, и по выпускам ежемесячного информационного указателя "Национальные стандарты" за текущий год. Если заменен ссылочный стандарт, на который дана недатированная ссылка, то рекомендуется использовать действующую версию этого стандарта с учетом всех внесенных в данную версию изменений. Если заменен ссылочный стандарт, на который дана датированная ссылка, то рекомендуется использовать версию этого стандарта с указанным выше годом утверждения (принятия). Если после утверждения настоящего стандарта в ссылочный стандарт, на который дана датированная ссылка, внесено изменение, затрагивающее положение, на которое дана ссылка, то это положение рекомендуется применять без учета данного изменения. Если ссылочный стандарт отменен без замены, то положение, в котором дана ссылка на него, рекомендуется применять в части, не затрагивающей эту ссылку.
Документ «ГОСТ Р 57700 13 2018» посвящён численному моделированию физических процессов, с акцентом на многофазную фильтрацию и верификацию программного обеспечения. Основное назначение стандарта заключается в установлении требований и методов, обеспечивающих достоверность и точность численных моделей, используемых для анализа многофазных процессов в различных областях, включая геофизику, гидрологию и нефтегазовую отрасль.
Стандарт регламентирует ключевые аспекты, касающиеся методов верификации программного обеспечения, включая определение критериев точности, стабильности и согласованности результатов моделирования. Установлены параметры, которые должны быть учтены при проведении верификации, такие как выбор тестовых задач, методы сравнения результатов и анализ погрешностей. Также документ включает требования к документации, необходимой для подтверждения соответствия программного обеспечения установленным стандартам.
Важные технические детали стандарта касаются условий испытаний и классификаций, которые должны быть соблюдены для обеспечения корректности моделирования. Определяются измеряемые величины, такие как скорость фильтрации, давление и насыщенность, что позволяет проводить комплексный анализ многофазных потоков. Стандарт также содержит рекомендации по использованию специализированных программных инструментов, что способствует унификации подходов в области численного моделирования.
Целевая аудитория данного стандарта включает производителей программного обеспечения, научно-исследовательские лаборатории, а также контролирующие органы, занимающиеся оценкой качества и безопасности программных решений в области моделирования. Применение данного стандарта способствует повышению уровня доверия к результатам численного моделирования, что важно для принятия обоснованных решений в критически важных отраслях.
Практическое значение стандарта заключается в его влиянии на безопасность и качество проводимых исследований и разработок. Соблюдение установленных требований позволяет минимизировать риски, связанные с ошибками в моделировании, тем самым повышая общую надежность результатов. Стандарт также способствует улучшению охраны труда и совместимости различных программных решений, что является важным аспектом в условиях быстрого развития технологий.
В документе учтены изменения и дополнения, касающиеся уточнения методов верификации и расширения перечня рекомендуемых тестов, что позволяет более эффективно адаптировать стандарт к современным требованиям и технологиям. Эти дополнения направлены на улучшение качества и надежности программного обеспечения, используемого для численного моделирования многофазной фильтрации.
Описание документа носит справочный характер, достоверность этого материала не гарантируется.
Чтобы получить полный доступ к этому и другим документам, приобретайте доступ к Информационной сети «Техэксперт» - лидеру в области комплексного обеспечения предприятий нормативно-технической документацией.
доступны в системах «Техэксперт» и «Кодекс»