We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of (e.g.) T, S4 and S5, such logics are useful, as shown in previous work by Baltag, Coecke and the first au...

Modal parameter analysis is a common method for structural characteristic analysis. To accurately identify the modal parameters that describe vibration characteristics of structure, chassis frame rice transplanter taken as research object. The least squares complex frequency domain method, admittance circle and peak picking are used to process measured signal. parameters, such natural frequency...

Building on a judgmental formulation of lax logic, we propose a modal language which can be used as a framework for practical programming languages with effects. Its characteristic feature is a syntactic distinction between terms and expressions, where terms denote values and expressions denote computations. We distinguish between control effects and world effects, and allow control effects onl...

It is known that the single-modal Weibull model describes well the size effect of brittle fiber tensile strength. However, some ceramic fibers have been reported that single-modal Weibull model provided biased estimation on the gauge length dependence. A hypothesis on the bias is that the density of critical defects is very small, thus, fracture probability of small gauge length samples distrib...

The parameters of the parametrized modal operators [p] and 〈p〉 usually represent agents (in the epistemic interpretation) or actions (in the dynamic logic interpretation) or the like. In this paper the application of the idea of parametrized modal operators is extended in two ways: First of all a modified neighbourhood semantics is defined which permits among others the interpretation of the pa...

In this paper, we consider the influence of trust on the assimilation of acquired information into an agent’s belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a m...

In this paper, characteristic dispersion phenomena and interactions of the discrete surfaceand leaky-wave modes supported by a grounded biased-ferrite slab waveguide are analyzed using singularity and critical-point theory. Surfaceand space-wave leaky modes are studied for different orientations of the applied magnetic bias field. As the bias field is rotated away from a coordinate axis, the mo...

Timeand frequency-domain theory of multiwire magnetic transmission lines is presented for the first time. The familiar theory of electric multiconductor transmission lines (MTL) is based on the manipulation of two matrices, the longitudinal impedance and the transverse admittance. However, for magnetic MTLs, the key matrices are the transverse impedance and the longitudinal admittance. It is sh...

Utilizing optical Fiber Bragg Grating’s (FBG) characteristic of transmission optic signals in noncontact way, the measure method of the twisted, variable cross-section, variable thickness, rotating rectangular blade’s local strain has been presented. Firstly, by using the finite element method to obtain the rotating blade’s natural frequency, modal shape and strain modal shape, the mounting loc...

According to the great importance of safety in aerospace industries, identification of dynamic parameters of related equipment by experimental tests in operating conditions has been in focus. Due to the existence of noise sources in these conditions the probability of fault occurrence may increases. This study investigates the effects of noise in the process of modal parameters identification b...