矩阵方程（AX，XB）=（C，D）和AXB=C的对称正定解

讨论了矩阵方程（ＡＸ，ＸＢ）＝（Ｃ，Ｄ）和ＡＸＢ＝Ｃ的对称正定解。利用奇异值分解和广义奇异值分解导出了这些矩阵方程有对称正定解的充分必要条件，并且给出了一般对称正定解的表达式     

Apram模型上双曲型方程初边值问题数值方法的并行性研究

针对Ａｐｒａｍ模型［１］，研究了双曲型方程初边值问题差分格式的并行实现方法。文中不仅讨论了差分格式在Ａｐｒａｍ模型上的各种并行处理技术，而且对并行算法的可扩放性进行了讨论，最后设计了适合于Ａｐｒａｍ模型结构特征的并行计算程序，对二维Ｅｕｌｅｒ方程正规激波反射问题的计算实践，结果令人满意     

关于几个二次矩阵方程的解

给出ＸＡＹ＝ＢＡ（ＡＢ或Ｃ）型二次乱阵方程的解法,讨论解的一般表达式。     

线性矩阵方程AXB－CXD＝E的误差界

首先讨论线性矩阵方程ＡＸＢ－ＣＸＤ＝Ｅ在有唯一解的条件下方程之解Ｘ的一个上界，再考虑系数矩阵Ａ，Ｂ，Ｃ，Ｄ，Ｅ发生小扰动时，线性矩阵方程（Ａ＋δＡ）Ｘ（Ｂ十δＢ）－（Ｃ＋δＣ）Ｘ（Ｄ＋δＤ）＝Ｅ＋δＥ之解Ｘ作为Ｘ的近似值的相对误差的一个上界。     

空气调节一般性能量方程的探讨

首先提出了热，湿调节过程理想化物理模型，进而建立了空气状态变化过程的一般性能量方程和空调设备容量计算的一般性能量方，揭示了空气得（失）热量和空调设备供热（冷）量之间的区别与联系，最后讨论了一般性能量方程在几种物理情况下的应用，本文工作较好解决了空气调节能量分析中容易引起误解和混淆的问题，并对空气调节中某些过程的分析提供了方便。     

关节铰柔性多体系统动力学研究

针对关节铰柔性多体系统建立了Ｒ／Ｗ体系的动力学方程，并进一步推广到非树及约束型多体系统，本文采用适合描述弹性变形和进行弹性体离散的刚性连体浮动坐标系，用相对描述方法来分解部件的运动，用部件模态方法对弹性体进行离散，从达朗伯原理出发建立了Ｒ／Ｗ体系的系统动力学方程。方程对于运动的分解，部件的弹性离散以及对系统的结构描述都比较直观和简单，系统的广义坐标数目也小。方程推广到非树系统和约束系统后，采用奇异     

空气调节─般性能量方程的探讨

首先提出了热、温调节过程理想化物理模型，进而建立了空气状态变化过程的一般性能量方程和空调设备容量计算的一般性能量方程，揭示了空气得（失）热量和空调设备供热（冷）量之间的区别与联系，最后讨论了一般性能量方程在几种特殊情况下的应用．本文工作较好解决了空气调节能量分析中容易引起误解和混淆的问题，并对空气调节中某些过程的分析提供了方便。关键词     

双重互易边界元法在求解N—S方程中的应用

提出了用双互易边界元法求解Ｎ－Ｓ方程的新思路。用Ｐｅａｃｅｍａｎ－Ｒａｃｈｆｏｒｄ算子分理解将时间相依的Ｎ－Ｓ方程分解为线性和非线性子问题，线性问题用共轭梯度法解除压强－速度的耦合；非线性问题进行局部线化。对所得的Ｐａｓｓｉｏｎ方程及相关类型方程采用双重互易的边界元法求解，消除了传统Ｎ－Ｓ方程边界元解法的区域积分问题。     

基于泊松方程的二元翼型网格生成技术

利用求解Posson 方程的方法来划分计算网格，使用Hilgenstock 方法来 控制网格间距和网格正交度。对于安装在风洞中的二元翼型，在进行Navier－Stokes 方程 计算时，需要在物面附近的网格间距很小，这导致网格划分时计算收敛速度很慢。 本文对 Hilgenstock 方法进行了改进，大大提高了网格划分的计算收敛速度。     

高阶(2+1)维色散长波方程的孤波解

