简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:崛起中华,大国重器,举世名扬。看嫦娥探月,高铁独秀,蛟龙潜海,天眼无双。“墨子”卫星,“神威”超算,超大飞机霸气昂。强国梦,我中华崛起,屹立东方。
简介:飞机的发展(1)小编的话:渴望能像鸟一样在天空中自由飞翔,一直是人类的梦想。飞机的出现,终于圆了人类的飞行梦。但是,飞机的发展之路并不平坦,人类在探索飞行的过程中经历了很多挫折,甚至付出了生命的代价。从本期开始,我们将向小读者介绍飞机的发展,不仅回顾历史,更是展望美好未来,带着人类开拓探索的勇气和信念一往无前,创造美好的明天。
简介:自主式水下航行器(AUV)无论是在军事上还是在民用上均有广阔的应用前景。为了更好地协同,挪威国防研究院(FFI)已将民用部门的兴趣吸引到其雄心勃勃的水下航行器计划上。这是一个依靠挪威工业部门自身的水下航行器技术商业开发计划。在挪威工业部门的配合下,FFI已经开发出了两代“休金”系统。自1997年以来,“休金”已进行了许多次商业应用,主要用于近海石油与天燃气工业。与此同时,系统在使用过程中积累的日常经验反过来在许多方面促进了开发工作一“休金”水雷侦察系统(HMRS)将是“休金”水下航行器技术第一项军事化运用。本文描述了其猎雷概念、技术实现途径及能力。