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

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

二单元DPCA在机载相控阵雷达AMTI中的应用

二单元偏置相位中心天线技术 (DPCA)在机载相控阵雷达自适应动目标指示 (AMTI)中占有重要地位 ,其原理在很多文献中都有讨论。文中主要提出了将二单元DPCA应用到机载相控阵雷达的具体方法和实验步骤 ,针对接收数据是M×N矩阵的情况 ,分析了数据降维变换的具体过程 ,并从仿真结果中得到有效性证明。该方法对DPCA在实际工程中的应用具有重要参考价值     

机载脉冲多普勒火控雷达的技术发展

本文从作战需求牵引和技术进步推动这两个方面入手，阐述了30余年来国外机载脉冲多普勒火控雷达的技术发展概况。     

机载激光武器回顾与发展

鉴于美国对弹道导弹"多层防御"体系建设的日益重视,从发展历程、发展现状和未来规划三部分,详细介绍了作为弹道导弹"多层防御"体系重要组成部分的机载激光武器的研制进展情况,以期为读者提供机载激光武器过去、现在、将涞三方面全方位的发展信息,同时还分析了机载激光武器在研制过程中所遇到的包括技术实现和经费等在内的一些困难,希望对我国该领域的发展起到一定的参考作用.     

机载行波管发射机设计的基本原则

论述了机载行波管发射机设计中需要遵循的5个基本原则，强调了行波管使用以及环境适应的重要性及优先地位，提出了对发射机指标理解的认识，以及最简设计与交叉设计的建议；介绍了机载行波管发射机设计过程中的几个主要步骤，对发射机主要性能参数进行了简单的分类与分析，并给出了一个行波管发射机设计的示例。     

机载电子产品的可靠性增长研究

本文通过对机载电子产品可靠性增长过程和失效数据的分析，提出了我国机载电子产品的失效分布曲，研究了可靠性增长的模式和方法。     

美国机载预警系统的总体需求

自从美国Ｅ－３Ａ预警机问世以来，技术的发展很快，美国也在研究如何设计新一代的预警机。今后的预警机平台将是一个多传感器数据融合的指挥控制平台。本文详细介绍美国机载预警系统总体需求的一般概念，也包含作者一些看法，供大家研究讨论。     

用于卫星通信的高增益机载天线

在航空卫星通信中，高增益机载天线是关键技术，许多国家和组织已对空间通信系统作了研究，本文描述了世界第一台相控阵天线的性能，这台天线装在商用飞机上，利用工程测试国际卫星Ｖ号（ＥＴＳ－Ｖ）对其进行了研究和评估。结果表明，相控阵天线可满足航空卫星通信的电气要求和机械标准要求。