中国民航大学科研启动基金(2012QD26X)
- 作品数：8 被引量：19H指数：2
- 相关作者：薛茜男田毅王鹏李振李宏更多>>
- 相关机构：中国民航大学更多>>
- 发文基金：中国民航大学科研启动基金中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：电子电信航空宇航科学技术自动化与计算机技术更多>>
- 一种多通道ARINC429总线收发容错方法的研究被引量：4
- 2013年
- 针对目前ARINC429航空总线的研究情况,采用SoPC技术设计多通道ARINC429总线收发装置,解决了目前使用常规芯片导致的系统复杂,使用不便,价格昂贵的缺点。在需要多通道数据收发的场合中,能够有效降低系统的复杂度,提高系统配置的灵活性。另外,在接收过程中研究了改进型倍频容错数据采集方法,首次将其应用于ARINC429航空总线,实验证明该方法能够大大提高数据接收的准确性和可靠性。
- 崔海青李宏刘博徐永辉
- 关键词：ARINC429SOPC收发装置
- 基于SystemVerilog的机载应答机验证技术的研究被引量：1
- 2013年
- 机载应答机对飞机安全有重大的影响,应当在功能仿真阶段模拟真实信号的脉冲宽度(含阈值)以对其中的可编程逻辑器件进行严格验证。首先研究引用标准正态分布随机生成脉冲宽度和间隔,并按照实际应用改进了正态分布算法。然后在对电子器件及IP核评估的基础上,通过SystemVerilog验证语言搭建验证平台,并使用改进后的算法生成验证激励。最后在某型应答机验证过程进行了应用,达到了高效、准确验证的目的。
- 田毅李宏马腾达薛茜男
- 关键词：硬件SYSTEMVERILOG
- 基于March C-算法的SRAM芯片的SEU失效测试系统被引量：2
- 2014年
- 为实现SRAM芯片的单粒子翻转故障检测,基于LabVIEW和FPGA设计了一套存储器测试系统:故障监测端基于LabVIEW开发了可视化的测试平台,执行数据的采集、存储及结果分析任务,板卡测试端通过FPGA向参考SRAM和待测SRAM注入基于March C-算法的测试向量,通过NI公司的HSDIO-6548板卡采集2个SRAM的数据,根据其比较结果判定SEU故障是否发生。该系统可以实时监测故障状态及测试进程,并且具有较好的可扩展性。
- 王鹏李振邵伟薛茜男
- 关键词：仿真测试单粒子翻转MARCHSRAM
- 民用机载电子硬件的SEU效应FPGA仿真测试研究被引量：2
- 2013年
- 针对民用机载电子硬件的现场可编程门阵列(FPGA)芯片高使用频率和长时间运行的特点,以及联邦航空管理局(FAA)等提出的审查条例对单粒子翻转效应(SEU)的防护要求,介绍了民用机载电子硬件的SEU效应评估研究的必要性。并且从民用机载电子硬件主流的三模冗余容错电路入手,设计了SEU效应仿真测试电路。将冗余系统与多时钟沿触发相结合,提高了系统的检错能力。对冗余系统进行仿真SEU故障注入,通过与参照单元的比较,可对SEU效应引起的失效的发生进行仿真测试。
- 薛茜男王鹏田毅白杰
- 关键词：民用航空SEUFPGA
- 面向航空环境的多时钟单粒子翻转故障注入方法被引量：5
- 2014年
- 随着新型电子器件越来越多地被机载航电设备所采用,单粒子翻转(Single Event Upset,SEU)故障已经成为影响航空飞行安全的重大隐患。首先,针对由于单粒子翻转故障的随机性,该文对不同时刻发生的单粒子翻转故障引入了多时钟控制,构建了SEU故障注入测试系统。然后模拟真实情况下单粒子效应引发的多时间点故障,研究了单粒子效应对基于FPGA构成的时序电路的影响,并在线统计了被测模块的失效数据和失效率。实验结果表明,对于基于FPGA构建容错电路,采用多时钟沿三模冗余(Triple Modular Redundancy,TMR)加固技术可比传统TMR技术提高约1.86倍的抗SEU性能;该多时钟SEU故障注入测试系统可以快速、准确、低成本地实现单粒子翻转故障测试,从而验证了SEU加固技术的有效性。
- 薛茜男李振姜承翔王鹏田毅
- 基于ARINC629的层次化验证平台设计被引量：2
- 2014年
- 结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。
- 王鹏邵伟姜承翔田毅薛茜男
- 关键词：断言
- 形式化方法在机载电子硬件研制中的应用研究被引量：2
- 2015年
- 详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期。
- 金志威刘万和薛茜男田毅
- 关键词：形式化方法
- 一种抑制SSN的新型宽带平面电磁带隙结构被引量：1
- 2015年
- 随着现代高速数字电路的快速发展,同步开关噪声（SSN）问题变得越来越突出。该文提出了一种适用于高速数字电路中抑制同步开关噪声的新型宽带平面电磁带隙（EBG）结构,并用Ansoft HFSS软件对该电磁带隙结构进行数据仿真分析。仿真结果表明,在抑制深度为-30dB时,其阻带范围为0.2~5.6 GHz,与传统的L-bridge型电磁带隙结构比较,阻带下限截止频率下降了500 MHz,阻带带宽增加了1.4GHz,相对带宽增加了38.1%,且能全向抑制同步开关噪声。
- 王鹏吴阳叶茂田毅薛茜男
- 关键词：电磁带隙结构同步开关噪声高速数字电路ANSOFTHFSS
