Building information model inspection method, inspection device and terminal equipment

Abstract

The present invention discloses a building information model inspection method, inspection device, and terminal device. The method includes: extracting objects, geometric attributes, and non-geometric attributes from a building information model to be inspected to form a model analysis data set; compiling each natural language building code clause into a rule consisting of an object, a calculation variable, and a verification paragraph, with multiple rules corresponding to natural language building code clauses forming a rule set; extracting objects, geometric attributes and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of the geometric attributes of multiple objects from the model analysis data set to form an information mapping table; for each rule in the rule set, extracting objects from the information mapping table and extracting judgment predicates from the verification paragraph to form a calculation mapping table; and comparing all objects screened out from the information mapping table with the corresponding judgment predicates in the calculation mapping table to generate a verification result. The inspection technology of the present invention is highly efficient and accurate.

Description

Technical Field

[0001] The present invention belongs to the field of architecture, and more specifically, relates to a building information model inspection method, an inspection device and a terminal device. Background Art

[0002] With the rapid development and in-depth application of computer technology, Building Information Modeling (BIM) has become a new tool in architecture, engineering and civil engineering.

[0003] BIM (Building Information Modeling) technology was first proposed by Autodesk in 2002 and has now gained widespread industry recognition worldwide. It helps integrate building information, integrating all aspects of a building's design, construction, operation, and lifecycle into a single 3D model database. This allows design teams, construction units, facility operations departments, and owners to collaborate based on BIM, effectively improving efficiency, saving resources, reducing costs, and achieving sustainable development. This places significant demands on the compliance of BIM models, requiring inspection and verification of BIM models in many processing steps. However, this process is currently performed manually, which is not only inefficient but also prone to verification errors or omissions.

[0004] It can be seen that the existing building information model inspection technology has technical problems such as low efficiency and easy inspection errors or omissions. Summary of the Invention

[0005] In response to the above-mentioned defects or improvement needs of the existing technology, the present invention provides a building information model inspection method, inspection device and terminal equipment, thereby solving the technical problems of low efficiency and prone to inspection errors or omissions in the existing building information model inspection technology.

[0006] To achieve the above object, according to one aspect of the present invention, a building information model checking method is provided, comprising:

[0007] Extract objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set;

[0008] Each natural language building code clause is written into a rule consisting of an object, a calculation variable, and a verification paragraph. The rules corresponding to multiple natural language building code clauses form a rule set.

[0009] Extract objects, geometric and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of geometric attributes of multiple objects from the model analysis data set to form an information mapping table;

[0010] For each rule in the rule set, extract the object from the information mapping table and extract the judgment predicate from the verification paragraph to form a calculation mapping table;

[0011] If there is only one object in the rule, all objects whose geometric or non-geometric attributes satisfy the calculation variables are filtered out from the information mapping table. If there are multiple objects in the rule, all objects whose calculated values ​​satisfy the calculation variables are filtered out from the information mapping table.

[0012] Compare all objects filtered out from the information mapping table with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

[0013] Generalized calculation means using addition, subtraction, multiplication and division alone or in combination to perform calculations.

[0014] Furthermore, the natural language building code clause is: for multiple objects, if their calculated value is not less than the calculated variable, then there must be an object among the multiple objects, and the rule is: x1-x i :diff>=c=>Between(x1-x i )->IsW(), where x1-x i represents the first object to the i-th object, i ≥ 2, diff represents the calculated value, c represents the calculated variable, and W represents an object;

[0015] When not less than in a natural language building code clause is replaced with not greater than, less than, or greater than, then >= in the rule is replaced with <=, <, or >.

[0016] Furthermore, the judgment predicate is IsW(), then all objects x1-x i Objects with W between them are verified as compliant objects, x1-x i Two objects without W between them are considered non-compliant.

[0017] Furthermore, the natural language building code clause is: for any two objects, if their geometric difference is not less than the calculated variable, then there must be an object between the two objects, and the rule is: x, y: diff>=c=>Between(x, y)->IsW(), where x, y represent any two objects, diff represents the geometric difference, c represents the calculated variable, and W represents an object.

