带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[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.     

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作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

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

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

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

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

纤维混凝土在水工建筑工程中的应用(上)

概述改性混凝土垢发展情况，介绍纤维混凝土在国内外水工建筑物上的应用实例，提出钢纤维增强钢筋混凝土水工建筑结构强度计算方法。包括受弯构件正截面强度，斜截面抗剪强度的计算；重点介绍了网状钢纤维增强混凝土（FOC）在水工建筑物上的应用，包括在渡槽，闸门，小型拦河坝，轻型岸型等工程上的应用实例，T新梁正斜截面的强度计算，板材承载力计算的方法。     

四川南桠河一期工程姚河坝水电斜井开挖施工技术浅论

以姚河坝水电站引水隧洞50°倾角、长度为194.734m的斜井开挖为实例,从施工测量、开挖方法、通风防尘、临时支护斜井及安全施工等方面探讨长洞身、大倾角斜井在无爬罐条件下的人工开挖方法.     

Continuous precipitation of calcium sulfate dihydrate from waste sulfuric acid and lime

Precipitation of calcium sulfate dihydrate, gypsum, from (i) a pure sulfuric acid/lime suspension and (ii) a waste sulfuric acid/lime suspension in a continuous pilot plant in the temperature range from 40 °C to 80 °C was studied. It was observed that in the case of waste sulfuric acid with a high content of Mg²⁺ and Fe²⁺ ions, several hours after the beginning of the precipitation, partial dissolution of the product and modification of the crystals from needle‐ and plate‐like to agglomerated structures occurred. It is suggested that the secondary changes occur due to the increased concentration of Mg²⁺ and Fe²⁺ ions in the reactor. Below 60 °C, and above 70 °C plate‐like and needle‐like single crystals respectively were formed. The mean size (d₅₀) of the crystals was found to increase with increasing temperature and decrease with the initial concentration of lime. Gypsum produced between 70 °C and 80 °C is suitable for further processing for construction plaster. In a precipitation process with pure sulfuric acid only single perfect needle‐like crystals occurred. Copyright © 2005 Society of Chemical Industry