基于决策过程的广义可能性时序逻辑的符号模型检测方法研究