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

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

试论基于模型的系统工程(MBSE)的推进思路

现阶段推广应用系统工程已经是军方、机关和集团公司的统一要求,也是型号研制的必然选择。本文介绍了基于模型的系统工程(MBSE)的概念,分析了其推广过程中存在的问题及解决措施,最后提出了在型号研制中应用MBSE的思路。     

AV设备自动切换器

目前,彩电带有AV(音频、视频)输入端子已相当普遍,但许多普通彩电只带一组AV输入端子。可是现在AV器材种类越来越多,如录像机、VCD和DVD影碟机、广播卫星接收调谐器,都要通过电视机或监示器播放图像和伴音。对于外部只有一个AV输入端子的彩电来说,更换AV设备时,     

个人DVD影院 微星ART6200

虽然微星是在今年才进入笔记本电脑制造领域，但已经相继在国内推出了4款基于AVERATEC品牌的产品，而最近又会上马基于MSI品牌的笔记本电脑，给我们的感觉是，微星的笔记本之路是一步一个脚印，踏踏实实。这次要介绍的一款产品是全球同步上市的微星ART 6200系列笔记本电脑。     

钉基厚膜应变电姐力敏模型的初始讨论

摘要：通过分析钌基厚膜应变电阻的隧道势垒模型，提出力敏模型。     

压电驱动器迟滞特性的Preisach模型研究

压电驱动器的迟滞特性是影响其位移输出精度的主要因素。该文采用改进的Preisach模型对压电驱动器的迟滞特性进行建模，并进行了相应的实验研究。实验结果表明该模型可以很好地预测压电驱动器在经过一定的控制电压序列以后的位移输出值．能够有效地降低迟滞特性对压电驱动器位移输出精度的影响。     

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

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

扫描共振频率技术在蓄电池在线修复中的应用

分析了蓄电池组在使用过程受损的原因,介绍了一种蓄电池组在线修复的新技术,即扫描共振频率技术的基本工作原理,并进一步分析、介绍了该在线修复方法所采用的主要新技术和独特的优点。     

基于P2P的虚拟VPN网关模型

一、虚拟私有网的产生 我们知道，大部分企业或机构都构建有供自己办公使用的局域网，用来沟通部门之间的信息联系和信息共享。对处在地理位置范围相对狭小的机构来说．这很容易做到。但在实际生活中．我们往往会遇到以下几种典型情形：机构的各部门地理位置分散；工作人员异地出差时要访问办公资源；SOHO家庭办公等等。