一类带有奇异项的临界椭圆方程正解的存在性

研究了一类带有负指数项和Sobolev-Hardy临界项的半线性椭圆方程，运用变分法证明了正解的存在性。     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

AIP吸收器传质特性中试装置及KLa测试方法研究

基于不依赖空气动力装置（AIP）排出CO2气体旋转床吸收器传质特性研究要求，选择S-195型柴油机为AIP排出气体发生器，优化设计了气、水流程，建立了波纹碟片填料旋转床吸收器的传质特性中间试验装置（简称中试装置），该装置具有多参数调节和测试功能。针对在较高气体压力下，AIP排出气体旋转床传质试验无法直接测算其体积传质系数（Kla），提出了一种间接测算Kla实验值的方法。实验结果表明，用间接测算方法求取的Kla实验值与直接测算值相对误差小于10％。     

一种新的四边形的生成算法

Q-Morph算法在用Delaunay方法形成三角网格的基础上，利用已有的网格拓扑关系，提出一种新的四边形生成算法。采用边界推进法来生成四边形网格。该算法生成的网格具有边界敏感性和方位不敏感性，并且能极大地减少网格中不规则点，很大程度上提高了网格质量。     

高雷诺数情况下钝体绕流的数值模拟

在高雷诺数 (Re=1× 1 0 4)情况下 ,利用流函数———涡量法在二维空间对半圆半椭圆的拼接体 (新月形覆冰导线的截面 )绕流流场的流动结构、涡的变化及气动力特性进行数值模拟 .将模拟过程用于圆柱体和半圆半椭圆拼接体 ,结果与前人的研究结果及试验值相吻合 ,验证了此数值模拟过程的合理性     

Pvm并行调试器DPD中的时序处理

针对并行调试器中传统排序模型的缺陷，提出了一套改进的时序处理机制．该机制是在调试系统中加入一个全局记录器，被调试模块在需要事件记录时向全局记录器申请一个全局序号，这样并行模块的事件就被自然地串行化，从而实现了并行程序时序的完全排序．该方法大大简化了排序过程，给记录一重放技术以及动态分析技术提供了有力的支持。     

白莲河水电厂2号机组振动在线监测系统

在线监测系统是水电机组安全运行的保证，该系统能监视机组的运行情况，对尾水管压力脉动值、顶盖、机架跳动及主轴摆度值进行适时测量．为推广该成果的应用，论述了白莲河水电厂振动在线监测系统的设计方法和系统具备的功能．     

水轮发电机组故障诊断系统中几种征兆的获取

在水轮发电机组故障诊断系统中，征兆获取能力是评价故障诊断系统性能的重要指标，故障信号的特征提取影响到整个诊断过程的计算以及整个诊断系统的品质．将FFT、分形几何、相关分析、奇异谱等理论应用于故障诊断系统中征兆的获取，针对不同类型征兆采取不同的数学处理方法，并结合水轮发电机组故障诊断系统，证明了所述方法的合理性和可行性，提高了整个诊断系统的可靠性和准确性．     

智能卡在物流企业安全平台中的应用

针对现代物流企业信息流的安全问题，结合智能卡的特有安全性能，给出了基于智能卡在企业间的电子信息安全传递(安全电子邮件)和企业内部的安全平台的两种应用．本方案将帐号和密码等敏感信息存储在安全性能较高的智能卡中，采用了软硬加密予以保护，对于企业内部人员只有证明合法的用户才能使用合法权限范围内的操作流程，实现了信息流的安全性．     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．