МоделированиеEnhanced Imitation Learning of Model Predictive Control through Importance WeightingarXiv — Systems and Control (eess.SY) · вчераМоделированиеСлабый обмен знаниями между биологическими подобластями в агентном моделированииarXiv — Physics and Society (physics.soc-ph) · вчераЦифровой двойникПроверка соответствий онтологий для национального цифрового двойникаarXiv API — полнотекстовый поиск "digital twin" · вчераЦифровой двойникЦифровой двойник ускоряет обучение роботов в лабораторииarXiv API — полнотекстовый поиск "digital twin" · вчераЦифровой двойникДатасет для выбора между сбором данных и действием при авариях в АСУ ТПarXiv — Computational Engineering, Finance, and Science (cs.CE) · 2 днЦифровой двойникРазреженные стохастические двойники могут превосходить точные моделиarXiv — Computational Engineering, Finance, and Science (cs.CE) · 2 днМоделированиеПлюрализм конкурирующих моделей в сетевых моделях наукиarXiv — Multiagent Systems (cs.MA) · 2 днПрогнозированиеОценивание и MPC для баланса колёсно-ногого робота при неизвестных возмущенияхarXiv — Systems and Control (eess.SY) · 2 днЦифровой двойникСвод разрозненных данных сетевой компании в цифровой двойник распредсетиarXiv API — полнотекстовый поиск "digital twin" · 2 днЦифровой двойникИнтеграция машинного обучения и оценки неопределённости для решений в реальном времени в цифровых двойникахarXiv API — полнотекстовый поиск "digital twin" · 3 днЦифровой двойникСмещения в сквозных цифровых двойниках из цепочки моделейarXiv API — полнотекстовый поиск "digital twin" · 2 днЦифровой двойникРаспределённые бандиты для свежести данных в цифровых двойниках на периферииarXiv API — полнотекстовый поиск "digital twin" · 2 дн
Обнаружение уязвимостей в машинном коде AArch64 с помощью цифрового двойника
США и Запад ·
Предложен объяснимый цифровой двойник для обнаружения уязвимостей в машинном коде AArch64 без доступа к исходному коду. Двойник воспроизводит выполнение программы, сохраняя состояние регистров, памяти и выделенных блоков. Каждая инструкция преобразуется в событие трассы, а уязвимости описываются символическими правилами в алгебре Клини с тестами, которые компилируются в конечные автоматы для сканирования трассы без SMT-решателя.
Почему это важно
Новизна в использовании цифрового двойника для анализа исполняемого кода, что расширяет применение концепции на кибербезопасность и управление активами программного обеспечения.
Заголовок оригинала
Vulnerability Detection in AArch64 Machine Code Using a Digital Twin
Работа задаёт формальный критерий корректности связей между онтологиями цифрового двойника — согласованность и консервативность объединённой онтологии. Подход проверен на стандарте обмена информацией IES и тринадцати онтологиях, опирающихся на BOT, Brick и SAREF4BLDG, с этапами сопоставления, ручной проверки, сертификации и логического вывода в HermiT.
Представлен TwinBridge — подход, использующий цифровой двойник, построенный на 3D-гауссовом сплаттинге и физической симуляции, для начальной настройки политики и плотных визуальных наград при онлайн-обучении реального лабораторного робота. События и геометрический прогресс в симуляторе дают награды для предобучения, которые затем дистиллируются в модель визуальных наград и дополняются историей исполнения при дообучении с участием человека.
Авторы представили TE-GvA — датасет контрфактических решений для реагирования на отказы в переработанном процессе Теннесси-Истмена: 9 908 точек принятия решений из 1 990 смоделированных инцидентов, по 4–35 вариантов действий с метками из ветвящихся прогонов. При метках по истинной скрытой причине сбор доказательств оказывается лучшим выбором лишь в 1,1–1,3% решений.
