基于TMN的接入网网管系统模型

本文介绍了 TMN 网管系统的体系结构,进而讨论了接入网网管系统的体系结构和管理接口的有关问题。     

钢／铝合金液固相复合工艺的研究

通过正交试验研究了各工艺量数以钢／铝合金液固相复合性能的影响，最佳工艺条件为铝合金液体温度７９０℃，钢板表面处理为酸洗＋钢刷＋５％的氟钛酸钾助焊剂，复合压力为３９．２ＭＰａ，组织观察表面界面脆性化合物的形成是导致结合强度降低的一个重要因素。     

通用串行总线(USB)数据传输模型

USB作为一种数据传输接口，了解它的通信传输机制是正确利用USB利用数据传输的基础，分层次结构对USB数据传输模型加以分析，可以使读者建立起USB体系结构、通信模型和总线事务的框架和概念，并最终对USB传输工作流程有一个清晰的认识。     

HIPS-g-MA共聚物对HIPS/PC共混物相容性、形态和拉伸性能的影响

研究了HIPS／PC共混物的相容性及HIPS－MA对HIPS（30）／PC（70）共混物的相容性、形态和拉伸性能的影响。DSC研究结果表明，HIPS／PC共混物中PS的玻璃化转变温度（Tg)不随组成而变化，而PC的Tg随其质量分数的降低逐渐向低温移动，说明HIPS／PC是部分相容体系。通过DSC、扫描电镜形态观察和拉伸性能测试结果发现，当HIPS－g-MA的含量低于7．5％时，共混物的相容性改善不明显，当其含量达到7．5％时，对共混物有明显的乳化作用，说明饱和的界面浓度在7．5％左右。HIPS－g-MA接枝共聚物在HIPS（30）／PC（70）共混物中的增容作用可能是酯交换反应原位生成的嵌段共聚物所致。     

测井数据实时采集与接口设计

介绍了一种采用改进型的ＣＬＳ３７００数控测井系统对微电阻率扫描仪数据采集与控制接口的设计及实现方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设计出通信接口，解决了微电阻率方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设备出通信接口电路，解决了微电阻主扫描仪现现场实时处理中的瓶颈问题。     

布里奇曼法生长碲镉汞晶体的固液界面形态研究

文中综述了布里奇曼法及加速坩埚旋转技术的布里奇曼法生工碲镉汞晶体过程中固液界面形态的研究结果，简单讨论了固液界面形态对组分分布的影响，并将两种技术所得的组分分布结果进行了比较，在分析影响固液界面形态因素的基础上，认为加速坩埚旋转技术是目前改善固液界面形态的有效方法。     

单片机与微机组成的树型网络远程多机通信

本文简介当前集散控制中的几种常用通信方法，并就此进行分析，然后提出一种实用性强，结构较简单，通信可靠，功能完备，使用十分灵活方便的任意两机间可通信系统     

Alkali-metal Na Adsorption and Promoted Oxidation on Si(100)2×1 Surface

The alkali-metal Na adsorption on Si(100)2×1 surface and its promoted oxidation and Si oxidegrowth have been investigated by means of thermal desorption,work function,Auger electronspectroscopy and photoemission electron spectroscopy.The experimental data showed that therewas a new state,interface electron state,near the Fermi level after the deposition of Na atoms.It wasfound that the presence of Na always caused an increase of the oxygen initial uptake whereas thepromotion of Si oxide growth was observed only at the coverage of Na greater than 0.5 ML.A newmechanism of Na-promoted Si oxide growth is suggested in this paper.     

A numerical model for the dissolution of spherical particles in binary alloys under mixed mode control

A general numerical model is described for the dissolution kinetics of spherical particles in binary systems for any combination of first order reactions at the particle-matrix interface and long distance diffusion within the matrix. The model is applicable to both finite and infinite media and handles both complete and partial particle dissolution. It is shown that interfacial reactions can have a strong effect on the dissolution kinetics, the solute concentration at the particle-matrix interface and the solute concentration profile in the matrix.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.