简介：为提高攻击导弹同时面对目标飞机及其防御导弹情况下的命中概率,基于微分对策理论,对攻击导弹的制导律进行了设计。应对独立控制的多对象博弈问题,微分对策理论具有天然的优势,且相比于最优制导律,微分对策制导律对于目标机动估计误差和机动策略具有更强的鲁棒性。所推导的微分对策制导律进一步考虑了攻击导弹的控制有界性,且适用于攻击导弹、目标飞机和防御导弹具有高阶线性控制系统动态的情形。为验证制导律性能,进行了非线性系统仿真,结果表明该制导律在成功归避防御导弹的同时可实现趋于零脱靶量的目标拦截。攻击导弹为实现规避和攻击的双重任务,仅需要保持相比于防御导弹两倍左右的机动优势。

简介：容错技术已成为提高计算机系统可靠性的必要手段。通过对冗余模式及级别进行选择，本文提出了一种面向任务的双机并联体系结构，运用双机数据比较实现容错。文中给出了此系统的功能、结构及原理，并给出了部分实现方案

简介：严重事故下核电安全壳内由于几何与流动的复杂性,需要有可靠的程序对流动进行分析评估.文章采用符合核电安全标准的开源CFD程序Code_Saturne对壳内气体流动进行计算,主要模拟壳内氢气和水蒸气喷放过程.该过程涉及多组分气体低速流动计算浮力效应引起的分层固体结构热传导结构表面与气体之间的热流和冷凝的计算.该程序使用了SIMPLEC格式并添加了低Mach数气体流动算法,基于理想气体模型的多组分模型和薄板结构上的一维热传导模型.同时,在此基础上改进了壁面函数方法,对壁面进行对流传热和传质流动计算.最后利用两个国际化标准问题对该程序及使用的模型进行了验证.