08.11.2022

Кто верифицирует верификаторов: почему российское ПО проверяется импортными программами


К 2027-му планируется на 90 % заменить крайне важные для инженеров и учёных иностранные программы математического моделирования (computer-aided design, или CAD, и computer-aided engineering, или САЕ) на отечественные аналоги. К этому стремится созданный в прошлом году по инициативе «Росатома» Консорциум российских разработчиков программ математического моделирования.

Возможно ли реализовать данное начинание на практике и в такие сжатые сроки? Да, считает Сергей Букреев, технический директор АО «ИТЦ “ДЖЭТ”», структуры «Росатома», входящей в Консорциум, но для этого необходимы серьёзные усилия всех причастных к инициативе специалистов. В том числе в таком сложном и крайне необходимом процессе, как верификация программного обеспечения (ПО) — проверке соответствия продуктов исходным математическим моделям.

Очевидно, что «пробным камнем» для ПО до недавнего времени выступали иностранные программы. Однако сегодня они по большей части недоступны. Заменить их, впрочем, возможно: использование уже валидированного и верифицированного отечественного ПО может и должно стать доступным и удобным инструментом для проверки новых продуктов, которые будут выходить на российский рынок во всё больших объёмах.

Сергей Букреев обосновывает своё мнение успешным опытом верификации кода библиотеки электрики. Этот модуль входит в одну из немногих практически применяемых в различных сферах промышленности российских программ — платформу моделирования технологических процессов REPEAT. Ядро сервиса уже много лет лежит в основе тренажёров, имитирующих работу АЭС, на которых обучают персонал станций «Росатома». Оно позволило создать собственную среду моделирования, с успехом применяющуюся для разработки цифровых двойников в энергетике.

В перспективе платформа способна справиться с различными задачами в области математического моделирования, ранее решаемыми только с помощью недоступных сейчас иностранных CAD/CAE-программ. В том числе в качестве инструмента верификации.

Перед создателями REPEAT ещё в середине 2010-х годов встала задача разработки математических моделей электросборок для тренажёров АЭС, а также создания нового кодогенератора. Это инструмент, который на основе сведений об электросхеме, паспортных данных оборудования генерирует исходные тексты математических моделей по определённому численному алгоритму. Он стал одним из модулей новой платформы моделирования.

Чтобы успешно её внедрить для технологических разработок в различных отраслях, нужно было оценить, насколько программа соответствует теоретической основе. Для этого сделали верификацию. Она проводилась в два этапа:

● с помощью эксперимента, в ходе которого имитировались нагрузки на оборудование и системы, а результаты сравнивались с документацией;

● проверкой сторонними продуктами. Использовался комплекс ETAP, один из самых известных мировых продуктов для расчёта электротехнических процессов, а также EMTP-RV — программный инструмент для анализа электромагнитных переходных процессов и связанных с ними проблем изоляции.

«Ни одно из данных решений не могло прямо применяться в составе полномасштабных и аналитических тренажёров, — объясняет Сергей Букреев (АО «ИТЦ “ДЖЭТ”»). — Это зарубежные программы. Они к тому же ничего не воспроизводят в реальном времени — это полностью офлайн-симуляция. Однако данные продукты являются очень точными и повсеместно используются специалистами для расчёта электроэнергетических систем и цепей, поэтому весь мир моделирует с их помощью. Нам они помогли установить, что компьютерная модель в области электрики соответствует математической с высокой точностью (до 1 %) и с большим запасом вписывается в заданные границы в 2 %.

Нужно отметить, что сегодня процесс верификации в России имеет нормативное обоснование, в частности в ГОСТ Р 57700.2-2017 и ГОСТ Р 57700.37–2021, в единственном в мире стандарте, описывающем процесс использования технологии цифровых двойников. Хотя в них и не конкретизируются способы проверки, но указано, что она производится путём сравнения с результатами аналитических тестов, теоретического анализа и включает обоснование точности, сходимости, устойчивости применяемых численных методов.

