| Design is the soul of engineering construction,the foundation and guarantee of engineering constructing operation and maintenance stage,and closely related to engineering investment,construction period and operation effect.The construction drawing checking system came into being with the inspection of the design results being a necessary process in the later stage of the design phase.With the development of the construction industry,the form of the check of construction drawings is still subject to a large number of textual specifications,2D design drawings are checked manually.Under this circumstance,the misdetection of the drawing information is difficult to avoid,which leads to frequent design changes,rework,and increased investment costs.BIM(Building Information Modeling)is the result of the development of informatization in the construction industry.The 3D model is richer and more intuitive than the 2D drawings.In this paper,according to the current problem of manual check of construction drawings,the normative language is regularized,and the automatic compliance inspection method and system based on BIM model are studied to realize the automatic check of design results,which improved the quality of check and avoid the possibility of post-construction.Based on the symbolic specification clauses and IFC data for inspection requirements,this paper uses the normative knowledge of predicate logic and propositional logic representation as the source of inspection rules.The IFC file for inspection requirements is used as the data source for inspection,and the different predicate combination patterns are studied.The IFC data compliance check method includes translating a predicate function into a predicate check method,and the proposition formula is translated into check logic.First,the constraints in the specification clause are classified,and the IFC data for inspection is screened out according to the constraints requirements of the specification.Second,according to the classification of the canonical constraints and the combination of predicate functions under the classification,the compliance check method of IFC data under the classification constraint is constructed.According to the logic of the propositional formula,the corresponding constraint check results in the formula are logically operated to obtain The compliance check result of the entry.The compliance check result is summarized according to the project structure fruit set and the model’s compliance check result is determined.Finally,this paper develops a model compliance inspection prototype system and the feasibility of automatic check of 3D models through examples are proved. |