仿真想定描述语言相关论文