本文的详细信息可参考 兰林 - 《应用于核安全级DCS系统的代码生成器的设计和实现》(2020.12)。 Lustre 同步数据流语言提供了对实时控制系统(real-time control system)提供了"同步假设"计算模型的编程语言抽象。由于实时控制系统往往是安全攸关系统(safety-critical system)，因此，在产业界此类技术被应用于如核电、航空、轨交等领域。安全

《核工程+数字化仪控+核安全+核动力》@EnzoReventon 核动力船舶的发展展望 核动力船舶技术原理概要 不管核动力船是民用商船，还是军用舰船，从热工水力和放射性管理方面来讲，基本都采用压水堆，且工作原理是一致的。其工作系统主要由一回路系统、二回路系统以及为保证装置正常运行、人员健康和可靠性冗余系统等组成 ： 一回路系统位于反应堆舱。载热剂载走反应堆中核燃料裂变产生的热量，加热蒸汽发