三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

分区对接网格下多段翼型N-S方程计算

对多段翼型的复杂粘性流场，各翼段物面及尾迹区生成C型网格．外场采用O型网格，中间用H型附加区过渡．自动生成高效的分区对接C-O-H型网格。采用时间精确有限体积高精度格式解可压缩N—S方程。层流、紊流的N—S方程求解结果，说明了本方法的有效性。     

用k-ω紊流模型和Osher格式在混合网格上计算紊流流场

用有限体积法求解了雷诺平均 Navier-Stokes方程。空间离散采用了 Osher逆风格式 ,紊流模型采用了两方程模型 ,并对绕 NACA0 0 1 2翼型及双椭球外型的紊流流动进行了数值模拟。结果表明用上述方法求解紊流流动非常有效     

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

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

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

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

复合材料圆锥壳体的位移型方程

本文在线弹性理论基础上,采用Donnell型扁壳小变形理论,利用最小势能原理,建立了在任意载荷作用下复合材料截顶圆锥壳体的位移型方程。考虑了最一般的弯曲拉伸耦合效应。对于一些特殊情况,给出了相应的简化方程。算例表明,本文新理论预示值与实验结果相当吻合。     

用非交错网格求解曲线坐标系下的流动控制方程

本文采用非交错网格法,求解任意曲线坐标系下的流动控制方程。文中阐述了压力振荡的根本原因和相应的消除措施,导出了压力修正方程中控制体边界上曲线速度分量的修正表达式。在这些表达式中,出现了一个表征一个网格间距和两个网格间距压力梯度差分值的附加差值项。当出现压力振荡时,该差值很大,可以有效地消除振荡,而当压力场没有振荡时,这一差值又很小。作为计算方法可靠性的检验,本文分别计算了二维直通道和渐缩形混合管内的气流流动问题,结果是令人满意的。     

一类新的二阶精度非交错形式差分格式的构造

本文对二维标量非线性双曲型守恒律，以非交错形式Ｌａｘ－Ｆｒｉｅｄｒｉｃｈｓ格式为基本模块，构造了一类新的不须解Ｒｉｅｍａｎｎ问题的差分格式，并证明其具有时空二阶精度。数值实验表明，格式具有较高的分辨激波、稀疏波及接触不连续的能力     

Banach空间中椭圆方程Dirichlet问题的迭代解

以半序理论为工具，在Ｂａｎａｃｈ空间中用上下解方法研究了椭圆方程Ｄｉｒｉｃｈｌｅｔ问题的迭代解，并证明了存在两个迭代序列分别一致收敛于该问题的最小解和最大解。     

一种普遍性的元素型修正法—排列方程法

当前,在模型修正领域中存在两大类元素型法:一类称为“排列方程法”(AEA),另一类为“最优元素型法”(OEM)。本文证明,AEA具有普遍性,OEM仅是AEA的特例。