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

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

石墨烯场效应晶体管研究进展

石墨烯具有优异的光、电、热及机械性能,在传统硅基器件日益趋近物理极限的背景下,石墨烯场效应晶体管(GFET)作为一种新型纳米器件受到广泛的关注。介绍了GFET在模拟电路和数字电路中的研究进展,分析了目前存在的问题:模拟电路主要应该提高GFET的最大振荡频率(f_(max))使之与截至频率(f_T)相符;数字电路主要应该采取有效方法打开石墨烯带隙、提高开关比,并介绍了通过构建石墨烯纳米带、双层石墨烯、掺杂法及通过基底影响等来打开带隙的方法。与数字电路相比,GFET在模拟电路中更具有应用潜力,如在太赫兹领域已表现出优异的性能。石墨烯和硅互为补充,以混合电路的形式加以应用也是一个很好的切入点。     

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

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

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

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

硬件

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

射频晶圆测试:半导体生产的紧急需要

主要半导体生产商最近承认,开发和生产先进IC卡迫切需要晶片级射频测量。在某种程度上,这一直是 ITRS建模与仿真技术工作组所倡导的:射频紧凑型模型的参数提取更适合将射频测量降到最少。如有必要,     

家用电脑对有线电视信号的干扰

（1）某小区整栋楼电视屏幕出现两条水平干扰条，此干扰条时有时无、时静时动，有时向上滚动，有时向下滚动。 根据现象分析此故障是由交流50Hz干扰造成的．当交流干扰的实际频率高于电视场扫描时，就会产生这种故障。先检查放大器的交流供电电路未发现异常，后采用先断开一部分用户分支器分户检查的方法，当断开某用户的分支器时，干扰信号消失，于是重点检查用户室内部分，该户与有线电视信号线相连的有：电视机、录像机、电脑。