一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

低压终端线路无功补偿技术

随着经济发展,低压终端线路,特别是住宅负荷中,无功需求急剧增加。基于这一现状,提出了低压终端线路无功补偿问题。分析探讨了终端无功补偿设备与传统补偿设备的差异及应具的技术和特色,构划了系统总体设计方案,明确了该装置开发研究中应关注的主要问题及处理措施,指出开发专门终端无功补偿的必要性和紧迫性,为低压终端线路补偿装置的研制奠定了基础。     

新疆人口分布的地域性研究

以新疆人口统计数据为依据,采用人口集中指数和规模顺序分布规律等分析方法,研究新疆各地区人口分布、动态过程和趋势特征。揭示新疆人口分布和人口变动的空间性差异,以及形成这种差异的自然和社会因素,有助进一步了解新疆人口发展的规律。     

概率分布模型的飞机战备完好率评估与预测

飞机战备完好率是军用飞机战斗力的重要体现.在分析目前部队常用的飞机战备完好率算法缺陷的基础上,建立了基于概率分布的飞机战备完好率计算模型,该模型体现了飞机任务可靠性、维修性与战备完好性之间的关系.以某型飞机为例,通过分析飞机任务可靠度,利用飞机可靠性、维修性、保障性及作战训练任务的历史统计数据,依据概率分布模型对飞机的...     

舰空导弹武器系统软件靶场综合测试分析

针对舰空导弹武器系统的特点以及舰空导弹武器系统软件定型试验的现状,指出了舰空导弹武器系统软件靶场测试的必要性、特殊性。通过靶场软件测试综合试验,总结了舰空导弹武器系统软件靶场定型的试验方法。并指出了靶场软件测试的发展方向。     

基于蚁群算法的火力分配寻优方法研究

火力分配的优化是最大限度的发挥火力单位效能,达到最大毁伤效果的基础和前提,将蚁群算法应用于火力分配的优化.研究了蚁群算法用于火力分配寻优的相关条件,给出了火力分配寻优的模型和算法.最后,结合一个应用实例,说明了蚁群算法用于解决火力分配问题有很好的应用价值.     

舰炮对岸应召射击最优火力分配

针对舰炮射击特点,分析了海上射击误差,探讨了集群目标的简化处理方法,给出了最优火力分配时表尺差和弹药消耗量计算模型,并进行了举例分析。利用最优火力分配方法来计算舰炮效力射表尺差和弹药消耗量,避免了指挥员战场射击指挥的盲目性,可以在相同弹药消耗量情况下取得最佳射击效果。     

存在工作历程产品的加速寿命试验统计分析

加速寿命试验(ALT)可在较短时间内获得产品的寿命及可靠性信息.利用ALT对产品的剩余寿命进行评估时,常常将已工作过的产品进行抽样并投入试验,在这一类样本的ALT数据统计分析时如何处理初始工作时间,成为ALT应用中的一个重要问题.工程实际中评估此类样本的剩余寿命时常常忽略初始工作时间,将其视为"用后如新"或"无记忆性"产品.但此假设必须以产品寿命服从指数分布为前提,而大部分机电产品的寿命服从Weibull分布,因而该方法在应用时必然会产生较大误差.针对这一问题提出了一种新的基于时间折算的ALT数据统计分析方法,并利用Monte Carlo仿真对其估计特性进行对比研究,结果表明此方法能有效评估存在初始工作历程产品的剩余寿命,估计精度优于原方法.     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

正态总体下分布参数的Bayes序贯估计

论述正态总体分布参数的序贯估计和Bayes序贯估计问题。在Stein的双子样序贯估计的基础上 ,构造了Bayes双子样序贯估计 ,并作了剖析。此外 ,为了适应当前试验场地“试试看看 ,看看试试”的试验分析和鉴定的需要 ,给出了以序贯Bayes检验为基本出发点 ,使检验和序贯估计相联合的分析方法