带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

Processing of Yttria-Alumina Coated Silicon Nitride Slips by Slip Casting

Si₃N₄powders coated with 6 wt% Y₂O₃and 4 wt% Al₂O₃were prepared by coprecipitation. The resulting powders were dispersed in water at different pH values and with addition of various amounts of ammonium polyacrylate (NH₄PA) to produce 32 vol% slips. The influence of the amount of NH₄PA solution added and pH on the rheological properties of 32 vol% coated Si₃N₄slips were studied. In addition, the sintered density of cast samples was determined and related to the degree of slip dispersion. The adsorption of the NH₄PA on the coated particle surface was rather high and the surface became saturated near 0.86 mg/m²at pH 9.2. High NH₄PA concentrations (1.7–3 wt%) were necessary to obtain well dispersed 32 vol% coated Si₃N₄slips at pH 9.2. The best stabilization was obtained with the addition of 2.3 wt% NH₄PA; in this condition, the viscosity reached a minimum value of 35 mPa.s at 100 s^–1. The slip viscosity increased with increasing pH from 9.2 to 10.2. Slips with low viscosities gave a more dense packing of cast samples and consequently higher sintered density values.     

压型钢板组合楼板承载力的有限元分析

压型钢板组合楼板是 2 0世纪发展起来的一种新型结构形式。它具有显著的优势 ,如轻质、高强 ,施工快捷等 ,将在未来的建筑领域中大有作为。组合楼板的承载力主要取决于钢板 -混凝土界面处的抗剪强度。建立了一个二维有限元模型来研究单向组合板的性能。并将计算结果与试验数据进行对比 ,验证了模型的有效性     

NADRA 3D information technology for analysis of processes in multicomponent soil media

This paper considers the principles of algorithmic and software implementation of the software system NADRA 3D designed to analyze processes in three-dimensional multicomponent soil media. The principles of operation of NADRA 3D are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 157–174, November–December 2006.     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

全站仪在直升机悬停测试中的应用

介绍了如何将改造后的全站仪应用于直升机悬停性能测试的方法。经真实飞行试验检验，该方法理论严密，方案合理，改装简单，操作方便，成本低廉。较之原始的摄影测量法有无法替代的优点。     

气压传动与控制在电子专用设备上的应用

气压传动与控制已成为电子专用设备研制过程中一项不可缺少的内容 ,必须进行合理的气动系统设计及其控制 ,选择相应的气动元件以满足设备的功能要求。概述了气压传动与控制在电子专用设备上的应用。     

X60管线钢疲劳特性的研究

利用2、4和14mm的X60钢紧凑拉伸试样进行同样应力水平、固定应力比（R＝0．1）的疲劳裂纹扩展试验，揭示出高韧性管道钢的疲劳裂纹扩展存在显著的厚度效应。由于应力水平低，相应的离面应力也低，不足以导致分层开裂，因此，裂纹端部的三维应力约束随厚度增加而增大。4mm试样的疲劳裂纹速率远高于2mm试样，但厚度再增大，裂纹扩展速率不再有显著变化。进一步对表面裂纹试样进行疲劳裂纹扩展试验，并用勾线法纪录裂纹扩展情况，利用穿透裂纹的da/dN-ΔK曲线预测表面裂纹扩展，用2mm厚试样的数据控制裂纹表面长度的扩展，用14mm厚试样的数据控制裂纹底部沿厚度方面的扩展，得到了与表面裂纹扩展实验吻合很好的预测结果。     

The suitability of round clinching tools for high strength structural steel

The use of light gauge steel framing is increasing rapidly. New methods for joining frames are being sought. One of the most promising methods is clinching. Clinching has been used for almost 20 years. There has been much research into the method, the tools, suitable materials and applications. Few articles have been published concerning clinching of high strength structural steels, which are currently the most relevant materials for house construction.This study included 11 different clinching methods. In total, 469 test pieces were produced. Despite the high strength of the materials, all the clinching methods that were examined could be used satisfactorily. The most significant result was that a round tool is appropriate for all the materials tested. In fact, in comparison with results obtained using other types of tool, when the methods were ranked by maximum shear load capacity, the round design appeared in the top three classes seven times out of nine.