On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.     

基于高精度WCNS格式的γ-Reθ转捩模型标定与应用*

在高精度数值风洞平台上,采用低速平板试验数据对基于高精度WCNS格式的γ-Re_θ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明,基于高精度WCNS格式的γ-Re_θ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性。同时也表明在中等雷诺数范围,层流区域长度和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。     

高精度有限体积格式在三维曲线坐标系下的应用

为了构造在光滑区具有较高分辨率并且可以无振荡捕捉激波的高精度有限体积格式,同时降低格式在模板选择上遇到的困难,基于逐维重构方法,发展了结构网格下的高精度有限体积格式,并将这一格式推广到三维曲线坐标系下,从而可以适应相对复杂外形下的计算。为充分验证格式的有效性,选取一系列典型算例进行计算:在等熵涡输运和二维喷管流动中验证了格式的精度可以达到设计精度;在双马赫反射问题中格式也表现出良好的捕捉激波的能力。数值计算表明,上述格式在曲线网格上具有较高的数值精度和鲁棒的激波捕捉能力,适用于流体力学方程的计算。     

带混合误差的Ishikawa迭代格式

将Ishikawa型迭代格式的收敛性问题推广到带混合误差的Ishikawa型迭代格式的情形 ,同时所用的证明方法和技巧有所改进     

双原子分子气体的定常隐式全流域多尺度算法

巨大的计算资源需求极大地阻碍了统一气体动理学格式的应用。采用宏观预估技术,基于Boltzmann-Rykov模型方程发展全流域适用的保守恒定常隐式算法,协同求解宏观方程和微观方程以加速收敛。在单元界面,通过模型方程特征差分解构造简单高效的多尺度数值通量,并结合非均匀非结构速度空间和速度空间自适应技术进一步降低计算需求、提升计算效率。超声速和高超声速平板绕流和圆球绕流的数值结果验证了算法的准确性与高效性。结果表明,算法能够准确求解二维和三维双原子气体多尺度流动问题,且相比于显式离散统一气体动理学格式可加速一个量级。     

双时间隐式方法求解非定常绕流的相关问题

空间采用三阶精度的WeightedNND(WNND)格式,时间方向则采用具有二阶精度的双时间步隐式方法求解二维非定常Euler方程,数值模拟了NACA0012翼型俯仰强迫振动流场,讨论了内迭代步数、内迭代收敛判据以及物理时间步长对计算结果、计算效率与计算CPU时间的影响,并将计算结果与实验值进行了比较。     

基于遗传算法的信息系统安全技术方案

组织如何制定优化的信息安全技术方案以降低脆弱性对其信息系统的威胁,是信息安全管理领域的关键问题。在描述信息系统安全技术方案决策模型的基础上,提出了一种求解信息系统安全技术方案优化问题的自适应遗传算法,使得组织能以最少的方案实施费用最大限度地处置脆弱性,并以实例说明了该算法的有效性。     

天然气管道输送工程消防设计及火灾预防对策

通过分析西气东输二线工程天然气管道输送过程的火灾危险性,从严格按规范要求进行消防设计、关键部位的火灾预防措施、检测及监控措施、消防安全管理等方面提出了消防安全防范对策。     

重庆市某混合式热泵工程经济配置方案模拟分析

基于重庆市某混合式热泵工程,采用TRNSYS软件分别就室内温度、湖水温度、地埋管流体温度以及供冷能耗进行了模拟,并与实际运行数据进行对比分析,确定了该模型的准确性和可行性.最后对土壤源热泵承担总负荷15％,25％,35％,45％的4种方案与传统方案一同进行模拟分析,结果显示,土壤源热泵25％的负荷比例在4种配置方案中最...     

高黏油品热边界层减阻输转工艺及装置研究

油库高黏油品黏度大、凝固点高,在常温下管输水力损失大,必须加热升温降黏后才能实施管输、收发及灌桶作业.分析了黏油蒸汽加热的不利因素,研究了黏油热边界层减阻输转理论与工艺技术,开拓了热边界层理论与技术的应用领域.研制了基于热边界层减阻理论的黏液输转装置,建立了黏油热边界层减阻工艺水力和热力数学模型,并编制计算程序,通过热...