等效性验证工具进行大规模FPGA验证探讨

文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议。     

用于导航接收机的高线性度可编程增益放大器

针对导航接收机的系统要求,设计一个高线性度、宽增益变化范围由吉尔伯特电路和电流反馈放大电路组成的可编程增益放大器。放大器在SMIC 0.18μm CMOS工艺下实现,增益控制范围为-11dB～40dB,步长为1dB,3dB带宽为60MHz;当输出差分峰峰值为1V时,三阶交调失真在-65dB以下;电源电压为1.8V时,最大功耗不超过3.5mW。     

商用现货器件在卫星中的应用

在卫星设计过程中,采用商用现货(COTS)电子器件替代传统卫星研制中昂贵的高等级产品来降低研制成本是行之有效的方法。文章总结了商用现货器件在卫星中应用时所面临的空间环境干扰,并针对单粒子翻转问题提出冗余设计和特定电路设计等策略。对当前国内外卫星中采用的各种COTS器件设计方法进行了论述,分析了各种提高商用现货器件可靠度方法的优缺点,并结合已经发射的BIRD、ARGOS等卫星和正在研制的容错结构,综述了COTS器件在卫星中的应用,分析了COTS器件的作用和使用方法。文章内容可为工程实践提供一定的参考。     

国外大型复杂系统全寿命周期模型与系统工程过程应用综述

对国际标准ISO/IEC 15288、NASA、ESA、Do D的全寿命周期模型进行了介绍,分析了NASA、ESA、Do D在大型复杂系统全寿命周期中应用系统工程过程的方法、主要任务和输出,总结了不同机构全寿命周期模型和系统工程过程的特点,为我国航天系统全寿命周期理论方法的研究和工程应用提供参考。     

星载多通道信号采集处理平台设计方法研究

多通道信号采集处理平台是阵列信号处理系统的关键设备,其性能指标关系到整个系统的精度,需要研究其硬件平台实现时的方法。文章结合星载多通道信号采集处理系统的原理及特点,在幅相一致性、输入动态范围及通道间隔离度等方面,分别提出了在方案设计、器件选型及电路设计等阶段的解决途径;通过优化模拟前端阻抗匹配设计及合理的平面分割等方法,提升了电路性能;并基于COTS（Commercial off The Shelf,商用现货）器件设计了硬件平台;对关键技术指标进行了仿真分析,搭建测试系统验证了平台的性能指标,在测试频带内,系统的幅度一致性<1 dB,相位一致性<±3°。文章对采用阵列信号处理系统的星载设备研制,尤其是对具有低成本、小型化、低功耗需求的载荷,有着较强的指导性。     

信念修正与开放逻辑之间的关系

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联系及本质差别,证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下,3种运算的操作结果一致。     

复杂姿态下基于空时码的测控方法

为了提高复杂姿态条件下飞行器测控通信的可靠性,将LDPC（Low Density Parity Check,低密度奇偶校验）码和空时码级联,并采用2×1天线系统,建立了系统模型,阐述了信道参数估计方法,在此基础上提出了基于信道参数估计的空时软译码算法,使得空时译码器输出软信息给LDPC译码器,能充分利用LDPC的编码增益。仿真结果表明,不采用空时码时在π相位差附近出现很高的误码,导致通信中断;采用空时码能够保证在任何相位差的条件下误码率在一定的范围内,实现不间断测控。     

某型飞机惯导主平台故障影响备平台无显示问题的分析

针对某型飞机主惯导平台故障后备份惯导平台无法正确显示信息的故障进行了分析,找出了故障原因,并提出了解决方案。