C代码API一致性检验中的等值分析

在实际中对C代码进行API一致性检验的过程中发现，API(application programming interface)规范大都涉及以数值为论域的时序性质与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口．在仔细考察c代码变量符号间等值关系的基础上，给出基于值等价类空间的等值分析方法．这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系，而且由于能够屏蔽等值关系以外的其他信息，还可以为后继分析的优化提供有力的支持．

Dissociated screw dislocation which can relieve strain energy in the epitaxial layer of GeSi on Si(001)

A dissociated screw dislocation parallel to the interface was found in the epitaxial layer of the Ge0.17Si0.83 Si(001) system. It is shown that this dissociated screw dislocation which consists of two 30 degrees partials can relieve misfit strain energy, and the relieved misfit energy is proportional to the width of the stacking fault between the two partials.

W/Si,WSi2/Si和W/TiN纳米多层膜的成膜特性和热稳定性

国家自然科学基金

Determination of the interdiffusion coefficients of liquid Zn and Sn using Ta/Zn-Sn/Si trilayers

In this paper we present a new method for measuring diffusion coefficients in liquid metals under convection-less conditions with solid/liquid-liquid/solid trilayer. The advantage of this kind of trilayer is that effects from gravity-induced convection and Marangoni-convection can be omitted, so that the diffusion coefficient is determined more accurately. The Ta/Zn-Sn/Si trilayer were prepared with a multi-target ion-beam sputtering deposition technique and annealed in an electric furnace under an argon atmosphere. The interdiffusion of liquid zinc and tin at 500 degrees degree C was investigated. The diffusion concentration profiles were determined by energy dispersive spectroscopy. The interdiffusion coefficients range from 1.0x10(-6)cm(2)/s to 2.8x10(-6)cm(2)/s, which is less than previous values measured by capillary reservoir technique under 1g-environment where various convection exist. The precise interdiffusion coefficients of liquid zinc and tin result from the removing of disturbances of various kinds of convection.

基于WinSock API局域网通信的应用与实现

介绍了Winsock API(Windows Sockets API)通信原理,讨论了Winsock API实现异步通信的具体方法,以及解决多客户端的连接技术,最后给出了相应的关键性程序代码。

Can the nuclear symmetry potential at supra-saturation densities be negative?

In the framework of an isospin-dependent Boltzmann-Uehling-Uhlenbeck (IBUU) transport model, for the central Au-197 + Au-197 reaction at an incident beam energy of 400 MeV/nucleon, the effect of nuclear symmetry potential at supra-saturation densities on the preequilibrium clusters emission is studied. It is found that for the positive symmetry potential at supra-saturation densities the neutron-to-proton ratio of lighter clusters with mass number A less than or similar to 3 [(n/p)(A less than or similar to 3)] is larger than that of the heavier clusters with mass number A > 3 [(n/p)(A>3)], whereas for the negative symmetry potential at supra-saturation densities the (n/p)(A less than or similar to 3) is smaller than the (n/p)(A>3). This may be considered as a probe of the negative symmetry potential at supra-saturation densities.

ANUDEM和TIN两种建立DEM方法的对比研究

针对流域水文和土壤侵蚀定量模拟分析需要,对基于TIN和Hutchinson方法建立的DEM表现地形形态和起伏的能力进行了对比研究。结果表明,基于TIN建立的DEM始终存在一些平顶现象,一些较小的侵蚀沟被忽略,其上提取的河流不完全连续,多处出现多重线条河流,因而不能如实地反映地形起伏的细部特征。而基于ANUDEM建立的DEM,其派生等高线的形状与输入等高线吻合较好,较好地表现了地形的形态和起伏,对地形和坡度的反映更加连续和光滑,其上提取的河流信息基本与地形图上的河流一致。

The influence of mischmetal and tin on the microstructure and mechanical properties of Mg-6Zn-5Al-based alloys

The influence of the addition of mischmetal (MM) and tin (Sn) (total content of mischmetal and tin = 4 wt.%) on the microstructure, aging behavior and mechanical properties of Mg-6Zn-5Al-based alloys has been investigated. The microstructure of the as-cast alloys consists of alpha-Mg. Mg-32(Al,Zn)(49), Al2Mg5Zn2, Mg2Sn and Al2MMZn2 phases, and the morphology of these intermetallic phases varies with different MM and Sri additions.