完全定义时序机相关论文