【摘 要】
：
数据关系着计算机联锁功能的正确实现,更关系到整个信号系统的安全完整性等级,对数据安全性的验证是城轨计算机联锁研发和应用中的关键环节。从数据安全在系统安全中的角色出
【基金项目】
：
国家自然科学基金（U1434209）
论文部分内容阅读
数据关系着计算机联锁功能的正确实现,更关系到整个信号系统的安全完整性等级,对数据安全性的验证是城轨计算机联锁研发和应用中的关键环节。从数据安全在系统安全中的角色出发,对城轨计算机联锁中的数据进行数据结构建模,并导出数据之间安全性约束的关键规则,提出并证明以点点关系、点线关系和线线关系为基础的联锁数据安全性验证算法。以南京城轨某条线路为案例进行验证,相比传统的人工验证过程,验证效率得到明显提高。
其他文献
针对复杂工程环境中高地温导致锚杆支护结构锚固性能劣化和结构损伤的现象,研究工作荷载和高温同时作用下对其极限拉拔力的影响。基于力学相似原理设计并制作了3组共9个锚杆
创新引领发展技术保障安全。在各级政府部门的大力支持和指导下,北京市轨道交通建设管理有限公司全面实施创新驱动战略,加大科技创新投入,充分发挥轨道交通市属国有企业在技
基于极限分析上限定理,利用三维离散破坏机构对渗流作用下盾构隧道开挖面稳定性进行研究。通过将渗流效应等效为孔隙压力做功,提出三维离散破坏机构下的渗流稳定性分析方法,
企业生命周期各阶段在财务方面都会面临一些主要问题．通过对理论研究成果的总结把握企业在不同发展阶段所应采取的财务战略．才能更好保证企业财务管理的有效性，使企业能够健康，稳
针对水溶液物理化学特性,利用热力学原理,建立了冰水化学势能平衡方程。基于理想成冰模型,依据土体孔隙分布特征,推导了不同孔径中水分冻结公式。在此过程中引入有效应力原理