大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

PWR堆芯燃料组件非线性梁模型研究

为描述燃料组件的非线性特性，采用有限元方法建立燃料组件横向梁模型，并引入迟滞模型，用于模拟燃料组件横向变形时的非线性效应。计算结果表明:该非线性梁模型能够更准确地获得组件的弯曲变形和受力，有助于开展燃料组件事故分析。      

中国科学家首次证实“临界冰核”存在

中国科学家首次在实验上证实了水结冰过程中“临界冰核”的存在,并给出了“临界冰核”的尺寸和过冷温度的关系,从而证实了“经典成核理论”的预言。研究成果在国际知名学术期刊《自然》上发表。低温下水结冰的现象再常见不过,但微观层面上“水变冰”的具体过程却不为人所知。近百年前,科学家吉布斯等人基于热力学原理,提出相变的“经典成核理论”,认为如水结冰这类相变需经过一个成核过程,水过冷形成小冰核,仅当形成的冰核偶然超过临界尺寸(即“临界冰核”)时,相变才能自发发生。     

浅谈不同给液方式在铜电解车间的应用

不同给液方式对铜电解过程中有重要的影响,不同的循环方式会影响槽内温度分布、电解液成分及阳极泥沉降等,因此,根据铜电解生产不同情况的需要,分析对比了多种给液方式在贵冶电解车间的应用,总结了这几种给液方式的优缺点和适用条件。