«Проверка каждого компонента модели показала, что мы практически всегда укладывались в погрешность ~0,1%, — говорит Сергей Букреев. — То есть платформа с верифицированной библиотекой уже может служить достаточно надёжным способом поверки других программ моделирования. Соответственно, по мере наработки различных модулей возможности отечественного ПО в плане использования его для верификации будут расти. Благодаря этому уже в ближайшие пять лет в критически важных сферах мы сумеем достичь цифрового суверенитета в области моделирования, а значит, дать основу для быстрого технологического развития».



Опубликовать свою новость можно из личного кабинета фирмы.
Зарегистрироваться и получить личный кабинет - здесь.


Новости компаний



06.02.2023

Электронный дискаунтер запустил акцию с бесплатной доставкой по России и скидками

Интернет-магазин электронных компонентов объявил акцию со скидками и бесплатной доставкой по России. Пропуском к выгодам акции стал промокод FB23, который нужно ввести во время заказа до конца февраля 2023 года. Piar im

06.02.2023

Полка для роутера

Полка для роутера, полка для роутера на стену, купить полку для роутера, полка для роутера купить, полка под роутер, полка из металла на стену, купить полку для роутера на стену, полка для роутера на стену купить, полка настенная для роутера Центр Инженерных услуг "Модельер"

06.02.2023

Онлайн-сделки: кто покупает недвижимость удаленно?

Пандемийное время подарило рынку недвижимости бурное развитие онлайн-сервисов и отлаживание процессов удаленного заключения сделки. Promotion Realty

06.02.2023

Новые поступления оборудования в интернет-магазине Romato.ru

Интернет-магазин Romato.ru сообщает о расширении ассортимента. В 1 квартале 2023 года в продаже появилось новое оборудование для сварки линолеума прутком, внахлест от ведущих мировых производителей Leister, Weldi, Meltplast, Lesite. Romato

06.02.2023

INGRAD объявляет старт продаж коммерции при въезде в микрорайон «Новое Пушкино»

Группа компаний «Инград» приступила к реализации коммерческой недвижимости нового корпуса №23 жилого квартала «Новое Пушкино» в подмосковном Пушкино. Ввод в эксплуатацию домазапланирован на 1-й квартал ГК «Инград»

06.02.2023

Строительный интернет-магазин «Шурик»

Надежный поставщик строительных и отделочных материалов по Санкт-Петербургу, Москве и другим регионам РФ ООО «ОптСтройМаркет» после 6-ти лет уверенной работы провел ребрендинг и вышел на новый этап развития бизнеса под новым брендом «Шурик». Интернет-магазин «Шурик»

05.02.2023

Информационные стойки от компании «Европос Групп»

ООО «Европос Групп» предлагает своим клиентам большой выбор информационных стоек на магнитах по разумным ценам. ООО «Европос Групп»

05.02.2023

Red Wings рассказала об открытии ангара для ремонта самолётов в аэропорту «Жуковский»

2 февраля 2023 года Red Wings в рамках реализации второго этапа комплексной программы стратегического развития авиакомпании открыла ангар технического обслуживания самолетов SSJ100 в аэропорту «Жуковский». Piar im

05.02.2023

Преимущества интернет-магазина Elektro-Garant

Elektro-Garant предлагает широкий ассортимент востребованных электротоваров по привлекательным ценам. ООО «ЭлектроГарант»

05.02.2023

Преимущества Almaz.pro

Almaz.pro предлагает широкий спектр качественных материалов для строительства и ремонта. Almaz.pro

05.02.2023

Акция «Вам подарок!» от компании «Барбекю-Центр»

С 6 по 20 февраля 2023 года компания «Барбекю-Центр» дарит подарки за покупку. Приобретая печи тандыр, покупатели получают в подарок елочку, а при покупке стола-гриль – щипцы. «Барбекю-Центр»

