简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:讨论x射线脉冲星自主导航(X—raypulsar-basedautonomousnavigation,XNAV)技术应用于halo轨道卫星的可行性。给出halo轨道卫星的6维状态方程和基于x射线脉冲星导航的6维观测方程,对用x射线脉冲星导航和小推力方法控轨后的日地系第一平动点halo轨道卫星进行了数值模拟。结果表明:在现有的测量精度下,可以将卫星保持在标准轨道附近。最后对实验参数数值的选择给出了相应的分析讨论。