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

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

心功能曲线的灰建模研究

以信息覆盖为准则，依靠少量信息，建立了心功能曲线的灰色模型和数学回归模型，误差检验灰模型的精度明显高于数学回归模型，在分析了心功能曲线的生理特性和发展变化特点的基础上，提出了心功能曲线的闸门－激活式联合灰模型理论及计算ｋ至ｋ＋１灰区间模型值的映射量化方法．     

基于信元离开间隔与令牌控制的成形算法

提出基于信元离开间隔与令牌控制的成形算法，该算法可使源流量的峰值速率、平均速率、最大突发长度和ＣＤＶ变更到期望的值，并可保证已成形流量的透明性．而且当源流量符合声明的参数时，成形延迟很小．通过仿真，评估了所述成形算法的性能．给出了基于共享缓冲区、链表和递减排序器的成形器实现结构，并对其操作进行了研究．     

挤出模流道的优化设计

结合塑料熔体流变理论和实践经验，提出了塑料异型材挤出模流道优化设计的思想和方法．通过计算机对流道系统进行优化设计，使流体在流道中流动分布均匀．流道设计合理，缩短设计时间．     

单一颗粒流分形模型及有效热导率计算

首次提出了颗粒流中粒子的分形模型，得到粒子在不同分维下的分形分布，并和麦克斯韦分布进行比较，分析了两种分布产生差异的物理机制．在此基础上研究了单一颗粒流的有效热导率，得到其解析表达式，并分析了有效热导率随粒子温度、粒子分维的变化规律．     

超低频磁场对鼠肉瘤细胞核参数的影响

用超低频脉冲磁场处理鼠Ｓ－１８０肉瘤细胞并进行光镜观察；应用计算机图像分析技术对细胞核参数进行分析．结果表明：磁疗后肉瘤细胞形态变化显著，核平均面积和周长减小，圆形度差异不明显，ＤＮＡ倍性降低．认为该磁场抑制了Ｓ－１８０肉瘤细胞的生长，并对其机理做了初步探讨．     

用相移电子散斑干涉方法测量温度场

将相移技术首次应用于电子散斑干涉计量测量火焰的温度场，在计算机控制下采集数据和计算相位．在计算温度时，采用了新的求解方法，重建的温度场与热电偶实测值一致     

具有电子间相互作用的准一维体系的介电损耗

把电磁场理论应用到准一维材料中．考虑到一维链状体系的链节内成键原子间的作用和沿链的电子间的长程相互作用，导出了随频率变化的介电函数和介电损耗的微观计算公式，并且用数值计算的方法研究了吸收谱和频率的关系     

图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群．从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号．ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘ（ｕ，ｖ）∈Ｅ（Ｇ）ｄ（ｆ（ｕ），ｆ（ｖ）），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝．Ｇ的循环带宽Ｂｃ（Ｇ）是指对Ｇ的所有循环标号ｆ的循环带宽的最小值．借鉴关于带宽的已有结论，深入讨论循环带宽的Ｈａｒｐｅｒ型下界，所得结果将有助于确定一些特殊图的循环带宽     

大豆蛋白质的泡沫分离研究 I.操作工艺条件

在一连续操作的泡沫精馏塔中，考察了各种操作条件对大豆蛋白质溶液泡沫分离过程的影响，包括：进料浓度、进气流量、ｐＨ值、回流比等，确定了较佳的操作条件。用流动法测定了大豆蛋白质在气液界面上的表面过剩浓度并回归了线性吸附方程。结果表明：在溶液浓度较稀时，表面过剩浓度与溶液浓度呈线性关系。