一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

Texaco气化炉激冷室热质传递过程模拟

对Ｔｅｘａｃｏ气化炉激冷室 热质传递过程进行了分析模拟，模拟结果与工业数据吻全良好。通过模拟揭示了现行激冷环损坏的主要原因，探讨了激冷环长周期运行的基本途径，提出了激冷环改进方案。     

剪切环境与产黄青霉形态和代谢的关系

结合青霉素发酵过程，考察了产黄青霉形态变化和发酵罐中剪切环境对菌体形态的影响。考察的产黄青霉菌株对强剪切作用呈现出瞬时响应和逐渐衰减的反应机制，实际剪切强度介于发酵罐内最高剪切速率和平均剪切速率之间。提出了总体剪切强度的概念，用于定量表达不同桨型、多层搅拌下剪切环境。青霉素发酵需要在较强剪切环境中进行，采用轴向流桨和涡轮桨组合搅拌时，可通过调整桨径和搅拌转速来保证剪切环境满足菌体生长和代谢的需要。     

伪并行遗传算法在供水管网优化调度中的应用

讨论了基于微观水力模型的多水源大型供水管网优化调度问题的主要特征，并提出了求解该问题的改进遗传算法．首先，针对决策变量的结构提出二进制-实数混合编码策略；其次，设计并实现了多种群进化的伪并行遗传算法．将本算法与单一群体进化算法同时应用于实际管网的优化调度求解，结果表明，通过个体迁移策略，伪并行遗传算法可以加速优化搜索的进程，显著改善解的质量，并有效节省运行调度费用．     

基于行为模型算法的入侵检测技术研究

在分析现有的入侵检测技术的基础上，提出基于行为模型的入侵检测技术．通过学习模式和检测模式来分析行为模型算法．本文从URI检测、客户请求的数据检测及访问顺序检测这3个部分来阐述基于行为模型的入侵检测技术的检测原理．经过测试，行为模型算法对现有的攻击（如SQL注入攻击、跨站脚码攻击、隐藏域攻击）能起到有效的防御；对现今未发现的攻击行为，在它出现后可以通过学习、建模也能进行很好的检测．     

脂肪族水性聚氨酯乳液的研究

采用内乳化法以聚酯多元醇、异佛尔酮二异氰酸酯（IPDI）和二羟甲基丙酸（DMPA）合成了水性聚氨酯乳液。研究了NCO／OH摩尔比对水性聚氨酯粒子尺寸、胶膜耐水性、乳液的电解质稳定性、胶膜的机械性能的影响。制备了稳定的水性聚氨酯乳液。     

瞄准距离对热喷涂粒子脉冲信号半高宽的影响和校正

针对自行研发的基于窗口调制和比色测温技术的热喷涂粒子参数测量系统，从理论上分析了瞄准距离变化对脉冲信号半高宽的影响，提出了光学杠杆关系和信号特征变化两种共同起作用的影响机制，并指出两种机制在小于理想瞄准距离时对半高宽的影响相反，而在大于理想瞄准距离时的影响则因相同而叠加，使得脉冲信号半高宽随瞄准距离的变化呈现不对称U形变化规律．实测脉冲平均半高宽的变化趋势与上述规律吻合良好，根据文中提出的校正系数修正后，在非标准瞄准距离下测得的粒子平均速度的误差明显下降．     

基于J2EE的网络教学支撑平台的设计与应用

采用J2EE技术建立一个基于Web的公共教学平台,具有课程开发、在线学习、智能答疑与课程辅导、作业管理、网络存储、网络考试、毕业设计管理等功能,可实现教与学的全过程管理和师生共建共享助教助学的协同工作模式。平台的开发与应用对教育教学信息化建设、课程建设与管理规范化,对充分发挥现有网络资源优势和作用、促进教学模式改革等方面都有着重要意义和实用价值。     

水力停留对复合生物膜-活性污泥工艺的影响

研究了水力停留时间(HRT)对复合式生物膜-活性污泥工艺处理城市污水效能和反应器中微生物性质的影响.研究结果表明,HRT对系统COD的去除效果影响不大,对氮源污染的影响较大.随着HRT的减少,系统中的污泥质量浓度呈现不断增加的趋势,系统的COD容积去除负荷显著增强.对微生物呼吸速率(OUR)的分析表明,维持较长的HRT能够使反应器内微生物具有更强的活性.因此,建议复合式生物膜-活性污泥工艺合理的HRT的范围为6~8 h.     

利用相干渡越辐射测量自由电子激光的群聚

探讨了利用相干渡越辐射(CTR)来测量自由电子激光(FEL)群聚电子束的测量方法。根据相干渡越辐射(CTR)的特性,结合FEL中电子束群聚的特点,建立了理论模型。利用CAEP光阴极RF腔注入器、30 M eV射频加速器产生的30 M eV电子束及相应的FEL装置进行了实验验证。结果表明:群聚后电子束渡越辐射的强度大大高于非群聚电子束的辐射强度,而且辐射角也很小,反映了该辐射的相干性,由此可以给出电子束的群聚效果。