基于符号模型检验的硬件验证

随着程序或电路规模的增大，状态数目将呈指数增加而引起组合爆炸。符号模型检验是形式化方法的一个重要方面，可以处理大规模的数据和控制序列，缓和了组合爆炸的问题。文章介绍了符号模型检验的原理和方法，利用验证工具VIS验证了8位微处理器PIC的一些关键属性，并给出实验结果。     

PCI总线控制器的验证方法研究

文章在仔细研究了目前常用的集成电路验证方法后,采用仿真验证方式对PCI控制器进行功能验证.设计中架构了基于总线功能模型的验证平台,使用脚本程序协助控制验证和代码调试的过程,提高验证过程的自动化程度.验证平台具有很好的可重用性,为后续PCI相关产品开发提供了参考,节省开发的时间和精力.     

机载嵌入式PCI总线的设计和实现

介绍机载嵌入式PCI总线的硬件设计和软件测试方法。在分布式系统的结构设计中具有典型性和实用性。     

基于时间序列模型的机载火控系统精度检测

根据机载火控系统和雷达观测的数据，利用时间序列及模型的有关理论，用MAT-LAB进行了仿真和火控精度测定。结论表明这种方法在火控精度测定方面具有明显的优势。     

机载电子装备轻量化设计初步研究

机载电子装备日益复杂化,飞机平台资源的有限性迫切要求其开展有效的轻量化工作。从系统顶层设计、总体布局、硬件设计、新型材料等方面论述了如何在机载电子装备研制过程中开展轻量化工作,对当前实际工程开展轻量化工作具有一定的指导意义。     

基于SystemVerilog的机载应答机验证技术的研究

机载应答机对飞机安全有重大的影响,应当在功能仿真阶段模拟真实信号的脉冲宽度(含阈值)以对其中的可编程逻辑器件进行严格验证。首先研究引用标准正态分布随机生成脉冲宽度和间隔,并按照实际应用改进了正态分布算法。然后在对电子器件及IP核评估的基础上,通过SystemVerilog验证语言搭建验证平台,并使用改进后的算法生成验证激励。最后在某型应答机验证过程进行了应用,达到了高效、准确验证的目的。     

总线事务级验证模型仿真性能研究

系统芯片的功能验证一直是芯片设计中最具挑战性的部分。基于事务的验证方法学被用来解决功能验证中的困难。该方法学通过提高验证的抽象层次来降低验证复杂度。但同时也对使用该方法学构建的验证平台组件可重用性有了更高的要求。其中总线功能模型可以在验证中模拟设计中的其他模块,是构建验证平台的重要组件。本文在方法学的基础上,讨论了两种类型的总线功能模型,并给出了verilog硬件描述语言的实现模型,最后通过实验比较了两种总线功能模型的仿真性能。     

机载软件数据质量评价参数及验证方法

通过分析影响机载数据质量的因素,建立了机载软件数据传输模型。提出了机载软件数据质量的定性评价方法,按照机载软件对于数据的需求及相关工业标准要求,总结了层次化的机载软件数据质量评价参数。根据不同安全关键等级的数据需求,提出了针对性的数据质量确认、验证方法及其实现。本研究对于机载软件数据库的审定和机载软件数据质量的验证有一定的理论价值。     

机载总线物理层建模方法研究

总线系统是飞机的重要组成部分,作为飞机的神经系统,总线系统的重要作用是担负信号的输送和分配的任务。总线物理层特性对总线的传输性能具有重要影响,建立合适的物理层模型对分析总线性能及对飞机安全性的影响至关重要。文章对不同类别总线进行了概述,建立了总线物理层的电气参数模型。     

基于PCI局部总线硬件加密卡的设计

介绍了PCI专用接口芯片PCI9052的基本结构，给出了基于PCI接口的硬件加密卡的一种设计方案。AVR单片机AT90S2313的使用使得此设计方案具有加密性能好，硬件设计比较简单等优点。     

基于PXE技术的计算机硬件网络检测方法研究

随着我国科学技术不断的改革进步,计算机硬件的网络监测方法也有了很大的完善与改变。PXE技术由于具有强大的兼容性以及较容易维护的安全性和便捷性等特点,在我国互联网中的发展也是逐渐加快。而文章所提出的基于PXE技术计算机硬件网络监测方法,主要是对于计算机实验室内的计算机进行硬件检测,以最大程度提高计算机实验室管理质量与效率。     

