航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

高准确度直流电阻仪整体检定方法探讨及不确定度评定

介绍了几种整体检定直流电阻仪器的检定方法 ,着重分析了用数字多用表整体检定高准确度直流电阻仪器的工作原理和检定方法 ,并进行了不确定度的计算。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

卫星地面测试设备PCI接口数据处理采集卡设计

介绍了某型号卫星地面测试设备PCI扩展卡的设计方法,除了对功能电路的设计进行描述外,还详细介绍了PCI接口芯片PLX9054的使用及其本地接口时序的设计,包括本地中断设计、DMA突发传输的状态机和相应的主机软件开发方法。     

一种基于FPGA的超高速FFT处理器设计

通过采用合并字节的预整序单元、全并行的基4运算单元、首级存储单元外置的移位延时整序结构和逐级 扩充字长的定点算法,用FPGA实现了一个超高速的基4全并行流水线FFT处理器;在66MHz时钟频率下,处理速度可 达到256K点／ms。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于PowerPC硬核的片上组合导航计算机设计

为了满足微小型组合导航系统体积小、功耗低、精度高等方面的要求,根据新的嵌入式系统开发理念,通过软硬件协同设计将整个组合导航计算机系统集成在一片内嵌PowerPC微处理器的FPGA芯片上,实现了SoPC设计。利用FPGA内部的资源实现了组合导航系统的硬件平台,并设计了运行在该硬件平台上的底层驱动程序和组合导航软件。测试结果表明系统满足设计要求。     

CORDIC算法研究与实现

提出一种基于CORDIC算法的数字鉴相方法。首先介绍CORDIC算法的基本鉴相原理,然后讨论算法的抗噪和抗正交两路失衡性能,对算法精度进行分析,最后给出算法在FPGA中的工程实现,仅使用移位和加法即可完成。为满足实时性要求,采用流水线结构。实验结果表明,相比于传统的查表方法,CORDIC算法实现了计算精度、运算速度和硬件资源利用等方面性能的兼顾。     

ChirpZ变换的FPGA实现方法

研究用FPGA实现CZT变换的算法推演和硬件结构 ,给出用FPGA计算快速CZT变换的结构框图 ,并把每一个模块映射到可以实现的逻辑结构 ,估计使用的资源 ,结果可为FPGA实现CZT的具体设计参考