[0018] Furthermore, the judgment predicate is IsW(), then two objects with W between x and y among all objects screened out from the information mapping table are verified as compliant objects, and two objects without W between x and y are verified as non-compliant objects.

[0019] Furthermore, the natural language building code clause is: for any object, if its geometric attribute is greater than the calculated variable, then it must have an object, and the rule is: x: H>c=>Hosted(x)->IsW(), where x is the object, H is the geometric attribute, c is the calculated variable, Hosted(x) represents the object x, and W represents an object;

[0020] When greater than in a natural language building code clause is replaced by not greater than, less than, or not less than, then the > in the rule is replaced by <=, <, or >=.

[0021] Furthermore, the judgment predicate is IsW(), and objects with W among all objects screened out from the information mapping table are verified as compliant objects, and objects without W are verified as non-compliant objects.

[0022] Furthermore, the natural language building code clause is: for a building whose geometric attributes are greater than a calculated variable, and whose non-geometric attributes of the object are not less than a preset value, the rule is: x, y: H(y)>c=>F(x)>=d, where x represents the object, y represents the building corresponding to the building information model to be inspected, H(y) represents the geometric attributes of the building, c represents the calculated variable, F(x) represents the non-geometric attributes of the object, and d represents the preset value;

[0023] When not less than in a natural language building code clause is replaced with not greater than, less than, or greater than, then >= in the rule is replaced with <=, <, or >.

[0024] Furthermore, if the judgment predicate is not less than, the non-geometric attributes of objects in the building whose geometric attributes are greater than the calculation variables are screened out from the information mapping table, and the objects whose non-geometric attributes are not less than the preset value are verified as compliant objects, and the objects whose non-geometric attributes are less than the preset value are verified as non-compliant objects.

[0025] Furthermore, the objects include walls, doors, windows, and beams; the geometric attributes include length, width, and height; and the non-geometric attributes include fire resistance level and thermal insulation level.

[0026] According to another aspect of the present invention, there is provided a building information model checking device, comprising:

[0027] A model analyzer, used for extracting objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set;

[0028] A compiler, configured to compile each natural language building code clause into a rule consisting of an object, a calculation variable, and a verification paragraph, wherein the rules corresponding to multiple natural language building code clauses constitute a rule set;

[0029] A model pre-calculation unit is used to extract objects, geometric attributes and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of geometric attributes of multiple objects from the model analysis data set to form an information mapping table;

[0030] The parser is used to extract objects from the information mapping table and extract judgment predicates from the verification paragraph to form a calculation mapping table for each rule in the rule set;

[0031] The verifier is used to filter out all objects whose geometric or non-geometric attributes satisfy the calculation variables from the information mapping table when there is only one object in the rule. If there are multiple objects in the rule, the verifier filters out all objects whose calculated values ​​satisfy the calculation variables from the information mapping table. All objects filtered out from the information mapping table are compared with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

[0032] According to another aspect of the present invention, a terminal device is provided, comprising a memory, a processor, and a computer program stored in the memory and executable on the processor, wherein the processor implements a building information model checking method when executing the computer program.

[0033] According to another aspect of the present invention, a computer-readable storage medium is provided. The computer-readable storage medium stores a computer program. When the computer program is executed by a processor, a building information model checking method is implemented.

[0034] In general, the above technical solutions conceived by the present invention can achieve the following beneficial effects compared with the prior art:

[0035] (1) The present invention compiles natural language building code clauses into rules consisting of objects, calculation variables, and verification paragraphs. The constraint rules of the building information model to be verified are described using a building constraint language. These rules include both attribute constraint rules for object associations and their attributes, and spatial constraint rules for geometric spatial relationships and their geometric measurements. An information mapping table and a calculation mapping table are first constructed. All objects selected from the information mapping table are then compared with the corresponding judgment predicates in the calculation mapping table to generate verification results. This not only greatly improves inspection efficiency but also avoids verification errors or omissions.

