带类型λ—演算

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

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

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

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

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