The study of vibration response of a turbine blade helps to detect the crack presence in the blade which alters its dynamic characteristics. The change is characterized by changes in the modal parameters associated with natural frequencies. In this paper, study of vibration response is made for turbine blade in the presence of a crack like defect. Turbine blade is initially assumed as a cantile...

We study dynamic modal operators that can change the model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to swap, delete or add pairs of related elements of the domain, while traversing an edge of the accessibility relation. We study these languages together with the sabotage modal logic, which can arbitrarily delete edges of...

Conditional probabilities Pi(φ | A) describe how agent i’s probability distributions for propositions φ change as new information A comes in. The standard probabilistic calculus describing such changes revolves around Bayes’ Law in case the new information A is factual, concerning some actual situation under investigation. But there are also proposed mechanisms in the literature that deal with ...

Dynamic response analysis of mechanical structures is usually performed by adopting numerical/analytical models. Finite element (FE) modeling as a numerical approach plays an important role in dynamic response analysis of complex structures. The calculated dynamic responses from FE analysis are only reliable if accurate FE models are used. There are many elements in real mechanical structures w...

During the development of a new vehicle, the vehicle is usually tested to determine both its static torsional and bending stiffness, and its dynamic torsional and bending modes. This paper discusses a method for determining both static and dynamic properties from the modal analysis test. Such a connection between static stiffness and dynamic modes would be useful for three reasons: (1) the rela...

In order to enrich dynamic semantic theories with a ‘pragmatic’ capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. We extend a fragment of Van Benthem and De Rijke’s dynamic modal logic with additional preferential operators in the underlying static logic, which enables us to define defeasible (pragmatic) entailments over a given piece of discourse. We...

Modal μ-calculus is a modal logic with fixed-point operators and well-known in mathematics and computer scince. For example, many verification properties of a system are expressed by formulas of modal μcalculus in computer science. However some verification properties of a system can not be expressed by a formula of modal μ-calculus as we will show later, and quantifiers of first-order logic ar...