假设检验在军事工程应用中的若干问题

对假设检验这一统计学工具在军事工程应用中值得注意的若干问题进行了探讨,包括假设的设置、检验门限的设置和统计量的构造等,这些问题在理论上有一些一般的指导,但在实际工程应用中,需要根据具体问题进行设计,这中间涉及一些技巧和经验,也容易出现一些常被忽视的问题。指出了这些问题,并给出了在实际工程中应用好假设检验的一些建议。     

末端防御武器平台炮控性能检测方法

末端防御武器平台炮控系统性能的好坏直接影响首发命中率和射击反应时间等重要战技指标,在设计试验阶段,对其炮控性能进行检测是必不可少的环节。采用基于三棱锥模型的炮控性能检测方法,建立了三棱锥计算模型并进行Matlab仿真分析以及检测精度分析,从而验证了其工作原理及可行性,满足武器平台炮控性能检测的要求。     

武警“合训”院校大学英语教学形成性评估探析

将形成性评估恰当地运用到大学英语课堂,能显著改善教学效果,有效弥补当前武警“合训”院校大学英语教学与测试的一些不足。从分析大学英语教学中的形成性评估的重要性着手,指出形成性评估中存在的问题及原因,并提出了一些设想和方案。     

基于变转速的柴油抗磨性评定方法

以MRS-1J型四球摩擦磨损试验机为平台,提出了一种变转速条件下柴油抗磨性评定方法。利用VC＋＋对试验机软件进行了改进,增加了负荷-转速程序控制功能,实现了试验机自由设置转速、负荷的变化范围、变化速率和变化模式。通过正交试验方法确定了最佳试验条件,发现试验时间3N1min,负荷11N2N,油温60℃,转速在1 min内由100 r/min线性上升至20N3r/min再线性下降至100 r/min并依次循环时,该试验方法具有良好的重复性和区分性。在与高频往复试验机法的对比中,发现该方法的磨斑直径变化率大于高频往复试验机法,证明变转速四球机法优于高频往复试验机法。     

Reduction of global effects on vehicles after IED detonations

Global effects caused by the detonation of an IED near a military vehicle induce subsequent severe acceleration effects on the vehicle occupants. Two concepts to minimize these global effects were developed, with the help of a combined method based on a scaled experimental technology and numerical simulations. The first concept consists in the optimization of the vehicle shape to reduce the momentum transfer and thus the occupant loading. Three scaled V-shaped vehicles with different ground clearances were built and compared to a reference vehicle equipped with a flat floor. The second concept, called dynamic impulse compensation (DIC), is based on a momentum compensation technique. The principal possibility of this concept was demonstrated on a scaled vehicle. In addition, the numerical simulations have been performed with generic full size vehicles including dummy models, proving the capability of the DIC technology to reduce the occupant loading.     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

铁路区间信号系统测试评估平台——自动闭塞移频信号的数据采集及验证

铁路区间信号系统测试评估平台中数据采集和验证子系统研究移频信号的数据采集、A/D转换和信号显示,移频信号的处理是对被测系统发送和接收的移频信号的载频和调制低频鉴频鉴幅,进行验证,为测试评估平台对被测系统的功能、可靠性和安全性评估作必要的数据准备.     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

Group testing procedures with quantitative features and incomplete identification

We present a group testing model for items characterized by marker random variables. An item is defined to be good (defective) if its marker is below (above) a given threshold. The items can be tested in groups; the goal is to obtain a prespecified number of good items by testing them in optimally sized groups. Besides this group size, the controller has to select a threshold value for the group marker sums, and the target number of groups which by the tests are classified to consist only of good items. These decision variables have to be chosen so as to minimize a cost function, which is a linear combination of the expected number of group tests and an expected penalty for missing the desired number of good items, subject to constraints on the probabilities of misclassifications. We treat two models of this kind: the first one is based on an infinite population size, whereas the second one deals with the case of a finite number of available items. All performance measures are derived in closed form; approximations are also given. Furthermore, we prove monotonicity properties of the components of the objective function and of the constraints. In several examples, we study (i) the dependence of the cost function on the decision variables and (ii) the dependence of the optimal values of the decision variables (group size, group marker threshold, and stopping rule for groups classified as clean) and of the target functionals (optimal expected number of tests, optimal expected penalty, and minimal expected cost) on the system parameters.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011