摘要：为验证REMIX(回收铀钚混合氧化物)燃料在典型M310堆型上的适用情况并评价其源项和释热特性,使用CMS程序包研究了REMIX燃料再生组件的堆芯物理特性,设计了合理可行的30%REMIX燃料堆芯燃料管理方案。以此为基础,分析了REMIX乏燃料中钚含量和天然铀节省量变化趋势,以及REMIX燃料在燃耗状态下的源项和释热特性,并与普通AFA3G组件乏燃料进行了对比。结果表明,5次REMIX再生循环是可行的,能够显著降低天然铀消耗量,具有较好的应用价值,同时也为后续REMIX燃料加工工艺设计以及整体经济性分析提供了必要的输入条件。

摘要：远程数据接口单元(RDIU)在飞机中负责完成协议转换工作,使远端传感器和作动器等多种协议的子系统连接到飞机主干网络,形成混杂机载网络构型。已有的RDIU协议转换技术存在参与转换的协议不全面、转换周期较长、数据实时性差等问题。文中针对远程数据设备使用的UART、ARINC429、ARINC825总线协议与飞机全局数据AFDX总线协议提出了协议转换原理,完成了协议转换的硬件架构设计并使用硬件描述语言Verilog HDL完成了详细设计。仿真测试结果表明:文中设计可以正确完成多种协议的转换工作,硬件架构的实现提高了数据处理效率。

摘要：模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。

摘要：详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期。

摘要：随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。