基于离散程度分析的雷达系统测试性试验方案设计方法

随着装备测试性验证的开展,雷达系统的测试性指标验证越来越受到重视。相较简单产品,雷达系统的故障样本空间具有两大特点:故障模式数量庞大和天线部分的故障模式重复性强。庞大的故障模式数量大,极大地延长了实施周期,试验费效比极低。是否可以减少试验方案中样本数量和如何降低试验样本数量变成雷达系统测试性试验方案设计亟待解决的问题。为此,以离散程度(极差)分析为基础,基于蒙特卡罗模拟和低差异性序列算法,论证大样本小抽样的可行性与合理性,并详细仿真分析截尾数的制定方法,实现试验样本量的缩小,同时保证评估结果精度。最终形成雷达系统测试性试验方案设计方法,为雷达系统测试性指标验证提供依据。

格值有限状态自动机的子机和强子系统

在格值有限状态自动机(简称为LFSA)理论的基础上,给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念,通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质,讨论了构成强子系统的充分必要条件,以及子机和强子系统的相互刻画.最后,通过LFSAs同态的概念得到了强子系统的象仍是强子系统等结论.