带类型λ—演算

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

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

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

柳沟庄—窟窿山油藏储集层裂缝类型及特征

根据岩心描述、薄片观察、X－CT扫描以及钻井、测井等资料，研究了酒西盆地青西坳陷柳沟庄－窟窿山油藏裂缝性储集层的类型及特征，分析了控制裂缝发育的地质因素及裂缝对油气的控制作用，认为储集层裂缝有3种基本类型，即构造裂缝、构造熔蚀缝和饼状破裂，主要受构造应力场及构造位置等因素的控制。根据裂缝形态、充填特征及其相互关系，裂缝的形成主要有3个期次，其中喜马拉雅运动晚期形成的第三期理解缝对油气运移和聚集最有效。研究结果表明，裂缝是柳沟庄－窟窿山油藏主要的储集空间和控制油气富集的因素。     

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

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

Si基膜片型气敏传感器微结构单元的热学性能

微结构气敏传感器由于其微型化、低功耗、易阵列化和易批量生产等优点而受到国内外研究者的广泛关注。利用微机电系统（MEMS）加工技术，制备Si基膜片型微结构单元，并分析其热学性能。这种单元工作区温度为-300℃时，加热功率约75mW；并且膜片工作区的热质量很小，温度可以于毫秒量级的时间内，在室温和450℃之间调制。利用这种微结构单元，可以在温度调制方式下，研究气敏薄膜的电学特性和敏感机理。     

浅谈水利枢纽道路工程建设中的几个问题及其对策

从水利枢纽工程建设的实际出发,分析了枢纽道路建设中的几个值得考虑的基本问题。针对永久性道路的建设环境和建筑特点以及临时性道路的复杂性和多样性,提出了永久性道路和临时性道路建设的基本对策。基于高新技术材料HEC作为道路建筑胶凝材料的实际工程应用,在道路结构布局观念、设计思想、建筑选材和施工工艺及其技术经济性能比等方面提出了枢纽道路工程建设的实施方案,其有效性和可推广性在水布垭道路工程建设中得到了印证。     

千米桥东潜山天然气地球化学特征及成因探索

通过地化分析，结合地质条件等，对千米桥东潜山天然气地球化学特征进行了剖析，并对其气藏的形成进行了探索，结果认为：千米桥东潜山天然气为无机二氧化碳、偏腐殖型有机气，腐泥型有机气的复合气，主源为东部歧口凹陷沿岩带深层（偏）腐殖型气，烃类气体聚集时间晚，为更新世明化镇沉积时其，而无机二氧化碳聚集时间早于烃类气体；与千米桥凝析气藏不同的是该气藏CO2含量高。     

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

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

海河流域河道外生态需水研究

水土流失是海河流域较为突出的生态环境问题之一。经对比研究发现，植被覆盖度的变化会通过影响洪充量，土壤侵蚀量等因子，进而改变水土流失的状况。从提高植被覆盖度尤其是低覆盖度草地植被的角度出发，定量研究了为改善流域水土流失状况河道外生态需水的具体数额，得出海河流域现状年河道外生态耗水（降水）385亿m^3。另外，为改善河道外生态环境状况将低覆盖度草地提高地提高至中等覆盖度水平，则需要增加生态需水12．5亿m^3。     

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

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