04.02.2023

Сотрудничество с крупными застройщиками Москвы

На базе «Московского строительного союза» созданы условия для взаимовыгодного сотрудничества с крупными застройщиками Москвы – членами «МСС», такими как «ПИК», «ДСК-1», «МФС-6», «ТД «Партнёр», ФСК «Лидер», «Абсолют». «Московский строительный союз»

03.02.2023

Три новых катка открыл во дворах московского региона девелопер «Инград»

Сразу три ледовых площадки появились в эти дни в Одинцово, Пушкино и Новой Москве. Группа компаний «Инград» открыла новые катки для жителей своих жилых кварталов «Одинград - Семейный», «Новое Пушкино» и «Филатов Луг». ГК «Инград»

03.02.2023

Турбокомпрессоры для ЯМЗ в каталоге «Компании импульс»

«Компания импульс» предлагает турбокомпрессоры для двигателей группы ЯМЗ по привлекательным ценам. ООО «Компания Импульс»

03.02.2023

Производство картонной упаковки для чая в типографии «Глобус»

Типография «Глобус» занимается производством картонных коробок любой сложности с печатью на заказ для различных товаров. «Глобус»

02.02.2023

На ресурсе tenchat.ru опубликована моя статья "Как продать промку?"

Иногда в работу принимаются объекты коммерческой недвижимости в состоянии значительного износа. Как продать такие объекты? ИП Бушуров В.И.

02.02.2023

Фильтры и системы очистки воды от отечественного производителя Ecvols

Компания «Экволс» проектирует и производит эффективные фильтры и надежные системы водоочистки, доступные всем слоям населения. Экволс-сервис

02.02.2023

7-ой по счёту альбом певицы Аники Далински получился проникновенным и с лиричным звучанием

Аника Далински, которую прославил популярный радио-хит "Дороги-дороги, снова дурманят", выпустила свой седьмой авторский альбом, который впечатляет проникновенностью вокала и лиричным звучанием всех без исключения песенных историй. Piar im

02.02.2023

Гидроизоляция для канатки в Китай

При строительстве посадочного терминала уникальной трансграничной канатной дороги применяют гидроактивный жгут Пенебар. Группа компаний "Пенетрон-Россия"

01.02.2023

Компания «Бренд Моторс» вошла в ТОП-5 импортеров фронтальных погрузчиков

Компания «Бренд Моторс» подвела итоги 2022 года. Результатом работы специалистов предприятия стало попадание в ТОП-5 импортеров фронтальных погрузчиков. «Бренд Моторс»

01.02.2023

Эксклюзив в ассортименте компании «Мерани»

Компания «Мерани» сообщает о появлении в ассортименте эксклюзивной новинки – фанеры SVEZA Paint. «Мерани»

01.02.2023

«Альянс-ЛК» – качественные навесные фасады

Компания «Альянс-ЛК» выполняет весь спектр работ от проектирования и поставки до установки вентилируемых навесных фасадов. «Альянс-ЛК»

01.02.2023

Президент России утвердил перечень поручений для развития Искусственного интеллекта

По итогам конференции «Путешествие в мир искусственного интеллекта» Владимир Путин утвердил перечень из 32 поручений для развития сферы искусственного интеллекта

31.01.2023

Скидка на радиосистемы в интернет-магазине Lightdec

Компания Lightdec сообщает о запуске выгодной акции – клиентам, приобретающим радиосистемы бренда WAVE TECHNOLOGIES, предоставляется скидка 10%. Lightdec

31.01.2023

КТ-диагностика на оборудовании экспертного класса в Рязани

У пациентов «СМ-Клиника» в Рязани появилась уникальная возможность пройти одно из наиболее информативных исследований – компьютерную томографию! «СМ-Клиника»


Выбор города Закрыть окно

Начните ввод города и нажмите "Поиск":
Поиск