纯函数式I/O的操作语义

目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种，ＭｏｎａｄＤｉａｌｏｇｕｅ，ＣＰＳ，本文采用ＣＣＳ的理论和方法，把互模拟等价作为Ｉ／Ｏ程序的相等关系，描述了这三种Ｉ／Ｏ机制的操作语义，推导出这三种Ｉ／Ｏ机制相互之间的转换关系，从而证明了这三种Ｉ／Ｏ机制在语义上是等价的。     

项重写的图实现

图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写对一切项重写下正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的。     

基于BSP的并行事务处理模型

BSP模型独立于并行体系结构,既可作为并行计算模型,又可作为并行程序设计模型。提出了基于BSP模型的H－V事务模型,适用于长、短事务和长短事务混杂的情况。给出了在无共享结构下实现并行事务处理的进程结构。该结构不仅实现了事务内及事务间并行性,而且使人有可用性（availability）和可扩充性（scalability）,而后给出了适用于该模型的基于时间戳的多版本并发控制协议,最后描述了事务在超步结构下的运行过程。性能测试表明,使用该模型进行事务处理时可获得良好的事务响应时间和加速比。     

互模拟与逻辑

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。     

一种基于组合Monad的纯函数式通道系统操作

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。     

高营养膳食与血脂及冠心病发病关系的探讨

前言高营养膳食系指高热量、高脂肪、高蛋白的膳食而言。充足的热量与蛋白质的全百平衡膳食,无疑对保证人体的正常生长发育,增进体力与智力的发展,提高机体抵抗力,降低发病率,病死率与死亡率,延长人类寿命,保障与提高劳动效率等是完全必要的。但如营养过剩或配膳不当,即会带来不利影响,如原发性肥胖病、高血压、高血脂、冠心病等,在经济发达国家己屡见不鲜。近年来,不少调查表明,冠心病在我国日趋增多,严重危害着各类人群的健康。为探索其主要发病因素,结合我国实际情况,进一步了解饮食与发病的关系,我们选择了长期进食高热量、高蛋白、高动物脂肪的人群,进行了较全面的冠心病发病因素的调查,着重分析饮食因素在血脂与冠心病发病中的作用,以便对我国防治冠心病的工作提供依据。调查表明在高营养膳食的＿人群中,确有高血压、高血脂、高冠心病患病率的三高现象。分析发病因素,膳食中过多的饱和脂肪酸以及多不饱和脂肪酸与饱和脂肪酸的比值(P/S)过低,为促进发病的主要因素。     

月桂基缩水甘油醚合成工艺的研究

以月桂醇和二氯丙醇为原料,在相转移催化剂四丁基硫酸氢铵(TBAHS)存在下合成了月桂基缩水甘油醚,通过测定产品环氧值的方法来计算产品的收率。采用单因素实验和正交试验相结合,考察了原料摩尔比、碱加入量、反应时间和反应温度等对月桂基缩水甘油醚收率的影响,并用1HNMR和IR等对产物结构进行了表征。正交试验极差和方差分析表明,因素影响大小依次为:原料摩尔比碱加入量反应时间反应温度,在优化工艺条件n(二氯丙醇)∶n(月桂醇)=1.2∶1,n(氢氧化钠)∶n(月桂醇)=2.2∶1,50℃下反应4 h,月桂基缩水甘油醚的收率可达81.3%。     

接枝型聚丙烯酸甲酯乙氧基化物的合成及性能研究

采用自制的酯基乙氧基化催化剂MCT-09对不同分子量的聚丙烯酸甲酯进行了直接乙氧基化,得到甲氧基封端的聚氧乙烯侧链的梳状聚丙烯酸甲酯乙氧基化物,采用红外光谱对产物进行了结构表征,并对产品的浊点、泡沫和表面张力等物化性能进行了考察。     

交互作用网理论分析

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.     

软件规范

规范(specification)的目的是提供一个标准,用以引导和评价软件系统的设计、实现和维护。本文从术语“规范”的定义出发,讨论一个良好的软件规范必须具备的性质,分析了形式规范、半形式规范和非形式规范的优缺点,给出了一些典型的规范系统的分类及相互间的关系。