Верификация информационных моделей строительных объектов на основе языка моделирования правил тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат наук Макиша Елена Владиславовна

• Макиша Елена Владиславовна
• кандидат наук
• 2019

Оглавление диссертации кандидат наук Макиша Елена Владиславовна

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ

ГЛАВА 1. АНАЛИЗ ПРИМЕНЕНИЯ ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ И ВЕРИФИКАЦИИ ЕГО РЕЗУЛЬТАТОВ В АРХИТЕКТУРНО-СТРОИТЕЛЬНОМ ПРОЕКТИРОВАНИИ

1.1 Анализ применения информационного моделирования в архитектурно-строительном проектировании

1.2 Особенности проведения экспертизы проектной документации в Российской Федерации

1.3 Анализ международного опыта верификации информационных моделей строительных объектов

1.4 Повышение качества проектной документации за счет верификации информационных моделей строительных объектов на основе языка моделирования правил

1.5 Выводы по главе

ГЛАВА 2. МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ ВЕРИФИКАЦИИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ СТРОИТЕЛЬНЫХ ОБЪЕКТОВ НА ОСНОВЕ ЯЗЫКА МОДЕЛИРОВАНИЯ ПРАВИЛ

2.1 Методология представления и обмена данными информационных моделей, используемая для проведения верификации

2.2 Методологические основы представления и обмена требованиями к информационным моделям

2.3 Выводы по главе

ГЛАВА 3. ВЕРИФИКАЦИЯ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ СТРОИТЕЛЬНЫХ ОБЪЕКТОВ НА ОСНОВЕ ЯЗЫКА МОДЕЛИРОВАНИЯ ПРАВИЛ

3.1 Разработка классификации проверок информационных моделей строительных объектов

3.2 Алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил

3.3 Методика верификации информационных моделей строительных объектов на основе языка моделирования правил

3.4 Выводы по главе

ГЛАВА 4. ПРАКТИКА ВЕРИФИКАЦИИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ СТРОИТЕЛЬНЫХ ОБЪЕКТОВ НА ОСНОВЕ ЯЗЫКА МОДЕЛИРОВАНИЯ ПРАВИЛ

4.1 Практическая апробация методики верификации информационных моделей строительных объектов на основе языка моделирования правил

4.2 Перспективные направления дальнейших исследований

4.3 Выводы по главе

ЗАКЛЮЧЕНИЕ

СПИСОК СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ

СЛОВАРЬ ТЕРМИНОВ

СПИСОК ЛИТЕРАТУРЫ

ПРИЛОЖЕНИЕ А

ПРИЛОЖЕНИЕ Б

ПРИЛОЖЕНИЕ В

ПРИЛОЖЕНИЕ Г

ПРИЛОЖЕНИЕ Д

ПРИЛОЖЕНИЕ Е

ПРИЛОЖЕНИЕ Ж

ПРИЛОЖЕНИЕ З

161

ВВЕДЕНИЕ

Введение диссертации (часть автореферата) на тему «Верификация информационных моделей строительных объектов на основе языка моделирования правил»

Актуальность темы исследования.

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

По сведениям Федерального автономного учреждения «Главное управление государственной экспертизы» (ФАУ «Главгосэкспертиза России») [1], можно установить, что на текущий момент повышение качества проектной документации является актуальной задачей. Так, в первом квартале 2018 года доля отрицательных заключений, выданных данной организацией, составила 19 %, в региональных организациях государственной экспертизы - 8 %. Несмотря на уменьшение доли отрицательных заключений за период с 2015 по 2018 год, в абсолютных величинах их количество остается значительным. Стоит отметить, что данная статистика касается исключительно объектов, которые проходят государственную экспертизу.

В текущем виде экспертиза проектной документации подразумевает анализ специалистами текстовой и графической информации, представленной двумерными чертежами и схемами, на соответствие нормативным документам, что усложняет данный процесс и увеличивает его продолжительность. Нормативный срок проведения государственной экспертизы составляет 42 дня. Уменьшение продолжительности экспертизы без ухудшения ее качества требует пересмотра подходов к ее организации. Наиболее перспективным решением указанных проблем является переход к автоматизированной экспертизе, что может быть возможно при условии представления в машиночитаемом формате как самой проектной документации, так и требований нормативных документов,

предъявляемых к ней. Информационная модель, утвержденная в Градостроительном Кодексе Российской Федерации как форма проектной документации, позволяет получать данные об объекте именно в таком, пригодном для автоматизированной проверки, виде.

Исследования в области верификации информационных моделей уже некоторое время ведутся специалистами из разных стран. Однако, каждая группа ученых предлагает свой, индивидуальный, а не универсальный подход к решению указанной задачи. Локальность и ограниченность существующих методик верификации не позволяет применять их для любых проектов, стандартов и стран, и, в частности, для Российской Федерации. При этом, наибольшую сложность представляет необходимость перевода всего объема требований нормативных документов в машиночитаемые правила. Получившие наибольшее распространение реализации требований на языках программирования высокого уровня и в виде параметрических таблиц имеют ряд недостатков, таких как ошибки в интерпретации правил программистами; трудности с расширением, корректировкой и обновлением полученных правил; зависимость правил от конкретного проприетарного программного обеспечения; отсутствие связи с исходным текстом нормативного документа и другие. Наиболее перспективным методом реализации правил является их описание на языке представления знаний, основанном на правилах. В настоящее время фактическим стандартом описания правил любой отрасли является язык моделирования правил Яи1еМЬ [2]. Кроме того, применение спецификации Яи1еМЬ для определения требований к информационной модели зафиксировано в ГОСТ Р 57296-2016 «Интегрированный подход к управлению информацией жизненного цикла антропогенных объектов и сред. Описание данных для математического моделирования процессов жизненного цикла. Основные положения». [3]

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

Степень разработанности темы исследования.

Изучением принципов информационного моделирования зданий и сооружений занимаются зарубежные (Charles M. Eastman, Paul Teicholz, Rafael Sacks, Kathleen Liston и другие) и российские (В.В. Талапов, А.А. Волков, А.В. Гинзбург, В.М. Лебедев и другие) ученые.

Значительный вклад в формирование основ верификации информационных моделей внес Charles M. Eastman, профессор Технологического института Джорджии, США. Также исследованием систем автоматизированной верификации моделей занимаются следующие ученые: S. Kerrigan, C.S. Han, W. Solihin, N.O. Nawari (США); S. Malsane, N. Nisbet, T.H. Beach (Великобритания); F. Mohus, O.K. Kvarsvik (Норвегия); H. Lee, J.-K. Lee (Корея); L. Ding, R. Drogemuller (Австралия); M. Lu, M. Al-Hussein (Канада); J. Dimyadi, G. Thomas (Новая Зеландия).

Основы языка моделирования правил RuleML были разработаны и поддерживаются такими учеными, как H. Boley, A. Paschke, T. Athan и другие. Однако использование языка RuleML для получения правил на базе строительных требований и применение их к информационным моделям зданий и сооружений является недостаточно изученным.

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

Целью исследования является повышение качества проектной документации за счет верификации информационных моделей строительных объектов на основе языка моделирования правил.

В соответствии с поставленной целью были сформулированы и решены следующие задачи:

1. Анализ применения информационного моделирования в архитектурно-строительном проектировании.

2. Анализ особенностей проведения экспертизы проектной документации в Российской Федерации.

3. Анализ международного опыта верификации информационных моделей строительных объектов.

4. Разработка классификации проверок информационных моделей строительных объектов.

5. Разработка алгоритма формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил.

6. Разработка методики верификации информационных моделей строительных объектов на основе языка моделирования правил.

7. Разработка автоматизированной системы верификации информационных моделей строительных объектов на основе языка моделирования правил.

8. Практическая апробация и внедрение предложенных решений.

9. Определение перспективных направлений дальнейших исследований в рамках обозначенной предметной области.

Объектом диссертационного исследования является информационное моделирование в архитектурно-строительном проектировании.

Предметом диссертационного исследования является верификация информационных моделей строительных объектов.

Научная новизна диссертации заключается в следующем:

1. Предложена классификация проверок информационных моделей строительных объектов.

2. Разработан алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил.

3. Разработана методика верификации информационных моделей строительных объектов на основе языка моделирования правил.

Теоретическая значимость результатов работы:

1. Предложена классификация проверок информационных моделей строительных объектов.

2. Разработан алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил.

Практическая значимость результатов работы заключается в разработке:

1. Методики верификации информационных моделей строительных объектов на основе языка моделирования правил.

2. Автоматизированной системы верификации информационных моделей строительных объектов на основе языка моделирования правил.

Указанные результаты исследования могут применяться проектными организациями для внутренней проверки информационных моделей строительных объектов до отправки их экспертам, а также органами экспертизы для верификации результатов архитектурно-строительного проектирования.

Методология и методы исследования.

