虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

一种多目标随机决策方法及其应用

本文通过引进决策方案的可行度和决策者参考目标水平的满足度等概念,提出了一种不确定条件下的多目标随机决策方法——交互式参考目标满足度与可行度决策分析中,取得了较好的效果。     

再入弹抛壳气动特性研究

本文用有限差分方法求解再入母弹头与其所抛壳体之间的无粘干扰流场,获得了体—壳的干扰气动力,并在准定常假设的基础上近似模拟了弹体与壳体的分离过程。数值研究的结果表明,体—壳间存在的干扰会导致壳的压心位置急剧变化,危及母弹安全;抛壳速度是体—壳安全分离的关键参数。     

钝锥有攻角分离流动的数值模拟及其分析

本文定性分析了开式分离的性状,并对钝锥有攻角超声速绕流的开式分离作了数值模拟。分析指出,开式分离可能存在两种形态,第一种分离线的起点为正常点,第二种分离线的起始为鞍、结点(包括螺旋点)的组合。对于第一种形态,分离线的起点是横向分离的起始点,除分离线外,分离面上的流线不是从分离线的起点发出的。对文中计算的情况,流动属第一种开式分离。计算证实了定性分析的结论。计算和分析均指出,对第一种开式分离,在分离的起始区域,分离流面尚未卷曲,但在下游,则变成卷曲面。文中还研究了围绕物体的流管在分离诱导下的变形情况。     

攻击活动目标的一种最优弹道估计

 为分析活动目标的随机飞行状态和减小导弹的脱靶量,提出了数学模拟打靶的一种新方法。其中包括卡尔曼滤波理论结合最大似然法的应用,以及建立相对运动的离散化模型和灵敏度矩阵。为改善飞行状态的估计精度,论述了确立飞行弹道修正协方差矩阵的概念。除此之外,还讨论了导引敏感器静态误差影响脱靶量的估计问题。     

可拓优度评价方法在创新项目选择中的应用

创新项目选择是否得当，直接关系着企业的生存和发展。针对创新项目选择的可行性问题，文章将可拓工程中的优度评价方法应用于创新项目的选择过程之中，运用定性与定量相结合的方法，对项目方案进行评价，为决策提供可靠依据。     

子母弹分离过程的数值模拟方法

以分区拼接网格数值模拟方法为基础，通过气动方程和弹道方程联立求解数值模拟了子弹从母弹中分离并穿越母弹激波的过程，研究了子母弹干扰流场的气动特性，分析研究了子弹各初始分离状态（如初始抛撒速度、初始姿态角、初始姿态角速度等）对分离过程的影响。     

应用逆系统方法设计空空导弹控制器

对非线性控制的逆系统方法原理进行了介绍，将该方法应用于空空导弹制导设计中，设计了导弹质心运动动力学系统的控制器，该控制器通过对弹道坐标系下导弹的纵向过载和法向过载实施控制，可使导弹在控制系统中的速度、偏航角和俯仰角输出信息渐近跟踪制导指令，以实现空空导弹对攻击目标的跟踪。     

CAXA制造工程师在复杂模具数控加工中的应用

通过对可乐瓶底模具运用CAD／CAM技术进行数控加工这一实例，介绍了CAXA制造工程师软件在数控加工制造中应用的具体步骤：首先用CAXA制造工程师的CAD功能生成3D模型，再用其CAM功能自动生成数控加工程序及刀具轨迹，并进行仿真加工后再校核、修订，从而获得优化的实际生产结果；强调了CAD／CAM在现代制造技术中的地位及重要性，说明用CAD／CAM技术缩短设计和制造周期，提高零件加工质量的目的。     

不同生命周期项目组合的约束资本预算优化模型及算法

文章给出了约束资本预算优化模型的一般数学表达式.根据詹姆斯*范霍恩的共同生命周期法的理论,提出了一种对不同生命周期项目组合的约束资本预算优化的新算法.通过算例,说明了新算法与原有算法的差别,结果表明新算法考虑了项目的重置,在满足各种约束的前提下,按照净现值指数的大小选择项目组合,从总体上寻优,得到的净现值总和更大,具有更为优化的特征.