带类型λ—演算

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

PP－g－AA的制备和表征

用熔融接枝方法制备了聚丙烯－ｇ－丙烯酸（ＰＰ－ｇ－ＡＡ）。用光电子能谱，广角Ｘ射线衍射，红外光谱和化学滴定方法对接枝物进行了定性和定量表征。讨论了单体和引发剂浓度对接枝率的影响，确定了用红外光谱法测定接枝物含量的经验公式     

用晶种技术解决低品位石灰石配料中存在的问题

采用晶种技术，能有效地改善熟料的煅烧过程和熟料的质量。晶种和复合矿化剂的作用机理不同，在某些方面具有互补性。     

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

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

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

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

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

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

Molecular correlations in sheared thermotropic copolyesters showing banded textures

Banded textures produced in a thermotropic liquid crystal polymer by shearing between glass slides are examined by using both transmission electron and polarized light microscopy. The periodic variation in director orientation about the shear axis, as measured by light microscopy, is shown to be distinctly different from that indicated by electron diffraction. Measurements of birefringence and observation of Zernicke phase contrast indicate periodic variations in optical properties of the polymer, in step with the bands. Such effects are accounted for in terms of a synchronous rotation of the planar aromatic groups about the molecular chain axes. Evidence for an out-of-plane component of molecular orientation is also presented.     

隐蔽油气藏的勘探

分析了华北探区隐蔽油气藏类型及其分布特征，指出了隐蔽油气藏围绕生油中心分布，并提出其分布的有利区带，箕状凹陷的陡坡带分布砂，砾岩体油气藏；洼槽带分布三角洲前缘砂体和浊积岩油气藏；斜坡带分布地层－岩性油气藏；大断层下降盘负地形分布河道砂岩性油气藏，隆起区古山梁是潜山油气藏分布的有利区带。列举了两个隐蔽油气藏的勘探实例，总结了隐蔽油气藏的研究方法。     

激光晶体Nd:YVO4的形貌及生长缺陷

本文报道了应用环境扫描电镜（ESEM）和同步辐射X射线白光形貌术对采用提拉法生长出的Nd:YVO4晶体进行的形貌及生长缺陷的分析,获得了该晶体的开裂表面的ESEM形貌像以及取自晶体肩部和中间部位的（001）面的同步辐射白光形貌像,观察到了位错、包裹物等缺陷,可为生长高质量的Nd:YVO4晶体提供重要的启示.     

Si1-xGex/Si应变材料的生长及热稳定性研究

利用分子束外延（MBE）技术生长了Ge组份为0.1-0.46的Si1-xGex外延层。X射线衍射线测试表明，SiGe/Si异质结材料具有良好的结晶质量和陡峭界面，其它参数与可准确控制。通过X射线双晶衍射摆曲线方法，研究了经700℃、800℃和900℃退火后应变SiGe/Si异质结材料的热稳定性。结果表明，随着退火温度的提高，应变层垂直应变逐渐减小，并发生了应变弛豫，导致晶体质量退化；且Ge组分越小，Si1-xGex应变结构的热稳定性越好；室温下长时间存放的应变材料性能稳定。