Virtex-5系列SRAM型FPGA单粒子效应重离子辐照试验技术研究

针对SRAM型FPGA在空间辐射环境下易发生单粒子效应,影响星载设备正常工作甚至导致功能中断的问题,开展了SRAM型FPGA单粒子效应地面辐照试验方法研究,提出了配置寄存器和BRAM的单粒子翻转效应测试方法,并以Xilinx公司工业级Virtex-5系列SRAM型FPGA为测试对象,设计了单粒子效应测试系统,开展了重离子辐照试验,获取了配置寄存器、BRAM以及典型用户电路三模冗余前与三模冗余后的单粒子翻转效应试验数据和器件单粒子闩锁试验数据,最后利用在轨预示分析软件针对高轨环境进行了在轨翻转率分析计算,可为该器件的空间应用辐射敏感性分析提供基础数据与加固设计指导。     

基于XC7V690T的在轨抗单粒子翻转系统设计

针对核心工业级SRAM型FPGA芯片XC7V690T抗辐照能力较弱、在轨运行期间存在较高单粒子翻转风险的问题,为了提高XC7V690T在轨抗单粒子翻转的能力及配置文件注数修改的灵活性,设计了一种基于XC7V690T的在轨抗单粒子翻转系统架构。其硬件架构主要由XC7V690T SRAM型FPGA芯片、AX500反熔丝型FPGA芯片以及多片FLASH组成;软件架构主要包括AX500反熔丝型FPGA对XC7V690T进行配置管理及监控管理,对XC7V690T进行在轨重构管理,XC7V690T通过调用内部SEM IP核实现对配置RAM资源的自主监控和维护。在轨实验结果表明,采用工业级SRAM型FPGA芯片XC7V690T的某航天器通信机在轨测试过程中成功进行了SEM纠错,通信机在轨工作正常,通信链路稳定,满足使用要求,表明该系统架构可以有效提升XC7V690T抗单粒子翻转能力,可以为其他SRAM型FPGA抗单粒子翻转设计提供借鉴与参考。     

超大规模集成电路内部单粒子翻转效应仿真

针对超大规模集成电路特征尺寸的逐渐减小,对空间辐射环境越加敏感,从而引发了单粒子翻转效应,造成程序运行出现错误的问题,研究超大规模集成电路内部单粒子翻转效应,并提出抗辐射加固策略.研究以仿真的形式进行,首先对单粒子翻转效应物理机制进行了分析,为后续研究提供指导方向,然后选择被测器件,搭建效应测试平台,设置测试条件以及阐述单粒子翻转效应仿真测试方法.结果表明:脉冲激光的能量越大,单粒子翻转概率越高;只有激光光束照射到超大规模集成电路芯片有源区时,才可获得最低和最大的翻转截面;激光脉冲注量对单粒子翻转截面测试有影响;存储数据和测试模式对单粒子翻转效应测试都无影响.     

一种1750A指令集仿真软核设计与验证

MIL-STD-1750A指令集是星载弹载计算机常用指令集之一,为实现该类指令集CPU+FPGA的通用性验证,实现安全性、强度、单粒子翻转等异常测试,满足测试覆盖率要求,保证星载弹载计算机系统可靠性,提出了一种CPU+FPGA的仿真模型搭建方法,利用如中断和故障处理机制的实现、浮点运算单元设计方式、异常注入机制设计以及图形控制界面等关键技术,实现了一种精简1750A仿真软核。实验证明,利用该仿真软核设计的CPU+FPGA的仿真模型平台,可极大提高1750系列CPU相关接口的FPGA产品的验证效率和可靠性,也为后续星载弹载软件的测试提供了一套故障注入方便、故障定位清晰的测试平台。     

航天用SRAM型FPGA定时刷新控制电路应用研究

为解决SRAM型FPGA在空间环境应用中单粒子翻转的问题,提出一种基于我国自主研制的定时刷新芯片（BSV2）的硬件设计方法。介绍了定时刷新器件BSV2及其基本刷新原理,同时以XC2V3000为例设计了刷新器件的典型应用电路,并对刷新的时序及有效性进行了测试验证。测试结果表明,定时刷新器件可以有效修复SRAM型FPGA的单粒子翻转及单粒子翻转造成的功能中断,提高了产品的可靠性。     

一种新的电路故障自主仿真系统的研究与开发

在航空航天等面临恶劣外部辐射环境的应用中,要特别考虑由空间辐射引发的单粒子翻转事件(Single-Eyent Upset)对数字电子系统带来的影响,必须对电子系统进行抗SEU性能的评估,以保证系统的可靠性;提出了一种新的SEU故障注入仿真平台;不同于传统的软件故障仿真方法,该平台基于FPGA来进行故障注入仿真,具有成本低、自主工作及测试快速的特点;实验显示单个SEU故障注人仅耗时46μs.     