为了求高阶(2 1)维色散长波方程的精确解，先通过变换将其变为一个简单的方程．然后利用各种方法求该方程的精确解，最后再通过变换得到了高阶(2 1)维色散长波方程的若干新孤波解，本文简化了求非线性模型精确解的双曲正切函数法、双曲函数法、平衡齐次法及扩展的双曲正切函数法等方法。     

冲击作用下薄壁结构动态响应的一种计算方法

针对有内部弹性约束的内置式旋成壳体弹性结构系统,按照舱段法构成了其线性动态模型。完成了在冲击载荷作用下结构中出现的过载与内力计算,指出了通过利用隐形离散算子的振动方程,直接积分法有效使用的可能性。     

非结构网格上Euler方程有限体积解法的改进

对二维非结构三角形网格上Euler方程有限体积解法的格点格式进行了一些改进，重点在于提高数值解的精度，细致处理人工粘性项的尺度因子以及对该项建立适当的边界条件；发展一种新的基于最长边剖分的三角形网格自适应加密方法。采取多步Runge—Kutta格式推进、当地时间步长、隐式残值光顺等措施加速迭代收敛。文末给出的数值结果非常接近于参考文献中结构网格上的结果，验证了所发展数值方法的精确性。     

Stokes问题的集中质量非协调有限元法

针对其平面有界凸区域上的一类非定常不可压Stokes方程，提出了一种新的有限元方法，借助于所谓的速度一压力混合型公式，讨论了非定常不可压Stokes方程的质量集中非协调有限元逼近格式(全离散情形)。首先，给出了非定常不可压Stokes方程的质量集中非协调Galerkin有限元逼近的全离散格式，其次，对所讨论问题的解与其所给出的离散问题的解之间的误差进行了分析研究；最后，利用Stokes投影算子的性质和离散的LBB条件，得到了非定常不可压Stokes方程关于速度L2模和能量模及压力L2模方面的最优阶误差估计。     

关于微分方程的有理式解的存性问题

许多非线性微分方程一般都是不可积的，例如Ｒｉｃｃａｔｉ方程。本文主要利用在文［４］中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算子矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出求有理式解的具体方法。本文的结果对研究Ｒｉｃｃａｔｉ方程的特解以及可积性等问题具有重要意义，并推广了文［３］中收集的相应结果，且以此为特例     

A REAL-VALUED GENETIC ALGORITHM FOR OPTIMIZATION PROBLEM WITH CONTINUOUS VARIABLES

提出一种用于连续变量函数优化的遗传算法。它由一种简单、适应面广的动态刻度适应值和选择算子、杂交与变异算子，以及这些算子相应的自适应概率组成。该算法经两个常用函数检验，并在图象识别的神经网络权值训练中得到应用。实验结果表明，该算法是一种快速有效的全局优化算法。     

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

基于形态学梯度矢量的图像边缘提取算法

图像的边缘在很大程度上可以用梯度的概念来解释和描述,而现有的形态学梯度边缘检测算子抹煞了梯度的矢量性。文章提出了一种新的图像边缘提取算法:在边缘检测部分提出了具有方向估计的形态学梯度算子,且从理论和实际应用两个方面给予证明。并将模糊处理加入该系列算子,使这些算子在噪声抑制和提高边缘清晰度两方面均有较好的表现。同时在图像分割部分改进了最佳阈值化分割,利用小范围的边缘梯度各方向上的最佳阈值化进行调整,使图像的边缘更加完整、清晰。     

Delta算子系统极点有圆形区域约束的鲁棒控制

研究Delta算子描述的不确定线性系统闭环极点有圆形区域约束的鲁棒控制,基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,对Delta算子不确定系统进行状态反馈设计,导出满足闭环极点圆形区域约束的状态反馈控制律存在的充分条件,用一个线性矩阵不等式的可行解给出了状态反馈控制律的参数化表示．具体算例说明了试方法的有效性．     

Banach空间中算子余弦函数的一个特征

本文主要研究Ｂａｎａｃｈ空间中算子余弦函数与二阶无阻尼方程的Ｃａｕｃｈｙ问题之间的某些关系,借助于此类Ｃａｕｃｈｙ问题的解的存在性与唯一性,给出算子余弦函数无穷小生成元的不同于Ｈｉｌｅ－Ｙｏｓｉｄａ型特征的另一个特征。     

多分辨率分析在图像边缘检测中的应用

本文针对传统图像边缘检测算子——微分算子和LOG算子在图像边缘检测中存在的不足，引入了多分辨率分析方法，并理论上分析了在不同的尺度下，多分辨率分析中由粗至精的特点，使其在图像边缘检测中具有更良好的特性。