1 Introduction: In [1] Fitch proposed a new proof proceedure for several standard modal logics. The chief characteristic of this was the inclusion in the object language, of symbols representing worlds in Kripke models. In this paper we incorporate the device into a tableau proof system and it is seen that the resulting (propositional) proof system is highly analogous to a classical first order...

We present an authorization logic that is quite similar to constructive modal S4. The logic assumes that principals are conceited in their beliefs. We describe the sequent calculus, Hilbert-style axiomatization, and Kripke semantics of the logic. A distinguishing characteristic of the sequent calculus is that hypothetical reasoning is relativized to beliefs of principals. We prove several meta-...

Modal parameter extraction of high speed shafts is of critical importance in mechanical design of turbo-pumps. Due to the complex geometry and peripheral components of turbo-pumps, difficulties can arise in determination of modal parameters. In this study, modal properties of a turbo-pump shaft, was studied by experimental modal analysis, and using different excitation techniques. An innovative...

The extended Kalman filter (EKF) has been used as the standard technique for performing recursive nonlinear estimation in vision tracking. In this work, we present an alternative filter with performance superior to that of the EKF. This algorithm, referred to as the Particle filter. Particle filtering was originally developed to track objects in clutter (multi-modal distribution). We present as...

The paper deals with the problem of sampled-data polynomial modal control for a linear continuous-time periodic plant with delays at the input and the output of the sampled controller. It is assumed that the plant and the digital controller have the same period. The characteristic matrix of the closed-loop system is constructed. An algorithm is given for constructing the set of causal discrete-...

We report on visible light emission from Si-nanocrystal based optically active microdisk resonators. The room temperature photoluminescence (PL) from single microdisks shows the characteristic modal structure of whispering-gallery modes. The emission is both TE and TM-polarized in 300 nm thick microdisks, while thinner ones (135 nm) support only TE-like modes. Thinner disks have the advantage t...

Guiding characteristics along with field distributions for different modes in a rectangular waveguide are numerically estimated using HFSS software when it is placed in free space. A comparative analysis is made for propagation constant, guided wavelength and characteristic impedance at C, X and Ku band to observe the deviation from well-known theoretical profiles. Strength of electric and magn...

This study presents a free vibration analysis of asymmetric sandwich structures comparatively. Sandwich were manufactured by the hand-layup vacuum bagging method. Symmetric and analyzed experimentally to evaluate effect asymmetry on characteristic structures. Free was performed using VIBXPERT II under clamped-free boundary conditions. The frequency response function (FRF) is obtained from modal...

This research is to investigate the dynamic characteristics of the grinding process. A kind of robust grinding wheel reciprocating arrangement is schemed out, which realizes the precise point-grinding machining. The grinding wheel reciprocating movement is driven by a linear motor to replace the traditional crank or hydraulic pressure drive device. Based on the time series method, the modal exp...

Multimodal biometrics technology that uses more than two sorts of biometrics data has been universally applied for person certification and proof. Researchers have advised that the ear may have benefits over the face for biometric recognition. In this study, a technique for face and ear recognition has suggested. The face image and ear images are prearranged as input. From the pre-processed inp...