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

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

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

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

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

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

荒漠地区区域网控制点布设最佳方案研讨

结合白家海测绘工程,对荒漠地区采用航空摄影测量1∶10 000地形图,高程控制点布设方案进行了科学试验。采集了大量数据,经计算分析,得出结论:高程控制网的布设,按间隔3条基线设计,完全能保证成图精度。因而具有较高的经济效益和社会效益。     

综掘FS—1型机载喷雾降尘器

介绍FS－1型机载喷雾降尘器的降尘机理、主要结构和实际应用效果。     

基于CLIPS的专家系统在机载航炮故障分析中的应用

介绍了基于规则的专家系统语言CLIPS的概念和基本语法构成，并以基于CLIPS的机载航炮故障分析专家系统为实例说明了专家系统在机载航炮中的应用。     

机载共形电子干扰系统

介绍了机载共形电子干扰系统的优点、组成与结构特点、作战使用方法、自动工作状态与功能、技术特点等，最后介绍了机载共形电子干扰系统目前所装备的机种与前景。     

机载激光扫描不则距接收机中信号处理研究

本文分析了普通脉冲激光测距接收机的原理，并指出了它运用在机载激光扫描测距时存在的问题。针对激光束扫描时倾角变化带来的回波脉冲幅度和宽度的变化，提出运用滤波器带宽自动控制技术来改善输出信噪比，运用自动修正恒比定时触发技术提高测距精度。实验结果证实，改善效果是明显的。