电子产品的硬件测试技术研究

电子硬件测试技术是电子产品从研发到生产的必经的一个阶段,也是决定一件电子产品质量的重要环节,所以如果将电子产品的硬件测试技术发展的更加完善,更加专业也是很多电子产品生产企业追求的目标。本文从这一目标出发详细介绍了电子产品的硬件测试技术以及发展状况。     

家用电器设备电子故障检测方法研究

人们生活水平逐步提高,家中使用的电器设备种类也越来越多.除了常见的电视、冰箱、洗衣机以外,空调、智能厨具、打印机等等也走进了千家万户.这些电器在使用中经常会出现故障,针对常见的故障进行检测,通常需要电子、机电等方面的知识.本文作者结合自身多年实践经验,首先分析了家用电器的安全检测策略,重点对家用电器电子设备元器件的检测方法进行了探讨,具有一定的实际指导意义.     

基于CAD光相位模型的数字全息检测方法研究

针对数字全息的精密机械结构三维检测中相位的跃变,在分析相位包裹产生的机理基础上,提出一种建立被测物体计算机三维辅助设计(3D-CAD)的光相位模型并进行解包裹的方法。将3D-CAD模型点云化处理,构建相位分布测量模型,获取被测物的相位图;通过搭建的双波长数字全息实验系统,拍摄被测物体的全息相位图并与模型的相位图进行初始对准和位置精确对准,计算全息图的包裹相位所对应的真实差值,获得全息测量的解包裹相位。仿真和实验分别采用不同表面形貌的被测物体,结果表明该方法对于精密结构的检测非常有效。     

一种电子产品硬件接口自动测试方法

本文介绍了一种电子产品硬件接口自动测试方法,采用通用的SCI通讯接口,能够用于电子产品硬件平台的硬件接口自动测试.自动测试的应用能够大幅提高电子产品的生产交付效率,节省人力和时间成本.     

基于功能模型的智能电路板检测诊断方法研究

为了克服智能电路板检测诊断难的问题,满足设备中板级检测维修的迫切需求,提出了一种基于功能模型和"嵌入+交互"式的智能电路板检测诊断方法。建立了智能电路板通用测试模型,研究了检测整体思想和具体的检测技术和方法。详细介绍了检软件件的设计思路和方法。采用支持向量机算法进行故障判定。最后进行了仿真实验。实验表明,该方法能对智能电路板进行有效的检测诊断,对智能电路板检测具有一定的指导作用。     

基于固件虚拟的承载网络资源重构模型研究

结合三网融合的异构网络环境,提出了一种基于固件虚拟的承载网络资源重构模型,并对异构环境下动态可重构网络的关键技术——资源分配算法进行研究,提出了一种基于动态重构的资源分配算法.该模型基于平台化支撑、构件化处理的思想,设计基于底层承载网络中核心节点虚拟化的可重构网络,支持异构网络环境下的动态重构,从而构建更为灵活的高速率、可定制、多服务提供网络.     

基于ARMA模型的CFAR网络入侵检测方法研究

提出了一种基于ARMA网络流量模型的CFAR入侵检测系统。采用ARMA模型对网络流量进行预测,并运用雷达信号处理中的恒误警CFAR技术,选取检测阀值以判定是否存在入侵信号。利用林肯实验室DARPA数据对系统进行试验,结果表明,此方法与AR预测模型相比,具有更高的检测率和更低的误警率。     

基于YOLO模型的红外图像行人检测方法

针对基于传统特征提取方法的远红外图像行人检测存在准确率和实时性不足的问题,本文研究了一种基于改进YOLO模型的远红外行人检测方法,通过改进其深度卷积神经网络的输入分辨率,然后在基于实际道路采集的红外数据集上进行训练,得到检测效果最佳的检测模型,并提出基于车速的自适应图像分辨率模型,以提高车载系统的行人检测性能。在基于实际道路的红外数据集上的对比实验表明,该方法与传统方法相比,准确率从76.5%提高到89.2%,每秒传输帧数从0.01259 f/s提高到40.5 f/s,满足车载情况下的实时性需求。