[0036] (2) For the natural language building code clause: for any number of objects, if their calculated value is not less than the calculated variable, then there must be an object in the middle of the multiple objects. For example, for any two floor slabs, if their height difference is not less than 3 meters, then there must be a wall in the middle. The rule is expressed as: Floor(x), Floor(y): Heightdiff>=3m=>Between(x,y)->IsWall().count>0. Through the information mapping table map, the object group floor slabs with "height difference greater than 3 meters" are quickly filtered out. For the two floor slabs in each group, the components in the middle space are queried, and the judgment predicate "there is a wall" in the calculation mapping table is executed to obtain the verification result.

[0037] (3) For natural language building code clauses: For any object, if its geometric attribute is greater than the calculation variable, for example, for any wall, if its height is higher than 3 meters, then it must have a window. Through the information mapping table map, quickly filter out the object group walls that are "higher than 3 meters", traverse the applicable object set, that is, the object set walls that meet the "higher than 3 meters" requirement, execute the judgment predicate "has a window" in the calculation mapping table, and obtain the verification result.

[0038] (4) For the natural language building code clause: for buildings whose geometric attributes are greater than the calculation variables, the non-geometric attributes of the objects shall not be less than the preset values. For example, for civil buildings with a building height greater than 100 meters, the fire resistance limit of the floor slabs shall not be less than 2h. Through the information mapping table, the “fire resistance limit of the floor slabs in buildings with a height greater than 100 meters” is quickly screened out, and the judgment predicate “not less than” in the calculation mapping table is executed. The information mapping table is traversed, and the floor slabs with a fire resistance limit of not less than 2h are qualified floor slabs, and the floor slabs with a fire resistance limit of less than 2h are unqualified floor slabs.

[0039] (5) The present invention implements rule expression through the use of a compiler in the BCL language, a language that is concise, powerful, flexible, and versatile, and can well express various rules in the architectural field. The model pre-calculation unit can be separated from the Revit environment through pre-calculation and can quickly filter out a set of applicable objects from a mapping table. The verifier can quickly determine whether the walls, doors, windows, and beams in a building meet building specifications. BRIEF DESCRIPTION OF THE DRAWINGS

[0040] Figure 1 is a flow chart of a building information model checking method provided by an embodiment of the present invention;

[0041] Figure 2 It is a detailed implementation flow chart provided by an embodiment of the present invention;

[0042] Figure 3 This is a schematic diagram of a building information model provided by an embodiment of the present invention. DETAILED DESCRIPTION

[0043] In order to make the objectives, technical solutions and advantages of the present invention more clearly understood, the present invention is further described in detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are merely for the purpose of explaining the present invention and are not intended to limit the present invention. In addition, the technical features involved in the various embodiments of the present invention described below may be combined with each other as long as they do not conflict with each other.

[0044] like Figure 1 As shown, a building information model checking method includes:

[0045] Extract objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set;

[0046] Each natural language building code clause is written into a rule consisting of an object, a calculation variable, and a verification paragraph. The rules corresponding to multiple natural language building code clauses form a rule set.

[0047] Extract objects, geometric and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of geometric attributes of multiple objects from the model analysis data set to form an information mapping table;

[0048] For each rule in the rule set, extract the object from the information mapping table and extract the judgment predicate from the verification paragraph to form a calculation mapping table;

[0049] If there is only one object in the rule, all objects whose geometric or non-geometric attributes satisfy the calculation variables are filtered out from the information mapping table. If there are multiple objects in the rule, all objects whose calculated values ​​satisfy the calculation variables are filtered out from the information mapping table.

[0050] Compare all objects filtered out from the information mapping table with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

[0051] Example 1

[0052] like Figure 2 As shown, a building information model checking method includes:

[0053] S1, obtain the BIM model to be verified and its corresponding rule set.

[0054] Specifically, the above step S1 may include:

[0055] S11, an instruction to upload or import the BIM model to be inspected is used to obtain the BIM model to be inspected.

[0056] The BIM model to be inspected is a 3D model generated by 3D architectural design software and stored in a Revit file format. The electronic device can respond to the user's upload or import function of the BIM model to be inspected and obtain the BIM model to be inspected;

