椰子油和大豆油的乙氧基化物对小鼠肝脏的脂质过氧化效应研究

为探讨椰子油乙氧基化物-36EO(COE-36)和大豆油乙氧基化物-42EO(SOE-42)对小鼠肝脏的脂质过氧化作用,采用腹腔注射技术,测定COE-36处理组、SOE-42处理组、氯化镉阳性对照组(小鼠单位体质量的氯化镉用量为2.5μg.g-1)和生理盐水阴性对照组小鼠肝脏超氧化物歧化酶(SOD)、过氧化氢酶(CAT)活性和丙二醛(MDA)生成量。结果表明,氯化镉显著抑制了小鼠肝脏SOD和CAT活性,增加了MDA生成量;在所测3个指标中,COE-36和SOE-42的3个用量组(以小鼠单位体质量的用药量计)与生理盐水阴性对照组相比均无显著性差异;与氯化镉阳性对照组相比,不同用量COE-36作用下SOD和CAT活性变化、不同用量SOE-42作用下CAT活性变化以及低用量(3 mg.g-1)COE-36或SOE-42作用下MDA生成量变化均有显著性差异,说明在所试用量(3～5 mg.g-1)下,这2种表面活性剂不会引起小鼠肝细胞的脂质过氧化。     

YA地区复杂流沙区静校正方法研究

在复杂流沙区开展高精度三维地震采集,由于激发条件存在很多不确定的因素（如：流沙夹软泥层、流沙层比较疏松等）常会导致地震资料频率降低、同相轴错位等严重的静校正问题。研究的重点是结合YA高精度三维的实际,讨论在复杂流沙区如何通过小折射、微测井、电法勘探等方法获得相对准确的地表模型;以及用模型静校正和折射静校正两种方法相结合来解决静校正问题,从而提高地震资料品质。     

混凝土水工建筑物冻融破坏与防治

1 造成混凝土冻融破坏的因素 1．1 内部因素 混凝土在浇筑凝固过程中,由于混凝土中部分水分的析出,内部形成了大量细小并相互连通的孔隙,当这些孔隙充水达到饱和之后,在0℃时开始结冰,封堵了混凝土孔隙与外界相通的孔口,水结成冰使体积膨胀,与此相当的水量被挤到混凝土的孔隙中,使孔隙受到压力,这种压力使混凝土膨胀开裂,融化后混凝土又不能恢复原状,经多次循环,混凝土就失去了承载能力。     

八五二农场水稻控灌技术机理分析

依据试验资料,对八五二农场水稻节水灌溉技术进行优化研究,从水稻生理、生态节水两方面分析了控灌技术节水机理,针对性地总结出水稻各生育期实施节水控灌技术的步骤及技术要点。     

改性油脂乙氧基化物的制备及性能研究

通过甲醇酯交换对棕榈油和棕榈仁油进行改性,制备改性油脂,并对其甘油含量和羟值进行测定,考察温度、催化剂用量和投料比对反应的影响。结果表明,70℃时,产物羟值最大,甲醇的反应量最大。选择最佳反应温度为70℃,选择反应催化剂用量为1‰。合成一系列改性油脂乙氧基化物,并对其氧乙烯含量和应用性能进行测定,氧乙烯含量基本达到60%。改性棕榈仁油乙氧基化物的润湿性能和乳化性能均优于改性棕榈油乙氧基化物,且该系列产品的大豆油乳化力均优于石蜡乳化力。改性棕榈仁油乙氧基化物的泡沫稍高于改性棕榈油乙氧基化物,两者的去污性能差别不大,性能良好。     

线性逻辑,Petri网和并发计算

1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态逻辑(logic of situation),或者是一动作逻辑(logic of action),强调系统的动态特征与并发计算紧密相关。结构规则的去除自然在 LL 中导致了两种类型的连接词:乘性连接词和加性连接词,     

移动代理系统的安全机制

分析了威胁移动代理系统安全的若干问题,研究并讨论了系统模型中不同组成部分交互时的安全机制。     

多Transputer网络拓扑可重构系统的设计与实现

本文论述多Transputer网络拓扑可重构系统的设计与实现．提出了多Transputer网络拓扑可重构的技术途径、基本配置和重构软件的设计．着重论述重构软件中模块设置，通信协议，重构互连配置命令的格式，网络信息通信及有关重构命令各进程的CSP形式化描述．该重构软件能根据用户需求，快速重构所需的拓扑，并且直接支持Transputer上配置的各种语言编制的并行计算应用程序．最后给出一个实例．     

椰子油脂乙氧基化物的合成

以椰子油与环氧乙烷(EO)为原料,直接进行乙氧基化反应,合成出不同EO加合数的椰子油脂乙氧基化物(COE)。结果表明,在自制的催化剂MCT-09催化下,180℃±2℃,0.4 MPa,搅拌速率为600 r/min,合成出EO加合数6~60的产物,并对EO加合数为30(COE-30)的产物进行了红外光谱测定和羟值分析。     

Verilog操作语义研究

提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.