Most Structural Health Monitoring (SHM) techniques are based on the variation of modal properties of structures. Modal analysis is established under the assumption that the structure behaviour is linear. However, the presence of non-linearities (local or global, smooth or strong) can affect the dynamic properties of the structure. Most of techniques to detect non-linear behaviour in structural ...

Individuals with congenital amusia usually exhibit impairments in melodic contour processing when asked to compare pairs of melodies that may or may not be identical to one another. However, it is unclear whether the impairment observed in contour processing is caused by an impairment of pitch discrimination, or is a consequence of poor pitch memory. To help resolve this ambiguity, we designed ...

We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...

In this paper, we propose a novel graph learning framework for phrase grounding in the image. Developing from sequential to dense model, existing works capture coarse-grained context but fail distinguish diversity of among phrases and image regions. contrast, pay special attention different motifs implied scene devise disentangled network integrate motif-aware contextual information into repres...

In this note we investigate modal logics of submaximal and nodec spaces when the modal diamond is interpreted as the closure operator of a topological space. We axiomatize the modal logic of nodec spaces. We show that the modal logic of submaximal spaces is a proper extension of the modal logic of nodec spaces, axiomatize it, and prove that it coincides with the modal logics of door spaces and ...

We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...

Split-hom together structure is a new heavy load rack structure, and its reliability needs to be verified. Through analyzing multimodal hom-connection principle from the perspective of bionics and contact mechanics, the article puts forward three kinds of hom-connection methods and establishes the finite element model and mathematical model of the rack. Afterwards, the finite element model and ...

Timed modal speciications have proven useful for the veri-cation of real time systems. In the paper, we show how the notion of modal transitions systems, the basic formalism of timed modal specii-cations, can be generalized to modal hybrid systems. This allows verii-cation problems for hybrid systems to be formulated using the notion of (weak) reenement, a generalization of bisimulation. We als...

During a revisit to modal identification in the past three decades, an overview of the major developments and issues in modal identification is motivated. A brief review on the progress from Single-Input/Single-Output (SISO), Single-Input/Multi-Output (SIMO) to Multi-Input/Multi-Output (MIMO) identification in frequency, time and spatial domain, is presented. The latest developments and issues ...