一种新的SAT问题预处理算法

提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。     

基于数字光栅相移法的三维重构

利用光栅投影法进行三维测量有良好的发展前景,但仍未能很好地解决高精度测量问题。提出结合相位高度映射关系和棋盘标定法的三维测量方法,该方法基于数字光栅相移技术,减少了对数字光栅和CCD几何约束要求,操作简单,实现对被测物三维信息的测量与重构。对已知高度为20 mm的参考物体进行测量,高度相对误差为0.727 5%。实验结...     

一种基于SOI材料的新型可调谐光衰减器的设计

设计了一种新型的、基于SOI材料的可调谐光衰减器，其调制区采用了独特的双脊型PIN结构。增强了注入电流场与光场的重叠，提高电注入效率．用BPM方法分析了波导结构的传输损耗，用有限元法分析了二维PIN结的电注入特性．结果表明该结构的光衰减器有良好的性能．     

小波降噪对TDLAS 干涉抑制的研究

基于多光程吸收池的可调谐半导体激光吸收光谱 (TDLAS) 系统在检测过程中容易出现噪声干扰, 影响着其 实际检测性能。针对这种干扰的特征进行分析, 提出利用小波降噪法来改善 TDLAS 系统的探测性能。首先依据理论 研究结果选择合适的小波函数和分解层数, 然后通过这种小波对叠加干扰的仿真信号进行滤波, 结果表明这种降噪技 术具有良好的去噪效果。最后利用小波降噪技术处理了实验采集的不同浓度气体的直接吸收光谱 (DAS) 和二次谐波 信号, 相比于原信号, 降噪后信号的信噪比从 0.4 增加到 259, 系统的检测限也达到 7×10−6, 表明小波降噪方法在气体 光谱检测中具有较高的应用价值。     

基于α-随机解调器的线性调频信号模拟信息转换方法

针对宽带线性调频信号的采集、存储和传输困难问题,提出了一种基于α-随机解调器的线性调频信号模拟信息转换方法,有效降低信号采集频率与采样点数.首先,根据线性调频信号特点,提出了α-随机解调器的系统模型,用以完成对线性调频信号的压缩采样.然后,分析了α-随机解调器工作过程,建立了系统采样点与原始输入信号稀疏系数之间的联系,...     

面向数字驱动近眼显示器的位平面压缩技术

为提升用户体验,近眼显示设备应轻量化且具备高分辨率和高刷新率,传统视频压缩方案难以满足需求.针对这一问题,本文将运动估计应用于位平面压缩,将恰可察失真映射至位平面以指导运动估计的匹配准则.同时,从虚拟现实领域中数字驱动微显示器的应用场景出发,使运动估计的搜索范围根据刷新率自适应.最后,结合人眼临界频率与位平面的关系,设...     

基于可切换频率选择表面的微波加热数值研究

为解决微波加热中普遍存在的加热不均匀问题,已提出模式搅拌器、旋转转盘等机械转动方法来改变加热物体中的电场分布,从而提高加热均匀性。 然而,机械转动的方法往往使得仿真计算困难并且会增加微波系统的复杂性。 因此,本文提出一种应用于微波加热的可切换频率选择表面,其工作频率为2. 45 GHz,通过调整PIN 二极管的开关状态来改变电场分布,将不同状态下的频率选择表面在时间上进行联合并加热,可以明显提高加热均匀性和效率。 计算结果表明,该频率选择表面在导通和关闭状态下的传输系数分别为-32. 10 dB 和-0. 16 dB,能将均匀性提高 43%,加热效率提高42%,有望广泛应用于工业领域。     

TDLAS技术调制参量的优化及实验研究

为了研究激光调制参量对二次谐波信号峰值、信噪比、峰宽、对称性以及信号完整性的影响,基于硬件实验系统与Simulink仿真模型进行分析,验证了理论模拟结果与此硬件系统下信号变化趋势的一致性,同时确定了CO2检测系统的最佳调制参量.通过实验系统对不同体积分数的CO2在1432.04nm处的吸收光谱进行了测量,建立主吸收峰处...     

采用深度可分离卷积和改进特征融合的MSSD

单步多框检测器(Single Shot Multibox Detector,SSD)是一种优秀的目标检测模型,但是其对额外层的处理方式还需要进一步提升.因此,利用深度可分离卷积的思想设计新的深度可分离卷积模块改进模型中的额外层,采用紧邻特征图融合方法加强特征复用,综合设计了改进的目标检测模型(Modified SSD,...     

基于压力槽可调谐长周期光纤光栅模块的设计

提出一种基于机械微弯变形法的能够同时生成不同谐振波长的多个长周期光纤光栅的制作方案.仿真分析了该方案中各参数(如光栅有效长度、倾斜角度以及外界应力)变化对长周期光纤光栅损耗峰深度和谐振波长的影响.结果显示,长周期光纤光栅的损耗峰深度主要受光栅有效长度和压力影响,而倾斜角度大幅度改变谐振波长位置.