编程设计 语言 复位 进行 验证