简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:脑力负荷的准确预测是研究装甲车辆乘员信息处理作业的关键技术,对提高人机系统设计的合理性具有重要意义。为有效解决应急任务条件下装甲车辆乘员信息处理作业的脑力负荷预测问题,针对装甲车辆乘员作业向信息处理作业转变的基本趋势,结合信息处理作业操作元模型和认知图式分析,基于信息执行通道任务-网络建模方法构建了脑力负荷预测模型,量化了工作资源参数,并面向目标录入典型信息处理作业对预测模型进行了实例应用。结果表明:该模型能够清晰地描述装甲车辆乘员信息处理作业脑力负荷变化情况,有效地找出脑力负荷异常的时间节点和产生原因,量化预测作业各时刻脑力负荷,具有较好的预测精度和可重用性。