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型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

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.     

一种自制硬件诊断磁带的方法

牛哲成．一种自制硬件诊断磁带的方法．测并技术，１９９４，１８（２）：１４９～１５４硬件诊断磁带是由用于对计算机硬件系统各组成部分进行功能检查、状态测试和故障检测的诊断测试程序集构成的一种专用工具磁带。本文提出了一种用户在ＰＥ３２００系列计算机裸机环境下自己制作硬件诊断磁带的方法，井涉及到具体的程序实现。用该方法制作的硬件诊断磁带操作简单。对进一步搞好ＰＥ３２００系列计算机的维护，开发完善ＰＥ３２００系列计算机硬件诊断系统具有实际意义。     

浅谈程序设计中一题多解的教学方法

中等职业学校一般开设VB、VC及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。     

反向凝固法生产H90-钢-H90复合带

研究H90-钢-H90反向凝固复合过程中复合层厚度的变化规律以及复合带的组织和性能，探讨界面结合机理。结果表明：随着浸渍时间的增加，复合层的厚度变化经历了凝固生长、平衡相持和回熔3个阶段，钢带的预热温度越低，获得的最大复合层厚度越厚；H90复合层的组织为等轴晶粒，复合界面处Cu和Fe发生了扩散，而Zn未发生明显扩散，扩散层较薄，约为4μm；复合带的界面结合牢固；不同复合层厚度的复合带，其力学性能略有差异，但均达到GB5213——85所规定的F级深冲钢板的力学性能要求。     

如何构建工程项目管理企业知识管理框架

就工程项目管理企业知识管理建设框架进行了理论的阐述，从建立支持企业知识共享、创新的平台和促进该平台运作的机制提出了知识管理中最重要的两点，指出进行企业知识管理建设对企业未来发展具有重要的影响。     

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.     

A hybrid extended finite element/level set method for modeling phase transformations

A hybrid numerical method for modelling the evolution of sharp phase interfaces on fixed grids is presented. We focus attention on two‐dimensional solidification problems, where the temperature field evolves according to classical heat conduction in two subdomains separated by a moving freezing front. The enrichment strategies of the eXtended Finite Element Method (X‐FEM) are employed to represent the jump in the temperature gradient that governs the velocity of the phase boundary. A new approach with the X‐FEM is suggested for this class of problems whereby the partition of unity is constructed with C¹(Ω) polynomials and enriched with a C⁰(Ω) function. This approach leads to jumps in temperature gradient occurring only at the phase boundary, and is shown to significantly improve estimates for the front velocity. Temporal derivatives of the temperature field in the vicinity of the phase front are obtained with a projection that employs discontinuous enrichment. In conjunction with a finer finite difference grid, the Level Set method is used to represent the evolution of the phase interface. An iterative procedure is adopted to satisfy the constraints on the temperature field on the phase boundary. The robustness and utility of the method is demonstrated with several benchmark problems of phase transformation. Copyright © 2002 John Wiley & Sons, Ltd.     

Paper remote: an augmented television guide and remote control

The television (TV) is one of the most common entertainment devices in homes. Searching and finding TV programs is a common task and using TV guides is one way of performing this. This paper presents three studies that are focused on examining audiences’ TV habits and TV guide usage, evaluating a new concept based on linking paper and pen with TV technology, and studying the audiences’ attitudes toward and anticipated interest in the future guide. The results of our first study emphasize the value of using paper based TV guides and also identify the deficiencies. We also found indications that the advantages and disadvantages of paper-based TV guides are related to the physical properties of paper. Thus, we suggest a solution that uses digital pen and paper technology to offer a new interaction method for TV. A research system “Paper Remote”, is developed and used in the two subsequent studies. Viewers tick designated areas on the paper-based guide to perform actions such as channel switching. However, this solution is not a substitute for the remote control device. We argue that these user studies on linking digital paper to the TV for everyday information navigation illuminate the possibilities of providing innovative solutions also for home information systems also.