离散事件系统随机可诊断性的修订测试| IEEE期刊和杂志| IEEE Xplore