检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于tbx技术的AFDX端系统验证

基于TBX技术的AFDX端系统验证

作者：李翔中国民航大学

学位级别：硕士

AFDX总线以其高实时、高可靠和低延时的特点成为目前机载网络领域较先进的航空总线之一,目前广泛应用于A380、C919等先进民航客机。本课题针对AFDX端系统开展验证实践,由于AFDX端系统属于AFDX网络中的关键机载电子硬件,承担向AFDX网络... 详细信息

AFDX总线以其高实时、高可靠和低延时的特点成为目前机载网络领域较先进的航空总线之一,目前广泛应用于A380、C919等先进民航客机。本课题针对AFDX端系统开展验证实践,由于AFDX端系统属于AFDX网络中的关键机载电子硬件,承担向AFDX网络中的其他AFDX端系统发送或接收上层应用产生的数据包的功能,设计高度复杂。因此,通过对AFDX端系统进行验证从而为类似的高度复杂机载电子硬件提供一种快速高效的验证具有重要意义。当前机载SoC设计逐渐增多,如何为适航审查中提供更多的置信,开展tbx验证技术的航空领域应用研究是非常有必要的。本文对典型的AFDX端系统设计进行系统级的验证为背景,分析对比了软件仿真器和FPGA原型验证的优点和缺点,深入研究了目前通用芯片领域验证使用的硬件加速器。在基于大量测试案例的验证速度和信号的可观测性考虑后,选择采用基于事务级加速的tbx技术作为端系统验证的解决方案。本文首先对ARINC664 Part7协议进行深入的研究,确定验证需求和验证的功能点,制定验证计划。然后根据对验证的需求进行分析后,对验证平台中的参考模型组件进行设计,保证了验证的独立性。通过对DUT的工作原理进行分析后,确定了DUT与验证平台的接口信号,根据验证计划中的验证功能点采用SystemVerilog验证语言进行了可重用验证平台的设计与实现,并对参考模型的验证、断言和功能覆盖点进行设计与实现,将可重用验证平台进行移植后用于实现硬件加速器的tbx技术验证平台。最后对参考模型的验证结果进行分析,确保参考模型模拟设计功能的正确性,对验证功能点的验证结果进行分析,确保AFDX端系统实现预期功能,通过对覆盖率的分析来判定达到验证计划中的要求,完成整个验证工作。本文所采用的基于tbx技术的验证平台进行了工程实践,并且根据需求设计了验证平台和参考模型,保证了验证的独立性。由于本平台设计的验证平台可以封装为一个VIP,可用于进行其他端系统的验证工作。此外,本文给出了采用硬件加速器对机载电子硬件进行功能验证的具体步骤,可为硬件加速器在航空领域进行适航举证提供借鉴。

关键词： AFDX端系统硬件加速器 tbx SystemVerilog 验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

tbx基因与先天性甲状腺功能低下症

实用糖尿病杂志 2019年第5期15卷 7-8页

作者：李虹刘国良商丘市第一人民医院河南商丘476100 中国医科大学第一附属临床学院 110001

伴随着优生优育,人们越来越重视对新生儿早期筛查,目前许多国家已把先天性甲状腺功能低下症(CH)的新生儿筛查作为常规[1]。已做到早期甲状腺替代治疗,大大减少'智障儿'的预后,当然这种筛查基本上是以检测TSH水平为主要方法,通过筛查使... 详细信息

伴随着优生优育,人们越来越重视对新生儿早期筛查,目前许多国家已把先天性甲状腺功能低下症(CH)的新生儿筛查作为常规[1]。已做到早期甲状腺替代治疗,大大减少'智障儿'的预后,当然这种筛查基本上是以检测TSH水平为主要方法,通过筛查使新生儿CH发生率达到1/3500~4000,但有证据显示仍有5%的漏诊率[2]。美国学者推荐,同时测定T4、TSH是'理想的筛查方案'[3]。

关键词：先天性甲状腺功能低下症甲状腺 tbx 基因突变

基于气固两相反应流的温压炸药能量释放规律数值模拟及实验验证

在线全文

学校读者我要写书评

暂无评论

火炸药学报 2021年第2期44卷 195-204页

作者：李根卢芳云李翔宇李志斌国防科技大学文理学院湖南长沙410073

为研究气体环境、铝粉含量、空间体积对温压炸药能量释放的影响,基于气固两相反应流模型,建立有限差分-物质点耦合算法,对温压炸药密闭容器内爆炸流场演化进行数值模拟及实验验证。结果表明,温压炸药在空气环境中爆炸释放的能量高于氮气... 详细信息

为研究气体环境、铝粉含量、空间体积对温压炸药能量释放的影响,基于气固两相反应流模型,建立有限差分-物质点耦合算法,对温压炸药密闭容器内爆炸流场演化进行数值模拟及实验验证。结果表明,温压炸药在空气环境中爆炸释放的能量高于氮气中,壁面冲击波峰值压力和空间准静态压力的增幅分别在20%和80%以上,空间准静态压力随空间体积的增大呈先增大后减小的趋势;铝粉含量越高,冲击波在传播过程中衰减得越慢,空间准静态压力越高;铝粉燃烧反应度随空间体积的增加而下降,当比空间体积超过100m^(3)/kg时,反应度下降到90%以下,且铅粉含量越高,其反应程度越低。

