利用勘探数据进行数值试井网格划分

利用石油勘探数据库中的岩性分层数据,通过使用地层划分和曲面拟合方法,构造了数值试井分析的求解区域.根据实际的井位得到数值解的计算网格,从而使数值试井更接近生产实际,为油藏的精细描述提供可靠数据.     

一类非凸分式多目标半无限规划的最优性条件

将一致Fb-凸、一致Fb-伪凸和一致Fb-拟凸等几类非光滑非凸函数的概念改为在可微时的特殊情形，得到了-致(F，ψ，b)-凸、一致(F，ψ，b)-伪凸、一致(F，ψ，b)-拟凸等几类特殊的可微的非凸函数概念，在这些可微的非凸函数条件下，讨论和得到了-类异分母分式多目标半无限规划的-些最优性充分条件．     

变系数耦合KdV方程组的自B(a|¨)cklund变换及多重孤立波解

通过齐次平衡原则,得到变系数耦合KdV方程组的一个自Backlund变换.通过自Backlund变换,利用ε-展式法可以完全的得到变速多重孤立波解.作为解释,我们得到了方程的二孤子解.     

撞击流浓缩器浓缩溶液的数学模型

在理论分析的基础上导出了撞击流浓缩器浓缩溶液的数学模型,并通过实验结果验证了模型的正确性;计算结果得到了浓缩器内气、液温度和速度及液滴浓度和累积蒸发量沿轴向位移的变化。     

矩阵方程X-A~*X~(-q)A=I(q>1)的Hermite正定解

讨论了矩阵方程X -A X-qA =I在q >1时的Hermite正定解的存在性和解的性质并且构造了两种数值求解的迭代方法 .以上结果利用数值例子来说明 .     

再论C2R模型的最优解的存在性及灵敏度分析

在评价指标可取负值及较宽松的条件下论证了有关C^2R模型(D)及扩展的C^2R模型(D0)的最优解存在性定理．然后，在输出可取负值的情况下，给出了用(D0)来判断DEA有效的定理，并据此讨论了评价指标有相对误差时的灵敏度分析．     

非线性中立型延迟微分方程Runge-Kutta方法的稳定性

对Rα,β类非线性中立型延迟微分方程给出了稳定及渐近稳定的充分条件,对于Runge-Kutta方法应用于上述问题得到的数值方法，获得了其稳定及渐近稳定的条件。     

高性能面向对象场景图系统

描述了一种高性能场景图系统的设计与实现。主要的设计目的是使三维图形应用开发者从繁琐的低级API(如OpenGL)中解放出来并获得最高的图形性能。该系统可以工作在Windows和各种UNIX变体(如IRIX、Linux等)操作系统上，主要的目标操作系统是Windows，主要针对低端(单处理器)硬件平台(如个人电脑)。应用范围包括视景仿真、虚拟现实、科学可视化、临场感娱乐及其他实时三维图形应用。     

考虑接触摩擦的金属捻线捻制成形过程计算机模拟

建立了捻线捻制成形过程中的接触摩擦模型，采用小球分裂算法和Augmented Lagrangian法进行接触搜索和接触力计算。提出钢丝绳捻制成形计算机模拟的系统模型，系统能够生成可被ANSYS直接调用进行非线性分析的APDL，数据文件。对钢丝绳一次捻制成形过程进行了模拟计算。研究结果表明，非零自扭转系数较自扭转系数取值0．0时，相应的法向接触压力和摩擦接触应力的值较大，且接触应力沿螺旋线呈条状分布；非零摩擦系数与无摩擦条件相比，相应捻制加工应力应变的值较大，且自扭转系数等于1．0时，线截面内的剪应力最小，塑性区对弹性区的制约较小，弹性恢复较大；考虑摩擦时钢线表面的轴向残余应力计算结果比无摩擦条件下的计算结果更接近实验结果。     

线性脉冲时滞微分方程解的稳定性

通过对一类n阶线性脉冲时滞微分方程零解稳定性的讨论，建立了零解稳定性的比较结果，给出了零解一致稳定、渐近稳定与指数稳定的充分条件．所得结论推广了相关结果。