1 / 10Оригинал: Автоматизация проверки информационных моделей на соответствие нормативам с использованием дескрипционной логики
Пример автоматизации проверки проектных моделей через дескрипционную логику — полезно как ориентир по зрелости инженерных инструментов.
Материал от разработчиков «Нанософт» и научного сотрудника Ганноверского университета посвящён автоматизации проверки информационных моделей на соответствие нормативам. Инструментом формализации выступает дескрипционная логика — раздел математической логики, позволяющий описывать классы объектов и их отношения в машиночитаемом виде.
Практический смысл для строительной и проектной отрасли очевиден: ручная проверка BIM-моделей на соответствие сводам правил — трудоёмкий и подверженный ошибкам процесс, а логические решатели позволяют автоматизировать хотя бы часть этих сценариев.
Для читателей киножурнала материал релевантен косвенно — как пример того, насколько глубоко автоматизация проникает в производственные цепочки, смежные с медиапроизводством и управлением ассетами. Полный текст с формальными выкладками — на сайте источника.
Материал агрегирован; полный текст — на сайте Хабр — ИТ-новости.
Для продакшен-пайплайнов, где важна точность данных (BIM, превиз, планирование съёмок), такой подход может ускорить валидацию и снизить человеческие ошибки.
Статья носит технический характер и адресована разработчикам САПР и BIM-систем; прямого отношения к кинопроизводству не имеет.
Косвенно влияет на индустрию через инструменты планирования и управления проектами, но в краткосрочной перспективе — минимально.
Увеличить1 / 10Комментарий редактора Игоря
Материал узкоспециальный: для киножурнала — на грани релевантности, но полезен тем, кто строит технические пайплайны продакшена.
Коалиция Block the Merger просит суд отклонить мировое соглашение Paramount со штатами по сделке с Warner Bros.
Variety — Film · 19м
Nubes рассказал, как строил отказоустойчивый облачный MFA-сервис аутентификации
Хабр — ИТ-новости · 35м
MetaVision for 1C отказалась от чанков: как ИИ-агент читает чужой код через три источника фактов
Хабр — ИТ-новости · 36м
Метрика просела на 20% — и это правильный результат: разбор ошибки в ML-пайплайне
Хабр — ИТ-новости · 38м
Инженер полтора года учит программу чертить по ЕСКД — и рассказывает, почему это оказалось сложнее, чем кажется
Хабр — ИТ-новости · 42м
Cinemed и Aflamuna отобрали проекты о пропавших в Сирии, ливанском военном усыновлении и палестинском психздоровье
Deadline · 42м