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

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

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

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

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

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

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

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

AccuphaseE530合并式放大器

Accuphase(金嗓子)是日本最著名的Hi-End音响品牌之一,前些日子他们将旗下的原有产品更新改款,另外也推出了一些新产品,E-530就是最新推出的合并式放大器。E-530与其他Accuphase的放大器一样拥有金色的华丽外观,采用喷沙表面处理的机箱质感极佳,做工水准更是许多欧美器材所不及。机内的后级线路部分与同厂的A-20V功放类似,以3只MOSFET晶体管推挽工作,电源供应采用大容量变压器和两只40000μF的滤波电容供电,使E-530在8Ω负载下每声道可输出纯A类30W的功率,4Ω负载时输出功率倍增至纯A类60W,当负载低至2Ω时,仍可输出纯A类120W的功率,十足的大电     

绿色收音机GREEN-88

<正> GREEN-88型四波段收音机是德生公司最新推出的绿色收音机,称之为绿色收音机是该机有四套供电方案 (1)充电电池供电:本机可不用普通于电池供电,而使用机内随机附送的三节600mAh无记忆作用的镍氢可充电池供电,利用专用交流充电器充电,充满后可用10小时,正常情况下,每组电池可反复充放电500次以上,为此,可节约大量普通电池,既经济节省,又减少对环境的污染。     

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

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