中子辐照金刚石生成卡宾碳

金刚石在中子辐照下发生相转变,得到了线性结构的卡宾碳。所得产物为覆盖金刚石表面的黑色薄膜状物质,其拉曼光谱在2191cm-1处有强峰,归属于C≡C伸缩振动;同时,其俄歇电子谱的峰位与金刚石相比有5eV的位移,证实了卡宾碳的存在。在中子辐照条件下,金刚石向卡宾碳的转化可能是通过碳原子堆垛形式发生变化而实现的。     

Cu—Zn—Al系合金热弹性马氏体相变的热滞

本文通过热处理工艺及添加第四组元研究了Cu－Zn－Al系记忆合金的相变热滞。结果表明，淬火冷却速度影响合金的相变热滞大小，随着母相时效时间的延长，马氏体相变热滞变大．Mn元素的加入可以减小CU－Zn－Al合金相变热滞．     

β″－Al_2O_3陶瓷的强化和韧化

研究了稳定ＺｒＯ＿２和部份稳定ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的强化和韧化作用，观察了不同种类、不同含量的ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的显微结构、力学性能和电导率的影响，探讨了β″－Ａｌ＿２Ｏ＿３的韧化机理。     

铸铁热分析用试样新型激冷剂的实验研究

从冷却曲线上相变段倾角最小原则出发，研究了新型激冷剂的配比与热分析法检测铸铁成分精度的关系，实验结果表明，能使相变段倾角最小的成分配比，也能提高对铸铁成分的热分析和检测精度。     

苯并口恶嗪-环氧化合物-胺类催化剂体系开环聚合反应的研究

采用TLC，GPC，1H－NMR及IR等分析方法，对苯并恶嗪－环氧化合物－胺类催化剂体系的聚合反应进行了研究，表征了产物结构，并探讨了聚合反应机理，结果表明，苯并恶唪－环氧化合物体系在胺类催化剂如苄胺，咪唑的作用下，能发生开环聚合反应，生成低分子量的聚合物。     

Sensitizing Mechanism and Adsorption Properties of Dye—Sensitized TiO2 Thin Films

The dye-sensitized TiO2 complex films were prepared by the dye coat onto TiO2 surfaces,and the sensitizing mechanism and adsorption properties of the dye-sensitized TiO2 complex films were inverstigated.The influence of the application conditions of dye adsorbed on TiO2 films on the amount of dye adsorption was discussed.Experimental results show that the concentration,the temperature of dye solutions and the dipping time of TiO2 films in the dye solutions have a significant influence on the amount of dye adsorption.Cell test indicates that the conversion efficiency of light to electricity increases with the amount of dye adsorption.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

二阶A型Cooper变换的增强型

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

Growth of Fe on Si (100) at room temperature and formation of iron silicide

Low-energy electron diffraction (LEED), Auger electron spectroscopy and X-ray photoelectron spectroscopy (XPS) investigations of both the growth of an iron film on silicon (100) at room temperature and the subsequent formation of iron silicide are the subjects of this paper. An in-situ cleaned silicon (100) wafer without carbon or oxygen contamination exhibiting the known 2 × 1 reconstruction in the LEED pattern served as the substrate. Iron was deposited on this reconstructed surface at 300 K. The comparison of theoretical calculations based on three growth mechanisms with XPS data obtained with take-off angles of 0° and 50° clearly demonstrates a layer-by-layer growth of the iron film on silicon (100). At 300 K no formation of iron silicide was observed, although an interaction between iron and silicon could be detected at the interface. The formation of iron silicide was observed at annealing temperatures of 630–730 K. Quantitative XPS analysis yields the presence of FeSi₂, when the thickness is large enough. Neither the iron film on silicon nor the silicide shows any LEED pattern.     

Validation of a Method of Determination of Apparent Diffusivity Versus Composition in Solids

A method is presented for computing the values of apparent diffusivity in solids with respect to the concentration of the diffusing substance (water or sodium chloride). This method does not require any assumption upon the mathematical relationship between diffusivity and concentration. It can be applied to experimental measurements of local concentration versus position within the solid (profiles) with relatively few measurements (circa 10) and a mathematical smoothing of the experimental data by using an artificial neural network model. The method was first validated on simulated data obtained by using a constant diffusivity value and on experimental profiles when the relation between diffusivity and concentration was given. It was then applied to original experimental moisture profiles obtained by putting gelatin gels with different initial moisture contents into contact for up to 14 days. The method was also successfully applied to five sets of experimental moisture and sodium chloride profiles taken from the literature and obtained from different food products. Apparent diffusivities calculated by our method were found in agreement with those obtained by authors using different numerical methods to compute the diffusivity values.