关键词：爆炸力学温压炸药 tbx 能量释放两相流数值模拟

Veloce平台在大规模SOC仿真验证中的应用

在线全文

学校读者我要写书评

暂无评论

中国集成电路 2010年第4期19卷 46-52,90页

作者：呙流徐伟春潘武飞李伟东海思半导体

随着现代集成电路技术的发展,尤其是IP的大量使用,芯片的规模越来越大,系统功能越来越复杂,普通的EDA和FPGA仿真在速度和性能上已经无法胜任芯片仿真验证的要求,功能验证已经成为大规模芯片设计的一个瓶颈;同时复杂的SOC系统需要相应的... 详细信息

随着现代集成电路技术的发展,尤其是IP的大量使用,芯片的规模越来越大,系统功能越来越复杂,普通的EDA和FPGA仿真在速度和性能上已经无法胜任芯片仿真验证的要求,功能验证已经成为大规模芯片设计的一个瓶颈;同时复杂的SOC系统需要相应的软件,由于芯片研发的周期越来越长,传统的软硬件顺序开发的方式受到了市场压力的巨大挑战,软硬件并行开发成为将来大规模IC系统设计的一大趋势。本文主要介绍Mentor Graphics公司Veloce验证平台在超大规模IC系统中仿真验证的应用。借助Veloce的高速和大容量的特性,极大的提高功能验证的效率,解决由于芯片规模大FPGA无法验证的问题,保证芯片的按时投片。同时通过和Jtag的联合使用,成功解决软硬件的联合仿真和并行开发。

关键词：软硬件联合仿真 Veloce IC tbx Hdllink ICE

在线全文

学校读者我要写书评

暂无评论

心脏传导系统调控机制的研究

国际心血管病杂志 2010年第3期37卷 140-142页

作者：陈浩徐志伟上海交通大学医学院附属上海儿童医学中心心胸外科 200127

心脏传导系统(CCS)由几部分功能截然不同的亚单位在信号分子内皮素-1、神经调节蛋白-1和转导因子Nkx2.5、tbx等参与的一系列精确的时空调节机制所组成,确保了正常心律和机体的血液流动;CCS分化过程的意外缺陷可能会导致严重的节律紊乱... 详细信息

心脏传导系统(CCS)由几部分功能截然不同的亚单位在信号分子内皮素-1、神经调节蛋白-1和转导因子Nkx2.5、tbx等参与的一系列精确的时空调节机制所组成,确保了正常心律和机体的血液流动;CCS分化过程的意外缺陷可能会导致严重的节律紊乱发生。对CCS各成分起源和诱导分化机制的深入研究将有助于在治疗中运用组织工程的有效方法来修复或重建心脏传导系统。

关键词：心脏传导系统调控机制 Nkx2.5 内皮素-1 神经调节蛋白-1 tbx

在线全文

学校读者我要写书评

暂无评论

转录因子家族与先天性心脏病关系的研究进展

国际儿科学杂志 2012年第2期39卷 128-131页

作者：孟颖颖(综述) 黄国英(审校) 复旦大学附属儿科医院心血管中心上海201102

先天性心脏病是一类最常见的出生缺陷病，主要由遗传因素和环境因素共同作用导致，是一种多基因遗传病，目前其发病机制尚不十分明确。心脏发育过程中有众多基因参与，而转录因子对心脏相关基因的表达起重要调控作用。该文系统阐述了GA... 详细信息

先天性心脏病是一类最常见的出生缺陷病，主要由遗传因素和环境因素共同作用导致，是一种多基因遗传病，目前其发病机制尚不十分明确。心脏发育过程中有众多基因参与，而转录因子对心脏相关基因的表达起重要调控作用。该文系统阐述了GATA4／5／6、Nkx2．5、Nkx2．7、tbxI、TB）（5和tbx20对心脏发育的影响以及转录因子间的相互联系，在分子水平上对先天性心脏病的发生有更深入的了解。

关键词：先天性心脏病转录因子 GATA NK-2 tbx

在线全文

学校读者我要写书评

暂无评论

提高加工BTX的经济性

南炼科技 1998年第6期5卷 59-63页

作者： Gent.,JC 万武洋情报处

基于硬件仿真加速器的AFDX端系统测试方法研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

电子技术与软件工程 2020年第1期 76-77页

作者：阎芳李翔徐双平刘正清中国民航大学天津市民用航空器适航与维修重点实验室天津市300300 中国民航大学民航航空器适航审定技术重点实验室天津市300300 中国民航大学适航学院天津市300300

本文通过将AFDX端系统SoC设计加载到硬件仿真加速器上运行,在HDL侧以真正的硬件电路运行来替代用仿真工具软件运行SoC设计的方式,可以大大提高测试向量的仿真速度,并且可以将主要模块信号波形上传到在HVL侧主机上,增强了测试的可观测性... 详细信息

本文通过将AFDX端系统SoC设计加载到硬件仿真加速器上运行,在HDL侧以真正的硬件电路运行来替代用仿真工具软件运行SoC设计的方式,可以大大提高测试向量的仿真速度,并且可以将主要模块信号波形上传到在HVL侧主机上,增强了测试的可观测性,可以快速的定位出错误的信号,提高了验证效率,对机载SoC设计的功能验证提供了参考。

关键词： SoC 硬件仿真加速器 tbx 测试