带类型λ—演算

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

HA型粘结剂性能评判的研究

冷固结球团直接还原工艺成功的关键因素之一是成型粘结剂的选用。粘结剂性能评判 ,传统的方法是通过考查球团矿的机械强度来说明粘结剂性能的优劣 ,步骤繁锁。经过试验研究 ,本文提出了用粘度大小来评判粘结剂性能的直接方法并从理论上进行了论证。对于 HA型复合粘结剂 ,在六速旋转粘度计上测量 ,50 g复合粘结剂的粘度若大于或等于 6.5× 1 0 -3 Pa·s,表示粘结剂性能较好 ,能满足铁精矿冷固球团直接还原工艺的要求 ;若小于或等于 3.0× 1 0 -3 Pa· s,则表示该粘结剂性能较差。     

分离式热管换热器在脱硫装置的应用

介绍了分离式热管换热器的工作原理及其在工业脱硫装置中的应用，并不其余热回收情况与传统的二次中热方法相比较，阐明了其节能及环保作用。     

气泡在粘弹性液体中溶解的研究进展

在发泡塑料的制造过程中，均相气体－聚合物体系的形成直接影响了制品的物理机械性能，因此了解气泡在粘弹性液体中的溶解机理成为必然。本文讲述了气泡在流体中塌陷行为的研究进展。对Rayleigh对低粘度牛顿流体，Foqer和Goddand在无线量线性Maxwell模型的粘弹性体，Tanasawa和Tang用oldroyd三常数粘弹模型等科学家的研究行为做了概述，总结出影响此过程的复杂的影响因素，并指出进一步的研究方向。     

利用新型场效应管(QFET)的正向变换器

介绍了单端正向变换器基本电路，重点叙述带三路调节DC电压的100KHZ180W离线电源。它采用具有低导电阻RDS和低栅极电荷Qg的新型场效应管（QFET）作为变换电路的主开关器件，降低了电源开关损耗并提高了效率3%-5%。     

�Ĵ������Ȼ�����������б�����Դ̽��

本文应用天然气中甲烷、乙烷的碳同位素,甲烷的氢同位素,汞含量及天然气成分等指标,探讨了四川盆地天然气成因分类;并结合地质情况对气源层进行了探讨。     

裂齿矩形翅片板翅式换热器优化设计的分析

对裂齿矩形翅片板翅式换热器中的裂齿矩形翅片的传热效率作了分析,并以单位质量材耗的换热能力最大为目标函数,分析研究了在不同雷诺数(Re)的操作条件下裂齿矩形翅片间角度、翅片厚、长度、宽度及极厚之间的关系。结果表明:在气体换热的场合下,当Re在某一范围时翅片可有效地起到强化传热的作用。当板厚为5mm,翅片厚为3mm,翅片间夹角为45°～70°,Re为2×10~3～8×10~3,最佳翅片纵向间距与翅片长度和翅片厚度乘积的平方根的比为1.5～2.5,最佳翅片尺寸系数为3～5时,传热强化效果较好。     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

国产螺旋槽密封在进口压缩机上的应用

介绍了国产螺旋槽密封在进口压缩机上的应用，分析了原进口机械-浮环组合密封的失效原因，叙述了改造后国产浮环螺旋槽组合密封的结构和特点。     

PDC钻头在东海西湖凹陷的实践与认识

文章针对在东海西湖凹陷六口井 31 1 .2mm及 2 1 5 .9mm井眼所使用的PDC钻头统计分析 ,并结合笔者自己使用PDC钻头的实践 ,提出使用PDC钻头时注意环节 ,建议针对西湖凹陷地层的特点选择适合该地区的PDC钻头类型