摘要：压水堆核电厂负荷跟踪模式能够有效协调机组产能与电网需求,延长燃料的循环寿期,提高机组运行的经济性能。反应堆系统具有高度复杂、非线性、时变等特点。通过合理简化,建立了反应堆系统集总参数模型,设计了负荷跟踪控制策略。引入负荷阶跃变化扰动和线性变化扰动,对反应堆负荷跟踪控制系统特性进行仿真。结果表明,控制特性与实际基本一致,控制系统能够满足负荷跟踪性能要求。

摘要：本文以岭澳核电站控制棒驱动机构(CRDM)耐压壳Ω焊接为例,应用ANSYS有限元生死单元技术模拟焊接流程,并计算焊接后残余应力的分布,绘制残余应力分布曲线并进行计算结果分析。通过本项目的研究,掌握了焊接残余应力的分析技术,达到了研究目的。

摘要：在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。