摘要：航天故障的有效诊断是保证航天工作顺利推进的关键,本文从航天故障诊断和容错处理技术的发展历程入手,对航天故障检测工作中存在的不足之处进行了分析,并结合具体的问题进行了容错处理技术的设计,对提升航天器的故障处理水平十分重要。

摘要：验证是FPGA开发流程和IC芯片设计流程中不可或缺的环节,文章首先分析了当前数字仿真验证用例设计无法跨越的不完备性和不充分性,并详细探讨了为什么功能仿真会错过一些角落案例场景。在此基础上,介绍了形式化验证中FPGA的主要应用场景以及硬件逻辑功能验证语言SVA,并以实际工程案例阐述了基于SVA的形式化验证方法如何更好地在验证关键设计中发挥作用。

摘要：近年来,宁县紧紧围绕“创建国家园林县城”“建设幸福美丽新县城”的目标,按照县委、县政府“突出亮点、彰显特色、精细管理、争创一流”的要求,高标准设计,高质量创建,精细化管养,打造出“城在林中、房在绿中、道在景中、人在园中”的美丽新家园。

摘要：失控提棒是核电厂中发生频率较高的事故。为了了解该事故发生时核功率、堆芯核通量、堆芯热流密度的表现形式,以某机组压水堆运行核电站设计数据为基础,利用RELAP5进行了反应堆失控提棒反应性引入计算分析。计算结果表明,在次临界状态、热态零功率或有功率状态下,事故过程中核功率响应,虽然在瞬态中的核功率峰值很大,但时间很短,能量释放和燃料平均温度的增加并不大。控制棒组失控提升连续引入反应性,使核功率迅速增长,但功率的增长将被负的多普勒反应性反馈所限制。在高反应性引入速率时,堆芯核通量上升很快,高核通量信号会导致停堆事件的发生。由于燃料和冷却剂系统液体热容的影响,堆芯热流密度将滞后于核通量的增加。为了避免燃料元件包壳损坏,就应该使反应堆保护系统能够在偏离泡核沸腾比(DNBR)下降到限值之前终止该事故。