Measurement Method of Civil Engineering Complexity Structure Based on Logical Equivalent Model

Civil engineering structures are generally large in volume and scale, especially the most commonly used reinforced concrete structures. There are many defects such as micro-cracks and air bubbles inside, and the concrete is easy to crack under tension. The short-gauge length (point) sensor will be affected by local damage and cannot accurately reflect the overall working state of the structure. The long-gauge strain sensing technology can reflect the average strain of the area to be measured when there are local cracks in the structure to be measured and can also be fully deployed on the structure to form a distributed sensor network to comprehensively monitor the entire structure. Therefore, long-gauge length sensing is more suitable for civil engineering structure monitoring. This study mainly focuses on fuzzy systems and introduces a generalized probability decision process model to describe the behavior of such fuzzy systems. The maximum-likelihood scheduling and the minimum-likelihood scheduling are discussed. The corresponding model checking methods for probabilistic linear time properties are final reachability, always reachability, persistent reachability, and repeated reachability, and the advantage of this method is that the verification process of their model checking is transformed into a fuzzy matrix. The model checking problems of generalized likelihood-regular security properties and generalized likelihood-correcting-regular properties are studied, respectively, and their model checking problems are transformed into generalized likelihood linear time properties that are always possible. The failure state of the beam and the displacement of the beam bottom are obtained through the data of each unit sensor. The experimental results show that the sensor can effectively capture the cracks. The measured data of the sensor are relatively accurate. The dynamic test performance of the sensor is studied by the damage monitoring test of the vertical cantilever flat beam. After spectrum analysis, the sensor can accurately obtain the participation coefficient of each mode shape, the recognition result is close to that of the FBG sensor, the frequency recognition error does not exceed 0.2%, and the long-gauge length strain mode of the structure can also be accurately recognized. At the same time, the long-gauge strain mode obtained by the sensor monitoring can accurately locate the damage and can quantitatively identify the damage more accurately.