带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[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个期次，其中喜马拉雅运动晚期形成的第三期理解缝对油气运移和聚集最有效。研究结果表明，裂缝是柳沟庄－窟窿山油藏主要的储集空间和控制油气富集的因素。     

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

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

液晶显示驱动电路中Fibonacci型电荷泵单元

本文中所设计的电荷泵将用于手机液晶显示驱动模块中.通过对Fibonacci型电荷泵上升时间的估算,对减小上升时间和动态功耗进行折中考虑,本文提出优化开关频率的方法.用1.2μm CMOS双阱工艺参数对所设计的电荷泵进行模拟,结果表明这个电荷泵具有较快的上升速度和较高的效率.通过提高V_GS电平和保证开关管的衬底始终接在最高电位上,文中提出了一种新型Fibonacci电荷泵,它可以正常工作在从1.2V到5V变化的多种电源电压下.     

实用液晶屏产品及相关技术

介绍LCD的分类、选型、背光及一些指标，详细讨论触屏的类别和具体实现。     

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

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

对编写《水轮机》新教材的建议

提出适应新的中等职业《水轮机》教材和课程教学大纲的修改建议。     

新库区储罐及地下钢结构阴极保护的应用及系统运行状况

新库区位于海滩上的回填土区 ,土壤pH值 5～ 6 ,地电阻≤ 2 5Ω·m ,土样含水量 12 %～ 2 4 % ,形成电导率高、透气性好和弱酸性的潮湿土壤 ,具有强的腐蚀性。此外 ,该区的土壤随着时间的推移 ,原海滩的盐碱通过扩散及毛细作用 ,使土壤的腐蚀性随含盐量增加而增强 ;因此 ,对新库区地下钢结构实施电化学阴极保护是很有必要的     

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

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