marine industry requires continued development of new technologies in order to produce oil. an essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. in this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...

In traditional finite element based modal analysis of linear non-conservative structures, the modal shapes are determined solely based on stiffness and mass. Damping effects are included by implicitly assuming that the damping matrix can be diagonalized by the undamped modes. The approach gives real valued mode shapes and modal coordinates. While this framework is suitable for analysis of most ...

Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of mo...

We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative speci cation of systems that are conceptually described by a multitude of objects. The semantics and entailment properties of MODL are based on some a priori requirements for a modal multi-object speci cation logic. In an example speci cation of the controls of a railroad...

investigations on vibration behaviors of railway track systems were attempted in this research. this was made by conducting a comprehensive field investigation into the free vibration of track systems and response of tracks to train moving loads. in-situ modal analysis was used in a railway track field as an efficient method of investigating dynamic properties of railway track systems. natural ...

The performance of vibration-based damage identification techniques for current condition evaluation of existing bridges is studied through their application to dynamic response of an existing concrete bridge. First, in situ dynamic tests were performed and modal parameters (mode shapes and frequencies) were identified. As previous sets of in situ dynamic parameters were not available, the refe...

The workspace of a spatial 6‐DOF electro‐ hydraulic parallel manipulator is strongly coupled, due to its multi‐closed‐loop kinematic structure and the coupling complicates motion planning and control of the parallel manipulator. This paper clearly analyses the strong dynamic coupling property in the workspace of a spatial 6‐DOF parallel manipulator, using modal decouplin...