无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

Modelling and optimal control of coupled structural acoustic systems with piezoelectric elements

We construct a model of a shell with piezoelectric elements (patches) that take into account the mutual influence of deformations and electric fields. Coupled problems for the shell with piezoelectric patches and an acoustic field, are studied and results on the existence and the uniqueness are obtained. For this system we consider an optimal control problem on noise attenuation and obtain results on the existence, the uniqueness, necessary and sufficient conditions of optimality. Copyright © 2003 John Wiley & Sons, Ltd.     

n维氢原子的散射态

研究了n维氢原子的散射态性质．给出了精确的按“k/2π标度”归一化的散射态的精确解波函数及相移表达式，讨论了相移的解析性质，获得了束缚-连续跃迁矩阵元的解析计算公式．普通氢原子(n=3)散射态的有关结果作为特例包含在本文的一般结论之中． 关键词： n维氢原子 散射态 精确解 相移 束缚-连续跃迁矩阵元     

Contractivity and Analyticity in l p of Some Approximation of the Heat Equation

We consider the lumped mass method with piecewise linear finite elements in two dimensions. When the triangulation is of Delaunay type it is known that the discrete scheme satisfies a maximum principle. In this work we pursue the analysis and prove that the discrete semi-group is l ^p contractive in a sector, which implies smoothing effects and provide some resolvent estimates.     

燃煤过程痕量元素动力学机理的研究进展

由于痕量元素在煤中的含量低微、检测困难,加之其原子量一般较大,可能的反应途径多,使得相关的反应机理研究难度极大。本文结合作者的研究成果,介绍了煤燃烧过程中痕量元素化学反应动力学的国内外研究进展,包括痕量元素化学动力学机理的建立;相关的典型实验、计算模拟及其实验验证、动力学机理模型的简化;痕量元素反应动力学机理的完善和发展,包括采用简单碰撞理论、活化络合物理论(亦称过渡态理论,或绝对反应速率理论)对痕量元素化学反应动力学机理的修正;最后指出煤燃烧过程中痕量元素动力学研究的若干方向是: (1)痕量元素反应动力学模型数据库的建立;(2)煤燃烧过程中,主量元素和次量元素的动力学机理的完善; (3)各痕量元素之间动力学研究的开展; (4)实际燃烧过程中痕量元素动力学行为的研究。     

O～3岁儿童微量元素检测及纠正150例观察与体会

对西安地区150例0～3岁儿童进行了六种微量元素：钙、锌、铜、铁、镁、硒的检测，发现微量元素缺乏可导致急慢性感染、免疫力低下、小儿营养不良、贫血、发育迟缓等症状。并对小儿营养不良、喂养不当进行矫正。其中铁、钙、锌同时缺乏占50％。     

Dispersion analysis of the least‐squares finite‐element shallow‐water system

The frequency or dispersion relation for the least‐squares mixed formulation of the shallow‐water equations is analysed. We consider the use of different approximation spaces corresponding to co‐located and staggered meshes, respectively. The study includes the effect of Coriolis, and the dispersion properties are compared analytically and graphically with those of the mixed Galerkin formulation. Numerical solutions of a test problem to simulate slow Rossby modes illustrate the theoretical results. Copyright © 2003 John Wiley & Sons, Ltd.     

Analysis and finite element simulations of a second‐order fluid model in a bounded domain

This article is concerned with the equations governing the steady motion of a viscoelastic incompressible second‐order fluid in a bounded domain. A new proof of existence and uniqueness of strong solutions is given. In addition, using appropriate finite element methods to approximate a coupled equivalent problem, sharp error estimates are obtained using a fixed point argument. The method is applied to the two‐dimensional lid‐driven cavity problem, at low Reynolds number and in a certain range of values of the viscoelastic parameters, to analyze the combined effects of inertia and viscoelasticity on the flow. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

Spectral distributions in nuclei: General principles and applications

The subject of spectral distribution methods where one derives and applies the locally smoothed forms of observables in nuclei is briefly reviewed. It is well understood that the local forms (with respect to energy) of the level density function, expectation values and strength densities are Gaussian, linear (or ratio of Gaussians) and a bivariate Gaussian respectively. To accomodate symmetries in the above forms, one has to deal with multivariate distributions in general; for example the angular-momentum (J) decomposition leads to a bivariate Gaussian form for the level density. These results extend to indefinitely large spaces by method of partitioning and they generate convolution forms. The origin of these remarkable spectral properties is discussed and shell model examples are given to substantiate their applicability to nuclear systems. Spectral distribution theory is a practical, usable theory because the smoothed forms are defined in terms of traces of low particle-rank operators, and the trace information propagates. Finally we discuss the application of the spectral methods for a wide range of nuclear problems; these include binding energies, orbit occupancies, electromagnetic andβ-decay sum rule quantities, analysis of operators, symmetry breaking, numerical level densities, and determination of bounds on time-reversal non-invariant part of nucleon-nucleon interaction.