this paper uses a psopc model based non-destructive damage identification procedure using frequency and modal data. the objective function formulation for the minimization problem is based on the frequency changes. the method is demonstrated by using a cantilever beam, four-bay plane truss and two-bay two-story plane frame with different scenarios. in this study, the modal data are provided nume...

We prove new Lindström theorems for the basic modal propositional language, and for the guarded fragment of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. 1 What is modal logic? I would broadly endorse the 'minimal desi...

A hybrid modal expansion that combines the free field Green's function and a modal expansion will be presented in this paper based on a review and an extension of the existing modal analysis theories for the sound field in enclosures. The enclosed sound field will be separated into the direct field and reverberant field, which have been treated together in the traditional modal analysis. Studie...

We present a proposal on how to develop nonmonotonic reasoning based on the modal logic S4. As a consequence of our results we show how to present the well known semantics of answer sets, under a restricted fragment of modal formulas, using this approach. Moreover, by considering the full set of modal formulas we obtain an interesting generalization of answer sets with modal connectives. We sho...

Reduced-order mass weighted proper orthogonal decomposition (RMPOD), smooth orthogonal decomposition (SOD), and state variable modal decomposition (SVMD) are used to extract modal parameters from a nonuniform experimental beam. The beam was sensed by accelerometers. Accelerometer signals were integrated and passed through a high-pass filter to obtain velocities and displacements, all of which w...

this paper presents new sensitivity-based methods for detection of structural damage using incomplete noisy modal data. these methods are based on the first-order derivative of modal parameters. changes of natural frequency do not usually provide spatial information on the structural damage. they are also not sensitive to the local damage. in this paper, a new sensitivity function is proposed u...

In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove that (finitary) coalgebraic modal logic has the finite model property. This fact not only reproves known completeness results for coalgebraic modal logic, which we push further by establishing that every coalgebraic modal...

We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated...

Complex objects are usually with multiple modal features. In multi-modal learning, modalities closely related to the target tasks are known as strong modalities. While collecting strong modalities of all instances is often expensive, and current multi-modal learning techniques hardly take the strong modal feature extraction expenses into consideration. On the other hand, active learning is prop...

In AI and other branches of Computer Science expert models are often studied and used. Here we examine experts which evaluate formulas of modal logic. An expert model consists of a set of experts and a domination relation which dictates how each expert’s opinion is dependent upon the opinions expressed by other experts. Such multiple-expert modal models were introduced and investigated by Fitti...