We use three-photon photoemission electron microscopy (PEEM) to investigate the interference of coherently excited dipolar and quadrupolar resonant modes of plasmonic whispering gallery resonators formed by circular grooves patterned into a flat Au surface. Optical scattering and cathodoluminescence spectroscopy are used to characterize the cavity resonance spectra for a wide range of cavity ra...

In most cases, it is considerably difficult to directly measure structural vibration with a lot of sensors because of complex geometry, time and equipment cost. For this reason, this paper deals with the problem of locating sensors on a plate model by four advanced sensor placement optimization (S.P.O) techniques. It also suggests the evaluation index representing the characteristic of orthogon...

An approximate numerical mthod is presented for analysis and determination of modal characteristics in straight, pretwisted non-unifom helicopter blades. The analysis considers the coupled flapwise bending (out of plane), chordwise bending (in plane), and torsion vibration of both rotating and non-rotating blades. The proposed method is based on the integral expansion of Green functions (struct...

the occurrence of chatter vibrations in boring operation has a great influence in improving workpiece dimensional accuracy, surface quality and production efficiency. in this paper instability analysis of machining process is presented by dynamic model of boring machine. this model, which consists of machine tool’s structure, is provided by finite element method and ansys software. the model is...

A novel modal signal decoupling algorithm for multicoupled transmission lines is developed. Since the proposed method exploits a set of basis vectors associated with the characteristic impedances of the transmission line system, these multi-coupled signals can be efficiently decoupled regardless of dielectric media and conductors. Thus, compact forms of the signal integrity verification CAD mod...

This paper presents an efficient scheme to design the most used biosensor Quartz crystal nanobalance (QCN). The main characteristic of QCN is very mass sensitivity. It means a little variation of deposited mass on the surface of QCN and it will cause the change of thickness-shear-mode resonant frequency. An electro-mechanical coupled-field 3D finite element method is applied to analyze the reso...

impulsive and convective frequencies are one of the most important subjects for evaluation of the seismic behavior of tanks. these two frequencies are defined by housner and used for obtaining rayleigh damping in time history analysis. aci 350 and nzsee standards have suggested some analytical solutions for finding convective and impulsive frequencies. these frequencies can also extract from mo...

Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem. Our core contribution is an algorithm to generate a modal μ-calculus formula that characterises all the superty...

We start from Reiter’s solution to the frame problem in terms of successor state axioms and Scherl& Levesque’s extension to knowledge, as formulated by Lakemeyer&Levesque in their logic ES. While it was believed up to now that quantification over actions is a characteristic feature of Reiter’s solution, we here show that for a reasonably large subset of Reiter’s basic action theories one can do...

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabil...