带类型λ—演算

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

Modeling of Diffusion in Capillary Porous Materials During the Drying Process

This paper presents a model of heterogenous diffusion in capillary porous materials during the process of drying. The governing heat and mass transfer equations have been established using the liquid as well as vapor flow. Two models have been presented. Model 1 does not consider the heat conduction while the model 2 has been established by considering the conduction. The developed models and the numerical solutions of the resulting differential equations can take into account the moisture and temperature dependent thermophysical properties of the product. All equations have been established in spherical coordinates but the programme written for the purpose of calculations can be used for other geometries also. Numerical calculations have been performed for gas concrete and tiles using model 1, while model 2 has been used for gas concrete only because of the lack of data for thermophysical properties of the tile. For gas concrete it was seen that conduction has only marginal effect on the drying process and the numerical predictions of the drying process were reasonably accurate.     

Nitric oxide reduction and carbon monoxide oxidation over carbon-supported copper-chromium catalysts

Carbon supported copper-chromium catalysts are shown to be very active for both the reduction of nitric oxide with carbon monoxide and the oxidation of carbon monoxide with oxygen. Mixed copper-chromium oxide active phases have good activity in the simultaneous removal of nitric oxide and carbon monoxide from exhaust gases. The influence of several catalyst variables has been investigated. The activity per volume of catalyst increases with increasing loading, while the intrinsic activity shows a maximum around C/M=100−50. An optimum catalyst for nitric oxide reduction and carbon monoxide oxidation has a copper/chromium ratio of 2/1. The apparent activation energy for the carbon monoxide oxidation over carbon supported copper-chromium catalysts is 77 kJ/mol, suggesting that the Cu---O bond rupture is the rate-limiting process. The reduction of nitric oxide takes place at higher temperatures. Since all catalysts have a low selectivity for molecular nitrogen formation at lower temperatures, the dissociation of nitric oxide is probably rate determining, resulting in a slightly reduced catalyst system. In an excess of carbon monoxide the reaction is first-order in nitric oxide and zero-order in carbon monoxide. Moisture inhibits the reaction by reversible competitive adsorption, whereas carbon dioxide does not. Oxygen completely inhibits the reduction of nitric oxide due to the more rapid reoxidation of the catalytic sites compared to nitric oxide. Therefore, the reduction of nitric oxide takes place only when all oxygen has been converted and, hence, is shifted to higher temperatures. As a possible consequence, the production of nitrous oxide is reduced. Nitric oxide and molecular oxygen react preferentially with carbon monoxide, so, in an excess of oxidizing component, gasification of the carbon support occurs at higher temperatures after carbon monoxide has been completely consumed.     

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.     

CMF300M355NU型质量流量计在油库汽车装车中的应用

介绍了质量流量计的工作原理有应用效果。这种新型质量流量计精度高，稳定性好，示值计量简便，可直接显示质量、流量、介质温度、密度等，维护量低，但必须正确安装、使用，才能发挥其应有的作用。     

Theoretical analysis of heat transfer in laminar pulsating flow

Pulsation effect on heat transfer in laminar incompressible flow, which led to contradictory results in previous studies, is theoretically investigated in this work starting from basic principles in an attempt to eliminate existing confusion at various levels. First, the analytical solution of the fully developed thermal and hydraulic profiles under constant wall heat flux is obtained. It eliminates the confusion resulting from a previously published erroneous solution. The physical implications of the solution are discussed. Also, a new time average heat transfer coefficient for pulsating flow is carefully defined such as to produce results that are both useful from the engineering point of view, and compliant with the energy balance. This rationally derived average is compared with intuitive averages used in the literature. New results are numerically obtained for the thermally developing region with a fully developed velocity profile. Different types of thermal boundary conditions are considered, including the effect of wall thermal inertia. The effects of Reynold and Prandtl numbers, as well as pulsation amplitude and frequency on heat transfer are investigated. The mechanism by which pulsation affects the developing region, by creating damped oscillations along the tube length of the time average Nusselt number, is explained.     

栲胶法变换气脱硫工艺

介绍了栲胶法脱硫的原理，工艺流程及规整填料在脱硫塔中的应用。     

飞机液压系统污染及控制

本文全面分析了收音机液压系统污染的危害和主要原因，并在此基础上有针对性地提出了预防措施。     

薄板坯连铸工艺液芯压下的有限元分析

简要介绍世界几种主要薄板坯连铸工艺。着重叙述应用大型通用商业软件MSC.MARC。模拟液芯压下时铸坯的变形，确定最佳压下方案的有限元分析，液芯压下应该在结晶器出口处及二冷区扇形段开始部分进行，这样能减小铸坯的应变。