In order to achieve a more accurate finite element (FE) model for an as-built structure, experimental data collected from the actual structure can be used to update selected parameters of the FE model. The process is known as FE model updating. This research compares the performance of two frequency-domain model updating approaches. The first approach minimizes the difference between experiment...

Propositional dynamic logic (PDL for short) [5] is an expressive, powerful and convenient logical tool to reason about programs or actions. It has found applications in various fields of computer science, which range from program verification to multi-agent systems. In computer science applications, the modal logic S5 is generally accepted as an adequate representation of the notion of knowledg...

Description Logics (DLs) are a family of logic-based formalisms for the representation of and reasoning about knowledge. Classical DLs are fragments of first-order logic and therefore aim at capturing static knowledge. Alas, the lack of means of DLs to capture dynamic aspects of knowledge has been often criticized because many important DL applications depend on this kind of knowledge. As a rea...

This work presents three increasingly expressive Dynamic Logics in which the programs are described in a language based on CCS. Our goal is to build dynamic logics that are suitable for the description and verification of properties of communicating concurrent systems, in a similar way as PDL is used for the sequential case. In order to accomplish that, CCS’s operators and constructions are add...

This paper describes dynamic analysis using proposed fast finite element method for a shock absorbing structure including a sponge. The structure is supported by nonlinear concentrated springs. The restoring force of the spring has cubic nonlinearity and linear hysteresis damping. To calculate damping properties for the structures including elastic body and porous body, displacement vectors as ...

We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the ...

This paper is devoted to the completeness issue of RMLCI | the relative modal logic with composition and intersection | a restriction of the propositional dynamic logic with intersection. The trouble with RMLCI is that the operation of intersection is not modally deenable. Using the notion of mosaics, we give a new proof of a theorem considered in a previous paper \Complete axiomatization of a ...

Application Note 243-3 Η(ω) = Σ n r = 1 φ φ i j /m (n-) + (2 n) ω ω ξωω 2 2 2 2 2 Modal analysis is defined as the study of the dynamic characteristics of a mechanical structure. This application note emphasizes experimental modal techniques, specifically the method known as frequency response function testing. Other areas are treated in a general sense to introduce their elementary concepts an...

The parameters of the parametrized modal operators [p] and 〈p〉 usually represent agents (in the epistemic interpretation) or actions (in the dynamic logic interpretation) or the like. In this paper the application of the idea of parametrized modal operators is extended in two ways: First of all a modified neighbourhood semantics is defined which permits among others the interpretation of the pa...