Key points are not available for this paper at this time.
건축 설계를 건축 규정이나 코드와 검토하는 과정은 시간이 많이 소요되고 오류가 발생하기 쉬운 과정입니다. 코드 준수 검사 프로세스의 자동화는 1960년대부터 탐구되었으며, 건축 정보 모델링(BIM)의 출현과 함께 더욱 활발해졌습니다. BIM 플랫폼에서 개발된 중립 형식인 산업 기초 클래스(IFC)는 BIM 소프트웨어 전반에 걸쳐 더 나은 협업과 정보 교환을 가져왔으며, 검사 시스템의 발전에 기여했습니다. 일반적으로 자동화 시스템의 구조는 규칙 해석 단계, 건축 모델 준비 단계, 규칙 실행 단계 및 규칙 보고 단계로 구성됩니다. 규칙 해석 단계는 가장 중요하고 복잡한 단계입니다. 규칙 해석을 위해 다양한 기술이 조사되고 적용되어 주로 IFC 형식인 건축 설계에 대한 포괄적이고 정확한 검사 프로세스가 이루어지도록 하고 있습니다. 가장 일반적으로 사용되는 기술은 Solibri Model Checker와 같은 기존 소프트웨어를 활용하거나, 플러그인 응용 프로그램을 구축하거나, 객체 기반 접근 방식, 논리적 접근 방식 및 온톨로지적 접근 방식을 채택하는 것입니다. 본 논문은 검사 목적을 위한 규칙 해석에 적합한 기술을 성공적으로 적용한 이전 연구를 강조하고 리뷰합니다. 이는 향후 이 분야에 대한 연구에 도움이 되고, 더욱 놀라운 코드 준수 검사 시스템을 만드는 데 기여할 것입니다.
Ismail 외 (Sat,)는 이 질문을 연구했습니다.