基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Im∪CP形图的匹配等价

完整刻画了 I_m∪C_p(p≥6为偶数或素数且 p≠m-3)及其补图的匹配等价图．     

分数Hamilton圈与分数树形图

定义有向图的分数有向Hamilton圈和分数支撑树形图，讨论分数Hamilton圈、分数旅行售货员问题和分数支撑树形图基于线性规划的等价定义及多项式时间算法。     

Preparation and properties of the SmOx/Rh(100) model surface

The preparation of SmOx/Rh(100) and CO adsorption on this model surface have been investigated with Auger electron spectroscopy (AES), X-ray photoelectron spectroscopy (XPS) and temperature programmed desorption spectroscopy (TDS). The oxygen adsorption on the SmRh alloy surface leads to the aggregation of Sm on the surface. The thermal treatment of this oxidized surface induces the further agglomeration of SmOx on the Rh(100) surface. Compared with CO TDS on the clean Rh(100) surface, three additional CO desorption peaks can be observed at 176, 331 and 600 K on the SmOx/Rh(100) surface. The CO desorption peak at 176 K may originate from CO adsorbed on SmOx islands, while the appearance of the CO adsorption peaks at 331 and 600 K, depending on the oxidation state of Sm, is attributed to CO species located at the interface of SmOx/Rh(100).     

核磁共振技术在生物和医学上的应用

本文介绍了在生物和医学领域内应用核磁共振技术的历史，应用的主要方面，以及三种常用的自旋核，并指出了与传统的技术和ＣＴ成像相比，磁共振技术具有更多的优点．     

线性系统和迭加原理

以系统的观点给出电路分析中的一个重要定理——迭加定理，并对迭加定理的证明。迭加定理与线性系统的关系．迭加定理的齐次性和可加性，作了较详细的论证。     

超微粒子－有机聚合物薄膜的研究

我们用离子团束－飞行时间质谱（ＩＣＢ－ＴｏＦＭＳ）系统制备了金（Ａｕ）超微粒子－聚乙烯（ＰＥ）薄膜和Ｃ＿（６０）－聚乙烯薄膜。用透射电子显微镜（ＴＥＭ）分析了所制备的样品。它们的结构是Ａｕ超徽粒子镶嵌在多晶的ＰＥ薄膜中，其中Ａｕ原子团呈球形，直径分布在２．０－５．０ｎｍ窄范围内，当沉积基底温度为９０℃时，Ａｕ原子团相互靠近，几乎连接起来，但仍保持原来大小。基底温度为１４０℃蒸积的Ｃ＿（６０）－ｐＥ薄膜具有晶态结构，其晶格常数为１．４５４ｎｍ。     

Остроградский──Gauss定理的一个注记

本文给出在一定条件下，即使在闭曲面围成的空间区域内有奇点公式也同样成立。     

GOSCA－CFAR检测器在干扰边缘中的性能分析

本文研究ＧＯＳＣＡ—ＣＦＡＲ检测器￣［１，２］干扰边缘中的性能。文中推导出了它的干扰边缘环境中虚警概率的解析表达式，分析了它抗边缘干扰的性能，并且与ＯＳ、ＣＡ、ＧＯ和ＳＯ等检测器进行了比较。结果表明，ＧＯＳＣＡ的抗干扰边缘性能比ＣＡ和Ｋ＿（ｏｓ）＝（ｋ＋ｌ）＿（ＧＯＳＣＡ）和ＯＳ相近，比抗边缘干扰性能较好的ＧＯ要差。     

利率市场化条件下农村信用社的困难与应对

从分析利率市场化条件下农村信用社面临的问题人手，剖析问题存在的原因，提出：为保证我国农村信用社利率市场化的顺利进行，必须认真总结农村信用社利率试点的经验和教训，在信用社产权改制、金融产品定价、建立利率风险管理机制等方面作一些探索。