An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

非饱和土本构关系的混合物理论(Ⅱ)--线性本构方程和场方程

通过对非饱和土非线性本构方程和场方程的线性化，推导出了非饱和土的线性本构方程和场方程，把线性方程表示为与Biot饱和多孔介质方程相似的形式；证明了Darcy定律对非饱和土的适用性；说明了Biot饱和多孔介质方程是这些线性方程的特征。所有这些都表明用混合理论处理非饱和土本构问题的正确性。     

基于粗糙集理论的知识约简及应用实例

在保持分类能力不变的前提下 ,通过利用粗糙集理论中的知识约简方法 ,在保护知识库分类不变的条件下 ,删除其中不相关或不重要的知识 ,从而导出问题的决策 .利用基于决策表的粗糙集模型算法 ,实例分析如何数字化表示决策表 ,并对其进行属性约简和属性值的约简 ,从而提取决策规则 .     

光辐射计量测试技术

简要介绍国外光辐射计量采用的主要方法、测试手段和发展趋势。为了满足国防系统对光辐射计量的需要建立了一批计量标难，解决了光辐射源辐射特性和探测器特性计量测试问题。     

Electromagnetic energy flow near nanoparticles—I: single spheres

The electromagnetic (EM) energy flow near single spheres is investigated by applying Mie theory. From the patterns of the energy flow, the absorption and the scattering of light can be understood in the microscopic point of view. In the absorption profiles of metallic particles, most absorbed energy is consumed on the surface of the particles, which indicates that the resonance of surface plasmon is different from that of the bulk plasmon. Two mechanisms to enhanced local EM field are also distinguished. One is the surface plasmon resonance, and another one is the intensified energy flow.     

Stable nonequilibrium probability densities and phase transitions for meanfield models in the thermodynamic limit

A nonlinear Fokker-Planck equation is derived to describe the cooperative behavior of general stochastic systems interacting via mean-field couplings, in the limit of an infinite number of such systems. Disordered systems are also considered. In the weak-noise limit; a general result yields the possibility of having bifurcations from stationary solutions of the nonlinear Fokker-Planck equation into stable time-dependent solutions. The latter are interpreted as non-equilibrium probability distributions (states), and the bifurcations to them as nonequilibrium phase transitions. In the thermodynamic limit, results for three models are given for illustrative purposes. A model of self-synchronization of nonlinear oscillators presents a Hopf bifurcation to a time-periodic probability density, which can be analyzed for any value of the noise. The effects of disorder are illustrated by a simplified version of the Sompolinsky-Zippelius model of spin-glasses. Finally, results for the Fukuyama-Lee-Fisher model of charge-density waves are given. A singular perturbation analysis shows that the depinning transition is a bifurcation problem modified by the disorder noise due to impurities. Far from the bifurcation point, the CDW is either pinned or free, obeying (to leading order) the Grüner-Zawadowki-Chaikin equation. Near the bifurcation, the disorder noise drastically modifies the pattern, giving a quenched average of the CDW current which is constant. Critical exponents are found to depend on the noise, and they are larger than Fisher's values for the two probability distributions considered.     

On the group extension of the transformation associated to non-archimedean continued fractions

Summary Let F_q be a finite field with q elements. We consider formal Laurent series of F_q -coefficients with their continued fraction expansions by F_q -polynomials. We prove some arithmetic properties for almost every formal Laurent series with respect to the Haar measure. We construct a group extension of the non-archimedean continued fraction transformation and show its ergodicity. Then we get some results as an application of the individual ergodic theorem. We also discuss the convergence rate for limit behaviors.     

The effect of voice lessons on the clinical and perceptual skills of graduate students in speech-language pathology

Two groups of 10 speech-language pathology graduate students were each given 7 weeks of singing lessons to determine whether voice lessons could have an effect on their clinical and perceptual skills. Pre-, mid-, and posttests to measure various skills were designed and implemented. With use of paired sample statistical testing, statistically significant results were obtained. In addition, the subjective responses of the students show that the lessons were effective in improving pitch perception, breath control, and legato production or easy onset. This study supports efforts to integrate curricula in vocal performance and speech-language pathology.     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。