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

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

建-桥合建高架车站性能化设计方法及算例

针对以建筑为主体的建-桥合建高架车站,提出相应的结构性能化设计标准,并通过算例验证了该类高架车站的具体结构性能化设计方法,即车站整体按照建抗规计算,相关构件按照铁抗规及桥抗规复核;这一设计方法综合了建抗规、铁抗规和桥抗规的相关要求,并最大程度满足了上述规范的规定。此外,通过对比计算,比较按照新老规范设计的横向双柱建-桥合建高架车站之间的安全储备差异,得到按照建抗规进行结构性能化设计的车站结果偏于安全的结论。     

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

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

PCI接口芯片s5935及其应用

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

新一代谐振半桥拓扑专用高压IC

专门为串联谐振半桥拓扑设计的双终接控制器芯片L6599功能丰富，设计可靠，性能卓越，支持保护全面和高可靠性的电源设计，特别适用于液晶电视和等离子电视的电源、便携电脑和游戏机的高端适配器、80＋initiative-兼容ATX电源和电信设备开关电源。