一种SRAM型FPGA单粒子效应加固平台设计

针对大规模集成电路在空间环境的应用需求,介绍了目前国内外针对FPGA的抗辐射加固的研究现状,对空间辐射和单粒子效应进行了简单描述,分析了SRAM型FPGA的结构和故障特点,提出了一种基于高可靠单元针对Xilinx Kintex-7系列FPGA进行配置、监控、回读校验和刷新的单粒子翻转加固硬件平台设计。介绍了对Kintex-7系列FPGA进行防护的流程和故障注入测试系统的组成,该平台已经在某项目中得到应用并通过了功能测试和相关环境试验,为大规模集成电路在空间应用提供了设计参考。     

飞行器FPGA检测点优化设置方法

,针对诱发宇宙空间环境下航空航天飞行器工作异常和故障的FPGA单粒子效应,分析了FPGA电路的特点,从空间和时间维度上,提出基于“运算单元 存储器/触发器”进行FPGA电路层次模块的划分;结合节点所在位置的重要性、节点与其它节点的关联程度以及节点本身的单粒子软错误翻转概率,提出了重要度分析模型,从而建立基于重要度排序的对测试点设置优化方法。测试实验表明,该方法是一种可行的检测点优化设置方法。     

一种FPGA抗辐射布线算法设计

随着集成密度的增大以及工作电压的降低,基于SRAM的FPGA芯片更加容易受到单粒子翻转的影响。提出了一种基于通用布局布线工具VPR的抗辐射布线算法,通过改变相关布线资源节点的成本函数,来减少因单粒子翻转引起的桥接错误,并与VPR比较下板测试结果。实验结果表明,该布线算法可以使芯片的容错性能提升20%左右,并且不需要增加额外的硬件资源或引入电路冗余。     

基于双核锁步的多核处理器SEU加固方法

以单粒子翻转为代表的软错误是制约COTS器件空间应用的主要因素之一;为了满足空间应用对高集成卫星电子系统抗辐照防护的要求,提出了一种面向通用多核处理器的单粒子翻转加固方法,通过软件层面双核互检,在不额外增加硬件开销的前提下,充分提高了COTS器件的可靠性,具有良好的可移植性和较强的工程实用价值;进行软件故障注入实验,在程序执行的关键节点注入错误信息,验证该双核互检方法实用性;实验结果表明双核互锁方法可以100%检测出系统中产生的单粒子翻转,抗软错误能力满足应用需要。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。     

新型煤泥浮选机液位传感装置的研制

介绍了一种性能良好的新型浮球式煤浆液位传感装置。该装置利用浮球随着煤浆液位的变化而带动连杆作上下运动,通过机械装置将液位的变化转变成角位移传感器的轴的角度变化,分析角位移传感器输出信号可得到煤泥液位信息。经测试该传感装置各项指标达到了设计要求。该新型煤泥浮选机液位传感装置具有良好的动、静态特性,可以在选煤厂推广应用。     

制造型企业仓储物流管理的RFID应用——卷烟厂按垛出库及到货扫描系统初探

针对国家烟草管理的现状,有关主管部门在全国推行“行业卷烟生产经营决策管理系统工程”,利用条码等自动识别技术手段实时掌握全国的生产经营信息。但某卷烟厂此前的物流环节已经是“件烟成垛”运输,如何在尽可能保持原有企业管理体系的前提下,达到有关部门的数据统计要求,解决成垛卷烟的物流和信息流的交互与统一问题成为技改的核心。该项目成功的将条码识别与射频识别有机结合起来,为烟草行业信息化提供了生动的应用案例。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

Effective solution of certain problems of theory of schedulings of nets

Cybernetics and Systems Analysis -     

Determination of the possible duration of performance of a set of tasks

Cybernetics and Systems Analysis -     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

风电机组电动变桨距控制系统的优化研究

由于风速的随机性、不稳定性及气动效应的影响,使得风力发电机组变桨距控制系统具有非线性、参数时变性、强耦合等特点,难于实现高精度控制,导致风电机组输出电能质量较差。为了改善系统在恒功率输出运行区域内的动态性能,分析了风电机组变桨距控制系统的现状,建立了整个风电机组模型,提出了优化的变桨距控制策略,并设计了基于模糊控制的变桨距控制器。仿真结果表明,独立变桨距控制技术的控制效果比统一变桨距好,实现了风力机各叶片的优化独立变桨距控制,优化了风力发电系统在超过额定风速时的恒功率控制,具有抗干扰能力强、控制精度高的特点。