摘要：在列控系统中各种信息都有其寿命周期,这些信息都必须在允许的时限内传递给信息的使用者。列控系统中信息的时效性对系统安全有重要影响,超时的信息如果被系统使用,则可能出现安全隐患。因此如何判定信息的时效性是系统设计人员亟待解决的问题。本文综合目前列控系统中信息传输延时的因素,引入一种信息时效性判定算法。概述算法的基本原理,描述算法的流程。用定理证明的方式,论证它的正确性和安全性。通过计算机仿真,评估算法的快速性和稳定性,并且分析算法的可用性。研究结果表明,这种信息时效性判定算法在理论上是安全的,在实际应用中是可用的,即使在要求更为苛刻的参数条件下,其可靠性可达到99.15%,能够满足列控系统的要求。

摘要：CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。

摘要：首先给出绿色建筑电气系统"调适"的相关概念,阐述其基本内涵;然后详细论述在项目的预设计、设计、施工、验收以及维护5个阶段中电气系统调适的策略,以及调适带来的收益;最后以中美清洁能源建筑节能项目二期示范项目"兴业新能源产业园"研发楼为实例,简单分析和验证调适策略的可行性。