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

We suggest that data from American Sign Language (ASL) provide overt evidence for Partee’s and Stone’s claim that natural language has anaphoric constructions in the temporal and modal domains (Partee 1973, Stone 1997). We provide four arguments. (i) Like nominal and locative expressions, temporal and modal constructions can establish loci which can then be indexed by later pronouns. (ii) As is...

Modal sound synthesis is a promising approach for real-time physically-based sound synthesis. A modal analysis is used to compute characteristic vibration modes from the geometry and material properties of scene objects. These modes allow an efficient sound synthesis at run-time, but the analysis is computationally expensive and thus typically computed in a pre-processing step. In interactive a...

The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...

Abstract The accuracy of finite element model updating for structural damage identification is easily affected by the noise in measured modal, so sliding smoothing method introduced to reduce impact noise. In each iteration step, denoising applied difference between modal and simulated from because time-frequency characteristic actual different modal. parameters after are used construct objecti...

Vibration fatigue failure is a critical problem of hydraulic pipes under severe working conditions. Strain modal testing of small and light pipes is a good option for dynamic characteristic evaluation, structural health monitoring and damage identification. Unique features such as small size, light weight, and high multiplexing capability enable Fibre Bragg Grating (FBG) sensors to measure stru...

the present study utilizes an analytical method to formulate the three lowest modal frequencies of axially-loaded notched beam through both crack location and load level in a specific format that can be used in existing frequency-based crack-identification methods. the proposed formula provides a basis to shift into two states, one with axial loading and the other without any loading whatsoever...