TY JOUR TI Алгоритмы автоматизированной проверки соответствия BIM-моделей нормативным требованиям: вычислительная сложность, экономическая эффективность разработки и снижение рисков проектирования KW BIM KW автоматизированная проверка KW алгоритмы верификации KW вычислительная сложность KW экономическая эффективность KW нормоконтроль JO Строительство и архитектура AU Бороздина, С.М. AU Едленко, В.П. PY 2026 IS 14 PB ООО "Издательский Центр РИОР"