加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

满足大动压模拟要求的试验弹道优化设计

为了解决弹道导弹在高海拔发射场进行飞行试验时的大动压检验问题,提出一种模拟大动压条件的试验弹道设计方法。针对发射场的实际特点,建立残骸再入的动力学模型与落区边界模型;将大动压模拟条件转化为过程约束,提出一种主动段联合优化策略。基于自适应模拟退火算法,分别设计了三组满足不同大动压模拟条件和各项约束的试验弹道,并给出了对应的落区调整方案,验证了该方法的可行性。设计结果表明,最大动压主要出现在一级,一级最大负攻角增加,则最大动压也明显提高;同时调整发射方位角和二、三级程序角可以保证试验弹道满足弹头落点约束条件。     

衰落信道下基于正交频率码分复用的精确时间测量

针对衰落信道下的精确时间测量,给出基于正交频率码分复用技术的高精度时间测量算法。在不降低最大不模糊时间的前提下,通过时间延时、信道衰落、相位噪声参数的联合迭代估计,有效克服了频率选择性信道的衰落与相位噪声对时间测量的影响。仿真结果表明:联合迭代算法提高了时间测量的归一化均方根误差性能。     

敷设气囊的充水圆柱壳的声辐射特性

为降低充水圆柱壳受内部点声源激励时的水下辐射噪声,在其外壳上敷设气囊,形成气囊圆柱壳。为指导气囊圆柱壳的设计,将充水裸圆柱壳和充水气囊圆柱壳分别简化为单、双层无限长隔板。比较隔板、气体与水的波阻抗,分析气体声速与层厚对双层无限长隔板在平面声波入射时的低频声辐射的影响机理。分析表明,声速小的气体和适当的气层厚度可以降低双层障板的辐射噪声。采用声无限元法计算气囊圆柱壳的水下声辐射,结论与对隔板的机理分析吻合。优化设计出的充水CO2气囊圆柱壳的水下辐射声功率与远场辐射声压明显低于充水裸圆柱壳。     

65 nm工艺双层三维静态存储器的软错误分析与评估

新兴的三维静态存储器将代替二维静态存储器被广泛用于高性能微处理器中,但它依然会受到软错误的危害。为了能够快速、自动分析多层管芯堆叠结构的三维静态存储器软错误特性,搭建了三维静态存储器软错误分析平台。利用该平台对以字线划分设计的三维静态存储器和同等规模的二维静态存储器分别进行软错误分析,并对分析结果进行对比。研究结果表明二维和三维静态存储器的翻转截面几乎相同,但三维静态存储器单个字中发生的软错误要比二维静态存储器更严重,导致难以使用纠检错技术对其进行加固。静态模式下二维和三维静态存储器敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

我国近五年居民火灾情况分析及防范对策

近五年来,我国火灾形势总体平稳,但随着城镇化建设步伐的加快,居民火灾呈高发态势。介绍了我国近五年来居民火灾的形势,分析了居民火灾高发并容易导致人员伤亡的原因,提出了开展消防宣传教育提升居民消防安全意识、落实责任提升居民小区消防安全管理水平、完善消防设施提升小区消防安全环境、配备疏散逃生器材提升灾害应对水平等防范对策。     

高动态GNSS信号多普勒模拟任意阶直接数字合成器设计

为高精度模拟高动态条件下GNSS信号的多普勒特性,提出一种任意阶直接数字合成信号合成器的设计方法。设计任意阶直接数字合成信号合成器的结构;通过理论分析,推导各级累加器相位初值的计算公式;给出字长选择方法。经仿真验证,该方法能精确模拟GNSS信号的多普勒特性。此外,提出的直接数字合成器设计方法不受阶数的限制,可普遍应用于各类信号模拟器的设计。     

0.18 μm CMOS工艺的GPS/BDS双模可重构接收机射频前端

采用低中频架构设计了一种0.18μm CMOS工艺的GPS/BDS双模可重构接收机射频前端,能在GPS L1模式或BDS B1模式下工作。通过频率自适应电路调整中频滤波器的时间常数,降低其频率不确定度;压控振荡器中加入4位开关电容阵列,以提高频率调谐范围和相位噪声性能;通过硬件复用的方式降低系统功耗。测试结果表明,在1.8 V电源电压下,功耗37.8 m W,电压增益为103 d B,GPS L1和BDS B1波段噪声系数均小于3.2 d B。     

超声波法检测火灾高温后钢筋混凝土强度

我国每年有大量钢筋混凝土结构的建筑过火,科学准确的评估火灾高温后构件和结构的残存强度,据此制定科学合理的修复加固方案对于减少火灾损失具有重要意义。简略介绍了国内外火灾高温后钢筋混凝土结构受损评估的方法,并以某工程火灾后的强度检测为实例,提出了用超声波法检测火灾高温后钢筋混凝土残存强度的可行性和检测时应注意的问题,根据对多起建筑火灾高温后钢筋混凝土构件检测波形的对比,提出了不同受损程度的钢筋混凝土构件所表现的不同特征的波形。     

阻燃PA系列材料燃烧性能研究

通过氧指数测定、水平垂直燃烧性能测试以及差示热量扫描法分析,研究了以PA为基材的塑料的燃烧性能。结果表明,含不同阻燃剂的PA塑料的氧指数、初始分解温度、分解峰值温度等燃烧性能参数有显著不同,燃烧性能具有明显差别。