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

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

应用核磁共振实验实现量子计算的注记

从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致.     

分数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定理的一个注记

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

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .