混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

对8mm微波衰减参数计量的探讨

随着现代武器装备的更新换代和新型导弹的不断发展以及电子战中电子对抗的应用,对导弹制导雷达的要求越来越高.由于毫米波具有制导精确度高,抗干扰能力强、穿透性能好以及携带的信息量大等独特性能,因此被广泛应用于雷达、射频天线、通讯卫星、导弹等许多尖端领域.为了确保雷达的各项参数满足武器试验的要求,保障试验任务的顺利进行,对雷达的各项参数的计量检定是十分必要的.目前,"全自动8mm微波功率标准”已经建立,但8mm微波衰减参数的计量在军内还是一项空白,而衰减量值的准确与否直接影响到武器和装备性能的好坏,影响试验任务的成败.因此,我们提出了一种对8mm微波衰减参数的计量方法,以供广大从事微波计量工作的同行参考.     

一种星载GPS接收天线

根据星载 GPS接收天线的主要技术要求 ,给出了谐振式四臂螺旋天线用于星载 GPS天线的设计思路与设计过程 ,并给出了最后的测试结果。结果表明 :该天线具有十分优良的圆对称半球波束特性、良好的广角圆极化特性和优良的阻抗匹配 ,结构紧凑 ,集成度高 ,并通过了环境鉴定试验 ,为星载 GPS应用提供了一种性能优良的天线     

一种改善飞行员抗荷服性能的新方法

在管式抗荷服的腹囊和两侧管囊间分别装上分压装置和泄压活门,将腹囊内的压力降至管囊内压力的40%左右.在管式抗荷服研制中采用这种新型的分压技术,克服了飞行员穿着时的腹部压痛问题,改善了其舒适性,提高了飞行员的正向过载防护能力.具有分压装置的新型抗荷服进行了10人次的离心机生理试验,在过载增长率3 G/s、最大试验过载9 G条件下,分压装置工作正常,装备抗荷效果达到了3.5 G.对60名歼击机飞行员调查表明,分压装置和泄压活门的大小、安装部位及其舒适性均可接受.该技术已用于其它新型管式抗荷服的设计中.      

基于GPS遥感的延迟映射接收机关键技术

全球卫星定位系统GPS(Global Positioning System)广泛应用于定位和导航,还可利用海面对GPS信号产生的散射效应进行微波遥感,是一种新型微波遥感手段.首先介绍了GPS海洋遥感测风技术产生背景及特点,给出了GPS散射信号测量技术理论基础,重点分析了延迟映射接收机设计中提高采样信号信噪比、双射频前端电路设计、计算反射点延迟、接收机工作模式、内嵌软件处理等5项关键技术.设计的延迟映射接收机样机在天津近海完成了首次搭载飞行试验,试验结果表明,延迟映射接收机可同时接收直射和海面散射卫星信号并输出导航定位解,正确计算镜面散射点码延迟,准确接收海面散射的GPS卫星信号,且散射信号信噪比达到了14.9 dB以上,接收机输出为反演海面风场提供了准确的基础数据,这种方式可推广到遥感探测陆地土壤湿度、海冰厚度、海浪高度等领域.      

基于Fabry-Perot干涉仪的闭环微光机电加速度计

设计了一种闭环反馈差动式双FP腔的微光机电(MOEMS)加速度计,介绍了其工作原理及系统构成.利用惯性敏感单元将对载体加速度的测量转变为对载体位移的测量,利用光纤自聚焦透镜的端面与质量块组成的FP腔测量载体位移.为了提高系统的测量灵敏度和抑制温度等环境因素的影响,设计了一种差动式双FP腔测量机构.为提高微加速度计的输出线性度和动态测量范围,提出了采用静电力平衡技术构成闭环加速度计.建立了其数学模型,对所设计的加速度计重要参数指标——灵敏度、敏感头受载、固有频率等一一进行了详细计算和分析.在此基础上完成了设计背景要求下加速度计参数的优化设计,结果表明:该系统精度可以达到5×10-6g以上.      

基于LCMV算法的星载SAR距离模糊抑制方法

距离模糊抑制是星载合成孔径雷达(SAR)系统顶层设计中的关键问题之一.增加天线高度可以抑制距离模糊,但卫星平台往往对天线尺寸有所限制.指出了距离模糊抑制对于提高可视观测带宽度、产生高质量雷达图像的重要性,介绍了距离模糊的数学模型,提出了分布距离模糊度的概念,分析了平均距离模糊度与分布距离模糊度的区别,给出了应用线性约束最小方差(LCMV)算法抑制星载SAR距离模糊的方法.仿真结果证明,该方法在天线高度不变的情况下,不仅能够提高平均距离模糊度,也可以改善分布距离模糊度.      

星载InSAR空间基线指向优化与设计

分布式卫星SAR系统是近年来受到广泛重视的一种新的雷达成像手段,其中分布式InSAR充分利用编队星座卫星间构成的空间基线进行干涉测高,从而实现立体成像.在InSAR系统设计中,解决好编队星座的设计问题是实现高性能成像的前提和保证,合理的星座构形设计有助于提高测高精度,从而获得高品质的雷达成像效果.从InSAR测高精度分析结果入手,由飞行力学角度阐述星间相对运动对测高精度产生的影响,并基于分析结果给出了一种有别于现有星座的特色编队构形,并对其性能进行了初步分析.      

一致性检验方法在导弹多惯组测量中的应用

传感器测量的准确与可靠是减小融合系统不确定性的前提,通过对多传感器一致性的检验,可以确定多传感器之间的测量误差,判断检测系统可靠性的程度。提出了应用概率距离测量对多传感器信息进行一致性检验的方法,并将此方法引入到基于多惯性测量组合的总线式导弹制导控制系统中。实例证明,该方法对于确保和提高测量导弹飞行信息的精度具有良好的效果。     

约瑟夫森电压标准的低温系统

主要介绍了采用G-M制冷机作为冷源,可以随时启停的用于约瑟夫森电压标准的低温系统,介绍了系统组成工作原理及技术难点的解决方法并给出了测量结果。结果表明该低温连系统的研制成功并启用,有效的降低了约瑟夫森阵列电压标准的运行费用,提高了经济效益。由于采用了自动化控制技术,实现了运行系统的全自动化运行模式,简化了操作步骤,提高了工作效率。