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

Much evidence has been found for pervasive links between the manual and speech motor systems, including evidence from infant development, deictic pointing, and repetitive tapping and speaking tasks. We expand on the last of these paradigms to look at intra- and cross-modal effects of emphatic stress, as well as the effects of coordination in the absence of explicit rhythm. In this study, subjec...

Although word stress is usually seen as a powerful speechsegmentation cue, the results of several cross-modal fragment priming experiments reveal strong limitations to stress-based segmentation. When stress was pitted against phonotactic and coarticulatory cues, substantial effects of the latter two cues were found, but there was no evidence for stress-based segmentation. However, when the stim...

Abstract Coriolis mass flowmeters are resonant meters. In this paper, the intrinsic mode of CMF300 model flowmeter under fluid-structure interaction is calculated numerically, and excitation force in working state analyzed. According to results modal analysis, harmonic response analysis was carried out, displacement, stress, strain curves action different frequency loads were obtained. It provi...