TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

Ab initio study of sodium intercalation into metal oxides

Using the full-potential linearized augmented plane wave (FP-LAPW) method, we have studied the effect of chemistry on the average intercalation voltage (AIV) caused by the Na ions intercalating into transition metal oxides. The effect of transition metal was systematically studied by varying M=Co, Ni and Mn in NaMO₂ and fixing the α-NaFeO₂ layered structure. The effect of the guest atoms into the host material is discussed in terms of the structural and electronic properties. Comparatively to Li intercalation, a significant electron transfer towards transition metal was found. This observation suggests that the transition metal contribute to the AIV determination and confirms the common assumption that intercalated electron reduces M⁴⁺ to M³⁺.     

A two step algorithm for solving a large scale semi-definite logit model

This paper proposes a two step algorithm for solving a large scale semi-definite logit model, which is appreciated as a powerful model in failure discriminant analysis. This problem has been successfully solved by a cutting plane (outer approximation) algorithm. However, it requires much more computation time than the corresponding linear logit model. A two step algorithm to be proposed in this paper is intended to reduce the amount of computation time by eliminating a certain portion of the data based on the information obtained by solving an associated linear logit model. It will be shown that this algorithm can generate a solution with almost the same quality as the solution obtained by solving the original large scale semi-definite model within a fraction of computation time.     

会聚厄米-双曲余弦高斯光束的光强分布和焦移

 基于厄米-双曲余弦高斯光束通过无光阑限制薄透镜聚焦的解析传输公式，研究了厄米-双曲余弦高斯光束聚焦区域的光强分布，并对光束的焦移进行了分析，讨论了偏心参数对光强主极大位置的影响。结果表明：TEM₁₁模厄米-双曲余弦高斯光束的相对焦移（绝对值）随偏心参数和菲涅尔数的减小而增大，菲涅尔数较大时相对焦移趋于零。TEM₂₂模光束在偏心参数小于0.54时，轴外与轴上光强极大值的比值大于1，此时光强主极大在轴外，偏心参数大于0.54时则相反；在偏心参数等于0.54时比值为1，此时光束有两个主极大，偏心参数愈大光强愈集中于轴上。使用LW法和GH法得到的TEM₂₂模光束的相对焦移（绝对值）随偏心参数和菲涅尔数的变化规律与TEM₁₁模光束一致，但相同参数下使用这两种方法得出的具体结果不同。     

以循环移位控制为基础的相控阵天线快速测量方法研究

为了解决相控阵天线快速测试问题,本文研究了一种相控阵天线测量的新方法。该方法中相控阵天线和测试探头均不动,利用相控阵天线中各移相器的移相状态可循环移位控制的特点和相控阵天线一些已知可信的信息,从而使测量具有极高的效率。文中对一相控阵天线模型采用该测量方法的测量全过程进行模拟,验证了该方法的正确性和高效性。     

A saxpy formulation for plane rotations

An algorithm for pre- or post-multiplication of a matrix by a plane rotation, using only three vector saxpy operations instead of the four vector operations usually considered necessary, is described. No auxiliary storage for overwriting is required. The method is shown to be numerically stable.     

精确定位物方焦面位置的简便方法

提出一种利用细激光束和全息光栅精确定位光学系统物方焦平面位置的方法，可用于光学傅里叶交换、光学信息处理系统的调整。其优点是所用光学元件少，操作简便。     

激光焊接超细基胎体金刚石薄壁钻

采用激光焊接超细预合金粉胎体，开发了新的薄壁钻产品，通过对与现有的产品工艺、性能测试以及实际使用分析对比，结果表明：激光焊接与普通钎焊相比结合强度提高2－3倍，克服了胎体脱落问题，胎体耐磨性提高了50％－120％，其中轴向磨损速率提高1．2倍；钻削速度提高30．4％，工矿适应性增加，使用寿命提高25％－108％。     

Enumeration of plane partitions and the algebraic Bethe anzatz

We establish a relation between an exactly solvable boson model and plane partitions, i.e., three-dimensional Young diagrams enclosed in a box of finite size, which allows representing the partition generating functions as correlation functions of an integrable model and deriving the MacMahon formulas for enumerating partitions using the quantum inverse scattering method. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 2, pp. 193–203, February, 2007.     

InAs/GaSb superlattice focal plane arrays for high-resolution thermal imaging

The first fully operational mid-IR (3–5 μm) 256×256 IR-FPA camera system based on a type-II InAs/GaSb short-period superlattice showing an excellent noise equivalent temperature difference below 10 mK and a very uniform performance has been realized. We report on the development and fabrication of the detecor chip, i.e., epitaxy, processing technology and electro-optical characterization of fully integrated InAs/GaSb superlattice focal plane arrays. While the superlattice design employed for the first demonstrator camera yielded a quantum efficiency around 30%, a superlattice structure grown with a thicker active layer and an optimized V/III BEP ratio during growth of the InAs layers exhibits a significant increase in quantum efficiency. Quantitative responsivity measurements reveal a quantum efficiency of about 60% for InAs/GaSb superlattice focal plane arrays after implementing this design improvement. The paper presented there appears in Infrared Photoelectronics, edited by Antoni Rogalski, Eustace L. Dereniak, Fiodor F. Sizov, Proc. SPIE Vol. 5957, 595707 (2005).