В исследовательской работе проанализированы существующие программные комплексы и системы по верификации информационных моделей, разработаны алгоритмы создания автоматизированных проверок, рассмотрены инструменты работы программного комплекса Solibri Model Checker и созданы автоматизированные проверки в нем. На основе создания и использования правил проверок в данном комплексе и анализа этого процесса разработаны требования к ЦИМ архитектурных решений. / In the research work, the existing software systems and systems for verifying information models are analyzed, algorithms for creating automated checks are developed, the tools for the Solibri Model Checker software package are considered and automated checks are created in it. Based on the creation and use of check rules in this complex and the analysis of this process, requirements for the CIM of architectural solutions have been developed.
Identifer | oai:union.ndltd.org:urfu.ru/oai:elar.urfu.ru:10995/114765 |
Date | January 2022 |
Creators | Олейникова, А. В., Oleynikova, A. V. |
Contributors | Зверева, О. М., Zvereva, O. M., УрФУ. Институт строительства и архитектуры, Кафедра ”Информационное моделирование в строительстве” |
Publisher | б. и. |
Source Sets | Ural Federal University |
Language | Russian |
Detected Language | Russian |
Type | Master's thesis, info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Rights | Предоставлено автором на условиях простой неисключительной лицензии, http://elar.urfu.ru/handle/10995/31613 |
Page generated in 0.0027 seconds