状态推演相关论文