AGSM光束在自由空间中的传输

 用矩阵方法研究了有扭曲的各向异性高斯-尔模型（AGSM）光束通过自由空间的传输。给出了光束参数的解析传输公式和详细数值计算结果，说明AGSM光束的传输特性以及扭曲因子和空间相关长度的影响。     

强非线性吸收下高斯光束Z-扫描衍射理论模型

 摘要：在同时考虑非线性折射和非线性吸收的情况下，借助光的衍射理论，研究了Z-扫描技术的衍射理论模型，分析了非线性折射和非线性吸收同时存在时Z-扫描曲线的形状特征和变化规律。数值计算表明，非线性吸收相移和非线性折射相移的比值是影响接收小孔输出光功率的重要因素。要想得到好的光限幅效果，应选取非线性相移比值远小于1或远大于2的非线性材料。     

超短脉冲贝塞尔光束的非近轴效应对传输的影响

 对超短脉冲贝塞尔光束在近轴近似和非近轴情况下自由空间中的传输作了研究。结果表明，其空间波形在传输中保持贝塞尔形状不变，不受非近轴效应影响；然而当空间参数较大时，非近轴效应影响超短脉冲贝塞尔光束的时间波形。     

Kinetic Studies on the Reaction of Sodium Hexa-cyanoferrate(II) Complex with Peroxydisulfate Anion

Introduction In the previous studies on the oxidation reaction,peroxydisulfate was widely used as an oxidizingagent.1-5 One of the advantages of this oxidant lies in itsstability in a wide range of pH values. The reaction be-tween Fe(CN)5L3- (L=N-aromatic heterocyclic li-gands) and S2O8 2- has been proved to proceed throughan outer-sphere electron transfer mechanism.5 For a re-action [(Eq. (1)] to be under an outer-sphere mechanismthe steps involved are the formation of a reactant …     

Studies on the Adsorption of Asymmetrical Triblock Copolymers by Scheutjens-Fleer Theory and Monte Carlo Simulation

The adsorption of asymmetrical triblock copolymers from a non-selective solvent on solid surface has been studied by using Scheutjens-Fleer mean-field theory and Monte Carlo simulation method on lattice model. The main aim of this paper is to provide detailed computer simulation data, taking A8-kB20Ak as a key example, to study the influence of the structure of copolymer on adsorption behavior and make a comparison between MC and SF results. The simulated results show that the size distribution of various configurations and density-profile are dependent on molecular structure and adsorption energy. The molecular structure will lead to diversity of adsorption behavior. This discrepancy between different structures would be enlarged for the surface coverage and adsorption amount with increasing of the adsorption energy. The surface coverage and the adsorption amount as well as the bound fraction will become larger as symmetry of the molecular structure becomes gradually worse. The adsorption layer becomes thicker with increasing of symmetry of the molecule when adsorption energy is smaller but it becomes thinner when adsorption energy is higher. It is shown that SF theory can reproduce the adsorption behavior of asymmetrical triblock copolymers. However, systematic discrepancy between the theory and simulation still exists.The approximations inherited in the mean-filed theory such as random mixing and the allowance of direct back folding may be responsible for those deviations.     

Elliptic and parabolic problems in unbounded domains

We consider elliptic and parabolic problems in unbounded domains. We give general existence and regularity results in Besov spaces and semi‐explicit representation formulas via operator‐valued fundamental solutions which turn out to be a powerful tool to derive a series of qualitative results about the solutions. We give a sample of possible applications including asymptotic behavior in the large, singular perturbations, exact boundary conditions on artificial boundaries and validity of maximum principles. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

Dynamic boundary stabilization of a Reissner–Mindlin plate with Timoshenko beam

This paper is concerned with well‐posedness results for a mathematical model for the transversal vibrations of a two‐dimensional hybrid elastic structure consisting of a rectangular Reissner–Mindlin plate with a Timoshenko beam attached to its free edge. The model incorporates linear dynamic feedback controls along the interface between the plate and the beam. Classical semigroup methods are employed to show the unique solvability of the coupled initial‐boundary‐value problem. We also show that the energy associated with the system exhibits the property of strong stability. Copyright © 2004 John Wiley & Sons, Ltd.     

Existence and uniform decay for Euler–Bernoulli beam equation with memory term

In this article we prove the existence of the solution to the mixed problem for Euler–Bernoulli beam equation with memory term. The existence is proved by means of the Faedo–Galerkin method and the exponential decay is obtained by making use of the multiplier technique combined with integral inequalities due to Komornik. Copyright © 2004 John Wiley & Sons, Ltd.     

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

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