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...

Stress is widely believed to play a role in the development and pathogenesis of inflammatory bowel disease (IBD), and several studies of mind-body programs have suggested benefits in this patient population. Here we describe a case report of a young man with a flare in Crohn's disease-related symptoms that improved in response to a comprehensive, multi-modal, mind-body program and the developme...

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...

In the study of knowledge representation formalisms, there is a current interest in the question of how different formal languages compare in their ability to compactly express semantic properties. Recently, French et al. [9] have shown that modal logics with a modality for public announcement, for everybody knows, and for somebody knows are all exponentially more succinct than basic modal logi...

The strong vibration of reciprocating pump in oil transportation station pipeline system will seriously affect the safe running of the equipment and pipeline. And the resonance between pipe and equipment will cause more severe damage. Therefore before the formal operation of station, not only static stress analysis, but also modal analysis and vibration analysis are necessary for the reciprocat...