基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

基于PCI总线的高速实时数据采集系统

本文介绍了一种基于PCI总线的高速实时数据采集系统的设计与实现方法．主要讨论了高速数据采集的存储与传输的硬件解决方案，以及该系统的控制逻辑的实现，最后给出了控制逻辑仿真波形。     

Windows2000设备驱动程序即插即用的实现

概述了Windows2000即插即用系统组成及其实现过程,结合实例介绍了Windows2000设备驱动程序如何支持用户即插即用的功能。     

一种基于ECDSA的USB存储设备访问控制方案

文章针对使用USB存储设备造成的内部泄密问题,提出了一种USB存储设备访问控制方案,该方案对用户的身份认证基于安全强度很高的椭圆曲线数字签名算法,同时使用过滤器驱动程序实现了USB存储设备的读写控制,因而此方案具有较好的安全性、实用性和通用性。     

PCI接口芯片s5935及其应用

s5935是AMCC公司生产的PCI接口芯片 ,可实现直通 (PASS-THRU)、邮箱 (MAILBOX)、FI FO/DMA三种工作方式。文章简要介绍了这三种工作方式 ,并给出了s5935的WDM驱动编程。     

基于PCI总线的扫描电镜图像采集系统

图像采集系统是扫描电镜的一个重要组成部分，用于控制扫描电镜的扫描电源，视频图像采集，数字化与显示，电镜主控计算机与底层微机板的通讯和电镜照相，本图像采集系统基于PCI总线接口设计，硬件主要设计采用FPGA技术，实现了数字电路的模块化设计，集成度和灵活性高，目前，电镜图像卡已达到所要求的设计水平。     

基于TS101的PCI接口高速数据采集系统的设计

给出了基于TS101和PCI的双通道数据采集处理系统的设计方案。首先介绍了ADI公司新型数字信号处理(DSP)微处理器TS101和FLYBY数据传输模式,阐述了系统结构和工作原理,最后对如何利用TS101的FLYBY接口提高数据采集、存取效率和数据系统的逻辑控制进行了详细的论述。     

凌华科技推出mIPC-E系列紧凑型壁挂整机

Intersil公司宣布推出一个免费的．基于Web的交互式工具．可以模拟运算放大器元件．帮助用户在Intersil众多产品中选择合适的器件。根据用户提供的输入和输出规格．运算放大器的iSim工具将找出所有适合于给定应用的Intersil器件。大多数情况下．也可通过仿真获得电路性能的即时反馈。     

数字家电元器件

ZSP410/ZSP520/ZSP560：缓存DSP核；TrueStore RC7200：90纳米读取通道；CX23885：PCI Express广播解码器；BTG215：移动TV解决方案BTG215。[编者按]     

MCF5282的I2C总线在uClinux操作系统下的驱动程序设计

介绍了Freescale公司嵌入式微处理器MCF5282的原理、特点,给出了该处理器在嵌入式操作系统uClinux下通过I2C硬件扩展数字输入的原理,以及I2C总线的驱动程序设计流程.