计算机联锁软件相关论文
本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语......
城轨正线计算机联锁现场仿真模拟平台是基于既节约投入成本,又能提高测试效率且使测试结果能够简洁直观显示的前提提出的一种仿真......
安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可......
计算机联锁系统是保证车站内行车安全的关键设备,是高安全性、高可靠性的实时系统,在投入使用前需要进行全面、严格的测试。由于联......
为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析......
嵌入式安全关键系统对组成系统的软件、硬件安全性级别要求极高,这种系统的运行直接关系着人员生命和财产安全。如果嵌入式系统安......
计算机联锁系统是保证铁路行车安全、提高行车效率的关键信号设备,联锁软件是系统的核心单元。近年来,计算机联锁系统在世界范围内......
