本项研究将采用时段演算作为说明语言，以时间自动机、时间自动机网络、混成自动机作为模型语言，围绕实时和混成系统的模型验证中的状态爆炸问题展开研究工作，这在提高实时和混成系统的正确性和可靠性、将理论研究成果转换为实际应用技术、跟踪和发展国际上先进的科学研成果等方面具有重要的意义。