模式化简序与重写系统的终止性

本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写规则相对模式集的上下扩张概念,以此给出了用模式递归路径序判别终止性的有效方法,原有的递归路径序是模式递归路径序的一个特例。     

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

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

月桂酸甲酯烷氧基化反应动力学研究

基于一级反应动力学机理,研究了以月桂酸甲酯、环氧乙烷(EO)、环氧丙烷(PO)为原料,MCT-09为催化剂合威月桂酸甲酯烷氧基化物的反应动力学.建立了反应动力学模型,通过反应动力学实验,将实验数据回归拟合,确定反应动力学参数.讨论了温度对烷氧基化反应速率常数k的影响,求得月桂酸甲酯乙氧基化、丙氧基化反应的活化能分别为50.715 kJ/mol和68.757 kJ/mol,优化月桂酸甲酯烷氧基化反应温度为463 K.     

PVDF计在水中爆炸近场压力测试中的应用

为得到炸药水中爆炸冲击波在一定近场范围内的压力剖面曲线和峰值压力随传播距离的衰减规律,采用在炸药起爆轴线上布置4个PVDF计测量冲击波压力以及在相同实验情况下对炸药轴线上冲击波轨迹进行高速扫描的方法,研究了PVDF计测试近场压力的可行性.结果表明,PVDF计可以用于水中爆炸近场冲击波压力的测量,在量程允许范围内,能得到较准确的冲击波压力峰值;在冲击波强度小于4GPa的情况下,得到了冲击波的压力衰减历程,获得近场压力剖面曲线,对评估舰船抗爆性能具有重要意义.     

依赖项重写系统及其在程序设计语言中的应用

面重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用。     

抽象事件的协议结构

对分布式应用程序的事件进行抽象，让用户从不同的层次观察分布式应用程序的行为是一个有效的调试方法。本文给出了一种新的抽象结构－－协议抽象，这种结构比以往的结构适应广，实用性强     

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

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

“华北制药”药品不合格 会引起不良反应——湖北药监抽查：华北制药“注射用头孢唑林钠”溶液的澄清度与颜色不合格

2009年7月,湖北省药监局发布了2009年第一季度《湖北省药品质量公告》（鄂食药监文[2009]35号）。公告显示,标称华北制药股份有限公司生产的“注射用头孢唑林钠”（规格：0．5g;批号：K080383）,“检查（溶液的澄清度与颜色）”不合格。     

多次傅里叶变换在图象编码压缩中的应用

本文运用多次傅氏交换的方法,探讨对图象编码进一步压缩的可行性,得出了一些结果。傅氏交换作为编码过程中的映射变换函数,具有使图象信息相对集中的能力。本文论述了采用多次傅氏变换及区域编码手段,对一幅原始图象进行信息压缩的可能性,以使其码率得以尽可能地减少,便于存贮和传送。文章还讨论了适合使用这种方法的图象类型,及如何提高重建图象的质量问题,提出了几种减少失真的方法。此外,文章还介绍了一种用二维的处理方法,对三维立体图象进行描述、变换和压缩编码的设想。