黑河流域水循环系统的分布式模拟(Ⅰ)——模型开发与验证

从水循环的物理机制着手,在考虑人工侧支循环的基础上,以现代地理信息技术为数据处理平台,开发了黑河流域水循环系统的分布式模拟模型.文中系统描述了模型结构,从水循环过程和能量循环过程2个方面对模型各要素的过程模拟进行了阐述,其中水循环过程包括蒸发蒸腾、入渗与径流、地下水运动、地下水流出和地下水溢出、坡面汇流与河道汇流、人工侧支循环等要素过程.在获取各类输入参数后,采用1km网格、以日为时间步长对黑河流域上、中游地区（36 728个网格单元）进行了1981～2002年的逐日模拟.结果表明,所建立的分布式模型对月径流过程和日平均流量过程具有较高模拟精度.校正期内前后两个验证期均得到良好验证.该模型可用于预测未来环境变化条件下流域水资源演变.

基于模型的核电站操作员支持系统开发与测试

我国当前正在大力推广的第三代核电站具有经济性好、安全性高等特点,操作员支持系统作为第三代核电站的必配系统是提高核电站安全性的重要有效手段之一.核电系统越来越复杂,软件的占比越来越高、重要性也越来越突出,亟需探索能有效提高软件质量和可靠性的开发方法.基于模型的软件开发与验证方法已经在各大高安全性行业得到了广泛应用,文中对基于该方法的软件开发与验证流程进行了概览性说明,对相关的核心技术进行了总结,并以核电站操作员支持系统的软件研制为例,对该方法在核电领域软件开发中的适用性进行了探索,结果表明该方法完全满足核电软件的最高安全性要求.