带类型λ—演算

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

微型真空力敏器件的研究

本文首次用电荷模拟法计算了真空微电子力敏传感器的场致发射阴极与阳极间的电场分布,同时计算了<100>晶向的方形硅薄膜受压形变与压力的关系,进而得出了这种传感器的电流-压力曲线.还做了水槽模拟电场分布的实验,理论与实验符合的很好.     

应用粒子动态分析仪研究水力旋流器流场

利用粒子动态分析仪(PDA),对水力旋流器内固相颗粒流场做了全面的测定,得出水力旋流器内固相颗粒的流态、浓度及粒度分布,为进一步查清水力旋流器的工作机理提供了重要理论依据。     

基于焊接温度场正面信息的熔透控制方法及验证

在所建立的试件有限尺寸三维温度场解析模型的基础上,利用相关性原理同时考虑温度变化的灵敏度问题,定量地给出了控制背面熔宽时正面测温点的选择区域,提供了测温点的一般选择原则,讨论了基于温度场正面信息的GTAW熔透控制方法,运用仿真手段进行了PID参数优化设计,通过试验验证了PID和FUZZY复合控制的有效性。     

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

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

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

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

利用反射纵波评价裂缝倾角的模拟实验研究

声波全波列测井中的反射纵波可以用来评价高角度裂缝和对井周附近地质结构进行成像。目前的研究主要侧重于直接从波形资料处理出发计算裂缝的位置和倾角 ,其可靠性和准确性无从评价和校验。文中采用模拟实验的方法记录了倾角为 6 0°～80°范围内的 8种倾角裂缝的反射脉冲纵波波形 ,自行推导了反演裂缝倾角的公式 ,结合波场分离技术对实验测量波形数据进行了处理 ,计算出的裂缝倾角与实际值具有良好的一致性。本文结果表明 ,利用至少 2个深度点的纵波反射波波形资料就可以准确地反演裂缝的倾角     

油田污水中咪唑啉缓蚀剂浓度检测技术研究

研究评价了油田污水中咪唑啉缓蚀剂浓度检测的七种方法 ,其中紫外光分析法和显色反应法适合于低浓度咪唑啉缓蚀剂检测 ,且方法简便、速度快、成本低 ,检测浓度范围 2～ 5 0mg/L。     

地壳应力场和密度场资料在油气检测中的应用

依据卫星轨道摄动测量结果反演的地壳区域构造应力场和密度场资料，可圈定油气区域构造圈闭和储集油气的低密度层。计算绘制了闽江口扇形洲区域构造应力场和密度卫星遥感图，图上显示出东海近海闽浙中拗陷含油气带与温东丽水油气构造带相接，敖江口官岭与闽江口川石储岛沥青苗等迹象都在此范围内，在闽江口扇形洲东部沿海沙泥沉积区，邻区东海宽长带深厚海沙软泥沉积区及本区北部罗源湾，用大地电磁CSAMT检测到1000－3000m深度范围内的低阻率地层，与本区卫星遥感图图低密度场相符。     

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

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