简介：基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

简介：基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（GlobalTemporalLogic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

简介：目前大多数坦克炮塔方向机均采用一行星汇流排将手动与电动合二为一.但由于受到结构及坦克空间约束,方向机的传动比基本上均匀分配,系统各级精度均对系统误差产生影响,因而空回量大、传动精度低,通常在2.5密位以上.本研究通过采用"同力面混合少齿差行星传动"技术及径向弹性补偿装置,并对系统各级传动比重新分配,使方向机的空回量约减小一半,提高了方向机的传动精度和传动效率.

简介：为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。

简介：讨论了小样本三维同方差正态分布整体检验射击精度问题.给出了n=3,4,5的不同显著水平α的检验OC曲线.计算出了与第一类错误和第二类错误相联系的有关重要物理参数.模拟表明该方法检验效果良好.

简介：为了验证高功率密度柴油机智能化控制冷却系统控制策略是否正确,以DSPACE为基础搭建了半实物仿真试验平台;通过仿真试验平台验证,控制策略符合柴油机冷却系统工作要求,电控阀、传感器、驱动电路等部件工作可靠,节省了研制时间、经费,降低了研制风险。