Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

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

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

液相添加剂对PTCR陶瓷电性能的影响

液相添加剂ＡＳＴ（Ａｌ２Ｏ３＋ＳｉＯ２＋ＴｉＯ２）对ＢａＴｉＯ３陶瓷材料电性能的影响很大，随着Ａｌ２Ｏ３含量的增加，材料的电性能降低；ＳｉＯ２、ＴｉＯ２的物理特性对材料电性能影响较大；过量ＴｉＯ２对材料ＰＴＣ效应有重要影响，适当过量ＴｉＯ２含量，可得到性能优良的ＰＴＣＲ陶瓷。     

水溶性涂料使用性能研究

本文通过试验对水溶性涂料的耐盐雾腐蚀性能，耐热性能，高低温冲击性能，耐油性能，涂膜与铁基体，面漆的给合力及涂膜表面电阻进行研究，同时指出了该涂料在军用电子产品上的应用前景。     

Evaluation of Qbd for electrons tunneling fromthe Si/SiO2 interface compared to electron tunneling from thepoly-Si/SiO2 interface

Electrical time-to-breakdown (TTB) measurements have shown the charge to breakdown Q_bd of gate oxide capacitors fabricated on n-type well (n-well) substrates always to be higher than that of capacitors on p-type well (p-well) substrates on the same wafer when both are biased into accumulation under normal test conditions. Here the authors correlate the higher n-well Q_bd to smooth capacitor oxide/substrate interfaces and minimized grain boundary cusps at the poly-Si gate/oxide interfaces, confirming that Fowler-Nordheim tunneling is the dominant current conduction mechanisms through the oxide. They correlate higher Q_bd to higher barrier height for a given substrate type and observe that the slope of the barrier height versus temperature plot is lower for both p-well and n-well cases with electrons tunneling from the silicon substrate. This is attributed to surface roughness at the poly-Si gate/SiO₂ interface. A poly-Si gate deposition and annealing process with clean, smooth oxide/substrate interfaces will improve the p-well breakdown characteristics and allow higher Q_bd to be achieved     

提高大直径井眼机械钻速的几项措施

随着我国西部地区石油勘探开发的进展，5000－7000m的深探井所钻数量不断增多，套管程序增加，特别是大尺寸井眼所钻深度明显加大。由于国产大尺寸钻头结构单一、型号少，破岩机械能量和水力能量不足，在易斜井段目前尚无可靠的防斜保直措施，以及钻井液性能不适宜等原因，大尺寸井眼的钻这远远低于215．9mm井眼的钻速。据此，提出了几项可以提高大尺寸井眼钻速的措施：增加大尺寸钻头的种类，采用阶梯式扩眼钻头，强化钻井参数和水力参数，选用中速动力钻具，改善钻井液性能以及采用冲击旋转钻具等。     

几何位相非线性变化的实验研究

本文报道了Pancharatnam位相非线性变化的实验研究，实验结果与理论预言符合得很好。Pancharatnam位相的这种非线性可能在光开关中得到应用。     

一种独立于被管系统的网络性能管理系统

本文提出了一种在广播信道上基于倾听机制的独立网络性能管理系统。这种系统适用于用物理广播信道连接，但存在多种协议体系结构的网络系统，例如ＣＩＭＳ网络。     

Processing and microstructural evolution of powder metallurgy Zn-22 Pct Al eutectoid alloy containing nanoscale dispersion particles

The present article deals with the processing and microstructural evolution of powder metallurgy (PM) Zn-22Al pct eutectoid alloy. The powder material was produced through inert gas atomization and then cryomilled in liquid nitrogen. The milled powder particles were consolidated by hot isostatic pressing (“hipping”) followed by thermomechanical treatment, resulting in a two-phase microstructure. The microstructures were characterized using scanning electron microscopy (SEM) and transmission electron microscopy (TEM). The principal processing factors and microstructural characteristics associated with the major processing steps, including spray atomization, mechanical milling (MM), consolidation, and heat treatment, were evaluated and discussed. Hot isostatic pressing and extrusion followed by heat treatment to produce the superplastic structure (Al-rich phase and Zn-rich phase) are effective in elimination porosity. A TEM examination of the microstructure of the alloy after processing reveals the presence of nanodispersion particles that are not uniformly distributed. The formation of the dispersions was attributed to the interaction between the powder material (primarily Al phase) and environmental elements such as oxygen and nitrogen during milling. Moreover, the size and distribution of the dispersions present in the bulk material met the anticipated requirements for serving as inhibitors for grain growth and barriers for dislocation movement. The TEM observations on crept specimens reveal extensive dislocation/dispersion interactions.     

建筑业企业税赋负担存在的问题和建议

本文针对我省建筑业企业发展现状,分析了企业税赋负担存在的主要问题,提出了解决问题的建议措施。