QEPAS系统中石英音叉模态仿真计算与研究

对石英音叉增强型光声光谱(QEPAS)系统中常用的石英音叉进行了有限元模态计算，获得石英音叉前6阶振型与模态频率，认知了第4阶对称摆动振型为有效振动，利用单因素法分析了石英音叉的音臂长度l₁、音臂宽度w₁、音臂厚度t、音臂切角θ、音臂圆孔直径d及音臂圆孔高度h对低阶有效共振频率(Fre)的影响，敏感度依次为： l₁> w₁>d>θ>t>h，考虑实际设计情形，筛选出了l₁，w₁，d与h四个石英音叉设计变量，采用Box-Behnken实验设计方案与RSM(response surface methodology)方法，以Fre为函数目标，建立l₁，w₁，d与h的二次回归响应面模型，得到了参数之间的交互作用，利用Design-Expert软件对响应面模型进行设计参数反求，结果表明，在15 000 Hz≤Fre≤25 000 Hz计算区域内误差较小，基本满足QEPAS系统的计算需求，所提出的研究与设计方法具有一定通用性，可为QEPAS系统中石英音叉结构参数设计提供参考。     

On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

New generalized computations of quasi-planar waveguides characteristics

An efficient hybrid field solution to the general multilayer substrates transmission line problems with full shielded and half open cross-sectional geometry is presented by using the waveguide modes coupling and decoupling procedure in the spectral domain. Modal transverse transmission lines corresponding to the LSE and LSM modes are taken into account so that the Green's elements for the edge conditions can be derived by a simple iterative method. In this paper, we analyze not only the propagation constants and characteristic impedances but also the available transmission power capacity and power distribution of most commonly used structures. Normalized eigenmode power levels characterizing the propagation features are computed.     

Bias in modal parameters due to aliasing in the time domain

This paper deals with some aliasing effects in the time domain that can lead to unacceptable misestimations of modal parameters. When a frequency response function of a vibrating system is sampled and inverse Fourier transformed, the resulting impulse response is given by an infinite geometric series, the single term of which is the impulse response itself shifted in time. For this reason, some modal parameters, if estimated in the time domain, are biased; in particular, while the damping factor and the natural frequency are not influenced by the aliasing phenomenon, the magnitude and phase of the residue can be highly biased. Corrective terms are theoretically evaluated and their efficiency is shown in numerical simulations.

---

Sommario In questo articolo e' presentato un metodo per correggere gli errori che si compiono nella stima di alcuni parametri modali, quando essi vengono ricavati nel dominio del tempo. Infatti se la funzione di risposta in frequenza e' ottenuta con eccitazioni particolari—quali ad esempio lo pseudo-random, lo stepped-sine a passo costante o lo sweep in frequenza-la risposta impulsiva, ottenuta per mezzo dell'antitrasformata discreta di Fourier, risulta periodica, con periodo pari all'inverso della spaziatura tra le righe spettrali. Cio' comporta un errore nella stima dell'ampiezza e della fase del residuo, mentre nessuna conseguenza si ha sulla frequenza naturale e sul fattore di smorzamento. L'errore sulle stime risulta tanto piu' grande, quanto meno smorzata e' la risposta impulsiva all'interno dell'intervallo di osservazione.Partendo dall'inviluppo e dalla fase istantanea dei segnali complessi, ottenibili per mezzo della trasformata di Hilbert, si sono ricavati i termini correttivi sia per il modulo, che per la fase del residuo. La validita' delle correzioni e' mostrata con esempi numerici.

     

Quantifier-free epistemic term-modal logic with assignment operator

In standard epistemic logic, the names and the existence of agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. Inspired by term-modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. We characterize the expressive power of our language, obtain complete axiomatisations of the logics over several classes of varying-domain/constant-domain epistemic models, and show their (un)decidability.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

A novel method for crack detection in beam-like structures by measurements of natural frequencies

A novel method is proposed for calculating the natural frequencies of a multiple cracked beam and detecting unknown number of multiple cracks from the measured natural frequencies. First, an explicit expression of the natural frequencies through crack parameters is derived as a modification of the Rayleigh quotient for the multiple cracked beams that differ from the earlier ones by including nonlinear terms with respect to crack severity. This expression provides a simple tool for calculating the natural frequencies of the beam with arbitrary number of cracks instead of solving the complicated characteristic equation. The obtained nonlinear expression for natural frequencies in combination with the so-called crack scanning method proposed recently by the authors allowed the development of a novel procedure for consistent identification of unknown amount of cracks in the beam with a limited number of measured natural frequencies. The developed theory has been illustrated and validated by both numerical and experimental results.     

The identification of the vibration control system parameters designed for continuous miner machines

The Continuous Miner machines are exposed to time dependent loads during normal operation of the rock cutting process. These loads cause vibrations, which have a negative influence on the whole structure of the machine. This phenomenon can be eliminated by applying passive or active vibration control systems (VCS). Generally these systems are coupled with additional elements, which provide dispersion or transfer energy. The energy thus acquired can also reinforce the intended function such as rock cutting operation in the case of mining machines. The objective of this paper is to present the method of numerical identification of VCS parameters for Continuous Miner machines. The main function of the presented system is to reduce displacement of cutting drum by using elastic element joined to machine chassis and applying appropriate algorithm of control of the angular velocity of cutting drum. The method described improves efficiency of mining and increases durability of machine. In order to determine mechanical and control parameters of VCS the genetic algorithm optimisation method conjugated with numerical modal analysis was used. Finally the transient dynamic analysis was performed for the full-scale model of Continuous Miner in order to verify VCS in normal working condition.     

Modal attenuation in metal-clad graded-index slab optical waveguides

The paper presents the influence of refractive profile shape on the distribution of modal attenuation in planar metal-clad optical waveguide structures. A calculation method has been presented in which we applied the Snyder–Love expression on modal attenuation coefficients and matrix method 4 × 4 for the analysis of planar waveguides. The obtained results are almost identical with the exact results for refractive profiles: the parabolic, exponential, Gaussian and linear ones. It has been demonstrated that the applied calculation method can be used in waveguides of any profiles of the refractive index.