基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

用相位梯度法校正超宽带雷达系统的相位误差

线性调频 (LFM)信号体制的超宽带雷达 (UWBR)系统的相位误差 ,会影响雷达系统脉冲压缩的结果。本文提出的相位梯度 (PG)算法 ,能够有效地估计系统相位误差 ,改善脉冲压缩的性能。     

相位非线性畸变对GPS伪距测量的影响

基于直接序列扩频体制的伪距测量在卫星导航、雷达、航天测控、深空探测等领域获得了广泛应用.射频链路、电缆多径等引入的相位非线性畸变会对扩频信号的传输时延产生影响,进而影响延迟锁定环(DLL)的伪距测量结果.传统群时延的定义难以描述一定带宽内的相位畸变,也难以与扩频信号时延建立对应关系.在对相频曲线进行Taylor展开的基础上给出了群时延的新定义,利用零阶群时延、线性群时延和抛物线群时延等来描述相位畸变,并定量研究各阶群时延对DLL伪距测量的影响.所得结论表明抛物线(二阶)群时延对伪距测量的影响最大.     

纳米SiO2对室温快速固化胶粘剂及复合贴片作用机理研究

将纳米SiO2(n-SiO2)添加到自行研发的室温快速固化胶粘剂中,该胶粘剂与具有良好综合性能的芳纶纤维进行复合,制备成可在战场条件下使用的复合抢修贴片.分析了纳米SiO2对胶粘剂及贴片各项性能的影响规律,并初步分析了作用机理.试验结果表明,与未添加纳米材料相比,添加质量分数为2%的n-SiO2后,胶粘剂的剪切强度提高了近15%,玻璃化温度提高了约4倍.     

模拟海深条件下提升阀流动特性的实验研究

水压传动技术应用于深海环境可以直接从海洋中吸水加压,高压水作功之后可以直接排入海洋,不需要水箱和回水管道,大大简化了系统,具有独特的优势。然而,在深海作业时,液压元件的工况同陆地相比有较大的差异,海深压力相当于在元件出口加了一个背压。文中用背压来模拟海水压力,对以水作介质时背压对提升阀口流量特性的影响进行了实验研究。研究结果表明,背压使得流量饱和更容易发生;有背压时的流量系数比没有背压时的流量系数大;当阀芯和阀座有叠合时,背压对阀口流量特性的影响比阀芯和阀座没有叠合时的影响大。     

双层隔振系统的模糊-PID控制方法

PID算法简单,稳态性能好,但动态性能差.模糊控制方法灵活,适应性强,不依赖于受控对象的数学模型,可以处理系统参数的非线性和不确定性问题,动态性能好,但稳态性能差.为提高双层隔振系统隔离低频结构噪声的不足,将模糊控制理论应用于双层隔振系统,较好地实现了两种算法的结合,弥补了该系统动态性能差的缺陷.仿真结果表明该方法有良好的减振效果.     

一种基于改进SIFT的航拍图像自动配准算法

针对传统SIFT算法匹配时间长、错匹配较多等问题,提出了一种基于改进SIFT特征的航拍图像自动配准算法.首先,通过特征点检测时设定检测极值点数目,按照DOG空间层次结构由粗到精来搜索特征点,并使用改进的SIFT特征描述符生成算法;其次,利用最近邻匹配准则进行初步匹配得到初始匹配点对,并采用双向匹配方法对匹配特征点对进行筛选;然后,基于马氏距离的特征点相似度量方法进行二次匹配,并使用RANSAC算法求取仿射变换模型;最后,通过双线性插值对变换后的图像进行重采样和插值.实验结果表明:该算法可以实现航拍图像之间的有效配准,在配准性能上优于传统SIFT算法.     

倾斜摄影测量的城市战场环境三维建模及可视化

城市是进行特种作战、爆发恐怖活动和突发性事件并影响地区稳定的重要地域,信息化时代的今天,以无人机倾斜摄影测量为代表的新测绘技术突飞猛进,为建立实景三维城市战场带来契机,从城市战场环境作战需求出发,介绍了无人机倾斜摄影测量技术和城市战场实景三维建模流程,基于Context Capture获得了逼真、高精度的城市三维模型,结合LocaSpace Viewer实现了城市战场要素标绘、量测、通视、可视域、雷达等可视化分析,实验成果证明了方法可行性和有效性,突破了传统二维地图的视觉和量测上的局限,为指挥员分析利用地形、指挥决策提供重要参考.     

利用波达方位角及其变化率对运动辐射源的无源定位

阐述了利用波达方位角及其变化率对地面运动辐射源进行无源定位的原理,通过Jacobi矩阵推导出可观测性表达式,讨论了不同相对运动状态下的可观测条件.提出了融入波达方位角变化率信息的MGEKF(修正增益的扩展卡尔曼滤波)算法,并通过仿真与只利用方位角信息的MGEKF算法以及经典的EKF(卡尔曼滤波)算法进行了比较.     

无源探测定位网

介绍了无源探测定位网的特点和分类,对无源探测定位网的关键技术进行了研究,并对无源探测定位网的发展前景进行了预测.