一类暂留稳定过程的极限定理

本文研究了Ａ型暂留稳定过程在无穷远处的收敛速度，给出了一个重对数律．同时我们也得出了这类过程在起始点附近的一些性质．这些性质推广了［１］中的结果     

Relations among eigenvalues of Sturm-Liouville problems with different types of leading coefficient functions

For any Sturm-Liouville problem with a separable boundary condition and whose leading coefficient function changes sign (exactly once), we first give a geometric characterization of its eigenvalues λn using the eigenvalues of some corresponding problems with a definite leading coefficient function. Consequences of this characterization include simple proofs of the existence of the λn's, their Prüfer angle characterization, and a way for determining their indices from the zeros of their eigenfunctions. Then, interlacing relations among the λn's and the eigenvalues of the corresponding problems are obtained. Using these relations, a simple proof of asymptotic formulas for the λn's is given.     

On the leading term and the degree of the polynomial trace mapping associated with a substitution

Using the trace mapping and the reduced trace mapping associated with a substitution, one obtaines the spectral properties of one-dimensional Schrödinger operators of the formH=–+V onl ², where is the discrete Laplacian andV is a diagonal operator with elements derived from a substitution rule. In particular, the reduced trace mapping is closely related to the leading term of the original trace mapping. In this paper, the explicit expression of the leading term is given and its properties are discussed.     

Complete solutions of a family of quartic Thue and index form equations

Continuing the recent work of the second author, we prove that the diophantine equation

for has exactly 12 solutions except when , when it has 16 solutions. If denotes one of the zeros of , then for we also find all with .

     

主成分分析法在产业关联度研究中的应用

在产业经济学中，影响力系数和感应度系数是常用的评价产业部门拉动作用和推动作用的方法。本文针对影响力系数和感应度系数的缺陷，采用主成分分析法对投入产出表中的完全消耗系数进行研究，分析产业关联度，以确定国民经济主导产业。最后以中国1997年投入产出表为例进行了分析。结果表明，本方法更加符合实际，具有重要的参考价值。     

On a conjecture of Erdos and Stewart

For any , let be the th prime number. In this paper, we confirm a conjecture of Erdos and Stewart concerning all the solutions of the diophantine equation , when .

     

Another Note on the Greatest Prime Factors of Fermat Numbers

For every positive integer k > 1, let P(k) be the largest prime divisor of k. In this note, we show that if F_m = 2^2m + 1 is the mth Fermat number, then P(F_m) 2^m+2(4m + 9) + 1 for all m 4. We also give a lower bound of a similar type for P(F_a,m), where F_a,m = a^2m + 1 whenever a is even and m a¹⁸.AMS Subject Classification (1991) 11A51 11J86     

On spectral radii of matrices governing some numerical estimating algorithms with incomplete data

Summary Many estimating procedures are carried out with incomplete data by means of different types of EM algorithms. They allow us to obtain maximum likelihood parameter estimates in classical inference and also estimates based on the posterior mode in Bayesian inference. This paper analyzes in detail the spectral radii of the Jacobian matrices algorithm as a possible way to evaluate convergence rates. The eigenvalues of such matrices are explicitly obtained in some cases and, in all of them, a geometric convergence rate is, at least, guaranteed near the optimum. Finally, a comparison between the leading eigenvalues of EM and direct and approximate EM-Bayes algorithms may suggest the efficiency of each case.     

基于多项式组主项解耦消元法的几何定理机器证明

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 .由于多项式主系数不含变元 ,已不存在 DTS多项式之间的约化问题 ,故方法有普遍意义 .文中例为西姆松定理的机器证明 .     

Superorbital expansion tube tests of a caret waverider

A computational and experimental study was conducted to assess the potential of testing waverider configurations in a high-performance, short-duration expansion tube facility. The tests were performed in the newly commissioned X3 superorbital expansion tube and provide the first experimental data of a waverider tested at a stagnation enthalpy and equivalent flight speed exceeding 40 MJ/kg and 9 km/s, respectively. Two simple caret configurations were chosen as benchmark test cases to test the use of the facility, instrumentation and numerical models to investigate these flows. The general performance of the sharp and blunt leading edge waveriders at angles of attack ranging from 0° to 5° were analyzed and compared to CFD and theoretical predictions. For the conditions tested, the presence of a strong viscous interaction caused the shock wave to be detached from the leading edge of the models resulting in a significant loss in performance. An analytical model was developed to account for the strong coupling between the shock wave and boundary layer. Results were shown to be in very good agreement with CFD estimates for both configurations at all angles of attack considered. Finite-rate chemistry CFD simulations indicated that real gas effects other than the residual levels of nonequilibrium freestream dissociation present in the expansion tube flow were negligible for the conditions tested. The study also revealed that a past flow visualization technique gave a false indication of the leading edge shock location. An improved experimental visualization technique was successfully tested with results from these tests correlating well with computational estimates. This study successfully demonstrated the use of the facility to study waverider performance at speeds representative of orbital flight.