[0057] S12, edit the BCL rule set to obtain the rule set corresponding to the BIM model to be tested

[0058] The rule set corresponding to the BIM model to be inspected is a rule set formed by the user using a BCL editor to compile the natural language building code clauses corresponding to the BIM model to be inspected into BCL rules that can be parsed and executed by a computer. Specifically, the inspection system provides a BCL editor, and the user edits the rule set in a window in a BNF manner, compiles the natural language building code clauses into BCL rules that can be parsed and executed by a computer, and encapsulates multiple groups of rules into a rule set. The electronic device can respond to the user's upload or import function of the rule set corresponding to the BIM model to be inspected, and obtain the rule set corresponding to the BIM model to be inspected, or it can automatically obtain the rule set after the editing in the BCL editor is completed;

[0059] S2: Analyze and process the BIM model to be inspected to obtain a model analysis data set.

[0060] The BIM model contains component information and BIM data, where BIM data is divided into geometric and non-geometric data. The BIM analyzer reads the BIM model to be tested, analyzes and obtains the model semantic information corresponding to the model to be tested, extracts the model operator set such as attribute operator (component information), geometric operator, non-geometric operator, etc., and forms the model analysis data set. Figure 3 As shown, in a building room, its walls, doors, windows, beams, etc. are all object attributes, and its length, width, height, etc. are its geometric attributes. Of course, there are also non-geometric attributes, such as the fire resistance level of the material.

[0061] S3, pre-calculating the model analysis data set to obtain an information mapping table.

[0062] The model operator set is pre-calculated to generate an information mapping table for each component object. The separated model operators are pre-calculated to map all operator types to an object set, forming an object set to be matched with the rule. This pre-calculation allows users to quickly filter the applicable object set from the mapping table outside the Revit environment. Information such as the height, width, thickness, and fire resistance rating of each object wall is obtained, and the calculated values ​​are generated using generalized calculations of geometric properties to form an information mapping table for easy filtering and querying.

[0063] S4, parsing the rule set corresponding to the BIM model to be checked to obtain a rule analysis data set.

[0064] The BCL parser reads and parses the rule set corresponding to the BIM model to be tested. For each rule, an object that meets the antecedent is selected from the object set; the consequent of the rule applicable to the object is analyzed, and the predicate is extracted to form a calculation mapping table to form a rule analysis data set. For example, Rule 1: For any wall, if its height is higher than 3 meters, then it must have a window, expressed as Wall(x): Height(x)>3m=>Hosted(x)->IsWindow().count>0. Rule 2: For any two floors, if their height difference is not less than 3 meters, then there must be a wall between them, expressed as: Floor(x), Floor(y): Heightdiff>=3m=>Between(x,y)->IsWall().count>0. Rule 3: For civil buildings with a building height greater than 100 meters, the fire resistance limit of the floor should not be less than 2h. This is represented as: Floor(x), Building(y): Height(y) > 100m => FireResistanceRating(x) >= 2. These rules are all set using the "=>" (i.e., if-else) method. For Rule 2, "For any two floors, if the height difference is 3m, then there must be a wall between them," its antecedent is "For any two floors, if the height difference is 3m, then there must be a wall between them," and its consequent is "There must be a wall between them." We extract all the evaluations of "height difference," the query "middle," and the predicate "there is a wall" from the rule to form the rule analysis dataset.

[0065] S5, performing rule verification on the model analysis data set and the rule analysis data set to generate a verification result.

[0066] The BCL verifier performs calculation queries on the object sets in the information mapping table according to the rule analysis data set calculation mapping table one by one to verify the object results that meet the rules. The specific steps include:

[0067] S51: The selection unit queries the model analysis data set based on the parsed BCL rules, selects an object set, and obtains the model data required for running the calculation mapping table. In the model analysis data set, the selection unit uses the information mapping table to quickly select the object group "higher than 3 meters" for walls and the object group "height difference greater than 3 meters" for floors as the applicable object set for subsequent rule satisfaction determination.

