Stage life testing

In progressive censoring, items are removed at certain times during the life test. Commonly, it is assumed that the removed items are used for further testing. In order to take into account information about these additional testing in inferential procedures, we propose a two‐step model of stage life testing with one fixed stage‐change time which incorporates information about both the removed items (further tested under different conditions) and those remaining in the current life test. We show that some marginal distributions in our model correspond either to progressive censoring with a fixed censoring time or to a simple‐step stress model. Furthermore, assuming a cumulative exposure model, we establish exact inferential results for the distribution parameters when the lifetimes are exponentially distributed. An extension to Weibull distributed lifetimes is also discussed.     

Pairwise model discrimination with applications in lifetime distributions and degradation processes

Reliability data obtained from life tests and degradation tests have been extensively used for purposes such as estimating product reliability and predicting warranty costs. When there is more than one candidate model, an important task is to discriminate between the models. In the literature, the model discrimination was often treated as a hypothesis test and a pairwise model discrimination procedure was carried out. Because the null distribution of the test statistic is unavailable in most cases, the large sample approximation and the bootstrap were frequently used to find the acceptance region of the test. Although these two methods are asymptotically accurate, their performance in terms of size and power is not satisfactory in small sample size. To enhance the small‐sample performance, we propose a new method to approximate the null distribution, which builds on the idea of generalized pivots. Conventionally, the generalized pivots were often used for interval estimation of a certain parameter or function of parameters in presence of nuisance parameters. In this study, we further extend the idea of generalized pivots to find the acceptance region of the model discrimination test. Through extensive simulations, we show that the proposed method performs better than the existing methods in discriminating between two lifetime distributions or two degradation models over a wide range of sample sizes. Two real examples are used to illustrate the proposed methods.     

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

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

船舶降噪工程技术集成优化方法

在用船舶降噪工程受总体约束强、声学异常多等因素影响,传统新船建造的声学设计方法不能被直接应用。为此,提出了在用船舶降噪工程技术集成优化方法。根据需求设计顶层降噪指标,并通过四项标准进行检验;基于改装前测试数据和降噪技术储备情况,制定初步降噪技术集成方案;通过声学评估迭代,形成优化的指标分配体系和最终的降噪技术集成方案。模型试验验证结果表明,该方法能够有效实现在用船舶降噪工程的技术优化集成。     

反电动势对无扰载荷航天器精确定向的影响

无扰载荷航天器中非接触式作动器反电动势会引起有效载荷模块与支持模块之间的耦合,影响有效载荷模块的精确定向性能。通过建立无扰载荷航天器的耦合动力学模型,分析非接触式作动器反电动势对有效载荷模块精确定向性能的影响。考虑六支杆立方构型无扰载荷接口,结合拉格朗日方程和牛顿欧拉方法建立有效载荷模块平台动力学模型。推导非接触式作动器的输出力模型,并引入有效载荷模块平台动力学模型,给出考虑非接触式作动器反电动势的耦合动力学模型。将支持模块上飞轮动静不平衡引起的谐振作为干扰力矩,建立了无扰载荷航天器在轨定向状态的Simulink仿真模型。仿真结果表明,反电动势系数越大,干扰力矩对有效载荷模块的影响越大,有效载荷模块精确定向精度越低。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

复杂系统的MTTR建模研究

现代武器系统的结构越来越复杂,在进行系统修复前,系统往往发生多个故障的情况,致使原来的维修性模型不能完全地反映系统的维修性水平。针对多重故障的维修,推导出一种能反映这种情况下的维修性预计的平均修复时间(MTTR)数学模型。模型中的一次维修事件由原来的只进行单一故障维修扩展到可以对多个不同故障进行维修的情况,更好地反映了复杂系统的实际维修情况。通过实例验证了该模型能实际地反映出复杂系统的维修性情况,从而更加准确地预计出系统的维修性水平。     

Optimal control of a production‐inventory system with both backorders and lost sales

We consider the optimal control of a production inventory‐system with a single product and two customer classes where items are produced one unit at a time. Upon arrival, customer orders can be fulfilled from existing inventory, if there is any, backordered, or rejected. The two classes are differentiated by their backorder and lost sales costs. At each decision epoch, we must determine whether or not to produce an item and if so, whether to use this item to increase inventory or to reduce backlog. At each decision epoch, we must also determine whether or not to satisfy demand from a particular class (should one arise), backorder it, or reject it. In doing so, we must balance inventory holding costs against the costs of backordering and lost sales. We formulate the problem as a Markov decision process and use it to characterize the structure of the optimal policy. We show that the optimal policy can be described by three state‐dependent thresholds: a production base‐stock level and two order‐admission levels, one for each class. The production base‐stock level determines when production takes place and how to allocate items that are produced. This base‐stock level also determines when orders from the class with the lower shortage costs (Class 2) are backordered and not fulfilled from inventory. The order‐admission levels determine when orders should be rejected. We show that the threshold levels are monotonic (either nonincreasing or nondecreasing) in the backorder level of Class 2. We also characterize analytically the sensitivity of these thresholds to the various cost parameters. Using numerical results, we compare the performance of the optimal policy against several heuristics and show that those that do not allow for the possibility of both backordering and rejecting orders can perform poorly.© 2010 Wiley Periodicals, Inc. Naval Research Logistics 2010     

收发合置情况下海底混响仿真

为了实现收发合置情况下海底混响时间序列仿真,提出了一种混合模型方法。该方法将点散射模型方法与单元散射模型方法混合使用,既能够克服单元散射模型方法中高斯分布假设带来的计算误差,又能够克服点散射模型方法计算复杂的问题。针对窄带发射信号,为了便于计算,设计了一种适用于任意采样率的基于复包络的混响信号仿真方法。最后,通过仿真试验证实了仿真方法的有效性。