自聚焦透镜高效批量加工的双面研磨抛光法研究

依据双面研磨抛光原理，提出了加工自聚焦透镜平面和斜面辅助工装设计.从工艺技术特点和生产实际过程等方面对设计的工装使用情况进行分析验证.多次大批量加工实践证明，该辅助工装的设计完全满足了自聚焦透镜高效批量加工技术要求，简化整个生产线工艺，减少工艺流程时间，降低材辅料的消耗成本，从而验证了双面研磨抛光法是一种实用的加工自聚焦透镜的新方法.     

Synthesis and Reactions of Some New Pyrrolylfuro[2,3‐d]Pyrimidines and Pyrrolopyrazinofuropyrimidines

5‐Amino‐4‐methyl‐2‐phenyl‐6‐substitutedfuro[2,3‐d]pyrimidines ( 2a‐c ) were reacted with 2,5‐dimethoxytetrahydrfuran to afford the pyrrolyl derivatives 3a‐c . Compound 3a was chosen as intermediate for the synthesis of poly fused heterocycles incorporated furopyrimidines moiety 4–11 . Some of the synthesized compounds were screened for their antibacterial and antifungal activities.     

模型论中的拓扑学方法

本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.     

来自磁光阱中冷原子团的荧光干涉条纹及其应用

实验观察来自磁光阱中冷原子团的荧光经真空系统窗口的平板玻璃反射产生的干涉条纹，理论分析表明从从荧光干涉条纹的强度分布可获得关于俘获原子总数以及密度分布的信息。采用该方法实测了俘获原子总数，并模拟得到了不同密度分布时条纹的对比度变化。     

Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

FeS2多晶薄膜电子结构的实验研究

用磁控溅射方法制各纯Fe薄膜,并硫化合成FeS2.采用同步辐射X射线近边吸收谱与X射线光电子能谱研究了薄膜的电子结构.结果表明,合成的FeS2薄膜,在费米能级附近,有较强的Fe 3d态密度存在,同时,在价带谱中2-10eV处有强度较大的S 3p态密度存在;Fe的3d轨道在八面体配位场作用下分别为t2g和eg轨道,实验中由Fe的吸收谱计算得到两分裂能级之差为2.1eV;实验测得FeS2价带结构中导带宽度约为2.4eV,导带上方仍存在第二能隙,其宽度约为2.8eV.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Commuting and stable feedback design for switched linear systems

In the paper, commuting and stable feedback design for switched linear systems is investigated. This problem is formulated as to build up suitable state feedback controller for each subsystem such that the closed-loop systems are not only asymptotically stable but also commuting each other. A new concept, common admissible eigenvector set (CAES), is introduced to establish necessary/sufficient conditions for commuting and stable feedback controllers. For second-order systems, a necessary and sufficient condition is established. Moreover, a parametrization of the CAES is also obtained. The motivation comes from stabilization of switched linear systems which consist of a family of LTI systems and a switching law specifying the switching between them, where if all the subsystems are stable and commuting each other, then the total system is stable under arbitrary switching.