德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

0.8W/80K直线驱动斯特林制冷机的研制

介绍了一种 0 .8W/ 80 K分置式斯特林制冷机。该制冷机采用当前国外先进的直线电机驱动 ,双活塞对称布置结构。该制冷机已通过军品所要求的环境试验 ,输入功率小于 4 0 W(DC)情况下 ,其 +6 0℃高温环境下制冷量≥ 0 .5 W/ 80 K ,带载 0 .5 W工况下 MTTF已突破 2 0 0 0小时。文中主要论述了其工作原理、结构特点、试验情况。     

Cr3+：MgAl2O4晶体EPR参量及其电子精细光谱的研究

考虑了SS(Spin-Spin)作用和SOO(Spin-Other-Orbit)作用，采用完全对角化方法，结合自旋Hamiltonian理论，研究了Cr³⁺∶MgAl₂O₄晶体EPR参量及其吸收光谱，理论与实验符合甚好. 在此基础上，进一步研究了⁴A₂(3d³)离子EPR参量的微观起源. 研究表明，EPR参量起源于四种微观机制：(1) SO(Spin-Orbit) 耦合机制；(2) SS耦合机制；(3)SOO耦合机制；(4) SO～SS～SOO总联合作用机制. 在这些机制中，SO机制是最主要的.     

Theoretical Study on the Long-lived Complexes for the Na＋I2 Collision System

For the Na I2 collision system, theoretical study is performed on the QCISD(T) level by using ab initio method. The ab initio potential energy surfaces are got and on them the long-lived complexes are found and optimized. These results verify the crossed molecule beam experimental phenomenon and the detailed geometry structures are given for the first time. The role of the complexes in the reaction path is also described in detail.     

一类对称三对角矩阵的合同对角化算法的实现

从一个对称三对角矩阵的合同变换出发 ,阐述了对称三对角矩阵对应的二次型标准化的一种方法 .     

计数法（1）

所谓计数,就是估计或计算符合某些要求的对象的个数,换言之,就是给定-个有限集合S,要求出集合S所含的元素的个数|S|,或者对集合S的阶的上、下界进行估计.由于通常给定的集合各种各样,要判定一个元素是否属于它,绝非易事,要计算它所含元素的个数就更加困难.所以,如何计数的问题长期以来一直是人们关心的问题,它历来是组合数学研究的基本课题之一,也是各类竞赛的热点之一.     

浅谈加余法在帐表算中的应用

帐表算是以加减运算为基础的，财会术语俗称“横打竖刻”。自从一九八七年珠算比赛增加了这一项目，人们就对帐表算的打法进行了研究，继而，不断地出现横算采用一目一行、二行、三行心算加减算法，竖算采用一目多行直加法，提前进位法，弃九法等加减算法。至今，     

Gr-凝聚环的分次FP-内射维数

引进了分次FP-内射维数，对Gr-凝聚环的分次FP-内射维数作了刻划，将Stentrom等人的若干工作推广到分次环上．     

不动点集是Do1d流形P(2m+1,2n+1)的对合

本文证明了具有光滑对合T的(4n+2m+3+κ)-维闭流形,如果对合的不动点集为F=P(2m+1,2n+1),其中2m+2n=2+22+...+2b(2b为2n二幂展开式的最大二幂),m=4a或m=4a+3(a为非负整数),0＜κ≠2,则对合T协边于零.