Optimal stopping in software testing

In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

过程速率有限对卡诺制冷机制冷系数与利润率间关系的影响

本文讨论在给定的热源温度和压缩比的情况下,涉及活塞惯性且过程进行的速率有限,只考虑传热不可逆影响的内可逆卡诺制冷机的制冷系数与利润率的关系,得到了一些有意义的结论,为实际制冷机设计提供了一个新的理论依据。     

舰船拖带安全评估的故障树方法

提出了一种从故障树分析的角度进行舰船拖带安全评估的方法。采用专家评估和模糊集理论相结合的原理得到故障树中基本事件发生的模糊概率,然后进行故障树定性和定量分析。该方法能合理和有效地预测作业系统的安全性及其薄弱环节。以断缆事件分析为例,对该安全评估方法做了概要阐述。     

开尔文模型粘弹性Timoshenko梁的动力分析与应用

基于Kelvin模型张量形式本构关系导出粘弹性Timoshenko梁自由振动微分方程组,给出两端简支粘弹性梁的固有频率解析解。对粘弹性梁的振动特性进行了分析和比较。以此计算材料开尔文模型粘弹性阻尼系数,结果表明,该方法准确可靠。     

基于n-宗派的C2组织协作性量化分析

C2组织的协作性是目前信息化战争研究中的一个热点。利用"社会网络分析方法",对C2组织的指挥控制关系网络模型进行"n-宗派"分析,可以有效地揭示组织的子结构特征以及定量地研究组织的协作性。分析了指挥控制关系网络模型n-宗派中"n"的现实意义,设计了"宗派协作指数"和"组织协作指数"的计算方法和公式。结合示例,以2-宗派为例说明了C2组织协作性量化分析的步骤和过程。研究表明,基于n-宗派的C2组织协作性量化分析具有可操作性和现实意义。     

2种结构驱动线圈对电枢受力的影响

介绍了电磁同步线圈驱动器工作原理,并利用有限元分析软件ANSYS建立驱动线圈的三维模型。在不同结构的驱动线圈的驱动下,分别对电枢所受电磁力进行仿真,得到电枢在不同情况下的受力变化规律;在加载情况完全一致的情况下,对比不同结构的驱动线圈对电枢的作用力,得出2层驱动线圈对电枢综合作用效果较好的结论。     

基于作战体系结构的装备指挥信息系统作战需求分析

作战需求分析是装备指挥信息系统建设的关键环节,为系统建设提供可靠依据和理论支撑.运用指挥关系模型、装备保障活动模型、作战接点连接能力、信息交换矩阵等体系结构方法对装备指挥信息系统的信息交互进行分析,得出装备指挥信息交互对装备指挥信息系统的作战需求.体系结构化方法是获取作战需求的有效途径,运用作战体系结构研究装备指挥信息系统,为科学、合理地建设装备指挥信息系统提供了一种新的分析研究方法.     

Interval scheduling: A survey

In interval scheduling, not only the processing times of the jobs but also their starting times are given. This article surveys the area of interval scheduling and presents proofs of results that have been known within the community for some time. We first review the complexity and approximability of different variants of interval scheduling problems. Next, we motivate the relevance of interval scheduling problems by providing an overview of applications that have appeared in literature. Finally, we focus on algorithmic results for two important variants of interval scheduling problems. In one variant we deal with nonidentical machines: instead of each machine being continuously available, there is a given interval for each machine in which it is available. In another variant, the machines are continuously available but they are ordered, and each job has a given “maximal” machine on which it can be processed. We investigate the complexity of these problems and describe algorithms for their solution. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

利用声光衍射测定甘草稀溶液中超声波的波长与浓度的关系

利用声光衍射测量甘草稀溶液中超声波的波速与浓度的关系,通过对实验原理和数据的分析,挖掘出了较多的数据关联,对干草稀溶液物理特性的声光衍射实验测量,是本文的一个新的尝试。     

我国消防产业现状分析及对策建议

我国消防产业经过几十年的发展,在企业规模、市场开发、技术水平、规范管理、政策调控、中介组织等方面都有了很大发展,但也存在许多不足,与社会经济发展需要和国际竞争局势不相适应,必须整体谋划,寻求新的发展。