国家自然科学基金(U1333120)

作品数：14被引量：45H指数：4
导出分析报告
相关作者：薛茜男王鹏田毅刘万和芦浩更多>>
相关机构：中国民航大学更多>>
相关期刊：《电子器件》《电子与信息学报》《电子技术应用》《微电子学与计算机》更多>>
相关主题：单粒子翻转FPGA航空SRAM飞行实验更多>>
相关领域：电子电信航空宇航科学技术自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于协同进化的航空高度单粒子翻转故障生成方法研究被引量：3
《现代电子技术》2019年第16期112-116,121,共6页王鹏 芦浩 刘金枝 薛茜男 金志威 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);国家大飞机重大专项：*设备*技术研究;中央高校基本科研业务费资助项目(ZYGX2018021);中央高校基金(3122016D028)资助~~
大气中子是航空高度下造成航空器机载电子系统翻转故障的主要辐射源。面对航空单粒子效应与航空高度影响关系,该文提出一种基于协同进化的单粒子翻转故障生成方法。生成的故障数据用于模拟实际中子通量随高度变化的规律,为机载电子设备...
关键词：协同进化 航空高度 翻转故障 单粒子效应 中子通量 故障生成方法 
基于FPGA的亚稳态参数测量方法被引量：4
《微电子学与计算机》2016年第10期46-49,共4页田毅 范毓洋 李哲玮 刘万和 薛茜男 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);天津市自然科学基金联合资助项目(15JCQNJC42800);民航科技创新引导资金重大专项项目(MHRD20140103);中央高校基本科研业务费项目(3122014C025)
由于FPGA在高安全领域应用中需对跨时钟域电路可靠性(MTBF)进行评估,而亚稳态参数τ值是影响跨时钟域电路MTBF的关键参数.本文提出一种步进式测量FPGA器件亚稳态参数τ值的方法;然后以FPGA内部的数字时间管理模块为基础设计测试电路.通...
关键词：FPGA 亚稳态 CDC DCM 
基于贝叶斯网络的机载氧气系统可靠性评估
《中国民航大学学报》2016年第2期1-5,共5页王鹏 陈曦 阎芳 赵长啸 
国家自然科学基金项目(U1333120);国家重点基础研究发展计划(973计划)(2014CB744902)
通过分析机载氧气系统架构,构建基于贝叶斯网络的系统可靠性评估模型。通过前向和后向推理得到叶节点失效率及根节点后验失效概率,结合重要度及联合重要度的大小,找出影响系统可靠性的关键因素,求解最大可能解释(MPE)。通过与故障树分析...
关键词：贝叶斯网络 机载氧气系统 定量评估 
基于 SVA 的跨时钟域协议验证方法被引量：2
《微电子学与计算机》2015年第9期23-27,32,共6页范毓洋 刘万和 田毅 
国家自然科学基金(U1333120);中央高校基本科研基金(3122014D046)
现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常...
关键词：亚稳态 跨时钟域 协议验证 断言 
形式化方法在机载电子硬件研制中的应用研究被引量：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 
基于SystemVerilog可重用测试平台的实现被引量：11
《电子技术应用》2015年第2期61-64,共4页王鹏 刘万和 刘锐 田毅 
国家自然科学基金(U1333120);中央高校基本科研基金(3122014D046)
对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,...
关键词：验证 SYSTEMVERILOG 测试平台 可重用 
基于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 
基于ARINC629的层次化验证平台设计被引量：2
《计算机测量与控制》2014年第6期1827-1829,共3页王鹏 邵伟 姜承翔 田毅 薛茜男 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(312013SY53);中国民航大学科研启动基金项目(2012QD26X)
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,...
关键词：SystemVerilog语言 功能覆盖率 断言 ARINC629航空数据总线 
面向航空环境的多时钟单粒子翻转故障注入方法被引量：5
《电子与信息学报》2014年第6期1504-1508,共5页薛茜男 李振 姜承翔 王鹏 田毅 
国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(3122013P004);中国民航大学科研启动基金项目(2012QD26X)资助课题
随着新型电子器件越来越多地被机载航电设备所采用,单粒子翻转(Single Event Upset,SEU)故障已经成为影响航空飞行安全的重大隐患。首先,针对由于单粒子翻转故障的随机性,该文对不同时刻发生的单粒子翻转故障引入了多时钟控制,构建了SE...
关键词：机载电子器件 单粒子翻转(SEU) 故障注入 抗辐射加固技术 FPGA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部