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

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

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

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

软件

微控制器开发工具包；音频引擎改善了动态音频性能；多处理自动布线工具；提高嵌入式混合信号应用灵活性的PWM IP核；支持Blackfin嵌入式设计平台     

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

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

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

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

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

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

用CPLD实现SRAM工艺FPGA的安全应用

提出了一种利用CPLD产生的伪随机码来加密SRAM工艺FPGA的方法,并详细介绍了具体的电路和VHDL代码。     

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

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

一种单相串联混合电力有源滤波器的研究

文中对串联混合电力滤波器抑制谐波的原理进行了分析。为了检测单项系统的谐波电流,提出一种基于虚拟三相法和瞬时无功理论的谐波检测方法,并且对串联滤波逆变器的直流侧电压的控制进行了讨论。仿真结果证明了其有效性。