摘要：将Barker码脉冲压缩技术应用于水平剪切(SH)导波电磁超声换能器(EMAT),对提高在役钢板腐蚀检测回波的信噪比(SNR)和空间分辨率,以及实现大范围在线快速扫查具有重要的工程应用价值。建立基于Barker码信号激励的钢板SH导波传播有限元模型,结合实验分析与数值计算,分析了Barker码序列长度、码元长度、EMAT设计参数、提离等因素对脉冲压缩后缺陷回波的信噪比和波包宽度的影响,并与传统单一频率脉冲串激励方式进行对比实验。结果表明:与单一频率脉冲串激励方式相比,采用Barker码脉冲压缩技术,可以将缺陷波的SNR提高5.8 dB;当EMAT提离为3.0 mm时,经过脉冲压缩后的缺陷回波SNR>8.7 dB,而采用单一频率脉冲串激励方式对应的SNR接近于0 dB;当Barker码信号序列长度为13位、码元长度为15μs时,能检测深度为1 mm、直径为20 mm的圆孔,且SNR>25.4 dB。

摘要：水平剪切(SH)波电磁超声换能器(EMAT)具有非接触、无需耦合剂、对表面油污涂层不敏感、单点激励大范围检测等优点,在航空不锈钢薄板快速导波检测中具有重要的技术优势。首先建立了含缺陷的不锈钢薄板SH导波传播有限元模型,分析了不同设计参数EMAT对应缺陷的距离-波幅曲线(DAC),并对DAC进行实验验证。然后建立了不锈钢薄板中SH导波声场分析有限元模型,研究了周期性永磁体电磁超声换能器(PPM EMAT)中永磁体宽度、长度和对数对SH导波辐射声场特性的影响,得到了EMAT的轴线声压分布,并在此基础上获取了EMAT的最优设计参数组合。结果表明增大永磁体长度和对数都能提高EMAT轴线辐射声场强度,使EMAT在远距离检测具有较好的声压分布均匀性。当永磁体对数、长度、宽度分别为6对、25mm、7mm时,对应的EMAT具有较高的轴线辐射声场强度和较平稳的DAC,更适合对航空不锈钢薄板进行远距离快速导波检测。

摘要：在高温铸造/锻造过程中进行缺陷的检测、控制和修复以及厚度测量,并据此调整加工工艺参数,及时剔除缺陷/尺寸超标件,避免进入下一步工序,对提高产品合格率、实现环保制造,具有重要的工程应用价值。针对电磁超声换能器(Electromagnetic ultrasonic transducer,EMAT)在大提离、强环境电磁干扰、高温等严苛条件下对表面粗糙形貌、晶粒粗大的铸锻件进行快速检测时的信噪比和空间分辨率差这一难题,建立基于chirp信号激励的螺旋线圈EMAT检测过程的有限元模型,采用正交试验表,分析EMAT设计参数、chirp信号带宽、脉宽等因素对脉冲压缩后的回波主瓣峰值和主瓣宽度的影响,分别获取主瓣峰值主瓣宽度最佳参数组合,并通过试验加以验证。设计耐高温EMAT探头,比较单一正弦脉冲激励信号和chirp脉冲压缩在650℃以上高温锻件检测的信噪比和主瓣宽度。结果表明,采用chirp脉冲压缩技术,高温EMAT检测的信噪比(Signal-to-noise ratio,SNR)、空间分辨率和检测效率更高。在720℃高温锻件、提离为3 mm且无同步平均条件下,与单一正弦脉冲激励相比,采用脉冲压缩技术,SNR提高了至少5.4 dB,主瓣宽度减小了58.8%。

摘要：针对高温铝合金铸锻件在大提离、表面粗糙等恶劣条件下进行在线、快速检测时电磁超声检测回波信噪比差这一问题,建立了基于Barker码脉冲压缩技术的曲折线圈电磁超声换能器(Electromagnetic Acoustic Transducer, EMAT)检测过程有限元模型。采用正交试验表,分析了Barker码码元周期数、EMAT设计参数等对脉冲压缩后的主瓣峰值和主瓣宽度的影响,分别获取了主瓣峰值/主瓣宽度最佳的EMAT参数组合,并通过实验加以验证;比较了不同同步平均次数和提离距离时传统猝发音驱动方式和Barker码脉冲压缩技术对应的检测回波信噪比,并验证了Barker码脉冲压缩技术在无同步平均条件下对长5 mm×宽1 mm×深0.5 mm裂纹的检测能力。结果表明:在提离为0.3 mm时,与16次同步平均抑噪的猝发音驱动方式相比,采用Barker码脉冲压缩技术在无同步平均条件下可以将超声回波信噪比提高4.0 dB。在提离为1.3 mm和无同步平均的条件下,猝发音驱动方式难以获取足够信噪比的超声回波,而通过Barker码脉冲压缩技术则可以将超声回波的信噪比提高20.3 dB。对于长5 mm×宽1 mm×深0.5 mm裂纹,16次同步平均抑噪的猝发音驱动方式无法可靠获取缺陷波,而采用无同步平均的Barker码脉冲压缩技术,其缺陷波信噪比可达12.0 dB,较32次同步平均抑噪的猝发音驱动方式提高了2.0 dB。

