软件可靠性定量指标的分配与验证

阐述了软件开发过程中可靠性定量指标的分配原则和方法 ,对定量指标的验证进行了分析和探讨 ,研究了基于不同模型的验证方法 ,最后给出了一个控制软件可靠性分配和验证的例子。     

超音速混合气流场的有限元分析与探讨

系统阐述了超音速混合气流场的特性及求解过程。针对复杂流场求解过程中有限元模型的建立、边界条件的确定以及求解过程的具体实现等进行了深入的理论分析和探讨。本文最后给出了一个运用FLUENT软件求解超音速气流场的实例。