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.     

Some New Results on Key Distribution Patterns and Broadcast Encryption

This paper concerns methods by which a trusted authority can distribute keys and/or broadcast a message over a network, so that each member of a privileged subset of users can compute a specified key or decrypt the broadcast message. Moreover, this is done in such a way that no coalition is able to recover any information on a key or broadcast message they are not supposed to know. The problems are studied using the tools of information theory, so the security provided is unconditional (i.e., not based on any computational assumption).In a recent paper st95a, Stinson described a method of constructing key predistribution schemes by combining Mitchell-Piper key distribution patterns with resilient functions; and also presented a construction method for broadcast encryption schemes that combines Fiat-Naor key predistribution schemes with ideal secret sharing schemes. In this paper, we further pursue these two themes, providing several nice applications of these techniques by using combinatorial structures such as orthogonal arrays, perpendicular arrays, Steiner systems and universal hash families.     

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

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

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

单个波长到多个波长的变换实验

报道一种波长变换的新方法.采用此方法不需要任何泵浦光便能够直接将信号光变换成在特定谱宽内的任意多个任意波长的变换光,这对于将来的波分复用光网络提供了较大的方便.此波长变换的原理是利用色散位移光纤的非线性效应产生超连续光谱(SC)信号,由于这种SC信号携带有变换光信号,对这种连续谱进行滤波便能够得到所需要的任意频率的变换信号.此变换方式具有变换频带宽,偏振不敏感的优点。