模型论中的拓扑学方法

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

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

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

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

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

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.     

“神龙一号”注入器研制

“神龙一号”注入器是直线感应加速器的束流源，它采用了感应叠加的高压加载方式，包括脉冲功率系统、感应腔、阴阳极杆、绝缘支撑、二极管和束流传输系统等子系统. 在研制中采用了径向绝缘支撑、对中支撑调节系统、类Pierce阴极等先进技术，以及二极管线圈内置和外径为800mm的铁氧体大环等创新. 参数测试显示，3.5MeV注入器达到了世界先进水平.     

Jensen's inequality for g-expectation: part 1

Briand et al. (Electron. Comm. Probab. 5 (2000) 101–117) gave a counterexample and proposition to show that given g,g-expectations usually do not satisfy Jensen's inequality for most of convex functions. This yields a natural question, under which conditions on g, do g-expectations satisfy Jensen's inequality for convex functions? In this paper, we shall deal with this question in the case that g is convex and give a necessary and sufficient condition on g under which Jensen's inequality holds for convex functions. To cite this article: Z. Chen et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

A New Two‐Dimensional Coordination Polymer of Mercury(II) with very High Thermal Stability

A 2D Hg^II coordination polymer containing ligands 1,2,4‐triazole (Htrz) and thiocyanate, [Hg(μ₃‐trz)(SCN)]_n ( 1 ) has been synthesized and characterized by elemental analysis and IR spectroscopy. The single‐crystal X‐ray data show the coordination number of Hg atoms is four and the ligand trz^? acts as a three‐fold donor. The thermal stability of compound 1 was studied by thermal gravimetric and differential thermal analyses. The composition and formation of the complex in methanol solution were found to be in support of its solid state structure.     

HI—V族化合物半导体的高能重离子辐照缺陷研究·

用正电子湮没寿命谱技术研究了2.4×1O15/cm2、2.2×1016/cm2注量的85MeV19F离子辐照N型GaP和1.6×1016/cm 2注量的85MeV19F离子辐照P型InP所产生的辐照缺陷.结果表明:两种注量辐照在GaP中均产生较高浓度的单空位.其浓度随着辐照注量的增大而增加;辐照也在InP中产生较高浓度的单空位.     

An Application of Branch and Cut to Open Pit Mine Scheduling

The economic viability of the modern day mine is highly dependent upon careful planning and management. Declining trends in average ore grades, increasing mining costs and environmental considerations will ensure that this situation will remain in the foreseeable future. The operation and management of a large open pit mine having a life of several years is an enormous and complex task. Though a number of optimization techniques have been successfully applied to resolve some important problems, the problem of determining an optimal production schedule over the life of the deposit is still very much unresolved. In this paper we will critically examine the techniques that are being used in the mining industry for production scheduling indicating their limitations. In addition, we present a mixed integer linear programming model for the scheduling problems along with a Branch and Cut solution strategy. Computational results for practical sized problems are discussed.