[0068] S52, the calculation agent unit executes the calculation mapping table on the model data; for rule one, traverse the applicable object set, that is, the object set walls that meet the "height is higher than 3 meters", execute the judgment predicate "has windows" in the calculation mapping table, and obtain the calculation table results of each applicable object set wall; for rule two, traverse the applicable object set, that is, the object set floors that meet the "height difference between two floor slabs is greater than 3 meters", for the two floor slabs in each group, query the components in the middle space therebetween, execute the judgment predicate "has walls" in the calculation mapping table, and obtain the calculation table results of each group of applicable object set floors.

[0069] S53: The determination unit determines whether the rule is satisfied based on the calculation table result and the verification paragraph in the rule. Based on the calculation table result, it is determined whether there is an object set in the model data that satisfies the rule.

[0070] S54, the output unit forms and outputs the verification result.

[0071] Specifically, the above step S54 may include:

[0072] S541, based on the calculation table result obtained by the judgment unit, if the rule is met, then execute step S542, otherwise execute step S543;

[0073] S542: Output the verification result of whether the rule is satisfied. For Rule 1, if the output is satisfied, it means that all the object walls in the BIM model to be verified that are subject to the "higher than 3 meters" rule also meet the "must have windows" rule.

[0074] S543: Output the verification result that does not meet the rules.

[0075] Specifically, the above step S543 may include:

[0076] S5431, the BIM model to be inspected is checked to determine non-compliant objects in the BIM model to be inspected.

[0077] Non-compliant components are building components that fail to meet the rules. The electronic device links the non-compliant verification results obtained with the BIM model to be verified, mapping them to the spatial locations within the geometric information of each component object to determine the non-compliant component objects within the BIM model to be verified. For Rule 1, when all walls in the BIM model to be verified that meet the "height greater than 3 meters" rule are sequentially traversed, all walls that fail this rule are recorded and finally associated with the wall that fails to meet the rule.

[0078] S5432: Feedback the violated rules and generate a verification result of the rules violated by the non-compliant object.

[0079] Feedback information is used to indicate the non-compliant items of non-compliant components, facilitating modification and other operations. At the same time, it can also be highlighted or flashed.

[0080] A building information model checking device, comprising:

[0081] A model analyzer, used for extracting objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set;

[0082] A compiler, configured to compile each natural language building code clause into a rule consisting of an object, a calculation variable, and a verification paragraph, wherein the rules corresponding to multiple natural language building code clauses constitute a rule set;

[0083] A model pre-calculation unit is used to extract objects, geometric attributes and non-geometric attributes corresponding to the objects, and geometric differences calculated by geometric attributes of two objects from the model analysis data set to form an information mapping table;

[0084] The parser is used to extract objects from the information mapping table and extract judgment predicates from the verification paragraph to form a calculation mapping table for each rule in the rule set;

[0085] The verifier is used to filter out all objects whose geometric or non-geometric attributes satisfy the calculation variables from the information mapping table when there is only one object in the rule; if there are two objects in the rule, it filters out all objects whose geometric differences satisfy the calculation variables from the information mapping table; all objects filtered out from the information mapping table are compared with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

[0086] The BIM model inspection device in the embodiment of the present invention is presented in the form of a functional unit, where the unit refers to an ASIC circuit, a processor and memory that executes one or more software or fixed programs, and / or other devices that can provide the above functions.

[0087] It will be easily understood by those skilled in the art that the above description is merely a preferred embodiment of the present invention and is not intended to limit the present invention. Any modifications, equivalent substitutions, and improvements made within the spirit and principles of the present invention should be included in the scope of protection of the present invention.

Claims

1. A building information model checking method, characterized in that: include: Extract objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set; Each natural language building code clause is written into a rule consisting of an object, a calculation variable, and a verification paragraph. The rules corresponding to multiple natural language building code clauses form a rule set. Extract objects, geometric and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of geometric attributes of multiple objects from the model analysis data set to form an information mapping table; For each rule in the rule set, extract the object from the information mapping table and extract the judgment predicate from the verification paragraph to form a calculation mapping table; If there is only one object in the rule, all objects whose geometric or non-geometric attributes satisfy the calculation variables are filtered out from the information mapping table. If there are multiple objects in the rule, all objects whose calculated values ​​satisfy the calculation variables are filtered out from the information mapping table. Compare all objects filtered out from the information mapping table with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

