提升可靠性是国产化重型燃气轮机控制系统研发需要解决的核心问题。硬件冗余是控制系统可靠性的重要保障，可在功能上实现容错，其成本......

稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的......

针对系统建模语言（systems modeling language,SysML）活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上......