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.     

内参量热力学中的应变参量分析

以连续体的各力学守恒定律和熵函数为基础,给出了完备的变形体内参量热力学的表述框架。讨论了将热力学状态参量分划为外参量和内参量的必要性和依据,论证了热力学内参量和非弹性变形的关系以及将各种类型的非弹性应变列为内参量的数学条件。给出了考虑非弹性变形的内参量热力学基本方程,讨论了熵平衡和熵产生的关系方程和行为特性。引入两种定义的变形体自由能函数的表述方程,给出了各相应的状态方程组。     

A Bicriterial Optimization Problem of Antenna Design

In this paper we consider a special optimization problem withtwo objectives which arises in antenna theory. It is shown that thisabstract bicriterial optimization problem has at least one solution.Discretized versions of this problem are also discussed, and therelationships between these finite dimensional problems and the infinitedimensional problem are investigated. Moreover, we presentnumerical results for special parameters using a multiobjectiveoptimization method.     

运动水平平板上混合对流的群论分析

本文用变换群理论对运动水平平板混合对流边界层流动的动量、能量和浓度扩散方程进行了分析，得到了与X4/(7-5n)成正比的壁面温度分布和浓度分布，同时壁面运动速度正比于X(3-n)／(7-5n)时存在相似性解．导出了相似性解方程，用四阶Runge－Kutta方法进行了计算，给出了Pr＝0．72　和Sc，K1，K2，K3参数下的速度、温度和浓度分布，得出了各参数对流场、温度场的影响。     

折射率温敏式光纤温度传感器的理论模型

提出了折射率温敏式光纤温度传感器的理论模型，包括子午光线和偏射光线的影响，讨论了多模光纤的弯曲损耗，理论的分析和结果与实验相当一致。