The researcher measured the least number of frequency response functions required for the identification of modal parameters, in order to simplify the identification of modal properties of such systems. In this work, the orbital machines are supposed to be a combination of orbital and non-orbital components. Structural Approach specified the identification of dynamic properties only to those ph...

The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...

A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arbitrary linear frames. ψ is interpreted as meaning ‘the current interval has a finite partition whose all members satisfy ψ.’ LTD is translatable into weak monadic secondorder logic but not into first-order logic. The ...

The recently introduced Coalgebraic Predicate Logic (CPL) provides a general first-order syntax together with extra modal-like operators that are interpreted in a coalgebraic setting. The universality of the coalgebraic approach allows us to instantiate the framework to a wide variety of situations, including probabilistic logic, coalition logic or the logic of neighbourhood frames. The last ca...

changes in dynamic properties of structures indicate occurrence of damages in the structures. in this paper, a new two stage algorithm for damage detection of large structure is introduced. a modified residual force method is utilized to locate the damage regions in structures, especially barrel vaults, and then the enhanced charged system search (css) algorithm is used to quantify the amount o...

We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...