S-系的扭类

假设S是有0,1的半群,τ是S-系的遗传扭论,对任意的右S-系M,Tτ（M）是M的τ-扭根。x∈Tτ（M）当且仅当存在某个τ-稠密右同余ρ,使得对任意的（S1,S2）∈ρ均有xs1=xs2,同时,当右S-系M是τ-扭自由时,M的τ-稠密同余是M的本质同余,特别,对忠实的遗传扭论τ,S的τ-稠密右同余是S     

Congruences on truncated double summation series

We give several congruences on truncated double summation formulas. These congruences relate the sum of binomial coefficients to representations of primes by binary quadratic forms.     

广义双循环半群和Jones半群

本文刻画了广义双循环半群Ｂｎ＝〈ａ,ｂ｜ａ＾ｎｂ＝１〉和Ｊｏｎｅｓ半群Ａｎ＝〈ａ,ｂ｜ａ＾ｎ＋１ｂ＝ａ〉（ｎ≥１）的结构;证明了每个Ａｎ都具有Ｐ．Ｒ．Ｊｏｎｅｓ所发现的半群Ａ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ〉的所有重要性质,特别地,证明了Ａｎ,Ａｍ可互相嵌入,从而得到：第三个Ｄ－非平凡的无幂等元「０－」单半群若不含Ｃ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ,ａｂＴ＾２＝ｂ〉,则必含每个Ａｎ或它们的对偶,作为推论,每人广义     

Aspheric surface reconstruction for scanning interference

A simplified reconstructing method for the aspheric surface testing based on scanning interference technology is presented. The aspheric normal intersects the optical axis at different points with different angles, which is called normal congruence; a normal congruence can identify an aspheric surface. In this method, the test aspheric surface is shifted along the optical axis to scan the tested aspheric surface; meanwhile a series of interferograms and phase maps are obtained. The angles between the normal lines and the aspheric axis are obtained using the positions of zero-phase points, according to the image-forming principle of the camera. Here, Zernike polynomials are applied to analyze the phase maps and extract the zero-phase points. Finally, the absolute coordinates of the test surface is rebuilt through iterative integration. Because both the system deformation and amplification do not affect the reconstruction result, this method can avoid complicated stitching algorithm in the subaperture stitching interferometric method. Experimental results show that the method has high accuracy and reliability.     

关于完全平方数的一个性质

运用不定方程的理论讨论了完全平方数的一个基本性质,得到了关于完全平方数的几个重要定理.     

On the some normal subgroups of the extended modular group

In this paper, we give the group structures and the signatures of some normal subgroups of the extended modular group Π containing the principal congruence subgroup Γ(12).