关于费米子玻色化技术的注记

传统根据Jordon和Wigner理论,构造了费米子玻色化方案。文章讨论证明了这种方案只有在k≠k′时才成立,而在k=k′时则不成立,从而说明了费米子的玻色化技术是不完备的     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

On Models Constructed by Means of the Arithmetized Completeness Theorem

In this paper we study the model theory of extensions of models of first‐order Peano Arithmetic (PA) by means of the arithmetized completeness theorem (ACT) applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω‐consistency, and these properties together with the associated first‐order schemes extending PA are studied.     

Completeness of Gaussian orbital and geminal basis sets for linear molecules in L2 and in the first and second Sobolev spaces

Completeness theorems for Gaussian orbital and geminal basis sets of axial symmetry are proved in the space L² of square integrable functions and in the first and second Sobolev spaces H¹ and H². © 1998 John Wiley & Sons, Inc. Int J Quant Chem 68: 357–384, 1998     

Discreteness of the Spectrum of the Laplacian and Stochastic Incompleteness

We propose geometric conditions equivalent to the discreteness of the spectrum of the Laplacian on a class of Riemannian manifolds with ends close to warped products. For this class of manifolds we establish a relationship between discreteness of the spectrum and stochastic incompleteness.      

Symplectic eigenvector expansion theorem of a class of operator matrices arising from elasticity theory

This paper deals with the completeness of the eigenvector system of a class of operator matrices arising from elasticity theory, i.e., symplectic eigenvector expansion theorem. Under certain conditions, the symplectic orthogonality of eigenvectors of the operator matrix is demonstrated. Based on this, a necessary and sufficient condition for the completeness of the eigenvector system of the operator matrix is given. Furthermore, the obtained results are tested for the free vibration of rectangular thin plates.     

Completeness of system of root vectors of upper triangular infinite-dimensional Hamiltonian operators appearing in elasticity theory

This paper deals with a class of upper triangular infinite-dimensional Hamiltonian operators appearing in the elasticity theory.The geometric multiplicity and algebraic index of the eigenvalue are investigated.Furthermore,the algebraic multiplicity of the eigenvalue is obtained.Based on these properties,the concrete completeness formulation of the system of eigenvectors or root vectors of the Hamiltonian operator is proposed.It is shown that the completeness is determined by the system of eigenvectors of the operator entries.Finally,the applications of the results to some problems in the elasticity theory are presented.     

弹性理论中上三角无穷维Hamilton算子根向量组的完备性

考虑弹性力学中一类上三角无穷维 Hamilton 算子．首先,给出此类Hamilton算子特征值的几何重数和代数指标,进而得到代数重数．其次,根据Hamilton算子特征值的代数重数确定其特征(根)向量组完备的形式,得到此类Hamilton算子特征(根)向量组的完备性是由内部算子特征向量组决定．最后,将所得结果应用到弹性力学问题中．     

ERKALE—A flexible program package for X‐ray properties of atoms and molecules

ERKALE is a novel software program for computing X‐ray properties, such as ground‐state electron momentum densities, Compton profiles, and core and valence electron excitation spectra of atoms and molecules. The program operates at Hartree–Fock or density‐functional level of theory and supports Gaussian basis sets of arbitrary angular momentum and a wide variety of exchange‐correlation functionals. ERKALE includes modern convergence accelerators such as Broyden and ADIIS and it is suitable for general use, as calculations with thousands of basis functions can routinely be performed on desktop computers. Furthermore, ERKALE is written in an object oriented manner, making the code easy to understand and to extend to new properties while being ideal also for teaching purposes. © 2012 Wiley Periodicals, Inc.     

指标体系的构建原理与评价方法研究

针对目前指标体系在构建和评价方面缺乏统一理论与方法这一现状,在不考虑具体评价问题的基础上,对一般意义上的指标体系进行了构建原理与评价方法研究.从时间维、方法维和逻辑维三方面对构建方法进行了阐述;建立了指标体系的数学模型,并提出了基于正交实验设计的指标权重计算方法;以合理指标体系的基本要素为依据,定量地分析了体系的完备性和指标间的相关性.