摘要：安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方法,该方法采用组合验证与模型转换相结合的方法完成对该系统的验证与分析.首先,使用体系结构分析与设计语言AADL对火箭发射控制子系统进行层次化构造系统的体系结构模型,将系统各个层次的组件需求形式化为组件契约,然后通过组合验证确保系统体系结构的正确性;其次,提出了AADL2UPPAAL的模型转换方法,然后基于UPPAAL对该模型中组件的功能行为进行验证与分析,确保组件的功能行为的正确性;最后,实现了AADL模型验证原型工具,支持基于AGREE的体系结构模型的组合验证和支持基于UPPAAL的组件功能行为验证,通过对火箭发射控制子系统案例的验证和分析表明本文所提方法的有效性与局限性.

摘要：文中将模块化方法应用到一种车载高机动雷达的结构总体设计上,利用印刷电路板工艺,开展阵面互联技术研究,实现天线、T/R组件、电源之间的盲插连接,节省了大量电缆成本。为解决天线阵面设备散热问题,对分布式风冷送风结构和高频箱骨架进行一体化设计,并采用安装过滤器的方法防止灰尘、雨水、盐雾等对电子设备的侵蚀。

摘要：介绍了相控阵天线中使用的一种X波段多联装高集成度T组件,简述了该组件的原理电路、设计思想及相关工艺。在器件选型中,利用集成数个微波单片的多功能芯片,缩小组件面积。在结构布局上,合理安排各微波单片集成电路单元,利用异形结构减弱腔体效应。采用微组装工艺,设置合理的温度梯度和装配手段,提高产品可靠性。该T组件在X波段9~12 GHz带宽范围内,连续波条件下工作输出功率大于6 W,移相均方根误差小于3°。

摘要：数据解析是型号试验的重要环节。简介Perl语言,设计用于解析试验数据的Perl脚本。

摘要：针对高速跳频通信系统的需求,设计并实现了一款工作在C波段、带宽为1 GHz、步进为3 MHz的宽带频率源。该频率源采用DDS激励PLL方案,用FPGA控制DDS实现低频段的小步进跳频,再用乒乓式锁相环进行倍频得到最终输出。采用2路DDS基准时钟来保证杂散指标,并对跳频时间和相位噪声等指标进行简单预算,得到整个系统最大跳频时间小于1μs,相位噪声优于-106 d Bc/Hz/10 k Hz,杂散优于-60 d Bc。

摘要：针对卫星数传分系统基带数据模拟源的要求,提出了基于FPGA控制的NAND FLASH解决方案,阐述了该方案的硬件和软件的设计与实现,对NAND FLASH的读、写、擦除的操作时序进行了研究。单片FLASH最高读取速率可达250 Mbps,可通过多片FLASH芯片并行读取达到更高的读取速率。试验表明,该方案实现的卫星数传分系统基带数据模拟源可以有效模拟卫星数传分系统所需的数据模拟源,满足卫星数传分系统测试的需求。

摘要：伪码生成器是直接序列扩频系统中的重要一环。因此,设计了一种基于FPGA实现的实时生成码发生装置,利用双端口RAM码NCO结构来实现接收机全局时钟下码频率的转换和初相的设置,通过RAM输入数据位宽实现多通道码输入。每个码周期结束对码初相重新置位,减少了恶劣太空环境下发生单粒子翻转导致数据出错的影响,可以广泛应用于直扩系统接收机。

摘要：本文主要以宇航电子产品电磁继电器电路的应用研究为主线,介绍了电磁继电器的种类、主要技术指标等,指出了电磁继电器如何根据不同应用场合进行选型;着重介绍了电磁继电器的特性,设计时需要重点考虑的降额设计、抗振设计、瞬态抑制可靠性设计以及触点冗余可靠性设计等,并针对电磁继电器的可靠性设计要点进行了详细说明。

摘要：随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.

摘要：基于数字阵列雷达在数字域实现幅相加权的需求,给出了一种基于时钟模块电路与DDS波形发生电路的八通道波形输出与输入参考时钟相位同步的设计方案。在AD9520-0零延时模式完成的DAM电路内外时钟相位同步基础上,采用AD9959自动同步模式完成八通道相位相互同步,最终实现了该方案。测试结果表明,相位误差在±1°。对DAM单元间数字波形发生同步的研究提供参考。