形式化建模语言相关论文
计算机联锁系统(CBI)是铁路运输中的重要设备,它肩负着列车调度、安全行车、提高运输效率的重要工作。它通过对道岔、进路以及信号......
嵌入式系统设计面临着系统复杂性的不断增加以及设计周期的逐渐缩短等问题的挑战,这类挑战来自于设计初期模糊的设计参数及非功能......
为了在工作流实施之前对工作流进行形式化建模与验证，首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与......
随着我国铁路技术的提高和列车运行速度的加快，如何保证铁路的行车安全和效率逐渐成为一个很大的难题。而列车运行控制系统在提高列......
