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

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

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

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

软件

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

下一代无线网络LTE介绍

个人通信未来的发展方向是高带宽和多媒体化。3G网络虽然无线性能大大提高,但是在IPR的制约、应对市场挑战和满足用户需求等领域,还是有很多局限。受到WiFi和WiMAX的强烈挑战,3GPP着手制定3G演进版本的空中接口和无线接入网络标准,就是现在的LTE项目。LTE改进与增强现有3G系统的空中接口技术和网络结构,采用OFDM和MIMO作为其无线网络演进的唯一标准,在20MHz频谱带宽能够提供下行100Mbit／s、上行50Mbit／s的峰值速率,改善小区边缘用户的性能,提高小区容量和降低系统延迟。北电公司胡海宁、林奇兵所撰《下一代无线网络LTE介绍》一文首先介绍了LTE市场背景和技术背景,然后说明了LTE项目计划和主要性能目标以及LTE关键技术及进展情况,最后介绍了北电LTE项目研究情况和解决方案,本文对于我们理解3G增强技术标准的进展具有一定的参考价值。     

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

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

通用自动测试设备的特点及应用

主要介绍了通用自动测试设备的组成、工作原理及自动测试的实现方法，并论述了测试设备的通用性和必要性。     

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

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

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

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

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

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