基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。     

一种高温雷达散射截面的测试方法研究

对常温状态的雷达散射截面(RCS)测试方法进行了分析,设计出高温RCS测试方法,以紧缩场RCS测试系统为基础进行高温RCS测试系统改造,研制了低散射高温目标体支架,选用石墨材料制作高温目标体,使用中频感应加热装置对目标体快速加热,对空心石墨体开展了降温规律试验.在高温RCS测试过程通过录制视频得出各环节的时刻,计算出目...     

某阅览观光大厅钢结构工程施工工艺探究

文章依据实际的工程概况,分析了某阅览观光大厅钢结构工程的项目施工工作要点,探讨了钢构件的制作工艺和钢结构安装工艺。     

基于FPGA的双DDS任意波发生器设计与杂散噪声抑制方法

研究基于DDS(直接数字频率合成)的任意波信号产生的机理,在FPGA内嵌SOPC,配置了32位的软微处理器NiosII,利用FPGA实现双DDS的相位累加器,通过数字方法直接实现任意波形的各种频率调制.分析了高速相位累加器截断误差,幅度量化误差和D/A非线性引起的杂散分量产生的原因.推导出DDS相位噪声模型,针对信号的频谱成份设计了高阶低通滤波器对输出信号滤波.结合NiosII,设计硬件电路对输出信号进行幅频校正,保证了信号幅值的稳定输出及实际显示数值的一致性.测试表明,信号波形发生器能输出稳定、高带宽、高速度、高精度、低衰减的任意波形,三角波的输出频率大于1 MHz,输出信号幅度峰峰值在50 mV～20 V范围内以10 mV的步进调节.     

小卫星通信系统射频前端设计

阐述了小卫星的发展背景、工作模式及技术上的优点,介绍了小卫星采用的射频前端系统结构。为了系统的合理设计,以满足星间通信的要求,对系统中低噪放电路、锁相环电路、自动增益控制电路的工作原理和重要指标进行了分析,采用ADS,ADIsimPLL软件仿真,得出适合要求的电路结构。最终制作出系统电路板并调试实现预期指标。