Методологической основой диссертации являются исследования российских и зарубежных авторов в области информационного моделирования строительных объектов, верификации информационных моделей строительных объектов, положения логики первого порядка, открытые международные стандарты обмена данными информационных моделей (Ш^ и правилами (RuleML), а также нормативные правовые акты и документы, регламентирующие процесс архитектурно-строительного проектирования и информационного моделирования. В качестве инструментов исследования использовались следующие методы научного познания: анализ, синтез, классификация, формализация, математическое и информационное моделирование.

Личный вклад автора диссертации состоит в следующем:

1. Предложена классификация проверок информационных моделей строительных объектов.

2. Разработан алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил.

3. Разработана методика верификации информационных моделей строительных объектов на основе языка моделирования правил.

4. Разработана автоматизированная система верификации информационных моделей строительных объектов на основе языка моделирования правил.

На защиту выносятся:

1. Классификация проверок информационных моделей строительных объектов.

2. Алгоритм формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил.

3. Методика верификации информационных моделей строительных объектов на основе языка моделирования правил.

Степень достоверности результатов исследования обусловлена:

- применением научных методов исследования,

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

- использованием положений логики первого порядка,

- использованием открытых международных стандартов области обмена данными информационных моделей (IFC) и правилами (RuleML);

- успешной апробацией и внедрением основных результатов работы.

Апробация результатов исследования.

Основные положения диссертации были изложены на следующих научно -практических конференциях:

1. XX Международная межвузовская научно-практическая конференция студентов, магистрантов, аспирантов и молодых учёных «Строительство -формирование среды жизнедеятельности», 26-28 апреля 2017 г., г. Москва.

2. XXI International Scientific Conference «Construction the formation of living environment», April 27-29, 2018, Moscow, MGSU.

3. Семинар «Системотехника строительства. Киберфизические строительные системы», проводимый в рамках VI Международной научной конференции «Интеграция, партнерство и инновации в строительной науке и образовании», 14-16 ноября 2018 г., г. Москва.

Внедрение результатов исследования было выполнено в Автономной некоммерческой организации «Информационный центр в проектировании», Обществе с ограниченной ответственностью «ВОДАКО», Акционерном обществе «СофтЛайн Трейд».

Отдельные положения диссертационной работы использованы в учебном процессе кафедры ИСТАС НИУ МГСУ.

Публикации.

Основное содержание работы по теме диссертации изложено в 10 научных работах, в том числе 4 публикации в изданиях, включенных в перечень рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученой степени кандидата наук, на соискание ученой степени доктора наук и 1 работа в научном издании, индексируемом международными реферативными базами данных SCOPUS и Web of Science.

В диссертации использованы результаты научных работ, выполненных автором, соискателем ученой степени кандидата технических наук - лично и в соавторстве. Список опубликованных научных работ Макиша Е.В. (лично и в соавторстве) приведен в Приложении А.

Структура диссертации. Диссертация состоит из введения, основной части, включающей 4 главы, заключения, списка сокращений и условных обозначений, списка литературы и приложений. Общий объем диссертации составляет 162 страницы, работа содержит 30 рисунков, 7 таблиц и 9 приложений. Список литературы насчитывает 159 наименований.

Содержание диссертации соответствует пунктам 1, 2 и 7 Паспорта специальности 05.13.12 - Системы автоматизации проектирования (строительство).

1. Методология автоматизированного проектирования в технике, включая постановку, формализацию и типизацию проектных процедур и процессов проектирования, вопросы выбора методов и средств для применения в САПР.

2. Разработка научных основ создания систем автоматизации проектирования и автоматизации технологической подготовки производства (САПР и АСТПП).

7. Разработка научных основ построения средств автоматизации документирования, безбумажного документооборота, процессов работы электронных архивов технической документации, взаимодействия с изготовителем и потребителем изделий.

ГЛАВА 1. АНАЛИЗ ПРИМЕНЕНИЯ ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ И ВЕРИФИКАЦИИ ЕГО РЕЗУЛЬТАТОВ В АРХИТЕКТУРНО-СТРОИТЕЛЬНОМ ПРОЕКТИРОВАНИИ

1.1 Анализ применения информационного моделирования в архитектурно-строительном проектировании

До недавнего времени согласно Градостроительному Кодексу Российской Федерации (ГрК РФ) проектная документация определялась как документация, которая содержит материалы в текстовой форме и в виде карт (схем) и определяет архитектурные, функционально-технологические, конструктивные и инженерно-технические решения для обеспечения строительства и реконструкции объектов капитального строительства, их частей, капитального ремонта. Однако в последней редакции ГрК РФ наравне с существующими была введена новая форма представления проектной документации, называемая информационной моделью [4] В этом разделе будет рассмотрен состав и содержание проектной документации, история архитектурно-строительного проектирования и предпосылки появления новой формы представления проектной документации в виде информационной модели.

Состав и содержание проектной документации в Российской Федерации регламентируется соответствующими национальными нормативными правовыми актами, основными из которых являются Градостроительный Кодекс Российской Федерации [4] и Постановление Правительства Российской Федерации от 16.02.2008 №87 «О составе разделов проектной документации и требованиях к их содержанию» (ПП РФ №87) [5].

Согласно постановлению [5] проектная документация на объекты капитального строительства содержит 12 разделов. Каждый из них включает текстовую, а в большинстве случаев и графическую часть. В текстовой части представлена информация об объекте капитального строительства, описание

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

Если обратиться к истории архитектурно-строительного проектирования [6, 7, 8, 9], то можно сделать вывод, что метод представления информации о проектируемом объекте в виде описательной части и его плоских проекций, возник уже более пятисот лет назад. Такой подход к проектированию долгое время реализовывался в виде ручного черчения и имел ряд недостатков, основными из которых являлись несогласованность чертежей и необходимость восприятия объема через плоскость. Параллельно велись разработки, направленные на получение трехмерных моделей проектируемых объектов: построение перспективных изображений, макетирование и архитектурная эндоскопия. Следующим этапом стало появление и развитие электронного черчения. Ключевым событием стал выход в 1982 году программы Autodesk AutoCAD, что дало начало периоду систем автоматизированного проектирования (САПР), известных также под англоязычным термином CAD system (Computer Aided Design system). Системы автоматизированного проектирования позволили добиться значительных улучшений в процессе проектирования: повысилось качество и скорость подготовки чертежей; появилась возможность корректировки и многократного использования чертежей, возможность создания 3D моделей объектов, инструменты коллективной работы над проектом. Следующим этапом развития проектирования стала постепенная специализация CAD приложений. Наряду с классическим AutoCAD стали возникать программы для архитекторов, конструкторов, специалистов по инженерным коммуникациям, адаптированные под потребности каждого специалиста и содержащие соответствующие библиотеки типовых элементов. Параллельно на новый уровень вышла и презентационная графика, основанная на трехмерной подаче проекта. Появились

качественные инструменты создания фотореалистичных изображений и видеороликов.

Системы автоматизированного проектирования получили широкое распространение и успешно использовались в архитектурно-строительном проектировании на протяжении длительного промежутка времени, применяются они и сейчас. Однако, концептуально проектирование с использованием данных инструментов оставалось таким же, как и много лет назад, и имело все те же проблемы. За последнее время в строительной отрасли произошел ряд изменений, которые определили задачи, требующие создания нового подхода к проектированию и строительству:

1. Необходимость повышения эффективности проектирования и строительства, которое может быть достигнуто за счет:

- уменьшения сроков проектирования путем обеспечения возможности параллельного выполнения нескольких разделов проектной документации и объединения их затем в единый проект;

- уменьшения сроков экспертизы и утверждения проектной документации;

- повышения качества проектной документации и результатов строительства за счет внедрения новых методов экспертизы и строительного контроля;

- сокращения затрат, обусловленных ошибками, допущенными на стадии проектирования, выявление и исправление которых выполняется на последующих стадиях. [6, 10]

2. Необходимость использования информации, разработанной на этапе проектирования, для принятия решений на всех этапах жизненного цикла объекта. [6]

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

переход требований, указанных в них, из рекомендательных в обязательные [6, 11, 12, 13, 14].

4. Задачи, требующие новых подходов к организации и управлению строительством, обусловленные возрастанием уровня сложности объектов:

- увеличение строительного объема;

- повышение концентрации инженерных коммуникаций и оборудования во вновь строящихся объектах;

- высокая информационная насыщенность современных зданий и сооружений, в том числе, широкое распространение и внедрение в строительную практику концепции «умного дома». [6, 15, 16, 17, 18]

5. Потребность в модернизации и выводе из эксплуатации уже существующих объектов, а именно:

- необходимость реконструкции и реставрации колоссального количества ранее построенных объектов;

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

- наличие большого количества зданий в стадии завершения срока службы, и как следствие, необходимость проектирования и организации их сноса и утилизации. [6, 19, 20, 21]

6. Задачи, вызванные изменившимися внешними условиями, например, повышением плотности строительства.

7. Задачи, связанные с глобализацией архитектурно-строительного проектирования, такие как:

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

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

8. Градостроительные задачи, а именно:

- необходимость обеспечения возможности оценки внешнего соответствия проектируемых зданий и сооружений окружающей их застройке;

- необходимость выполнения задач по анализу уже застроенных территорий по различным критериям. [22, 23, 24]

Под влиянием рассмотренных причин постепенно сформировался новый подход к проектированию зданий, названный информационным моделированием (англ. Building Information Modeling, BIM).

Информационная модель - это трехмерная модель здания, состоящая из элементов, имеющих количественные и качественные свойства, корректировка которых, с учетом существующих между ними зависимостей, влечет за собой автоматическое изменение всей модели, и используемая на протяжении всего жизненного цикла объекта. [6]

Понятие «Информационная модель здания» впервые было введено профессором Технологического института Джорджии Чаком Истманом в 1975 году под рабочим названием «Building Description System» (Система описания здания). А в 1986 году Роберт Эйш, являющийся в настоящее время сотрудником Autodesk, в своей статье использовал термин «Building Modeling» в его текущем понимании, а также впервые сформулировал принципы информационного подхода в проектировании. С начала 1990-х термин «Building Information Modeling» начал получать свое распространение в литературе. [6, 25]

На данный момент можно сформулировать основные принципы, на которых базируется информационное моделирование, следующим образом [6, 26]:

1. Информационное моделирование является технологией проектирования.

2. Информационное моделирование реализуется при помощи компьютера.

3. Информационная модель содержит геометрическую (3D), временную (4D) и негеометрическую (5D) информацию.

4. Информационная модель создается из объектов (объектно-ориентирована), поведение этих объектов регулируется наборами параметров (объекты параметризированы).

5. Информационная модель позволяет организовывать вывод информации в различных формах.

6. Изменения в информационной модели распространяется на все ее виды.

7. Использование информационной модели возможно на всех этапах жизненного цикла, за счет ее изменения и дополнения от этапа к этапу.

Сопоставляя данные принципы с перечисленными ранее задачами строительной отрасли, можно сделать вывод, что информационное моделирование способно их решить.

Информационная модель как одна из форм проектной документации была закреплена в Градостроительном Кодексе Федеральным законом от 27.06.2019 № 151-ФЗ. Во многих странах, таких как США, Великобритания, Норвегия, Финляндия, Австралия, Испания, Дания, Голландия, Сингапур и Гонконг, уже продолжительное время происходит внедрение и стандартизация информационного моделирования [27]. Для этих же целей в России 11 апреля 2017 года был утвержден План мероприятий по внедрению оценки экономической эффективности обоснования инвестиций и технологий информационного моделирования на всех этапах «жизненного цикла» объекта капитального строительства № 2468п-П9 («дорожная карта BIM») [25, 28, 29]. В рамках реализации данного плана активно происходит русификация зарубежных и разработка собственных стандартов, связанных с информационным моделированием строительных объектов [30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42]. Таким образом, на основании всего вышеизложенного, можно сделать вывод, что информационное моделирование является наиболее перспективной технологией получения проектной документации.

1.2 Особенности проведения экспертизы проектной документации в Российской Федерации

Как показал анализ, проведенный в предыдущем разделе, информационное моделирование может быть использовано для решения множества задач на различных этапах жизненного цикла строительного объекта, в том числе и на этапе экспертизы проектной документации. В данном разделе будет рассмотрен существующих подход к организации и проведению экспертизы проектной документации в Российской Федерации.

Согласно ГрК РФ, до начала строительных работ проектная документация объектов капитального строительства и результаты инженерных изысканий, выполненных для её подготовки, должны пройти процедуру экспертизы, за исключением объектов, перечень которых приведен в Статье 49 ГрК РФ. [4, 43]

Проектная документация ряда объектов, критерии которых определены в ГрК РФ, подлежит обязательной государственной экспертизе, которая выполняется федеральным органом исполнительной власти или подведомственным ему государственным учреждением. К таким объектам, к примеру, относятся те, строительство которых планируется осуществлять на территории нескольких субъектов РФ. Одним из учреждений, осуществляющих их экспертизу, в настоящее время является подчиненное Министерству строительства и жилищно-коммунального хозяйства Российской Федерации Федеральное автономное учреждение «Главное управление государственной экспертизы». [4, 44]

Список литературы диссертационного исследования кандидат наук Макиша Елена Владиславовна, 2019 год

СПИСОК ЛИТЕРАТУРЫ

1. Официальный сайт ФАУ «Главгосэкспертиза России» [Электронный ресурс]. - Режим доступа: https://gge.ru (дата обращения: 01.10.2018)

2. RuleML [Электронный ресурс]. - Режим доступа: http://wiki.ruleml.org/index.php/RuleML_Home (дата обращения: 08.06.2018)

3. ГОСТ Р 57296-2016. Интегрированный подход к управлению информацией жизненного цикла антропогенных объектов и сред. Описание данных для математического моделирования процессов жизненного цикла. Основные положения [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200142441 (дата обращения: 01.02.2019)

4. Градостроительный кодекс Российской Федерации от 29.12.2004 N 190-ФЗ (ред. от 02.08.2019) [Электронный ресурс] // «Консультант Плюс». -Режим доступа: http://www.consultant.ru/document/cons_doc_LAW_51040/ (дата обращения: 10.08.2019)

5. Постановление Правительства Российской Федерации от 16.02.2008 N 87 (ред. от 06.07.2017) «О составе разделов проектной документации и требованиях к их содержанию» [Электронный ресурс] // «Консультант Плюс». - Режим доступа: http://www.consultant.ru/document/cons_doc_LAW_75048/ (дата обращения: 20.09.2018)

6. Талапов, В.В. Основы BIM: введение в информационное моделирование зданий / В.В. Талапов. - М: ДМК Пресс, 2011. - 392 c.

7. Гусакова, Е.А. Информационное моделирование жизненного цикла проектов высотного строительства / Е.А. Гусакова // Вестник МГСУ. - 2018. -Т. 13. - № 1 (112) - С. 14-22.

8. Гинзбург, А.В. Системы автоматизации проектирования в строительстве / А.В. Гинзбург, О.М. Баранова, Н.С. Блохина, А.А. Волков, Н.А. Гаряев, В.М. Гинзбург, В.П. Игнатов, Е.В. Игнатова, Б.С. Истомин, П.Б.

Каган, Е.Х. Китайцева, В.Г. Куликов, С.А. Синенко. - М.: МИСИ-МГСУ, 2014. - 664 с.

9. Каган, П.Б. Информационное моделирование зданий и традиционное проектирование с применением САПР / П.Б. Каган, П.К. Гудков // Вестник Белгородского государственного технологического университета им. В.Г. Шухова. - 2017. - № 9. - С. 164-168.

10. Гинзбург, А.В. Перспективы применения технологии виртуальной и дополненной реальности в строительной отрасли / А.В. Гинзбург, Е.В. Макиша, А.Ю. Хаустова // Системотехника строительства. Киберфизические строительные системы. Сборник материалов семинара, проводимого в рамках VI Международной научной конференции. - 2018. - С. 64-67.

11. Volkov, A. Usage of building information modelling for evaluation of energy efficiency / A. Volkov, A. Sedov, P. Chelyshkov // Applied mechanics and materials. - 2013. - vol. 409-410. - pp. 630-633

12. Volkov, A. Promising energy and ecological modeling in computer-aided design / A. Volkov, A. Sedov, P. Chelyshkov, A. Pavlov, L. Kievskiy // International Journal of Applied Engineering Research. - 2016. - vol . 11. - №3. - С. 1645-1648

13. Гинзбург, А.В. Применение методов оценки состояния среды жизнедеятельности в строительной практике: BREEAM И LEED / А.В. Гинзбург, М.Х. Кангезова // БСТ: Бюллетень строительной техники. - 2017. -№12 (1000). - С. 33-35.

14. Gambatese J. A. Investigation of the Viability of Designing for Safety / J. A. Gambatese, J. Hinze, M.E. Rinker, M. Behm // CPWR - The Center to Protect Workers' Rights, May 2005. - 35 p.

15. Морозенко, А.А. Информационный подход к решению организационных задач - основа прогресса в строительстве / А.А. Морозенко // Промышленное и гражданское строительство. - 2016. - №9. - С. 57-60

16. Лапидус, А.А. Оценка организационно-технологического потенциала строительного проекта, формируемого на основе информационных потоков / А.А. Лапидус, А.О. Фельдман // Вестник МГСУ. -2015. - №. 11. - С. 193-201.

17. Volkov, A. Intelligent building / A. Volkov, V. Chulkov, D. Korotkov // Advanced Materials Research. - 2014. - vol. 1065-1069. - p. 1606

18. Макиша, Е.В. Киберфизические системы в строительной отрасли [Электронный ресурс] / Е.В. Макиша, Е.И. Насонов // Инженерный вестник Дона. - 2019. - №1. - Режим доступа: ivdon.ru/ru/magazine/archive/n1y2019/5678

19. Коргин, А.В. Автоматизация формирования и коррекции расчетных моделей при мониторинге технического состояния зданий и сооружений / А.В. Коргин, В.А. Ермаков // Интернет-Вестник ВолгГАСУ. - 2012. - № 3 (23). - С. 35.

20. Коргин, А.В. Информационное обеспечение инженерных изысканий и обследований при реконструкции сооружений / А.В. Коргин // Геотехника. -2010. - №1. - С. 49-54.

21. Киевский, Л.В. Риски реновации / Л.В. Киевский // Промышленное и гражданское строительство. - 2019. - № 1. - С. 5-13.

22. Галкина, Е.В. Информационное моделирование для решения задач градостроительства [Электронный ресурс] / Е.В. Галкина // Строительство -формирование среды жизнедеятельности. Сборник трудов XX Международной межвузовской научно-практической конференции студентов, магистрантов, аспирантов и молодых учёных. - 2017. - С. 589-591. - Режим доступа: http://mgsu.ru/resources/izdatelskaya-deyatelnost/izdaniya/izdaniya-otkrdostupa/

23. Галкина, Е.В. Возможности повышения эффективности градостроительной деятельности путем внедрения информационных

технологий / Е.В. Галкина // Экономика и предпринимательство. - 2017. - № 5-2 (82). - С. 1046-1051.

24. Галкина, Е.В. Перспективы BIM в территориальном планировании / Е.В. Галкина // Научное обозрение. - 2017. - № 8. - С. 131-134.

25. Маковий, К.А. Использование информационной модели здания в строительном производстве / К.А. Маковий, Т.В. Корелина, А.А. Копытина // Научный вестник Воронежского ГАСУ, серия информационные технологии в строительных, социальных и экономических системах. - 2018. - вып. 1. - с. 67-70.

26. Лебедев, В. М. Совершенствование информационного моделирования строительства: монография / В.М. Лебедев - Белгород: Белгородский государственный технологический университет им. В.Г. Шухова, 2016. - 212 с.

27. Гинзбург, А.В. Оценка уровня применения информационных технологий / А.В. Гинзбург, В.В. Кулакова, Е.Н. Куликова, Г.Г. Малыха, С.Г. Шеина // Наука и бизнес: пути развития. - 2018. - № 9 (87). - С. 22-28.

28. О вопросах стандартизации в области BIM-технологий [Электронный ресурс] // Ассоциация организаций по развитию технологий информационного моделирования в строительстве и ЖКХ. - Режим доступа: https://climatexpo.ru/files/science/pdf/2018/2018dp-d3-pugachev.pdf (дата обращения: 01.10.2018)

29. План мероприятий по внедрению оценки экономической эффективности обоснования инвестиций и технологий информационного моделирования на всех этапах «жизненного цикла» объекта капитального строительства № 2468п-П9 от 17.04.2017 г. // ИС «Меганорм». - Режим доступа: https://meganorm.ru/Data2/1/4293746/4293746272.pdf (дата обращения: 01.10.2018)

30. Гинзбург, А.В. Современные стандарты информационного моделирования в строительстве / А.В. Гинзбург, Л.А. Шилова, Л.А. Шилов // Научное обозрение. - 2017. - № 9. - С. 16-20.

31. ГОСТ Р 57309-2016 (ИСО 16354:2013). Руководящие принципы по библиотекам знаний и библиотека объектов [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200142712 (дата обращения: 01.10.2018)

32. ГОСТ Р 57310-2016 (ИСО29481-1:2010). Моделирование информационное в строительстве. Руководство по доставке информации. Методология и формат [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200142710 (дата обращения: 01.10.2018)

33. ГОСТ Р 57311-2016. Моделирование информационное в строительстве. Требования к эксплуатационной документации объектов завершенного строительства» [Электронный ресурс] // Федеральное агентство по техническому регулированию и метрологии. - Режим доступа:http://protect.gost.ru/document1.aspx?control=31&baseC=6&page=0&m onth=10&year=2017&search=57311&id=205824 (дата обращения: 01.10.2018)

34. ГОСТ Р ИСО 22263-2017. Модель организационных данных о строительных работах. Структура управления проектной информацией [Электронный ресурс] // Федеральное агентство по техническому регулированию и метрологии. - Режим доступа: http://protect.gost.ru/document.aspx?control=7&id=218006 (дата обращения: 01.10.2018)

35. ГОСТ Р ИСО 12006-2-2017. Строительство. Модель организационных данных о строительных работах. Часть 2. Основы классификации информации [Электронный ресурс] //

«Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200146214 (дата обращения: 01.10.2018)

36. ГОСТ Р ИСО 12006-3-2017. Строительство. Модель организации данных о строительных работах. Часть 3. Основы обмена объектно-ориентированной информацией [Электронный ресурс] // «Техэксперт» -Режим доступа: http://docs.cntd.ru/document/1200146215 (дата обращения: 01.10.2018)

37. ГОСТ Р 57563-2017/180/Т8 12911:2012. Моделирование информационное в строительстве. Основные положения по разработке стандартов информационного моделирования зданий и сооружений [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200146763 (дата обращения: 01.10.2018)

38. СП 301.1325800.2017. Информационное моделирование. Правила организации работ производственно-техническими отделами [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/555664724 (дата обращения: 01.10.2018)

39. СП 328.1325800.2017. Информационное моделирование в строительстве. Правила описания компонентов информационной модели [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/556793891 (дата обращения: 10.08.2019)

40. СП 331.1325800.2017. Информационное моделирование в строительстве. Правила обмена между информационными моделями объектов и моделями, используемыми в программных комплексах [Электронный ресурс] // Минстрой России. - Режим доступа: http://www.minstroyrf.ru/docs/16403/ (дата обращения: 10.08.2019)

41. СП 333.1325800.2017 Информационное моделирование в строительстве. Правила формирования информационной модели объектов на различных стадиях жизненного цикла [Электронный ресурс] // «Техэксперт».

- Режим доступа: http://docs.cntd.ru/document/556793897 (дата обращения: 10.08.2019)

42. СП 404.1325800.2018. Информационное моделирование в строительстве. Правила разработки планов проектов, реализуемых с применением технологии информационного моделирования [Электронный ресурс] // Минстрой России. - Режим доступа: http://www.minstroyrf.ru/docs/18073/ (дата обращения: 31.03.2019)

43. Галкина, Е.В. Анализ инструментов верификации проектной документации / Е.В. Галкина // Научно-технический вестник Поволжья. -2018. - №6. - а 95-97.

44. Федеральное автономное учреждение «Главное управление государственной экспертизы» [Электронный ресурс]. - Режим доступа: https://gge.ru/ (дата обращения: 01.10.2018)

45. Государственное автономное учреждение города Москвы «Московская государственная экспертиза» [Электронный ресурс]. - Режим доступа: https://exp.mos.ru/ (дата обращения: 01.10.2018)

46. Федеральный закон «О техническом регулировании» от 27.12.2002 № 184-ФЗ (последняя редакция) [Электронный ресурс] // «Техэксперт». -Режим доступа: http://docs.cntd.ru/document/901836556 (дата обращения: 01.10.2018)

47. Федеральный закон «Технический регламент о безопасности зданий и сооружений» от 30.12.2009 N 384-ФЗ (последняя редакция) [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/902192610 (дата обращения: 01.10.2018)

48. Макиша, Е.В. Формирование списков правил для верификации информационных моделей строительных объектов. Часть II [Электронный ресурс] / Е.В. Макиша, С.А. Волков // Инженерный вестник Дона. - 2018. -№4. Режим доступа: ivdon.ru/ru/magazine/archive/n4y2018/5394

49. Постановление Правительства РФ от 26.12.2014 № 1521 (ред. от 07.12.2016) «Об утверждении перечня национальных стандартов и сводов правил (частей таких стандартов и сводов правил), в результате применения которых на обязательной основе обеспечивается соблюдение требований Федерального закона «Технический регламент о безопасности зданий и сооружений» [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/420243891 (дата обращения: 01.10.2018)

50. Приказ Росстандарта от 30.03.2015 № 365 (ред. от 24.08.2017) «Об утверждении перечня документов в области стандартизации, в результате применения которых на добровольной основе обеспечивается соблюдение требований Федерального закона от 30 декабря 2009 г. N 384-ФЗ «Технический регламент о безопасности зданий и сооружений» [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/420268468 (дата обращения: 01.10.2018)

51. Фаликман, В.Р. Системы нормирования и проблемы гармонизации в строительстве [Электронный ресурс] // Федеральный центр нормирования, стандартизации и технической оценки соответствия в строительстве. - Режим доступа: https://www.faufcc.ru/upload/iblock/cd4/falikmanprezent.pdf (дата обращения: 01.10.2018)

52. Куртова, Н. Строительное нормирование: позитивные тенденции [Электронный ресурс] // Журнал «Недвижимость и инвестиции. Правовое регулирование». - 2008. - № 3 (36). - Режим доступа: http://dpr.ru/journal/journal_34_29.htm (дата обращения: 01.10.2018)

53. Опубликование стандартов [Электронный ресурс] // Федеральное агентство по техническому регулированию и метрологии. - Режим доступа: https://www.gost.ru/portal/gost/home/activity/standardization/publishing/standards 1 (дата обращения: 21.01.2019)

54. Административный регламент исполнения Федеральным агентством по техническому регулированию и метрологии государственной функции по учету национальных стандартов, правил стандартизации, норм и рекомендаций в этой области и обеспечению их доступности заинтересованным лицам // Федеральное агентство по техническому регулированию и метрологии. - Режим доступа: https://www.gost.ru/portal/gost/home/activity/standardization/publishing/standards 1 (дата обращения: 21.01.2019)

55. Статус систем «Техэксперт» [Электронный ресурс] // Консорциум «Кодекс. Техэксперт». - Режим доступа: https://cntd.ru/about/condition_letters (дата обращения: 21.01.2019)

56. Концепция внедрения системы управления жизненным циклом объектов капитального строительства с использованием технологии информационного моделирования [Электронный ресурс] // Информационный портал Национального объединения изыскателей и проектировщиков. - Дата обращения: http://nopriz.ru/upload/iblock/b6f/Kontseptsiya-BIM-pervaya-redaktsiya.pdf (дата обращения: 26.04.2019)

57. Макиша, Е.В. Анализ методов перевода требований нормативно-технической документации в машиночитаемый формат для проверки информационных моделей строительных объектов [Электронный ресурс] / Е.В. Макиша // Научный журнал «Моделирование, оптимизация и информационные технологии». - 2019. - Том 7. - № 2. - с. 339-350. - Режим доступа: https://moit.vivt.ru/wp-content/uploads/2019/05/Makisha_2_19_1.pdf

58. Eastman, C. Automatic rule-based checking of building designs / C. Eastman, Jae-min Lee, Yeon-suk Jeong, Jinkook Lee // Automation in Construction. - 2009. - № 18. - pp. 1011-1033.

59. Fenves, S.J. Introduction to SASE: Standards Analysis, Synthesis, and Expression / S.J. Fenves, R.N. Wright, F.I. Stahl, K.A. Reed // Report NBSIR 873513, U.S. Department of Commerce, National Bureau of Standards, 1987. - 179 p.

60. Fenves, S.J. Computer representations of design standards and building codes: U.S. perspective / S.J. Fenves, J.H. Garrett, K.H., K.A. Reed // International Journal of Construction Information Technology. - 1995. - №3(1). - pp. 13-34.

61. Kerrigan, S. Logic-based regulation compliance-assistance / S. Kerrigan, K. Law // Proceedings of the Ninth International Conference on Artificial Intelligence and Law (ICAIL 2003), Edinburgh, Scotland, UK, June 24-28 2003. -pp. 12б-1З5.

62. Lau, G. An Information Infrastructure for Government Regulations / G. Lau, S. Kerrigan, K. Law // Proceedings of the 13th Workshop on Information Technology and Systems (WITS'03), Seattle, WA, 2003. - pp. 37-42.

63. Han, C. Making automated building code checking a reality / C. Han, J. Kunz, K. Law // Facility Management Journal. - 1997. - pp. 22-28.

64. Han, C. Client/server framework for on-line building code checking / C. Han, J. Kunz, K. Law // Journal on Computing in Civil Engineering, ASCE. - 1998.

- №12 (4). - pp. 181-194.

65. Han, C. Building design services in a distributed architecture / C. Han, J. Kunz, K. Law // Journal of Computing in Civil Engineering, ASCE. - 1999. - №13 (1). - pp. 12-22.

66. Han, C. Compliance Analysis for Disabled Access / C. Han, J. Kunz, K. Law // Advances in Digital Government Technology, Human Factors, and Policy, in: WilliamJ. McIverJr., AhmedK. Elmagarmid (Eds.), Kluwer, Boston, MA, 2002.

- pp. 149-1бЗ.

67. Navisworks [Электронный ресурс] // Официальный сайт Autodesk. -Режим доступа: https://www.autodesk.ru/products/navisworks/ (дата обращения: 08.0б.2018)

68. Официальный сайт Solibri [Электронный ресурс]. - Режим доступа: https://www.solibri.com (дата обращения: 10.08.2019)

69. Галкина, Е. В. Перспективы использования систем проверки информационных моделей в России / Е.В. Галкина // Научное обозрение. -2017. - 21. - c. 159-161.

70. Биктимиров, К. Solibri: BIM и немного амбиций. [Электронный ресурс] / К. Биктимиров // Журнал «САПР и графика». - 2015. - № 8. - Режим доступа: http://sapr.ru/article/24960. (дата обращения: 08.06.2018)

71. Официальный сайт Jotne IT [Электронный ресурс]. - Режим доступа: http://www.epmtech.jotne.com/index.php?id=512200 (дата обращения: 08.06.2018)

72. Официальный сайт BIM Vision [Электронный ресурс]. - Режим доступа: https://bimvision.eu/en/free-ifc-model-viewer/ (дата обращения: 10.08.2019)

73. Allcheck [Электронный ресурс] // Официальный сайт Allbau Software. - Режим доступа: http://www.allbau-software.com/index.php/produkty/allcheck.html (дата обращения: 10.08.2019)

74. Официальный сайт РусБИМэксперт [Электронный ресурс]. - Режим доступа: https://www.rusbimexpert.ru/ (дата обращения: 10.08.2019)

75. Официальный сайт simpleBIM [Электронный ресурс]. - Режим доступа: http://www.datacubist.com/benefits/ (дата обращения: 10.08.2019)

76. Официальный сайт NOVA GROUP [Электронный ресурс]. - Режим доступа: https://www.nova-hub.com/e-government/ (дата обращения: 10.08.2019)

77. Malsane, S. Development of an object model for automated compliance checking / Sagar Malsane, Jane Matthews, Steve Lockley, Peter E.D. Love, David Greenwood // Automation in Construction. - 2015. - №49. - pp. 51-58.

78. Талапов, В. Внедрение BIM в Сингапуре: впечатляющий опыт [Электронный ресурс] / В. Талапов // Журнал «САПР и графика». - 2016. - .№1.

- Режим доступа: https://sapr.ru/article/25120 (дата обращения: 08.06.2018)

79. Официальный сайт CORENET [Электронный ресурс]. - Режим доступа: https://www.corenet.gov.sg/ (дата обращения: 08.06.2018)

80. Нисбет, Н. Эффективная автоматизация проверки строительных решений на соответствие строительным нормам / Н. Нисбет, А. Серых // Экспресс-информ. - 2010. - № 11(89). - с. 30-35.

81. Шиф, И. Строительный мир переходит на «цифру» [Электронный ресурс] / И. Шиф, Е. Степанова // Инженерные сооружения. - 2017. - №4 (19).

- Режим доступа: http://mosinzhproekt.ru/img/storage/publications/71/77/IS19_block_WEB%20%D 1%84%D0%B8%D0%BD%D0%B0%D0%BB%20%D0%BD%D0%B0%20%D1 %81%D0%B0%D0%B9%D1%82.pdf (дата обращения: 08.06.2018)

82. Solihin, W. Lessons learned from experience of code-checking implementation in Singapore [Электронный ресурс] / W. Solihin // BuildingSMART Conference, Singapore, 2004. - Режим доступа: https://www.researchgate.net/publication/280599027_Lessons_learned_from_expe rience_of_code-checking_implementation_in_Singapore (дата обращения: 08.06.2018)

83. Direktoratet for byggkvalitet [Электронный ресурс]. - Режим доступа: https://test-bimvalbygg.dibk.no/ (дата обращения: 10.08.2019)

84. Официальный сайт Selvaag [Электронный ресурс]. - Режим доступа: https://selvaaggruppen.no. (дата обращения: 08.06.2018)

85. Le, M.A.T. The HITOS project - a full scale IFC test [Электронный ресурс] / M.A.T. Le, F. Mohus, O.K. Kvarsvik, M. Lie // ECPPM, 2006. - Режим доступа: https://buildingsmart.no/sites/buildingsmart.no/files/9_The_HITOS_Proje ct_-_A_Full_Scale_IFC_Test.pdf (дата обращения: 08.06.2018)

86. Официальный сайт dRofus [Электронный ресурс]. - Режим доступа: http://www.drofus.no. (дата обращения: 08.06.2018)

87. Официальный сайт Statsbyggs [Электронный ресурс]. - Режим доступа: https://sites.google.com/view/statsbyggs-bim-manual-2-0-sbm2/hjem. (дата обращения: 10.08.2019)

88. mvdXML [Электронный ресурс] // Официальный сайт buildingSMART. - Режим доступа: https://technical.buildingsmart.org/standards/mvd/mvdxml/. (дата обращения: 10.08.2019)

89. BIM Collaboration Format (BCF) - An Introduction [Электронный ресурс] // Официальный сайт buildingSMART. - Режим доступа: https://technical.buildingsmart.org/standards/bcf/. (дата обращения: 10.08.2019)

90. Официальный сайт Cooperative Research Centre for Construction Innovation, CRC for CI [Электронный ресурс]. - Режим доступа: http: //www. construction-innovation. info/www. construction-innovation.info/index.html. (дата обращения: 10.08.2019)

91. Ding, L. Automated Code Checking [Электронный ресурс] / L. Ding, R. Drogemuller, J. Jupp, M. Rosenman, J. Gero // Clients Driving Innovation International Conference, CRC for Construction Innovation, Australia, 2004. -Режим доступа: https: //www.researchgate.net/publication/237396614_Automated_code_checking (дата обращения: 08.06.2018)

92. Ding, L. Automating code checking for building designs - DesignCheck [Электронный ресурс] / Drogemuller, M. Rosenman, D. Marchant, J. Gero // Clients Driving Construction Innovation: Moving Ideas into Practice, CRC for Construction Innovation, Brisbane, Australia, 2006. - pp. 1-16.

93. AEC3 [Электронный ресурс]. - Режим доступа: http://www.aec3.com (дата обращения: 08.06.2018)

94. Public Buildings Service [Электронный ресурс]// Официальный сайт GSA. - Режим доступа: https://www.gsa.gov/about-us/organization/public-buildings-service. (дата обращения: 10.08.2019)

95. Lee, J.-K. Computing walking distances within buildings based on the universal circulation / J.-K. Lee, C.M. Eastman, J. Lee, M. Kannala // Environment and Planning B: Planning and Design. - 2010. - volume 37. - pp. 628-645.

96. Lee, H., Lee J.-K., Park S., Kim I. Translating building legislation into a computer-executable format for evaluating building permit requirements / H. Lee, J.-K. Lee, S. Park, I. Kim // Automation in Construction. - 2016. - № 71. - pp. 4961.

97. Kim, H. Visual language approach to representing KBimCode-based Korea building code sentences for automated rule checking / H. Kim, J.-K. Lee, J. Shin, J. Choi //Journal of Computational Design and Engineering.- 2019. -Volume 6. - Issue 2. - pp.143-148

98. Choi, J. A Methodology of Building Code Checking System for Building Permission based on openBIM / J. Choi, I. Kim //34th International Symposium on Automation and Robotics in Construction (ISARC 2017), Taipei, Taiwan, 2017. - pp. 945-950.

99. Dimyadi, J. Evaluating LegalDocML and LegalRuleML as a Standard for Sharing Normative Information in the AEC/FM Domain / J. Dimyadi, G. Governatori, R. Amor // Proc. Lean & Computing in Construction Congress (LC3) Heraklion, Greece, July 4-7, 2017. - Vol. 1. - pp. 637-644.

100. Dimyadi, J. Enabling Automated Compliance Audit of Architectural Designs / J. Dimyadi1, G. Thomas, R. Amor // 51st International Conference of the Architectural Science Association (ANZAScA), 2017. - pp. 387-396.

101. Официальный сайт Compliance Audit Systems Limited (CAS). -Режим доступа http://www.complianceauditsystems.com/about.php (дата обращения: 10.08.2019)

102. Цифровая трансформация обеспечивает беспрецедентные возможности для развития стройкомплекса [Электронный ресурс] // Официальный сайт ФАУ «Главгосэкспертиза России». - Режим доступа: https://gge.ru/press-center/news/tsifrovaya-transformatsiya-obespechivaet-bespretsedentnye-vozmozhnosti-dlya-razvitiya-stroykompleksa/ (дата обращения: 10.08.2019)

103. Мосгосэкспертиза приняла участие в III Международном BIM-форуме [Электронный ресурс] // Официальный сайт ГАУ «Мосгосэкспертиза». - Режим доступа: https://exp.mos.ru/presscenter/news/detail/8150321 .html (дата обращения: 10.08.2019)

104. Приказ от 26.06.2019 № МКЭ-ОД/19-39 [Электронный ресурс] // Официальный сайт Мэра Москвы. - Режим доступа: https://www.mos.ru/mke/documents/prikazy/view/227197220/?fbclid=IwAR1hcFJ T8udVwwj gZk5AgdIh9Y-BZMHxfneqcnLgcmqSmYjxLznMqI 1 quZo (дата обращения: 10.08.2019)

105. ГОСТ Р ИСО 10303-11-2009. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS // «Техэксперт» - Режим доступа: http://docs.cntd.ru/document/gost-r-iso-10303-11-2009 (дата обращения: 08.06.2018)

106. Юрин, А.Ю. Средства поддержки моделирования логических правил в нотации RVML / А.Ю. Юрин, Н.О. Дородных, С.А. Коршунов // Программные продукты и системы. - 2018. - Т. 31. - №4. - с. 667-662.

107. Hjelseth, E. Exploring semantic based model checking [Электронный ресурс] / E. Hjelseth, N. Nisbet // Proceedings of the 2010 27th CIB W78 International Conference, Cairo, Egypt, 2010. - Режим доступа: https://www.academia.edu/873826/EXPLORING_SEMANTIC_BASED_MODEL _CHECKING (дата обращения 08.06.2018)

108. Hjelseth E. Capturing normative constraints by use of the semantic markup (RASE) methodology [Электронный ресурс] / E. Hjelseth, N. Nisbet // CIB W78 2011 28th International Conference-Applications of IT in the AEC Industry, Sophia Antipolis, France, 2011. - Режим доступа: https://www.academia.edu/32697265/Capturing_Normative_Constraints_by_Use_ of_the_Semantic_Mark-Up_Rase_Methodology (дата обращения 08.06.2018)

109. Beach T. Towards automated compliance checking in the construction industry / T. Beach, T. Kasim, H. Li, N. Nisbet, Y. Rezgui // Database and Expert Systems Applications, eds.: H. Decker, L. Lhotska, S. Link, J. Basl, A. Tjoa. -Berlin Heidelberg: Springer, 2013. - vol. 8055. - pp. 366-380.

110. Nawari, N.O. Automating codes conformance in structural domain / N.O. Nawari [Электронный ресурс] // ASCE International Workshop on Computing in Civil Engineering, Miami, Florida, June 19-22, 2011. - Режим доступа: https://ascelibrary.org/doi/abs/10.1061/41182%28416%2970 (дата обращения 08.06.2018)

111. Zhong, B. Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking / B. Zhong, L. Ding, H. Luo, Y. Zhou, Y. Hu, H. Hu // Automation in Construction. - 2012. - 28. - pp. 58-70.

112. Solihin, W. Classification of rules for automated BIM rule checking development / W. Solihin, C. Eastman //Automation in Construction. - 2015. - №253. - pp. 69-82.

113. Зозуля, В.А. Немного о качестве проектной документации [Электронный ресурс]. - Режим доступа: http://federalbook.ru/files/Reestr/Company/Bezopasnost/NB%201-17-analitika.pdf (дата обращения: 01.02.2019)

114. Гинзбург, А.В. В1М-технологии на протяжении жизненного цикла строительного объекта / А.В. Гинзбург // Информационные ресурсы России. -2016. - № 5 (153). - С. 28-31.

115. Гинзбург, А.В. Информационная модель жизненного цикла строительного объекта / А.В. Гинзбург // Промышленное и гражданское строительство. - 2016. - № 9. - С. 61-65.

116. Galkina, E. Building information model verification at the lifecycle stage of construction / E. Galkina, O. Kuzina // IOP Conference Series: Materials Science and Engineering. - 2018. - 356 (6), 062031.

117. ISO 16739-1:2018. Industry Foundation Classes (IFC) for data sharing in the construction and facility management industries — Part 1: Data schema [Электронный ресурс] // Официальный сайт ISO. - Режим доступа: https://www.iso.org/standard/70303.html (дата обращения: 01.02.2019)

118. Eastman, C. BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers, and Contractors /Chuck Eastman, Paul Teicholz, Rafael Sacks and Kathleen Liston. - New Jersey, Hoboken: John Wiley & Sons, Inc, 2008. - 490 p.

119. Павлов, А.С. Унифицированный формат представления данных в автоматизированных системах / А.С. Павлов, Г.Г. Малыха, О.В. Игнатьев, Е.Н. Куликова // Вестник МГСУ. - 2012. - №. 2. - С. 211-217.

120. Малыха, Г.Г. Методы передачи информации в САПР / Г.Г. Малыха, С.А. Синенко, М.С. Вайнштейн, О.Б. Гусева // Вестник МГСУ. - 2012. - №. 1. - С. 159-163.

121. ГОСТ Р 10.0.02-2019/Ига 16739-1:2018. Система стандартов информационного моделирования зданий и сооружений. Отраслевые базовые классы (IFC) для обмена и управления данными об объектах строительства. Часть 1. Схема данных [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200164870 (дата обращения: 10.08.2019)

122. Малыха, Г.Г. Моделирование структур данных: реквизиты информационных объектов в строительном моделировании / Г.Г. Малыха, С.А. Синенко, М.С. Вайнштейн, Е.Н. Куликова // Вестник МГСУ. - 2012. -№4. - С. 226-230.

123. Industry Foundation Classes Release 4 (IFC4) [Электронный ресурс]. - Режим доступа: http://www.buildingsmart-tech.org/ifc/IFC4/final/html/ (дата обращения: 01.02.2019)

124. Дмитриев, Д. В. Толковый словарь русского языка Дмитриева, 2003. [Электронный ресурс]. - Режим доступа: https: //dic.academic.ru/ dic.nsf/ dmitriev/4036/%D0%BF%D 1 %80%D0%B0%D0% B2%D0%B8%D0%BB%D0%BE (дата обращения: 01.02.2019)

125. RIF Primer (Second Edition). W3C Working Group Note 5 February 2013 [Электронный ресурс]. - Режим доступа: https://www.w3.org/TR/2013/NOTE-rif-primer-20130205/ (дата обращения: 01.02.2019)

126. Cabot, J. The secret life of rules in Software Engineering [Электронный ресурс] / J. Cabot // Modeling Languages. - 2017. - Режим доступа: https://modeling-languages.com/the-secret-life-of-rules-in-software-engineering/ (дата обращения: 08.10.2018)

127. Darwiche, A. Model-Based Diagnosis under Real-World Constraints / A. Darwiche // AI Magazine. - 2000. - v.21. - №2. - pp. 57-73.

128. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project / eds.: Bruce G. Buchanan and Edward H. Shortliffe. - Addison Wesley, Reading, MA, 1984. - 754 p.

129. SemanticCT: A Semantically Enabled System for Clinical Trials [Электронный ресурс]. - Режим доступа: http://wasp.cs.vu.nl/sct/ (дата обращения: 08.10.2018)

130. PatientSupporter [Электронный ресурс]. - Режим доступа: http://responder.ruleml.org/PatientSupporter/ (дата обращения: 08.10.2018)

131. Financial services standards // OMG [Электронный ресурс]. - Режим доступа: https://www.omg.org/hot-topics/finance.htm (дата обращения: 08.10.2018)

132. Business Rules Markup Language (BRML) // Cover Pages by OASIS [Электронный ресурс]. - Режим доступа: http://xml.coverpages.org/brml.html (дата обращения: 08.10.2018)

133. OASIS LegalRuleML TC // OASIS [Электронный ресурс]. - Режим доступа: https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=legalruleml (дата обращения: 08.10.2018)

134. Palmirani, M. LegalRuleML Core Specification Version 1.0 / M. Palmirani, G. Governatori // OASIS [Электронный ресурс]. - Режим доступа: http://docs.oasis-open.org/legalruleml/legalruleml-core-

spec/v1.0/csprd02/legalruleml-core-spec-v1.0-csprd02.html (дата обращения: 08.10.2018)

135. Soar [Электронный ресурс]. - Режим доступа: https://soar.eecs.umich.edu/ (дата обращения: 08.10.2018)

136. Boley, H. RuleML 1.0: The Overarching Specification of Web Rules / H. Boley, A. Paschke, O. Shafiq // International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. - pp. 162-178.

137. Boley, H. Specification of RuleML 1.02 [Электронный ресурс] / H. Boley, A. Paschke, T. Athan, A. Giurca, N. Bassiliades, G. Governatori, M. Palmirani, A. Wyner, A. Kozlenkov, G. Zou. - Режим доступа: ruleml.org/1.02 (дата обращения: 21.01.2019)

138. Boley, H. Specification of Deliberation RuleML 1.03 [Электронный ресурс] / H. Boley, T. Athan, A. Paschke, A. Giurca, N. Bassiliades, G. Governatori, M. Palmirani, A. Wyner, G. Zou. - Режим доступа: deliberation.ruleml.org/1.03 (дата обращения: 21.01.2019)

139. Boley, H. Specification of Reaction RuleML 1.02 [Электронный ресурс] / A. Paschke, T. Athan, H. Boley, A. Kozlenkov. - Режим доступа: reaction.ruleml.org/1.02 (дата обращения: 21.01.2019)

140. Boley, H. Specification of Consumer RuleML 1.02 [Электронный ресурс] / H. Boley, T. Athan, A. Paschke, A. Giurca, N. Bassiliades, G. Governatori, M. Palmirani, A. Wyner, G. Zou. - Режим доступа: consumer.ruleml.org/1.02 (дата обращения: 21.01.2019)

141. Герасимов, А. С. Курс математической логики и теории вычислимости. Учебное пособие / А.С. Герасимов. - СПб.: Издательство «ЛЕМА», 2011. - 284 с.

142. Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. - М.: Издательство «Наука», 1976. - 320 с.

143. Кондаков, Н.И. Логический словарь / Н.И. Кондаков. - М.: Издательство «Наука», 1975. - 717 с.

144. Белоус, Н.В. Логика первого порядка [Электронный ресурс]. -Режим доступа: http://www.myshared.ru/slide/536309/ (дата обращения: 21.01.2019)

145. Miller, D. A short article for the Encyclopedia of Artificial Intelligence: Second Edition «Logic, Higher-order» [Электронный ресурс] / D. Miller. - 1991. - Режим доступа:

http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/encyclopedia.pdf (дата обращения: 21.01.2019)

146. Second-order and Higher-order Logic [Электронный ресурс] // Stanford Encyclopedia of Philosophy. - Режим доступа: https://plato.stanford.edu/entries/logic-higher-order/#4 (дата обращения: 21.01.2019)

147. Одиночкина, С.В. Основы технологий XML / С.В. Одиночкина. -СПб: НИУ ИТМО, 2013. - 56 с.

148. ISO 19б50-1:2018. Organization and digitization of information about buildings and civil engineering works, including building information modelling (BIM) -- Information management using building information modelling -- Part 1: Concepts and principles [Электронный ресурс] // Официальный сайт ISO. -Режим доступа: https://www.iso.org/standard/68078.html (дата обращения: 10.08.2019)

149. ГОСТ Р 58439.1-2019. Организация информации об объектах капитального строительства. Информационный менеджмент в строительстве с использованием технологии информационного моделирования. Часть 1. Понятия и принципы [Электронный ресурс] // «Техэксперт». - Режим доступа: http://docs.cntd.ru/document/1200166163 (дата обращения: 10.08.2019)

150. Макиша, Е.В. Формирование списков правил для верификации информационных моделей строительных объектов. Часть I [Электронный ресурс] / Е.В. Макиша, СА. Волков // Инженерный вестник Дона. - 2018. -№4. Режим доступа: ivdon.ru/ru/magazine/archive/n4y2018/5347

151. Общероссийский классификатор основных фондов (ОК 013-2014 (СНС 2008)) [Электронный ресурс] // «Консультант Плюс». - Режим доступа: www.consultant.ru/document/cons_doc_LAW_184368/ (дата обращения: 10.12.2018)

152. Cloake, T. Standardized Classification System To Assess the State and Condition of Infrastructure in Edmonton [Электронный ресурс] / T. Cloake, K.L. Siu, P. Eng. - Montreal: INFRA, 2002. - Режим доступа: www.edmonton.ca/city_government/documents/InfraPlan/Infra%202002%20Repo rt%20-%20FINAL.pdf (дата обращения: 10.12.2018)

153. Giustolisi, O. Classification of infrastructure networks by neighborhood degree distribution [Электронный ресурс] / O. Giustolisi, A. Simone, L. Ridolfi // arxiv.org. - Режим доступа: arxiv.org/ftp/arxiv/papers/1609/1609.07580.pdf (дата обращения: 10.12.2018)

154. Subchapter 3: Occupancy and Construction Classification, NYC 1968 Code (Vol I) | UpCodes // NYC Building Code, 2014 [Электронный ресурс]. -Режим доступа: up.codes/viewer/new_york_city/nyc-building-code-1968 v1/chapter/3/occupancy-and-construction-classification#3 (дата обращения: 10.12.2018)

155. Model View Definition (MVD) - An Introduction [Электронный ресурс] // Официальный сайт buildingSMART. - Режим доступа: https://technical.buildingsmart.org/standards/mvd/ (дата обращения: 10.08.2019)

156. ISO 29481-1:2016 BUILDING INFORMATION MODELS -INFORMATION DELIVERY MANUAL -- PART 1: METHODOLOGY AND FORMAT [Электронный ресурс] // Официальный сайт ISO. - Режим доступа: https://www.iso.org/standard/60553.html (дата обращения: 10.08.2019)

157. Постановление Правительства РФ от 06.05.2011 N 354 (ред. от 23.02.2019) «О предоставлении коммунальных услуг собственникам и пользователям помещений в многоквартирных домах и жилых домов» (вместе с «Правилами предоставления коммунальных услуг собственникам и пользователям помещений в многоквартирных домах и жилых домов») [Электронный ресурс] // «Консультант Плюс». - Режим доступа: http://www.consultant.ru/document/cons_doc_LAW_114247/ (дата обращения: 21.01.2019)

158. ГОСТ Р 52292-2004. Информационная технология (ИТ). Электронный обмен информацией. Термины и определения [Электронный ресурс] // «Консультант Плюс». - Режим доступа: http://www.consultant.ru/document/cons_doc_LAW_114247/ (дата обращения: 10.08.2019)

159. Воройский, Ф. Информатика. Новый систематизированный толковый словарь [Электронный ресурс] / Ф. Воройский. - Litres, 2018. - 757 c. - Режим доступа: https://www.litres.ru/feliks-voroyskiy/informatika-novyy-sistematizirovannyy-tolkovyy-slovar-16958007/ (дата обращения: 10.08.2019)

ПРИЛОЖЕНИЕ А. СПИСОК РАБОТ, ОПУБЛИКОВАННЫХ АВТОРОМ ПО ТЕМЕ ДИССЕРТАЦИИ

Публикации в изданиях, включенных в Перечень рецензируемых научных изданий:

1. Галкина, Е.В. Анализ инструментов верификации проектной документации / Е.В. Галкина // Научно-технический вестник Поволжья. - 2018.

- №6. - c. 95-97.

2. Макиша, Е.В. Формирование списков правил для верификации информационных моделей строительных объектов. Часть I [Электронный ресурс] / Е.В. Макиша, С.А. Волков // Инженерный вестник Дона. - 2018. - №4.

- Режим доступа: ivdon.ru/ru/magazine/archive/n4y2018/5347

3. Макиша, Е.В. Формирование списков правил для верификации информационных моделей строительных объектов. Часть II [Электронный ресурс] / Е.В. Макиша, С.А. Волков // Инженерный вестник Дона. - 2018. - №4.

- Режим доступа: ivdon.ru/ru/magazine/archive/n4y2018/5394

4. Макиша, Е.В. Анализ методов перевода требований нормативно-технической документации в машиночитаемый формат для проверки информационных моделей строительных объектов [Электронный ресурс] / Е.В. Макиша // Научный журнал «Моделирование, оптимизация и информационные технологии». - 2019. - Том 7. - № 2. - с. 339-350. - Режим доступа: https://moit.vivt.ru/wp-content/uploads/2019/05/Makisha_2_19_1.pdf

Статьи, опубликованные в журналах, индексируемых в международных реферативных базах Scopus,Web of Science и др.

1. Galkina, E. Building information model verification at the lifecycle stage of construction / E. Galkina, O. Kuzina // IOP Conference Series: Materials Science and Engineering. - 2018. - 365 (6), 062031.

Статьи, опубликованные в других научных журналах и изданиях:

1. Галкина, Е.В. Перспективы BIM в территориальном планировании / Е.В. Галкина // Научное обозрение. - 2017. - № 8. - С. 131-134.

2. Галкина, Е. В. Перспективы использования систем проверки информационных моделей в России / Е.В. Галкина // Научное обозрение. - 2017. - 21. - c. 159-161.

3. Галкина, Е.В. Информационное моделирование для решения задач градостроительства [Электронный ресурс] / Е.В. Галкина // Строительство -формирование среды жизнедеятельности. Сборник трудов XX Международной межвузовской научно-практической конференции студентов, магистрантов, аспирантов и молодых учёных. - 2017. - С. 589-591. - Режим доступа: http : //mgsu.ru/resources/izdatel skaya-deyatelnost/izdaniya/izdaniya-otkrdo stupa/

4. Гинзбург, А.В. Перспективы применения технологии виртуальной и дополненной реальности в строительной отрасли / А.В. Гинзбург, Е.В. Макиша, А.Ю. Хаустова // Системотехника строительства. Киберфизические строительные системы. Сборник материалов семинара, проводимого в рамках VI Международной научной конференции. - 2018. - С. 64-67.

5. Макиша, Е.В. Киберфизические системы в строительной отрасли / Е.В. Макиша, Е.И. Насонов // Инженерный вестник Дона. - 2019. - №1. - Режим доступа: ivdon.ru/ru/magazine/archive/n1y2019/5678

ПРИЛОЖЕНИЕ Б. РЕЗУЛЬТАТЫ АНАЛИЗА КОМПЛЕКСНЫХ РЕШЕНИЙ ПО ВЕРИФИКАЦИИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ СТРОИТЕЛЬНЫХ ОБЪЕКТОВ

Страна Сингапур Норвегия Австралия США США Корея Новая Зеландия

Разработчик NOVA GROUP Statsbugg CRC for CI ICC GSA SEUMTER CAS Limited

Целевые правила Строительные кодексы Доступность Доступность Строительный кодекс Циркуляция и безопасность Закон о строительстве Строительный кодекс

Платформа проверки правил CORENET, FORNAX SMC EDM SMARTcodes (DA) for SMC, XABIO SMC KBim ACABIM

1. Перевод человекочитаемых требований в машиночитаемые правила

КР1.1. Метод Непосредственно Да. Да. Да. Да.

перевода программистом

Предварительная Да. Объектно- Да. Да. Да.

формализация при ориентированная

помощи логики интерпретация

первого порядка положений стандарта; применение графа; схема правил EXPRESS.

КР 1.2. Наличие Да. На основе Да. Охватывает Да. Да. На основе Да. Да.

онтологии имен и имен AS1428.1 имен

свойств пространств. «Проектирование для доступа и мобильности». пространств.

Страна Сингапур Норвегия Австралия США США Корея Новая Зеландия

Разработчик NOVA GROUP Statsbugg CRC for CI ICC GSA SEUMTER CAS Limited

Целевые правила Строительные кодексы Доступность Доступность Строительный кодекс Циркуляция и безопасность Закон о строительстве Строительный кодекс

Платформа проверки правил CORENET, FORNAX SMC EDM SMARTcodes (DA) for SMC, XABIO SMC KBim ACABIM

КР 1.3. Способ Язык Да. Express, Express-X.

кодирования программирования.

правил Параметрические таблицы. Да. Да.

Язык, основанный SMARTcode KBim Logic. Legal RuleML.

на правилах. builder.

2. Подготовка информационной модели.

КР2.1. Поддержка Извлечение новых Библиотека Библиотека Внутренняя схема SMARTcodes Ограниченный Да. Да.

подхода к свойств. FORNAX. SMC. модели для (DA) for SMC, интерфейс API

получению Использование нахождения Xabio SMC для

представлений дополненных объектов и получения

модели для объектов. дополнительных свойств.

обработки правил свойств.

Получение новых Дополнение Подмодель для Граф Граф Да. Да.

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

Страна Сингапур Норвегия Австралия США США Корея Новая Зеландия

Разработчик NOVA GROUP Statsbugg CRC for CI ICC GSA SEUMTER CAS Limited

Целевые правила Строительные кодексы Доступность Доступность Строительный кодекс Циркуляция и безопасность Закон о строительстве Строительный кодекс

Платформа проверки правил CORENET, FORNAX SMC EDM SMARTcodes (DA) for SMC, XABIO SMC KBim ACABIM

КР2.2. Реализованы в Имена Использование Словарь в Имена Да. Да.

Использование FORNAX. пространств. свойств и отношений SMARTcodes. пространств.

словаря IFC-модели и

стандартных внутренней модели.

свойств и

отношений для

определения

доступа

3. Выполнение правил.

КР3. 1. Валидация Да. Набор правил для Да. Да. Да. Да.

модели на определения

верификационный областей с

минимум, недостаточной

требования к информацией

проверяемой

модели.

4. Формирование отчета о результатах проверки

Страна Сингапур Норвегия Австралия США США Корея Новая Зеландия

Разработчик NOVA GROUP Statsbugg CRC for CI ICC GSA SEUMTER CAS Limited

Целевые правила Строительные кодексы Доступность Доступность Строительный кодекс Циркуляция и безопасность Закон о строительстве Строительный кодекс

Платформа проверки правил CORENET, FORNAX SMC EDM SMARTcodes (DA) for SMC, XABIO SMC KBim ACABIM

КР4.1. Наличие Да. КР4.1. Наличие Да. КР4.1.

графического графического Наличие

отчета. отчета. графического отчета.

КР4.2. Наличие Да. КР4.2. Наличие Да. КР4.2.

ссылки на текст ссылки на текст Наличие

источника. источника. ссылки на текст источника.

ПРИЛОЖЕНИЕ Д. АКТ О ВНЕДРЕНИИ (АНО «ИНФОРМАЦИОННЫЙ

ЦЕНТР В ПРОЕКТИРОВАНИИ»)

Информационный центр в проектировании

Автономная некоммерческая организация

ОГРН 1107799032164 ИНН 7714323458 Мишина ул., д. 56, стр. 2, г. Москва, Тел./факс [phone]

АКТ

о внедрении результатов диссертации (научно-квалификационной работы) Макиша Елены Владиславовны на тему: «Верификация информационных моделей строительных объектов на основе языка моделирования правил»

Настоящий акт подтверждает, что результаты диссертации (научно-квалификационной работы) Макиша Е.В. «Верификация информационных моделей строительных объектов на основе языка моделирования правил» были использованы в деятельности Автономной некоммерческой организации «Информационный центр в проектировании».

Практическая реализация алгоритма формирования правил верификации информационных моделей строительных объектов на основе языка моделирования правил и базирующейся на нем методики применялась для автоматизации проверок результатов проектирования. В процессе верификации было выявлено около 7% несоответствий относительно всего объема проверяемых требований.

В результате внедрения было выявлено, что основные положения исследования обладают актуальностью, имеют практическую направленность и могут применяться для проверки результатов проектирования. Целесообразность использования разработанных Макиша Е.В. подходов к верификации информационных моделей строительных объектов на основе языка моделирования правил, определяется повышением качества проектной документации, которое было продемонстрировано в результате внедрения.

ПРИЛОЖЕНИЕ Е. АКТ О ВНЕДРЕНИИ (ООО «ВОДАКО»)

Engineered.

АКТ

о внедрении результатов диссертации (научно-квалификационной работы)

Макиша Елены Владиславовны на тему: «Верификация информационных моделей строительных объектов на основе языка моделирования правил»

Данный акт подтверждает, что ООО «ВОДАКО» были рассмотрены и внедрены в практическую деятельность результаты диссертации (научно-квалификационной работы) Макиша Е.В. «Верификация информационных моделей строительных объектов на основе языка моделирования правил».

В процессе проектирования ООО «ВОДАКО» использует современные программные средства трехмерного моделирования, что позволяет провести анализ эффективности применения следующих разработки автора:

• алгоритм формирования правил верификации информационных моделей строительных объектов посредством языка моделирования правил;

• методика верификации информационных моделей строительных объектов на

основе языка моделирования правил.

А

По результатам анализа применения указанного алгоритма и методики выявлено,

что подходы в области верификации информационных моделей, предложенные

Л^Р.'

Макиша Е.В., обладают значительным потенциалом и позволяют повысить качество

; ■

разрабатываемой проектной документации.

_

иЩ . | -

Генеральный директор

■¿■■Ж'

ООО «ВОДАКО»

Инго Нойберт

ООО «ВОДАКО» ИНН 7716206333 КПП 771501001

127566, г. Москва Алтуфьевское ш., дом 48, корп.2

[phone] ¡[e-mail] www.vodaco.ru

ПРИЛОЖЕНИЕ Ж. АКТ О ВНЕДРЕНИИ (АО «СофтЛайн Трейд»)

ПРИЛОЖЕНИЕ З. СПРАВКА О ВНЕДРЕНИИ (НИУ МГСУ)

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное государственное бюджетное образовательное учреяедение высшего образования

«НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ СТРОИТЕЛЬНЫЙ УНИВЕРСИТЕТ»

Справка

о внедрении результатов кандидатской диссертационной работы Макиша Елены Владиславовны в учебный процесс

Настоящая справка подтверждает использование в учебном процессе кафедры «Информационных систем, технологий и автоматизации в строительстве» материалов диссертационной работы Макиша Елены Владиславовны на тему «Верификация информационных моделей строительных объектов на основе языка моделирования правил» по специальности 05.13.12 — «Системы автоматизации проектирования (строительство)».

Научные результаты диссертационной работы «Верификация информационных моделей строительных объектов на основе языка моделирования правил» использованы при подготовке обучающихся по направлению 09.03.02 «Информационные системы и технологии» (уровень образования - бакалавриат, наименование ОПОП - «Системотехника и информационные технологии управления в строительстве»). Материалы работы, касающиеся основ верификации информационных моделей объектов строительства и использования машиночитаемых форматов нормативной

документации для формирования правил проверки, включены в учебный курс «Информационное моделирование объектов строительства».

По данному учебному курсу на кафедре «Информационных систем, технологий и автоматизации в строительстве» разработаны и переработаны рабочие программы в соответствии с ФГОС ВО по направлению подготовки 09.03.02 «Информационные системы и технологии» (уровень бакалавриата) (Приказ Минобрнауки России от 19.09.2017 № 926), в которых преподаватель Макиша Елена Владиславовна является одним из разработчиков.

Директор ИЭУИС, к.т.н., доцент

О.Н. Кузина