状态图模型相关论文
静态的系统安全性分析方法在对含有失效时序关系的复杂系统进行安全性分析时,会在分析过程中丢失失效事件发生的时序信息,因此分析......
为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,......
为了有效衡量拆卸过程中零部件约束方向区间的大小,提出了一种基于向位妨碍的约束状态图模型及其拆卸序列生成方法。根据零部件之......
