江汉平原中北部一次区域性暴雨的成因分析

利用常规气象资料和NCEP再分析客观物理量场、卫星云图、多普勒雷达回波产品资料,对2007年7月13日发生在江汉平原中北部的暴雨过程进行了诊断分析。结果表明,（1）高空低槽东移是影响此次强降水过程的主要大尺度环流背景;（2）低层低涡暖切变和低空急流是暴雨的直接影响系统;（3）有利的热力水汽条件和动力条件是强降水产生和维持的机制;（4）卫星云图上“人”字型、“V”字型云系和多普勒速度资料上的“逆风区”、风切变可作为判断强降水落区落点的依据。     

基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析

核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP模型为基础对SG水位控制系统进行安全性分析,以利于在设计早期阶段发现影响该系统安全运行的潜在风险因素,预防危险事故。该方法将系统理论用于核电厂关键系统和设备安全性分析,为核电厂安全运行提供了新的技术手段支持。     

基于微分动态逻辑的数字化反应堆控制系统建模与验证方法

核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程,又涉及计算机的离散控制过程,属于典型的实时混成系统。微分动态逻辑是近年在混成系统验证领域的新方法。提出以微分动态逻辑为基础的构建反应堆控制系统安全验证模型方法,验证反应堆控制系统中离散化的逻辑控制与反应堆连续性的物理连续变化过程之间的相互作用能否保证反应堆安全需求,从而提高数字化反应堆控制系统设计的安全性。