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

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

激光多次熔凝Zr55Cu30Al10Ni5非晶合金的晶化形态与演化机理

采用脉冲激光对Zr_(55)Cu_(30)Al_(10)Ni_5非晶合金板进行激光多次熔凝,研究了激光多次熔凝时热影响区的晶化相形态随着熔凝次数增加时的演化规律。结果表明,随着熔凝次数的增加,晶粒数量逐渐增加,晶粒尺寸逐渐变大。随着晶粒的长大,卷入熔池内的晶粒造成的晶化也越来越显著。激光多次熔凝非晶合金时,热影响区内的晶粒尺寸和数量都随熔凝次数的增加而线性增加,不同非晶合金板的形核率和生长速率基本接近,但初始晶粒数量和初始晶粒尺寸不同,这和铜模铸造制备非晶合金板时的具体冷却过程差异有关。     

基于煤化工装置的PLC应用综述

PLC系统是煤化工装置常用的独立控制系统,具备灵活、多变的特性。结合不同系列的西门子PLC,规范系统程序查询、下载、备份和强制方法,解决程序连接不上、登录密码丢失、个别功能块加密、系统卡件烧毁等故障,提出系统防雷防电专项技术,通过程序解读和理解,利用现场资源,与设备厂家积极沟通,破解系统无法实现远程操控、维保人员技术参差不齐、系统程序不兼容等问题,提高系统运行效率和装置经济效益。     

5700测井系统智能绞车黑匣子的工作原理及实际应用

本文阐述了5700测井系统智能绞车黑匣子在测井过程中对井下张力、深度、速度等数据进行实时记录的工作原理。介绍了两种黑匣子("软件"黑匣子和"硬件"黑匣子)在延长市场的应用,对"硬件"黑匣子在使用过程中的常见问题进行了分析。     

硬件

波晶显示器无法启动；Win2003里无法使用摄像头；内存的CL值；nForce2主板使用移动硬盘出错；U盾无法正常使用。     

硬件新闻

半月热点追踪 ATI完美“双”卡方案发布 三里32GB闪存盘让硬盘面临下岗 “中国RoHs”将在明年3月施行 17英寸液晶显示器面板没钱赚[编者按]     

硬件急救室

急救1号：当装完随华硕P2PL2主板附带光盘中的所有驱动程序后，却无法连接网络，这时怎么回事？     

基于VHDL的CCD驱动时序设计

本文介绍了使用一种标准的硬件描述语言VHDL编写CCD驱动电路的新方法，给出了时序仿真波形，并验证了其可行性。