中国民航大学科研启动基金(2012QD26X)

作品数：8被引量：19H指数：2
导出分析报告
相关作者：薛茜男田毅王鹏李振李宏更多>>
相关机构：中国民航大学更多>>
相关期刊：《电子技术应用》《现代电子技术》《压电与声光》《电子器件》更多>>
相关主题：SEU单粒子翻转时钟航空环境机载更多>>
相关领域：电子电信航空宇航科学技术自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化方法在机载电子硬件研制中的应用研究被引量：2
《电子技术应用》2015年第6期143-146,共4页金志威 刘万和 薛茜男 田毅 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(3122014C025);中国民航大学科研启动基金项目(2012QD26X)
详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明...
关键词：模型检验 形式化方法 NuXMV 机载电子硬件 
一种抑制SSN的新型宽带平面电磁带隙结构被引量：1
《压电与声光》2015年第2期324-326,共3页王鹏 吴阳 叶茂 田毅 薛茜男 
国家自然科学基金委员会与中国民用航空局联合基金资助项目(U1333120);中央高校基本科研业务基金资助项目(3122013P004);中国民航大学科研启动基金资助项目(2012QD26X)
随着现代高速数字电路的快速发展,同步开关噪声（SSN）问题变得越来越突出。该文提出了一种适用于高速数字电路中抑制同步开关噪声的新型宽带平面电磁带隙（EBG）结构,并用Ansoft HFSS软件对该电磁带隙结构进行数据仿真分析。仿真结果表...
关键词：电磁带隙结构 同步开关噪声 高速数字电路 ANSOFT HFSS L-bridge 
基于March C-算法的SRAM芯片的SEU失效测试系统被引量：2
《电子器件》2014年第5期803-807,共5页王鹏 李振 邵伟 薛茜男 
国家自然科学基金委员会与中国民用航空局联合项目(U1333120);中央高校基本科研业务费项目(3122013P004);中央高校基本科研业务费项目(312013SY53);中国民航大学科研启动基金项目(2012QD26X)
为实现SRAM芯片的单粒子翻转故障检测,基于LabVIEW和FPGA设计了一套存储器测试系统:故障监测端基于LabVIEW开发了可视化的测试平台,执行数据的采集、存储及结果分析任务,板卡测试端通过FPGA向参考SRAM和待测SRAM注入基于March C-算法的...
关键词：仿真测试 单粒子翻转 LabVIEW MARCH C-算法 SRAM 
面向航空环境的多时钟单粒子翻转故障注入方法被引量：5
《电子与信息学报》2014年第6期1504-1508,共5页薛茜男 李振 姜承翔 王鹏 田毅 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(3122013P004);中国民航大学科研启动基金项目(2012QD26X)资助课题
随着新型电子器件越来越多地被机载航电设备所采用,单粒子翻转(Single Event Upset,SEU)故障已经成为影响航空飞行安全的重大隐患。首先,针对由于单粒子翻转故障的随机性,该文对不同时刻发生的单粒子翻转故障引入了多时钟控制,构建了SE...
关键词：机载电子器件 单粒子翻转(SEU) 故障注入 抗辐射加固技术 FPGA 
基于ARINC629的层次化验证平台设计被引量：2
《计算机测量与控制》2014年第6期1827-1829,共3页王鹏 邵伟 姜承翔 田毅 薛茜男 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(312013SY53);中国民航大学科研启动基金项目(2012QD26X)
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,...
关键词：SystemVerilog语言 功能覆盖率 断言 ARINC629航空数据总线 
基于SystemVerilog的机载应答机验证技术的研究被引量：1
《电子器件》2013年第4期535-539,共5页田毅 李宏 马腾达 薛茜男 
国家自然科学基金项目(61179044);航空科学基金项目(20128067003);中国民航大学科研启动基金项目(2012QD26X)
机载应答机对飞机安全有重大的影响,应当在功能仿真阶段模拟真实信号的脉冲宽度(含阈值)以对其中的可编程逻辑器件进行严格验证。首先研究引用标准正态分布随机生成脉冲宽度和间隔,并按照实际应用改进了正态分布算法。然后在对电子器件...
关键词：硬件 验证 正态分布 SYSTEMVERILOG 
一种多通道ARINC429总线收发容错方法的研究被引量：4
《现代电子技术》2013年第6期125-128,共4页崔海青 李宏 刘博 徐永辉 
中国民航大学大学生创新创业项目(201210059032);中央高校基本科研业务费项目(ZXH2009A001);中国民航大学科研启动基金项目(2012QD26X)
针对目前ARINC429航空总线的研究情况,采用SoPC技术设计多通道ARINC429总线收发装置,解决了目前使用常规芯片导致的系统复杂,使用不便,价格昂贵的缺点。在需要多通道数据收发的场合中,能够有效降低系统的复杂度,提高系统配置的灵活性。...
关键词：ARINC429 SOPC 倍频容错 收发装置 
民用机载电子硬件的SEU效应FPGA仿真测试研究被引量：2
《电子器件》2013年第1期68-72,共5页薛茜男 王鹏 田毅 白杰 
中国民航大学科研启动基金项目(2012QD26X);航空科学基金项目(20128067003);中央高校基本科研业务费项目(ZXH2009A001)
针对民用机载电子硬件的现场可编程门阵列(FPGA)芯片高使用频率和长时间运行的特点,以及联邦航空管理局(FAA)等提出的审查条例对单粒子翻转效应(SEU)的防护要求,介绍了民用机载电子硬件的SEU效应评估研究的必要性。并且从民用机载电子...
关键词：民用航空 SEU 检错电路 多时钟沿 FPGA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部