基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

A computation procedure for the exact solution of location-allocation problems with rectangular distances

A method is presented to locate and allocate p new facilities in relation to n existing facilities. Each of the n existing facilities has a requirement flow which must be supplied by the new facilities. Rectangular distances are assumed to exist between all facilities. The algorithm proceeds in two stages. In the first stage a set of all possible optimal new facility locations is determined by a set reduction algorithm. The resultant problem is shown to be equivalent to finding the p-median of a weighted connected graph. In the second stage the optimal locations and allocations are obtained by using a technique for solving the p-median problem.     

雷达网抗干扰性能综合评估指标

如何对雷达网的抗干扰性能进行评估一直是国内外的研究热点之一。从雷达网的战术功能总体需求出发,指出可以根据雷达网在干扰前后的情报信息提供能力的变化来进行评估,然后结合对雷达网内部影响其抗干扰性能的各因素分析,并考虑到外场实际开展对雷达网抗干扰性能试验评估的需求,在现有评估指标的基础上,提出用于综合评估雷达网抗干扰性能的指标。     

灰色关联分析中的空袭目标威胁度判断

在防空作战中,判断多批次空袭目标威胁度是一项复杂且主观性极强的工作。为避免人为因素对其判断的影响,用灰色关联分析的方法,从定性与定量的角度对判断过程进行了分析研究,提出了一种判断目标威胁度的方法。实例计算分析表明,所提出的方法较好地保护了已有的信息,确保了正确的判断结论。     

炮射导弹飞行可靠性试验法研究

结合炮射导弹的性能特点 ,研究分析了传统的飞行可靠性试验法的不足 ,提出了炮射导弹飞行可靠性试验的寿命型定时截尾指数分布新方法 ,该方法的应用使试验的方法更为可行 ,结果更为合理     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

应用虚拟检测技术开发的舰艇机电设备通用测试分析仪

针对舰艇机电设备复杂 ,需要监测的参数数量大、种类多等实际情况 ,研制了一种通用测试分析仪 .该仪器采用虚拟检测技术 ,功能全面、携带方面、经济可靠 ,具有较高的推广价值和应用前景 .     

一种由分抗干扰效果推出合成抗干扰效果的方法

提出了一种在外场雷达对抗试验中,由多部具有分抗干扰措施的雷达的抗干扰效果推出某种具有综合性抗干扰措施的雷达的合成抗干扰效果的方法,以在不具备该种雷达的情况下,用多部具有分抗干扰措施的雷达来代替它作为被干扰对象,在外场进行干扰机对其干扰的干扰效果试验检验。     

Local search methods for the discrete time/resource trade-off problem in project networks

In this paper we consider the discrete time/resource trade-off problem in project networks. Given a project network consisting of nodes (activities) and arcs (technological precedence relations), in which the duration of the activities is a discrete, nonincreasing function of the amount of a single renewable resource committed to it, the discrete time/resource trade-off problem minimizes the project makespan subject to precedence constraints and a single renewable resource constraint. For each activity, a work content is specified such that all execution modes (duration/resource requirement pairs) for performing the activity are allowed as long as the product of the duration and the resource requirement is at least as large as the specified work content. We present a tabu search procedure which is based on a decomposition of the problem into a mode assignment phase and a resource-constrained project scheduling phase with fixed mode assignments. Extensive computational experience, including a comparison with other local search methods, is reported. © 1998 John Wiley & Sons, Inc. Naval Research Logistics 45: 553–578, 1998     

一种改进的指纹图像局部方向场匹配方法

指纹方向场真实地反映了指纹图像中本质的纹理特征,包括了指纹的基本形状、结构和走势。定义了局部方向场图像的描述方法,可以根据纹理信息有效地描述并区分不同的细节点。在低质量指纹图像,特别是存在较严重非线性形变的指纹图像中,细节点方向属性不够可靠,使得以细节点对作为参考对齐局部方向场图像的方法效果不佳。提出一种改进的局部方向场图像对齐和匹配方法,能够明显改善局部对齐效果,提高局部匹配的准确性,从而更加有效地区分对应和不对应细节点。实验结果验证了提出方法的有效性。