逐步Ⅰ型混合截尾试验下Burr部件的可靠性分析

在逐步Ⅰ型混合截尾试验下,研究了Burr部件寿命参数及可靠性指标的极大似然估计和Bayes估计.利用简单迭代方法,给出了寿命参数和可靠性指标的极大似然估计的数值解.然后利用Lindely Bayes近似算法得到了平方损失下寿命参数以及可靠性指标的Bayes估计.最后,运用Monte-Carlo方法对各估计结果作了模拟比较,结果表明Bayes估计较极大似然估计的误差小.     

A computationally efficient approach for determining inventory levels in a capacitated multiechelon production‐distribution system

The system under study is a single item, two‐echelon production‐inventory system consisting of a capacitated production facility, a central warehouse, and M regional distribution centers that satisfy stochastic demand. Our objective is to determine a system base‐stock level which minimizes the long run average system cost per period. Central to the approach are (1) an inventory allocation model and associated convex cost function designed to allocate a given amount of system inventory across locations, and (2) a characterization of the amount of available system inventory using the inventory shortfall random variable. An exact model must consider the possibility that inventories may be imbalanced in a given period. By assuming inventory imbalances cannot occur, we develop an approximation model from which we obtain a lower bound on the per period expected cost. Through an extensive simulation study, we analyze the quality of our approximation, which on average performed within 0.50% of the lower bound. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 377–398, 2000     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

结合兰彻斯特方程分析战场地形因素对战争的影响

针对现代战争中地形对作战制约因素增多的问题,在兰彻斯特作战模型基础上,加入战场地形因素,分析对战争的影响。本文介绍了兰彻斯特方程的改进与发展,通过地形对通行和隐蔽的影响分类,构建一种反映地形因素的作战模型,并运用Matlab软件编写模型算法进行仿真计算。仿真结果表明:该模型可在一定程度上反映地形因素对战争的影响,同时说明了合理有效发挥地形优势可以达到以少胜多、以弱胜强的军事目的。     

电磁发射弹丸飞行弹道仿真

针对电磁发射弹丸飞行弹道进行仿真研究,在建立刚体六自由度飞行弹道模型的基础上,采用时频分析和涡流分析方法,建立电磁-动力学耦合模型分析弹丸出膛时由于膛内振动带来的炮口扰动,采用动网格技术建立电磁-气动耦合模型分析弹托分离产生的气动扰动,从而得到了电磁发射弹丸的飞行弹道模型。以得克萨斯大学先进技术研究所设计的IAT-HVP为例,仿真分析了弹丸以1117 m/s初速、0°射角出膛时弹丸出口扰动对弹体速度和气动特性的影响,并得到其飞行200 m的弹道曲线。仿真结果表明,受电磁发射一体化弹丸出口扰动的影响,弹体落点相比理想弹道产生了24%的偏差,其中炮口扰动引起的偏差最大,其次是弹托分离。     

箭(弹)级间螺栓法兰连接结构冲击失效实验与数值仿真

基于火箭(导弹)级间螺栓法兰连接结构,简化设计并制作了一组原理性实验件,利用ABAQUS软件建立有限元模型,设计并进行了多次落锤冲击失效实验,其中包括轴向和横向两种工况,考虑了螺栓均布与非均布、螺栓直径和螺栓-栓孔间隙等不同结构特点。实验过程中采集了螺栓力时程响应数据、柱段关键点应变时程响应数据、锤头冲击力和冲击速度及连接界面开缝位移等多组数据。根据实验效果和实测数据,分析了连接结构冲击失效机理,并对比验证发现有限元模型数值模拟效果和精度与实验结果吻合较好。研究结论可为箭(弹)级间连接结构抗冲击设计提供参考。     

基于博弈论的C~4ISR系统监视与侦察功能模型

监视与侦察已成为现代C4ISR系统的重要组成部分,传统的监视与侦察系统效能分析方法存在模型难以建立、结果不准确等问题,很难量化其与作战效果之间的影响。在对基于Lanchester方程的C4ISR系统建模方法进行研究的基础上,提出了反映监视与侦察功能的Lanchester方程模型,并引入博弈论分析了战场上信息的不对称对交战结果的影响,克服了描述C4ISR系统的Lanchester方程没有考虑作战单元、对手和环境间的动态交互以及数学结构简单的缺点。仿真结果验证了模型的有效性。     

并行时域自适应算法在电大目标瞬态散射中的应用

基于电磁场时域积分方程(TDIE)数值技术计算复杂目标的瞬态散射特性,其计算量和内存需求大,采用时域自适应算法(TDAIM)降低了TDIE的计算规模。在研究TDAIM并行算法的基础上,开发了基于.NET Remoting的电磁场分布式数值计算方案。数值结果表明,该方案显著提高了TDAIM的计算效率,为解决电大目标瞬态电磁散射问题提供了一条有效途径。     

两种捆绑火箭弹性振动建模方法对比分析及其对姿控系统的影响

针对长助推和短助推两种类型捆绑火箭的不同模态特点,分析了两者弹性振动建模方法的区别和联系,在此基础上建立了某型固体捆绑火箭姿态动力学新模型,模型中基于有限元法导出了弹性振动方程,基于该模型对箭体复杂弹性振动引起的通道间耦合进行了研究,采用逆Nyquist阵列法进行设计。结果表明,该模型能更准确地反映捆绑火箭纵、横、扭耦合运动特性;新模型三通道之间存在弹性耦合,但耦合矩阵具有对角优势性质,采用逆Nyquist阵列法进行姿控系统设计是有效的,仿真结果表明设计的控制器可行,能够取得比较好的性能。     

一类具脉冲和垂直传染的传染病模型的一致持续生存

本文建立了一类具脉冲和垂直传染的传染病模型,应用脉冲微分议程周期解的全局稳定性、比较原理和分析方法,得到了该模型一致持续生存的充分条件,通过结果可以帮助我们了解,注射疫苗的周期T和注射比例P与疾病控制的联系。