With the development of the technology and increase of human dependency on structures, healthy structures play an important role in people lives and communications. Hence, structural health monitoring has been attracted strongly in recent decades. Improvement of measuring instruments made signal processing as a powerful tool in structural heath monitoring. Wavelet transform invention causes a g...

The mine hoisting headframe is a typical towering truss structure, and its damage complicated after long-term service, which affects the safety of structure. To achieve rapid identification corrosion on steel headframe, degradation law under different was analyzed via parametric modeling method verified field measurement. results show that influence range element localized, 50% rate bottom colu...

Active vibration isolation from an arbitrarily, structurally complex receiver is considered with respect to the impacts of structure flexibility on the openand closed-loop system characteristics. Specifically, the generally weak influence of flexibility on the open-loop transfer function in case of total force feedback, in contrast to acceleration feedback, is investigated. The open-loop system...

First, the equations for calculating the full mass, stiffness and damping matrices from modal data are derived. This deviation was first presented in [1]. However, these equations are difficult to solve because the first step of their solution requires matrix inversion of the flexibility matrix to obtain the stiffness matrix. Not only does matrix inversion amplify errors, but the number of line...

Methods Height, body mass, spacing between hands, and length of the upper limbs were measured in all of the examinees. Lateral spinal curvature was identified using a bob (plummet) and clinical examination. Examinees performed five spinal flexibility tests: right and left lateral mobility test, forward bending test, shoulder static flexibility test, and neck and trunk static flexibility test. R...

This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless su cient for the formalization of significant, non-trivial modal logic proofs. The elegance, flexibility and convenience of this approach, from a user perspective, are illustrated here with the successful...

Damage detection in civil engineering structures using changes in measured modal parameters is an area of research that has received notable attention in literature in recent years. In this paper two different experimental techniques for predicting damage location and severity have been considered: the Change in Mode Shapes Method and the Mode Shapes Curvature Method. The techniques have been a...

Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operators allows flexibility in the embedding of other approaches. Also several theoretical results of interest have been established concerning these logics. In this paper we introduce non-monotonic modal logics based on many...