带类型λ—演算

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

Efficient Parallel Algorithms for Some Graph Theory Problems

In this paper,a sequential algorithm computing the aww vertex pair distance matrix D and the path matrix Pis given.On a PRAM EREW model with p,1≤p≤n^2,processors,a parallel version of the sequential algorithm is shown.This method can also be used to get a parallel algorithm to compute transitive closure array A^* of an undirected graph.The time complexity of the parallel algorithm is O(n^3/p).If D,P and A^* are known,it is shown that the problems to find all connected components,to compute the diameter of an undirected graph,to determine the center of a directed graph and to search for a directed cycle with the minimum(maximum)length in a directed graph can all be solved in O(n^2/p logp)time.     

合成氨制气中的以水代汽新工艺

提出了应用油水融合技术在合成氨部分氧化法制气中以水代汽的工艺途径，并分析了其效果和意义。     

激光冶炼太阳级硅材料的实验研究

通过实验研究表明，大功率ＣＯ２激光器在廉价硅材料制备中应用的可能性。     

广东省伴生放射性矿资源利用过程辐射水平调查

为加强伴生放射性矿物资源开发利过程中放射性环境管理 ,防治放射性污染 ,对广东省几个大型伴生矿(包括稀土矿、钽铌矿和铅锌矿 )资源利用 (开采、冶炼、加工 )过程中天然放射性核素的污染现状进行了调查。调查结果表明 :稀土矿中独居石 ,天然放射性核素含量最高 ,2 3 8U、2 3 2 Th、2 2 6Ra的含量分别为 3.5 1× 1 0 4、1 .74× 1 0 5、4 .8×1 0 4Bq/kg,其冶炼废渣中核素的含量分别为 5 .1 0× 1 0 5、6 .38× 1 0 6、1 .5 2× 1 0 6Bq/kg。稀土选冶厂周围陆地环境 γ射线的空气吸收剂量率比一般地区的高。     

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.     

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。模拟液芯压下时铸坯的变形，确定最佳压下方案的有限元分析，液芯压下应该在结晶器出口处及二冷区扇形段开始部分进行，这样能减小铸坯的应变。