<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">nsojout</journal-id><journal-title-group><journal-title xml:lang="ru">Строительство: наука и образование</journal-title><trans-title-group xml:lang="en"><trans-title>Construction: Science and Education</trans-title></trans-title-group></journal-title-group><issn pub-type="epub">2305-5502</issn><publisher><publisher-name>ФГБОУ ВО «Национальный исследовательский Московский государственный строительный университет»</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.22227/2305-5502.2021.4.6</article-id><article-id custom-type="elpub" pub-id-type="custom">nsojout-54</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Информационные системы и логистика в строительстве</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Information systems and logistics in construction</subject></subj-group></article-categories><title-group><article-title>Состояние и перспективы применения систем проверки информационных моделей строительных объектов</article-title><trans-title-group xml:lang="en"><trans-title>The state of the testing software designated for information models of construction projects and prospects for their application</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Макиша</surname><given-names>Елена Владиславовна</given-names></name><name name-style="western" xml:lang="en"><surname>Makisha</surname><given-names>Elena V.</given-names></name></name-alternatives><email xlink:type="simple">makishaev@mgsu.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Мочкин</surname><given-names>Кирилл Алексеевич</given-names></name><name name-style="western" xml:lang="en"><surname>Mochkin</surname><given-names>Kirill A.</given-names></name></name-alternatives><email xlink:type="simple">k.mochkin@yandex.ru</email><xref ref-type="aff" rid="aff-2"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru">Национальный исследовательский Московский государственный строительный университет (НИУ МГСУ)<country>Россия</country></aff><aff xml:lang="en">Moscow State University of Civil Engineering (National Research University) (MGSU)<country>Russian Federation</country></aff></aff-alternatives><aff-alternatives id="aff-2"><aff xml:lang="ru">Национальный исследовательский ядерный университет МИФИ (НИЯУ МИФИ)<country>Россия</country></aff><aff xml:lang="en">National Research Nuclear University (MEPHI)<country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2021</year></pub-date><pub-date pub-type="epub"><day>27</day><month>01</month><year>2023</year></pub-date><volume>11</volume><issue>4</issue><fpage>70</fpage><lpage>86</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Макиша Е.В., Мочкин К.А., 2023</copyright-statement><copyright-year>2023</copyright-year><copyright-holder xml:lang="ru">Макиша Е.В., Мочкин К.А.</copyright-holder><copyright-holder xml:lang="en">Makisha E.V., Mochkin K.A.</copyright-holder><license license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.nso-journal.ru/jour/article/view/54">https://www.nso-journal.ru/jour/article/view/54</self-uri><abstract><sec><title>Введение</title><p>Введение. </p><p>Решение задачи автоматизированной проверки при проектировании строительных объектов происходит на международном уровне уже более 40 лет. Ранее выпускались статьи, посвященные обзору систем проверки результатов проектирования, представленных в форме информационных моделей (ИМ) строительных объектов. Однако в последние годы процесс цифровизации строительной отрасли стал более интенсивным, в него активно включились новые страны, в том числе Россия. За счет этого появились новые методологические подходы к выполнению отдельных этапов проверки, программы и системы, не описанные в более ранних обзорах. Наряду с этим, многие ранее разработанные системы модифицировались или наоборот прекратили свое существование. Цель исследования - оценка текущего состояния систем проверки ИМ строительных объектов с учетом произошедших в последние годы изменений, а также определение перспектив их дальнейшего развития.</p></sec><sec><title>Материалы и методы</title><p>Материалы и методы. </p><p>Для определения текущего состояния систем проверки ИМ строительных объектов был выполнен подбор и анализ зарубежных и российских литературных и информационных источников в области проверки ИМ строительных объектов. За основу взяты также результаты выполненных ранее обзоров.</p></sec><sec><title>Результаты</title><p>Результаты. </p><p>Сформирован перечень действующих тиражируемых коммерческих решений в области проверки информационных моделей, классифицированный в соответствии с их назначением; систем проверки информационных моделей, разработанных в разных странах, с определением их статуса. Выявлены направления развития проверки ИМ строительных объектов международного характера и в РФ.</p></sec><sec><title>Выводы</title><p>Выводы. </p><p>На текущий момент все еще сохраняется проблема перевода нормативных требований в машиночитаемый формат для проведения проверок на соответствие им как на российском, так и на международном уровне. Поэтому основным направлением для дальнейшего развития видится исследование возможностей искусственного интеллекта для обработки нормативных требований, написанных на естественном языке. Тем не менее для применения нейронных сетей необходимо наличие данных для обучения, что говорит о необходимости предварительного получения определенного объема нормативных документов, размеченных вручную.</p></sec></abstract><trans-abstract xml:lang="en"><sec><title>Introduction</title><p>Introduction. </p><p>The problem of automated testing in the process of designing construction facilities has been solved at the international level for more than 40 years. Earlier articles had overviews of design verification systems, presented in the form of information models (IM) of construction projects. However, over the last few years the process of digitalization of the construction industry has become more intense, and new countries, including Russia, have been more actively involved in it. Hence, new methodological approaches to individual stages of verification, programmes and systems, not described in earlier reviews, have appeared. At the same time, many previously developed systems have been modified or, conversely, have ceased to exist. The purpose of this article is to evaluate the current state of IM verification systems for construction projects, taking into account the changes that have taken place over the last few years, and to determine the prospects for their further development.</p></sec><sec><title>Materials and methods</title><p>Materials and methods. </p><p>To determine the current state of systems for testing the IM of construction facilities, the co-authors selected and analyzed the foreign and Russian literature and information sources in the field of testing the IM of construction facilities. The results of earlier reviews were also taken as the benchmark.</p></sec><sec><title>Results</title><p>Results. </p><p>The co-authors made a list of currently used replicable commercial solutions for information model testing, which are classified according to their designation and a per-country list of information model testing systems, with the status identified for each system. The co-authors identified the development areas in respect of verifying international models of construction projects of international scale. Development areas in the field of verification of informational models of construction facilities at the Russian Federation level were also outlined.</p></sec><sec><title>Conclusions</title><p>Conclusions. </p><p>Presently, there is still a problem of converting regulatory requirements into the machine-readable format to ensure their compliance with Russian and international standards. Therefore, the main direction for the further development is the study the potential of artificial intelligence in the processing of regulatory requirements written in a natural language. Nevertheless, the application of neural networks requires the availability of data for training, which suggests the need for a certain amount of manually marked regulatory documents in advance.</p></sec></trans-abstract><kwd-group xml:lang="ru"><kwd>информационное моделирование строительных объектов</kwd><kwd>автоматизированная проверка информационных моделей</kwd><kwd>программы проверки информационных моделей</kwd><kwd>системы проверки информационных моделей</kwd><kwd>машиночитаемые форматы нормативных документов</kwd><kwd>обработка естественного текста</kwd></kwd-group><kwd-group xml:lang="en"><kwd>information modeling of construction projects</kwd><kwd>automated testing of information models</kwd><kwd>information model testing programmes</kwd><kwd>information model testing systems</kwd><kwd>machine-readable formats of regulatory documents</kwd><kwd>natural text processing</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Fenves S.J., Wright R.N., Stahl F.I., Reed K.A.Introduction to SASE: Standards Analysis, Synthesis, and Expression // Report NBSIR 87-3513, U.S. Department of Commerce, National Bureau of Standards. 1987. 196 p.</mixed-citation><mixed-citation xml:lang="en">Fenves S.J., Wright R.N., Stahl F.I., Reed K.A.Introduction to SASE: Standards Analysis, Synthesis, and Expression // Report NBSIR 87-3513, U.S. Department of Commerce, National Bureau of Standards. 1987. 196 p.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Fenves S.J., Garrett J.H., Kiliccote H., Law K.H., Reed K.A.Computer representations of design standards and building codes: U.S. perspective // International Journal of Construction Information Technology. 1995. Vol. 3. Issue 1. Pp. 13-34.</mixed-citation><mixed-citation xml:lang="en">Fenves S.J., Garrett J.H., Kiliccote H., Law K.H., Reed K.A.Computer representations of design standards and building codes: U.S. perspective // International Journal of Construction Information Technology. 1995. Vol. 3. Issue 1. Pp. 13-34.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Kerrigan S., Law K. Logic-based regulation compliance-assistance // Proceedings of the 9th international conference on Artificial intelligence and law. Edinburgh, Scotland, UK, June 24-28. 2003. Pp. 126-135. DOI: 10.1145/1047788.1047820</mixed-citation><mixed-citation xml:lang="en">Kerrigan S., Law K. Logic-based regulation compliance-assistance // Proceedings of the 9th international conference on Artificial intelligence and law. Edinburgh, Scotland, UK, June 24-28. 2003. Pp. 126-135. DOI: 10.1145/1047788.1047820</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Lau G., Kerrigan S., Law K. An Information Infrastructure for Government Regulations // Proceedings of the 13th Workshop on Information Technology and Systems (WITS’03). Seattle, WA, 2003. Pp. 37-42.</mixed-citation><mixed-citation xml:lang="en">Lau G., Kerrigan S., Law K. An Information Infrastructure for Government Regulations // Proceedings of the 13th Workshop on Information Technology and Systems (WITS’03). Seattle, WA, 2003. Pp. 37-42.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Han C., Kunz J., Law K. Making automated building code checking a reality // Facility Management Journal. 1997. Pp. 22-28.</mixed-citation><mixed-citation xml:lang="en">Han C., Kunz J., Law K. Making automated building code checking a reality // Facility Management Journal. 1997. Pp. 22-28.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Han C., Kunz J., Law K. Client/server framework for on-line building code checking // Journal of Computing in Civil Engineering. 1998. Vol. 12. Issue 4. Pp. 181-194. DOI: 10.1061/(asce)0887-3801(1998)12:4(181)</mixed-citation><mixed-citation xml:lang="en">Han C., Kunz J., Law K. Client/server framework for on-line building code checking // Journal of Computing in Civil Engineering. 1998. Vol. 12. Issue 4. Pp. 181-194. DOI: 10.1061/(asce)0887-3801(1998)12:4(181)</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Han C., Kunz J., Law K. Building design services in a distributed architecture // Journal of Computing in Civil Engineering. 1999. Vol. 13. Issue 1. Pp. 12-22. DOI: 10.1061/(asce)0887-3801(1999)13:1(12)</mixed-citation><mixed-citation xml:lang="en">Han C., Kunz J., Law K. Building design services in a distributed architecture // Journal of Computing in Civil Engineering. 1999. Vol. 13. Issue 1. Pp. 12-22. DOI: 10.1061/(asce)0887-3801(1999)13:1(12)</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Han C., Kunz J., Law K.Compliance analysis for disabled access // Advances in Digital Government Technology. 2002. Pp. 149-163.</mixed-citation><mixed-citation xml:lang="en">Han C., Kunz J., Law K.Compliance analysis for disabled access // Advances in Digital Government Technology. 2002. Pp. 149-163.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Eastman C., Lee J., Jeong Y., Lee J. Automatic rule-based checking of building designs // Automation in Construction. 2009. Vol. 18. Issue 8. Pp. 1011-1033. DOI: 10.1016/j.autcon.2009.07.002</mixed-citation><mixed-citation xml:lang="en">Eastman C., Lee J., Jeong Y., Lee J. Automatic rule-based checking of building designs // Automation in Construction. 2009. Vol. 18. Issue 8. Pp. 1011-1033. DOI: 10.1016/j.autcon.2009.07.002</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Нисбет Н., Серых А. Эффективная автоматизация проверки строительных решений на соответствие строительным нормам // Экспресс-информ. 2010. № 11 (89). С. 30-35.</mixed-citation><mixed-citation xml:lang="en">Нисбет Н., Серых А. Эффективная автоматизация проверки строительных решений на соответствие строительным нормам // Экспресс-информ. 2010. № 11 (89). С. 30-35.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Галкина Е.В. Перспективы использования систем проверки информационных моделей в России // Научное обозрение. 2017. № 21. С. 159-161.</mixed-citation><mixed-citation xml:lang="en">Галкина Е.В. Перспективы использования систем проверки информационных моделей в России // Научное обозрение. 2017. № 21. С. 159-161.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Галкина Е.В. Анализ инструментов верификации проектной документации // Научно-технический вестник Поволжья. 2018. № 6. C. 95-97. DOI: 10.24153/2079-5920-2018-8-6-95-97</mixed-citation><mixed-citation xml:lang="en">Галкина Е.В. Анализ инструментов верификации проектной документации // Научно-технический вестник Поволжья. 2018. № 6. C. 95-97. DOI: 10.24153/2079-5920-2018-8-6-95-97</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Макиша Е.В. Верификация информационных моделей строительных объектов на основе языка моделирования правил : дис. … канд. техн. наук. М., 2019. 162 с.</mixed-citation><mixed-citation xml:lang="en">Макиша Е.В. Верификация информационных моделей строительных объектов на основе языка моделирования правил : дис. … канд. техн. наук. М., 2019. 162 с.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Solihin W., Eastman C. Classification of rules for automated BIM rule checking development // Automation in Construction. 2015. Vol. 53. Pp. 69-82. DOI: 10.1016/j.autcon.2015.03.003</mixed-citation><mixed-citation xml:lang="en">Solihin W., Eastman C. Classification of rules for automated BIM rule checking development // Automation in Construction. 2015. Vol. 53. Pp. 69-82. DOI: 10.1016/j.autcon.2015.03.003</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Amor R., Dimyadi J. The promise of automated compliance checking // Developments in the Built Environment. 2021. Vol. 5. P. 100039. DOI: 10.1016/j.dibe.2020.100039</mixed-citation><mixed-citation xml:lang="en">Amor R., Dimyadi J. The promise of automated compliance checking // Developments in the Built Environment. 2021. Vol. 5. P. 100039. DOI: 10.1016/j.dibe.2020.100039</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Fuchs S., Amor R. Natural language processing for building code interpretation: A systematic literature review // 38th International Conference of CIB W78. Luxembourg, October. 2021. Pp. 294-303.</mixed-citation><mixed-citation xml:lang="en">Fuchs S., Amor R. Natural language processing for building code interpretation: A systematic literature review // 38th International Conference of CIB W78. Luxembourg, October. 2021. Pp. 294-303.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Zhang R., El-Gohary N. A deep neural network-based method for deep information extraction using transfer learning strategies to support automated compliance checking // Automation in Construction. 2021. Vol. 132. Issue 2. P. 103834. DOI: 10.1016/j.autcon.2021.103834</mixed-citation><mixed-citation xml:lang="en">Zhang R., El-Gohary N. A deep neural network-based method for deep information extraction using transfer learning strategies to support automated compliance checking // Automation in Construction. 2021. Vol. 132. Issue 2. P. 103834. DOI: 10.1016/j.autcon.2021.103834</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Wu C., Wang X., Wu P., Wang J., Jiang R., Chen M. et al. Hybrid deep learning model for automating constraint modelling in advanced working packaging // Automation in Construction. 2021. Vol. 127. Issue 10. P. 103733. DOI: 10.1016/j.autcon.2021.103733</mixed-citation><mixed-citation xml:lang="en">Wu C., Wang X., Wu P., Wang J., Jiang R., Chen M. et al. Hybrid deep learning model for automating constraint modelling in advanced working packaging // Automation in Construction. 2021. Vol. 127. Issue 10. P. 103733. DOI: 10.1016/j.autcon.2021.103733</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Xue X., Zhang J. Part-of-speech tagging of building codes empowered by deep learning and transformational rules // Advanced Engineering Informatics. 2021. Vol. 47. P. 101235. DOI: 10.1016/j.aei.2020.101235</mixed-citation><mixed-citation xml:lang="en">Xue X., Zhang J. Part-of-speech tagging of building codes empowered by deep learning and transformational rules // Advanced Engineering Informatics. 2021. Vol. 47. P. 101235. DOI: 10.1016/j.aei.2020.101235</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Haüßler M., Esser S., Borrmann A. Code compliance checking of railway designs by integrating BIM, BPMN and DMN // Automation in Construction. 2021. Vol. 121. P. 103427. DOI: 10.1016/j.autcon.2020.103427</mixed-citation><mixed-citation xml:lang="en">Haüßler M., Esser S., Borrmann A. Code compliance checking of railway designs by integrating BIM, BPMN and DMN // Automation in Construction. 2021. Vol. 121. P. 103427. DOI: 10.1016/j.autcon.2020.103427</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Huaquan Y., Lee S. A rule-based system to automatically validate IFC second-level space boundaries for building energy analysis // Automation in Construction. 2021. Vol. 127. Issue 2. P. 103724. DOI: 10.1016/j.autcon.2021.103724</mixed-citation><mixed-citation xml:lang="en">Huaquan Y., Lee S. A rule-based system to automatically validate IFC second-level space boundaries for building energy analysis // Automation in Construction. 2021. Vol. 127. Issue 2. P. 103724. DOI: 10.1016/j.autcon.2021.103724</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
