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

Intuitionistic Fuzzy Modal Operator was defined by Atanassov in cite{at3}in 1999. In 2001, cite{at4}, he introduced the generalization of thesemodal operators. After this study, in 2004, Dencheva cite{dencheva} definedsecond extension of these operators. In 2006, the third extension of thesewas defined in cite{at6} by Atanassov. In 2007,cite{gc1}, the authorintroduced a new operator over Intuit...

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism. 0. Introduction The extensive parallel between temporal logic and modal logic has...

The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults — modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and...

DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar problem is usually relieved by transferring knowledge from largescale auxiliary datasets (as ImageNet). Knowledge from such single-modal datasets is also very us...

We study and give a summary of the complexity of 15 basic normal monomodal logics under the restriction to the Horn fragment and/or bounded modal depth. As new results, we show that: a) the satisfiability problem of sets of Horn modal clauses with modal depth bounded by k ≥ 2 in the modal logics K4 and KD4 is PSPACE-complete, in K is NP-complete; b) the satisfiability problem of modal formulas ...

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...