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 order to explore the classification methods from imaging data, we propose establish feature by building a tree with characteristic factors of brain functional network aided calculating topology based on graph theory. By preprocessing data and modeling networks professional platform, get parameters as input C4.5 decision tree, then information gain ratio. The results show that prefers holisti...

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

Using ANSYS finite element (FE) package, a multi-physics simulation model based on finite element method (FEM) is introduced for the multi-layer switched reluctance motor (SRM) in the present paper. The simulation model is created totally in ANSYS parametric design language (APDL) as a parametric model usable for various conventional types of this motor and it is included electromagnetic, therm...

A Newtonian (vectorial) approach is used to develop the governing differential equations of motion for a three layer sandwich beam in which the uniform distribution of mass and stiffness is dealt with exactly. The model allows for each layer of material to be of unequal thickness and the effects of coupled bending and longitudinal motion are accounted for. This results in an eighth order ordina...

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