软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

装甲装备改进改型的发展及应用

对现役装甲装备的改进改型作了较全面的分析,指出了装备改进的特点、遵循的设计原则及一般通用性作法,并明确了实施装备改进的条件,剖析了装甲装备改进改型的具体实例.     

虚拟技术在航天产品研制中的应用前景

在航天产品研制过程中采用虚拟制造技术和虚拟测试技术,必将改变传统航天产品研制与测试的模式和局限性。在实际产品投料生产之前,应用虚拟制造技术和虚拟测试技术在计算机上进行虚拟加工、虚拟装配、虚拟测试等生产过程的仿真,向上可以验证产品设计的正确性与合理性,从而可以使设计师及早发现设计中存在的缺陷,及时更正;向下可以指导生产过程,确定正确的工艺流程和装配流程,确定某些工艺参数,使生产过程更加合理,从而大大减少人力资源和物力资源的浪费,缩短研制周期,降低研制费用,提高产品质量。     

混合指数分布模型的Bayes分析

针对截尾试验数据的情况,给出了二元混合指数分布模型的平均寿命和可靠性函数的严格的Ｂａｙｅｓ点估计,并运用最大熵准则给出了可靠性函数的近似的Ｂａｙｅｓ置信下限估计。     

Heart analytics: Analytical modeling of cardiovascular care

Cardiovascular diseases (CVDs) are the leading cause of death and disability both in the United States and worldwide. Despite high morbidity, mortality, and cost in the United States and global healthcare systems, cardiovascular care has been understudied in the healthcare operations management literature. In this paper, we identify research opportunities for healthcare operations management scholars to aid in improving cardiovascular care. We focus on three burdensome conditions, including (1) coronary artery disease, (2) stroke, and (3) heart failure, which, collectively, lead to the vast majority of CVD‐caused mortality and disability. For each condition, we characterize a typical patient's journey in receiving cardiovascular care, elucidating key challenges in improving care and outlining research questions for healthcare operations management scholars. We close with a reference to new research opportunities that emerge as artificial intelligence is likely to transform much of cardiovascular care.     

基于比例危险模型的产品竞争失效分析

突发型失效与退化型失效共存的竞争失效问题在实践中大量存在,一般情况下突发失效是受退化量大小影响的。文中利用比例危险模型分析了突发失效与退化量的关系,给出了竞争失效的一般模型及模型的参数估计方法,最后利用所给模型对强激光装置所用的金属化膜脉冲电容器进行了可靠性分析。     

弹炮结合武器系统火力分配优化问题研究

在确定弹炮结合武器系统对目标的可射击系数、火力重叠修正系数和转火矛盾修正系数的基础上,结合防空作战的实际,通过对运用地空导弹射击、运用高炮射击、运用地空导弹和高炮混合射击三种情况的分析,介绍了解决弹炮结合武器系统火力分配优化问题的一般步骤。通过算例,证明了该方法的可行性,为有效解决弹炮结合武器系统火力分配优化问题提供了一种较为科学的方法。     

What you should know about queueing models to set staffing requirements in service systems

One traditional application of queueing models is to help set staffing requirements in service systems, but the way to do so is not entirely straightforward, largely because demand in service systems typically varies greatly by the time of day. This article discusses ways—old and new—to cope with that time‐varying demand. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

The strategic effects of a merger upon supplier interactions

We consider how a merger between two naturally differentiated dealers affects their interactions with a common supplier and identify conditions under which the merger can increase or decrease the combined net worth of the two firms. Among other things, we find that the attractiveness of merging depends upon the extent to which end demand can be stimulated by either an upstream supplier or the dealers. Specifically, the greater the supplier's ability to invest in stimulating end demand, the more likely it is that the naturally differentiated firms will be better off operating independently than merging. On the other hand, if the greatest opportunities for stimulating demand are through the service that is provided by the dealers, then merging their operations will be more attractive. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

浅析一体化作战中如何处置时间上敏感的目标

通过对时间上敏感的目标的分析确定,打击过程的指挥与控制及注意事项的研究,对一体化作战行动的联合目标选择与打击的相关问题进行了探讨.