参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

引信湿热强化试验技术研究

针对传统引信湿热试验的缺点,以某型引信的电子头组件为研究对象,开展了引信的湿热强化试验技术研究。首先分析了湿热强化应力对缺陷的激发效果,即温度和湿度越高,对缺陷的激发效果越好。在此基础上,设计了湿热强化试验方案,并通过试验,暴露了电子头组件的薄弱环节,为提高其环境适应性奠定了基础,同时体现了湿热强化试验在激发引信潜在缺陷、缩短试验周期和降低试验费用方面的优势。还根据试验的反馈信息,对试验方案进行了优化。     

一种强噪声背景下语音增强方法的研究与实现

提出了一种基于传统谱相减语音增强算法的改进方法,加强了其滤除噪声的功效,提高了强噪声背景下语音信号的信噪比和可懂度。实验表明,该算法能够很好地滤除强噪声,增强语音,甚至对于滤除与语音频段几乎重叠的噪声信号,效果也十分显著。最后与传统减谱法相比较,分析了该算法的优缺点。     

基于二进小波变换的噪声图像自适应增强新算法

针对图像增强算法通常会放大原图像中噪声分量的问题,提出了一种基于二进小波变换的图像增强新算法。该算法充分利用了二进小波变换的平移不变性和各尺度上小波系数间的相关性,有效改善了增强过程中噪声放大和边缘失真问题。此外,算法具有高度的自适应能力,适用性更强。实验结果表明,与目前已有的各类多尺度图像增强算法相比,该算法在抑制噪声和凸显图像特征两方面均有明显改进。     

基于改进的相干法的InSAS三维地形生成方法

提出了一种利用时延测距进行干涉合成孔径声纳(InSAS)数字高程模型(DEM)重建的方法。重点研究了采用相干系数估计两幅合成孔径图像的时延,并利用插值和相位修正提高时延估计精度的方法。分析了时延估计过程中可能出现的时延跳变情况,并给出了解决办法。采用仿真数据和干涉合成孔径声纳样机实测数据对所提方法进行了验证,结果表明:该方法是有效的,能够获得可靠的高程结果。相比传统的干涉处理方法,该方法避免了图像配准、相位滤波、解卷等步骤,实现起来更加简便。     

全反射棱镜式激光陀螺应力检测技术研究

光学元件的装配应力和加工应力是制约高精度激光陀螺稳定工作的重要因素．考虑各向同性材料在应力作用下介电常量变化的情况,利用弹光效应和琼斯矩阵得到了复杂应力与穿过全反射棱镜的激光束偏振态改变之间的关系．通过实验,提出一种通过记录棱镜布儒斯特角反射光椭偏度配合光斑质量分析应力水平的筛选方法,对棱镜式激光陀螺装配过程中光学元件应力的早期筛查有突出作用,并设计专用工装以适应棱镜相关产品的应力检测需要．     

基于复—方向小波变换和视觉表示的图像增强

针对复—方向小波变换具有好的平移不变性、方向选择性、对图像边缘特征的表示比传统实小波要好等优势,提出了一种基于视觉表示统计特性和复—方向小波变换的图像增强新方法。该算法在图像的多尺度复—方向小波变换域内进行动态范围(亮度)修正和局部对比度调整以增强图像。实验结果表明,与目前经典的多尺度增强算法相比,运用本文的算法增强的图像视觉效果好,在边缘和细节处失真小,而且对图像源的变化具有很好的鲁棒性。     

PMESI：一种优化进程私有数据访问的缓存一致性协议

并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。     

无人机自驾仪硬件加固方案设计与可靠性分析

自驾仪是无人机实现自主飞行与自主完成各项任务的核心器件。现有商用无人机自驾仪大多没有进行硬件加固,直接用来执行重大任务时有一定风险。通过分析可知自驾仪组成模块中对安全性和可靠性影响最大的模块为控制解算器。根据逐步提高的容错需求,使用复位器、计数器、反相器、选择器等简单器件以及在芯片内部添加简单代码,分别设计了单机复位加固方案、双机热备加固方案、硬件切换和软件切换双机互备加固方案。重点研究了加固方案的可靠性随时间的变化关系,并进行了对比分析。对加固方案的工作机制进行了模拟,分析了这些方案在处理故障时的系统异常输出时间等容错特性。计算表明,这些加固方案可以显著提高系统的可靠性,其中双机互备加固方案的可靠性最高。该研究对于指导高可靠性自驾仪设计时在容错效果与复杂度、成本等方面进行折中具有较大的参考意义。     

超分辨率重建方法在图像处理中的应用

为提升现有舰载光电探测系统图像的分辨率,通过图像降质及超分辨重建模型对复原图像中伪信息的产生进行了研究,在Lee方法的基础上,提出了采用高斯马尔科夫先验模型对图像重建过程进行约束的方法,实现了正则化参数的自适应计算。实验结果表明:该方法在视觉效果与客观指标上要优于传统方法与Lee方法,具有良好的应用前景。