带类型λ—演算

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

CA／PAN中空纤维血浆分离膜的结构与性能

本研究以CA及PAN的共混溶液,通过干-湿法纺丝制取中空纤维,利用共混高聚物各组分在凝固剂中相分离速度的差异,形成具有稳定结构的中空纤维孔膜,该膜用于分离血液中的血浆成分具有良好效果。讨论了成型条件及添加剂等对膜结构、性能的影响,用SEM及图相分析仪、MAP压汞仪及DSC等分析手段,对膜的微孔结构、形态、孔尺寸及中空纤维膜的血浆通量和水通量等进行了系统的考查。     

洞庭湖流域某些水库,泉水和自然保护区环境水内的铀水平

一、前言 水库水,泉水,河水和大气降水等这些环境水与人类生活有着密切关系。水中天然放射性铀水平的研究因其化学毒性和放射性的双重危害是有实际意义的。洞庭湖流域处于我国亚热带湿润气候区,雨量充沛,矿产及水资源十分丰富。过去几年已对洞庭湖流域247000km~2湘、资、沅、澧各水系铀的水环境背景值,湘江的放射性水平和湘江流域大气降水中的痕量铀进行了研究。本文利用裂变径迹分析方法测定了洞庭湖流域的某些水库和泉水以及该     

碳纤维增强水泥/混凝土材料力学性能的若干研究

本文通过对水泥基体掺入碳纤维进行研究，得出了复合体抗压强度、劈拉强度与碳纤维掺量的关系。同时文中还利用聚丙烯腈纤维作对比研究，得出目前碳纤维作为增强体的优缺点，为碳纤维增强水泥基复合材料的推广应用提供更多的实验依据。     

�ҹ���Ȼ���۸����״���ĸ﷽���̽

当今世界各国执行的商品天然气定价原则主要包括完全成本原则、平均利润原则、长期边际成本定价原则、比价合理原则和供求平衡原则等。文章分析了我国天然气价格的演变历史及现状，说明了现行价格形成的制度原因。研究了天然气商品从生产到运输再到销售各环节的价格确定方法，以此为基础给出了一个即考虑天然气商品价值又考虑竞争和政府管制因素的天然气商品的定价公式。文章最后指出，在真正的、完全竞争的天然气市场建立之前，商品天然气的价格主要应按完全成本原则进行确定。     

适用于微机的核蒸汽发生器热工水力分析程序—SGTH—2

本程序用于计算核蒸汽发生器的热工水力分布参数以及一次侧流动压降、二次侧自然循环和稳态特性,将本程序的计算结果与法国对同型号蒸汽发生器的实测数据以及用 ATHOS 程序的相应计算结果进行比较,表明主要热工水力参数能令人满意地吻合。     

Fibre backbone for cable TV using multi-channel am video trunking

This paper updates a scenario for the evolutionary integration of optical fibre transmission technology into existing cable television networks first presented in 1988. The resulting ‘fibre backbone’ yields a hybrid fibre/coaxial network with significantly better reliability and transmission quality than present systems. System and electro-optical component advances in the last year are reviewed, and the merits of various modulation techniques are examined. The fibre backbone approach emphasizes continuing the broadband delivery of a large number of video signals to the consumer.     

Comparative study of the colorants monascus and cochineal used in the preparation of gels made with various gelling agents

The possibilities of using monascus to colour gels were studied by comparing it with cochineal. Gels were prepared with four gelling agents—carrageenan, gellan, gelatine and xanthan—and their colour was measured with a Hunter Lab colorimeter. The equations relating L^* and h with the concentrations of sugar [SU] and colorant [COL] were deduced, and it was found that [COL] had more influence on colour than [SU]. In general, for these four gelling agents the colour of monascus gels is orange-red and the colour of cochineal gels is purplish red. The gels made with xanthan were always the lightest, whether they were made with cochineal or with monascus.     

������Ȼ����̽���о����½�չ����չ����

2002年AAPG年会于3月10－13日在美国休斯顿隆重召开。根据会议论文，介绍了国外天然气勘探与研究最新进展及发展趋势，其中包括：生物气、海域及深水区有利含气区带、际上新老气区带等常规天然气，以及煤层气、深盆气、天然气水合物等非常规天然气的最新勘探与研究进展。     

������Ȼ����̽ȡ�õ�ͻ��

鄂尔多斯盆地油气资源丰富 ,目前已累计探明天然气地质储量 1 18× 10 12 m3 ,成为了中国第一个天然气探明储量超过万亿立方米的大气区。长庆油田作为盆地勘探的主体 ,在 30余年的天然气勘探历程中 ,经历曲折和挫折 ,终于取得了令人瞩目的突破。靖边下古生界气田 (长庆气田 )的发现 ,即是解放思想 ,重新认识 ,改变构造成藏的认识 ,提出风化壳古地貌成藏认识的结果 ;榆林气田和苏里格气田的探明 ,则是解放思想 ,提出上古生界大面积含气背景下 ,存在高渗储层而坚持勘探的成果。天然气勘探取得突破是勘探者解放思想 ,对盆地特征重新认识 ,应用勘探新理论 ,改变勘探思路的结果。