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.     

分段函数的分类及分离型分段函数与初等函数之间的关系

将分段函数划分为连结型分段函数 ,分离型分段函数和它们的组合形式三种类型 ,得到了分离型分段函数是初等函数的充分必要条件 ,完整地解决了分离型分段函数与初等函数之间的关系 ,并且给出了初等函数在其任一截取集上的限制函数 (截取函数 )仍然是初等函数的结果     

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).     

高光通量短波红外静止干涉成像光谱仪研究

讨论高光通量静止干涉（傅里叶变换）成像光谱仪的基本原理及结构特点，建立了短波红外的高光通量静止傅里叶变换光谱仪的实验系统，给出了实验结果。     

1,2-聚丁二烯介电松弛的复平面分析

本文对1,2-聚丁二烯的介电松弛进行了复平面分析.结果表明,在1,2-聚丁二烯的玻璃化转变过程中,ε″(ω)与ε＇(ω)的关系满足Havriliak-Negami方程.由复平面图求出了样品的静态和光频下的介电系数,平均松弛时间和松弛时间分布参数.利用所得数据讨论了1,2-聚丁二烯在玻璃化转变过程中的构象变化、松弛时间分布和平均偶极矩等问题.