Проверка композиции цифровых двойников в системе систем: пример тепличного хозяйства

США и Запад · 28 авг.

В исследовании на примере цифрового двойника тепличного хозяйства рассматриваются проблемы формализации и проверки свойств цифровых двойников в контексте систем систем. Предложен подход к формализации отдельных двойников для поддержки композиционных рассуждений, с использованием исполняемых моделей на VDM-RT.

Почему это важно

Обеспечение достоверности композиции цифровых двойников критично при интеграции моделей в крупные инфраструктурные системы.

Созвучно продуктам ЦД

ЦДП

Заголовок оригинала: A System-of-Systems Case Study for the Verification of Composed Digital Twins

Читать первоисточник: arXiv API — полнотекстовый поиск "digital twin"

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.

Рядом по теме

Цифровой двойникСША и Запад14 ч

Мировая модель системы Земли для сценариев «что если» на примере наземных экосистем

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

ЦДГЦД.ПрогнозarXiv API — полнотекстовый поиск "digital twin" ↗

Цифровой двойникСША и Запад12 ч

Цифровой двойник и дополненная реальность для роботизированной финишной обработки

Представлена кибер-физическая система для программирования, наблюдения, обучения и телеуправления роботизированной финишной обработкой металлических деталей, напечатанных аддитивным методом. Цифровой двойник в Unity работает как WebGL-приложение на компьютере или через WebXR-устройства, обмениваясь командами с коллаборативным роботом по MQTT. Двойник проверяет кинематику и коллизии перед выдачей команд, а также показывает цветовую карту топографии поверхности для принятия решений.

ЦДПarXiv API — полнотекстовый поиск "digital twin" ↗

Цифровой двойникСША и Западвчера

Когда цифровые двойники на LLM могут сократить измерения с участием людей?

Вводится критерий статистической заменяемости для оценки того, насколько цифровые двойники на основе LLM могут заменить повторный сбор данных от людей, сохраняя корректность выводов. Предложен фреймворк, основанный на смешанных субъектах и прогнозно-усиленном выводе, оценивающий четыре аспекта: агрегированную точность, сигнал на уровне респондента, восстановление меток на конечных выборках и стабильность между популяциями. Это позволяет определить, когда двойники полезны для сокращения измерений.

ЦДГЦДПarXiv API — полнотекстовый поиск "digital twin" ↗