两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。     

人事档案信息管理软件开发实例

人事档案管理系统软件其功能主要是完成对人事档案数据的录入、用户设置、统计、查询、维护及报表打印等，采用Visual FoxPro数据库管理系统设计完成。充分利用了VFP强大的数据库技术和可视化编程工具，制作了美观大方的界面，完整的用户菜单及相应的功能模块，重点介绍了如何设计数据查询功能并完成人事档案管理中的基本查询操作。     

Augmented Spinor Space

In this paper, based on the Pauli matrices, a notion of augmented spinor space is introduced, and a uniqueness of such augmented spinor space of rank n is proved. It may be expected that this new notion of spaces can be used in mathematical physics and geometry.     

Validation of an optimization procedure to improve low frequency characteristics of rooms

A set of experiments was carried out to validate an optimization procedure based on finite element method (FEM). The idea of the procedure, fully presented in previous edition of this journal [Zhu X, Zhu Z, Cheng J. Using optimized surface modifications to improve low frequency response in a room. Appl Acoust 2004;65:841-60], is to produce an optimal geometry modification on the wall for improving low frequency sound uniformity in small rooms. Four experimental models were set up with a scale of 1:5. One was modified according to the optimized result and the others were treated with no optimization consideration. Measured frequency responses of four rooms were compared with numerical results calculated by FEM models. The transient responses in these rooms were also measured and analyzed. The agreements between calculation and measurement are satisfactory though the discrepancies due to the uncertainty of acoustic behavior of the room boundaries remain. The optimization procedure has been supported by the results that the optimized room produces the flattest frequency response and also the most smooth energy decay within the frequency range studied. The reductions of response fluctuation have reached 4.3 dB for prediction and 2.6 dB for measurement, respectively.     

Some Oscillatory Singular Integrals on Herz-type Spaces (Ⅱ)

In this paper, the authors prove that some oscillatory singular integral operators of non-convolution type with non-polynomial phases are bounded from the Herz-type Hardy spaces to the Herz spaces and from the Hardy spaces associated with the Beurling algebras to the Beurling algebras in higher dimensions, even though it is well-known that these operators are not bounded from the Hardy space H1(Rn) into the Lebesgue spaceL1(Rn).     

临界可压缩模类与弱Jacobson根

本文讨论临界可压缩模类和结合环的弱Ｊａｃｏｂｓｏｎ根．首先，我们证明了非平凡的临界可压缩模类是素模的特殊类．其次，我们引入结合环的弱Ｊａｃｏｂｓｏｎ根．弱Ｊａｏｎｂｓｏｎ根是特殊根．最后，我们给出有关弱本原环，半弱本原环和弱Ｊａｃｏｂｓｏｎ根环的某些性质．     

视频信息监控与处理--ATM视频监控系统下

针对银行ATM管理上的缺陷，提出了ATM视频监控系统，并就系统的功能及其信息处理与安全方面的特点作了论述。     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

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

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

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．