The weak density of properly d-r.e. branching degree in the d-r.e. degrees

It is proved that for any r.e. degreesv <u, there exists a properly d-r.e. degreec such thatc is a branching degree andv <c <u. Project supported by the National Natural Science Foundation of China (Grant No. 19771045) and National 863 Hi-Tech R&D Programme.     

24点问题的一种简易算法的设计与实现

实践是敏捷软件开发的核心,对代码要求精益求精,在开发的过程中,简单设计,用测试驱动,通过重构和迭代代码实现设计.24点问题是一类趣味数字游戏问题,开始想用递归思想解决,在编写代码的过程中,写出了递推的过程,程序重复的地方太多,经过重构写出了递归算法,在增量式开发中应用重构技术实现了递归算法并对算法进行了扩展.     

Recursions in Calogero-Sutherland Model Based on Virasoro Singular Vectors

The present work is much motivated by finding an explicit way in the construction of the Jack symmetric function, which is the spectrum generating function for the Calogero-Sutherland (CS) model. To accomplish this work, the hidden Virasoro structure in the CS model is much explored. In particular, we found that the Virasoro singular vectors form a skew hierarchy in the CS model. Literally, skew is analogous to coset, but here specifically refer to the operation on the Young tableaux. In fact, based on the construction of the Virasoro singular vectors, this hierarchical structure can be used to give a complete construction of the CS states, i.e. the Jack symmetric functions, recursively. The construction is given both in operator formalism as well as in integral representation. This new integral representation for the Jack symmetric functions may shed some insights on the spectrum constructions for the other integrable systems.     

Spin-1/2 Ising model on a AFM/FM two-layer Bethe lattice in a staggered magnetic field

A bilayer spin-1/2 Ising model consisting of two superposed Bethe lattices with antiferromagnetic/ferromagnetic interactions is studied by the use of exact recursion relations in a pairwise approach in the presence of an external staggered magnetic field. Besides the ground state phase diagrams calculated in different possible planes of the model parameters space, the thermal variations of the order-parameters and the free energy are investigated to obtain the temperature-dependent phase diagrams of the model for different values of the coordination numbers q. Our calculations reveal that depending on the strength of the model parameters, the model exhibits a variety of interesting phase transitions and therefore phase diagrams.     

Solution of Spin and Pseudo-Spin Symmetric Dirac Equation in (1+1) Space-Time Using Tridiagonal Representation Approach

The aim of this work is to find exact solutions of the Dirac equation in(1+1) space-time beyond the already known class.We consider exact spin(and pseudo-spin) symmetric Dirac equations where the scalar potential is equal to plus(and minus) the vector potential.We also include pseudo-scalar potentials in the interaction.The spinor wavefunction is written as a bounded sum in a complete set of square integrable basis,which is chosen such that the matrix representation of the Dirac wave operator is tridiagonal and symmetric.This makes the matrix wave equation a symmetric three-term recursion relation for the expansion coefficients of the wavefunction.We solve the recursion relation exactly in terms of orthogonal polynomials and obtain the state functions and corresponding relativistic energy spectrum and phase shift.     

Hamiltonian Structures and Integrability of Frobenius Algebra-Valued (n,m)th KdV Hierarchy

We introduce Frobenius algebra ?-valued (n, m)^th KdV hierarchy and construct its bi-Hamiltonian structures by employing ?-valued pseudo-differential operators. As an illustrative example, the (1, 1)^th -valued case is analyzed in detail. Its Hamiltonian structures and recursion operator are derived. Infinitely many symmetries, conservation laws and explicit flow equations are also obtained.     

扫描型IRFPA非均匀微扫描的无边框亚像元热成像处理算法

针对扫描型热成像中垂直方向微扫描帧间位移不再精确为半像素的情况,按照错位方向的不同,分别采用近似回代算法进行图像重构,并对不同错位方向中近似回代引进的误差进行规律分析,提出一种非均匀微扫描情况下的无边框亚像元热成像处理算法.该算法采用邻近像元对边界像元进行近似回代,并根据统计学原理对近似回代过程中引进的误差进行优化,获得与原始图像高度近似的亚像元图像.实验表明,效果明显好于过采样和直接的近似回代,并且算法简单,处理量小,易于实现实时处理.对提高扫描型热成像系统的技术性能指标具有重要意义.     

递归算法的设计模式与调试

基于递归算法的“自重复”特征,文中提出一种通用递归算法的设计模式,并结合实例说明该模式的应用方法和有效性,为研究递归算法提供了有效的解决方案,可推广性强。同时给出了递归程序在调试过程中的一些方法和技巧。     

A novel thermodynamic state recursion method for description of nonideal nonlinear chromatographic process of frontal analysis

A novel thermodynamic state recursion (TSR) method, which is based on nonequilibrium thermodynamic path described by the Lagrangian-Eulerian representation, is presented to simulate the whole chromatographic process of frontal analysis using the spatial distribution of solute bands in time series like as a series of images. TSR differs from the current numerical methods using the partial differential equations in Eulerian representation. The novel method is used to simulate the nonideal, nonlinear hydrophobic interaction chromatography (HIC) processes of lysozyme and myoglobin under the discrete complex boundary conditions. The results show that the simulated breakthrough curves agree well with the experimental ones. The apparent diffusion coefficient and the Langmuir isotherm parameters of the two proteins in HIC are obtained by the state recursion inverse method. Due to its the time domain and Markov characteristics, TSR is applicable to the design and online control of the nonlinear multicolumn chromatographic systems.     

精确制导炸弹坐标转换技术

将制导炸弹的SINS/GPS组合导航系统输出的导航信息进行坐标转换,产生制导控制系统所需要的发射坐标系下的信息,以实现制导炸弹的制导与控制功能.针对某型制导炸弹的工程化研制,研究了制导炸弹在飞行过程中不同坐标系间的转换关系,分析了方位角误差对制导炸弹坐标转换精度的影响,推导了一个新的方位角计算方法.提出了一种递推的坐标转换方法,并与传统的坐标转换方法和基于迭代的坐标转换方法进行了比较.仿真结果表明,该方法可对坐标转换过程中产生的误差进行相应的修正,并且误差不会积累,该方法的转换精度最高.仿真结果验证了该方法的正确性和可行性.