摘要：针对大型金属板材构件导波检测中EMAT分辨率低、SNR差,难以用于小裂纹检测等难题,建立了基于Barker码脉冲压缩技术的Lamb波EMAT检测过程多物理场有限元模型,以含预制裂纹的5.6 mm厚钢板为检测对象,仿真和实验相结合,研究了永磁体宽度和高度、曲折线圈匝数、Barker码序列长度和码元长度等参数对EMAT检测回波的影响,验证了脉冲压缩技术在Lamb波EMAT检测中的有益效果。结果表明,基于脉冲压缩技术的EMAT经优化后,SNR比传统tone-burst激励方式高出了9.69 dB,可检出10 mm长和0.5 mm深的小裂纹,缺陷波SNR为23.47 dB。当Barker码码元中心频率为1 MHz时,脉冲压缩后的Lamb波包发生模态分离,但A_(0)模态的缺陷波SNR仍可达35.23 dB,这对提升Lamb波EMAT检测能力具有重要的工程应用价值。

摘要：为辅助程序设计课程教学,以程序设计语言为研究对象,根据程序设计课程知识专业性、逻辑性强的特点,提出程序设计课程知识本体的构建准则和课程知识图谱的构建方法.进一步构建C、JAVA、Python程序设计语言的课程知识图谱.最后,给出基于Neo4j的课程知识图谱的存储与可视化方案.所提构建方案为课程知识图谱提供参考,所实现知识图谱为程序设计语言教学提供支持与服务.

摘要：针对电磁超声换能器(EMAT)换能效率低导致超声回波信噪比(SNR)差这一问题,基于相位编码脉冲压缩技术,讨论了匹配滤波器及旁瓣抑制滤波器的设计及其在电磁超声检测中的实现。选用典型二相编码信号-巴克码作为激励信号,分析了不同码长、载波周期数的巴克码信号对电磁超声导波检测脉冲压缩效果的影响,并研究了旁瓣抑制算法的效果。以含人工预制裂纹的7075航空铝合金薄板为检测对象,选用SH;模态电磁超声导波换能器对比了单频正弦信号激励方式与巴克码脉冲压缩技术获得的缺陷回波信号信噪比。结果表明,采用巴克码脉冲压缩后超声回波的信噪比较单频正弦激励方式至少提高了7.2 dB,且巴克码脉冲压缩技术能探测出单频正弦激励方式而不能可靠检出的小裂纹(长×宽×深为10.0 mm×1.0 mm×0.25 mm)。将相位编码压缩技术应用于电磁超声导波检测,可达到增加EMAT提离和减小同步平均次数的目的,能满足在线快速检测的需求。

摘要：道岔是铁路轨道的最薄弱环节,高速列车在经过道岔钢轨时,急骤地改变运行方向,对道岔产生巨大的竖向和横向冲击力,使得道岔钢轨轨底容易产生伤损。现有的高速铁路轨道无损检测技术难以对道岔钢轨轨底伤损实施原位不拆卸检测,给高铁安全运行带来重大隐患。本文考虑道岔钢轨的变截面特性以及弹扣垫板等道岔部件对检测的影响,选用SH模态导波,将道岔尖轨轨底简化为变截面窄板,基于Bloch-Floquet边界和域约束的有限元特征频率法,分析了道岔变截面轨底结构的SH导波频散特性,绘制了SH;导波在变截面窄板内相速度和群速度变化曲线。通过建立SH导波在变截面窄板中的传播有限元模型,研究了SH;/SH;导波在变截面窄板中的传播与模态转换特性。设计并制作了SH;导波电磁超声换能器(Electromagnetic acoustic transducer, EMAT),并对道岔变截面轨底裂纹进行SH;导波检测对比,采用同步挤压小波变换(Synchrosqueezed wavelet transform, SWT)对导波检测信号进行导波模态分离和噪声滤除。SH检测模式波质点横向振动,受弹扣和垫板等道岔部件影响小。将SWT应用于道岔尖轨轨底导波检测信号处理,减小了信号处理的同步平均次数、实现了导波模态分离和大提离快速检测。经过SWT处理后,SH;导波检测信号信噪比提高了10.69 dB。

摘要：针对电磁超声换能器(EMAT)在高温、大提离、表面粗糙等恶劣环境下对枝晶粗大的铸锻件进行快速、在线检测时,超声回波的信噪比低和空间分辨力差等难题,建立了基于chirp信号激励的跑道线圈EMAT检测过程的有限元模型,采用正交试验表,分析了EMAT设计参数、chirp信号带宽和脉宽等因素对检测回波脉冲压缩后的主瓣峰值和主瓣宽度的影响,分别获取了主瓣峰值\\主瓣宽度最佳的EMAT参数组合,并通过实验加以验证。比较了0.5 MHz猝发音激励信号在不同同步平均次数条件下,以及chirp脉冲压缩在不同提离且无同步平均条件下对Φ4平底孔的检测能力。结果表明:采用chirp脉冲压缩技术在无同步平均条件下,Φ4平底孔的检测回波信噪比较128次同步平均的猝发音脉冲信号提高了6.6 dB;在EMAT提离为3.5 mm且无同步平均条件下,Φ4平底孔的脉冲压缩后回波信噪比可达8.0 dB。

摘要：安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方面来描述协议的内在语义,设计了基于关联语义密钥交换协议的分析模型及算法.对Ban-Yahalom Protocol协议进行了分析,指出该协议存在冒充第三方S生成会话密钥的安全隐患,但却未泄漏协议会话密钥.从实验结果来看,该分析方法对密钥交换协议进行关联语义验证分析是行之有效的.