2. A building information model checking method according to claim 1, characterized in that: The natural language building code clause is: for multiple objects, if their calculated value is not less than the calculated variable, then there must be an object among the multiple objects, and the rule is: x1-x i :diff>=c=>Between(x1-x i )->IsW(), where x1-x i represents the first object to the i-th object, i ≥ 2, diff represents the calculated value, c represents the calculated variable, and W represents an object; When not less than in a natural language building code clause is replaced with not greater than, less than, or greater than, then >= in the rule is replaced with <=, <, or >.

3. A building information model checking method according to claim 2, characterized in that: The judgment predicate is IsW(), then all objects x1-x i Objects with W between them are verified as compliant objects, x1-x i Two objects without W between them are considered non-compliant.

4. A building information model checking method according to claim 1, characterized in that: The natural language building code clause is: for any object, if its geometric attribute is greater than the calculation variable, then it must have an object, and the rule is: x: H>c=>Hosted(x)->IsW(), where x is the object, H is the geometric attribute, c is the calculation variable, Hosted(x) represents the object x, and W represents an object; When greater than in a natural language building code clause is replaced by not greater than, less than, or not less than, then the > in the rule is replaced by <=, <, or >=.

5. A building information model checking method according to claim 4, characterized in that: The judgment predicate is IsW(), and objects with W among all objects screened from the information mapping table are verified as compliant objects, and objects without W are verified as non-compliant objects.

6. A building information model checking method according to claim 1, characterized in that: The natural language building code clause is: for a building whose geometric attributes are greater than the calculated variables, the non-geometric attributes of its objects are not less than the preset values, then the rule is: x, y: H(y)>c=>F(x)>=d, where x represents the object, y represents the building corresponding to the building information model to be tested, H(y) represents the geometric attributes of the building, c represents the calculated variables, F(x) represents the non-geometric attributes of the object, and d represents the preset value; When not less than in a natural language building code clause is replaced with not greater than, less than, or greater than, then >= in the rule is replaced with <=, <, or >.

7. A building information model checking method according to claim 6, characterized in that: If the judgment predicate is not less than, the non-geometric attributes of objects in the building whose geometric attributes are greater than the calculation variables are screened out from the information mapping table, and the objects whose non-geometric attributes are not less than the preset value are verified as compliant objects, and the objects whose non-geometric attributes are less than the preset value are verified as non-compliant objects.

8. A building information model checking method according to any one of claims 1 to 7, characterized in that: The objects include walls, doors, windows, and beams; the geometric attributes include length, width, and height; and the non-geometric attributes include fire resistance level and thermal insulation level.

9. A building information model inspection device, characterized in that: include: A model analyzer, used for extracting objects, geometric attributes and non-geometric attributes from the building information model to be inspected to form a model analysis data set; A compiler, configured to compile each natural language building code clause into a rule consisting of an object, a calculation variable, and a verification paragraph, wherein the rules corresponding to multiple natural language building code clauses constitute a rule set; A model pre-calculation unit is used to extract objects, geometric attributes and non-geometric attributes corresponding to the objects, and calculated values ​​obtained by generalized calculation of geometric attributes of multiple objects from the model analysis data set to form an information mapping table; The parser is used to extract objects from the information mapping table and extract judgment predicates from the verification paragraph to form a calculation mapping table for each rule in the rule set; The verifier is used to filter out all objects whose geometric or non-geometric attributes satisfy the calculation variables from the information mapping table when there is only one object in the rule. If there are multiple objects in the rule, the verifier filters out all objects whose calculated values ​​satisfy the calculation variables from the information mapping table. All objects filtered out from the information mapping table are compared with the corresponding judgment predicates in the calculation mapping table to generate a verification result.

10. A terminal device comprising a memory, a processor, and a computer program stored in the memory and executable on the processor, wherein: When the processor executes the computer program, the method according to any one of claims 1 to 8 is implemented.

Images