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

Краткое описание

Макиша Елена Владиславовна Верификация информационных моделей строительных объектов на основе языка моделирования правил
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Макиша Елена Владиславовна
ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ

ГЛАВА 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

ВВЕДЕНИЕ