一种改进的宽带双曲调频信号检测方法

动物回声定位所用超声波具有双曲调频的形式,充分利用此信号的特性可以提高水下信号处理系统的目标检测性能.利用宽带舣曲调频信号自小波变换域的特性,针对直线形式的回波小波峰脊,将宽带目标回波检测问题转化为小波变换二维平面上的直线检测问题.提出了一种改进的基于小波-Radon变换的宽带仿生信号检测方法及其简化算法,并进行了仿真验证,结果表明检测器性能优于完成匹配滤波的宽带小波检测器,充分利用了宽带仿生信号的特性,同时印证了选择宽带双曲调频信号作为发射信号的合理性.     

点火系对环形线圈车辆检测器辐射干扰的仿真

环形线圈车辆检测器是利用电涡流检测原理工作的一种车辆检测设备,存在易受电磁干扰影响的缺陷.汽车点火系是环形线圈车辆检测器工作环境中存在的强大宽带电磁干扰源.针对汽车点火系对环形线圈车辆检测器可能产生的辐射干扰,采用基于有限积分技术的仿真软件进行了数值仿真.仿真结果表明,在不考虑汽车金属外壳屏蔽作用,并且点火系恰好位于环形线圈正上方的情况下,汽车点火系产生的辐射电场对环形线圈车辆检测器正常工作有严重影响,必须对其采取一定的屏蔽措施.     

一种基于灰度直方图的遥感影像阴影自动检测方法

在高分辨率全色遥感影像中,阴影的存在既给目标识别带来了困难,又包含了地物的层次和高度信息。本文运用灰度统计直方图的势函数对全色遥感影像的灰度统计直方图函数进行拟合,使用一阶差分找到直方图势函数的第一个谷点,以该谷点对应的灰度值对原始影像做阈值分割完成阴影检测。实验表明,在各种复杂地物环境下,本文方法都能能完成灰度分割阚值的自动选取,其阴影检测结果是快速有效的。     

基于嵌入式Linux的便携式自动人脸检测与跟踪系统的应用研究

随着嵌入式微处理器、嵌入式Linux操作系统以及数字图像处理技术的深入发展,自动人脸检测和识别技术在具有嵌入式Linux操作的嵌入式开发平台中得到了发展和实现。本文在基于IntelPXA270嵌入式硬件开发平台和嵌入式Qt和开源计算机视觉库OpenCV软件开发平台基础上,对基于嵌入式Linux的便携式自动人脸检测和跟踪系统的应用进行了研究。     

Loop headers in λ-calculus or CPS

The introduction of a loop header block facilitates the hoisting of loop-invariant code from a loop. In a -calculus intermediate representation, which has a notion of scope, this transformation is particularly useful. Loop headers with scope also solve a problem with in-line expansion of recursive functions or loops: if done naively, only the first iteration is inlined. A loop header can encapsulate the loop or recursion for better in-line expansion. This optimization improves performance by about 5% in Standard ML of New Jersey.     

3D-line clipping algorithms — a comparative study

Some well-known line-polyhedron intersection methods are summed up and new accelerating modifications presented. Results of comparison of known and newly developed methods are included. New methods use the fact that each line can be described as the intersection of two planes.     

SATCHMORE: SATCHMO with RElevancy

We introduce a relevancy detection algorithm to be used in conjunction with the SATCHMO prover. The version of SATCHMO considered here is essentially a bidirectional prover, utilizing Prolog (back chaining) on Horn clauses and forward chaining on non-Horn clauses. Our extension, SATCHMORE (SATCHMO with RElevancy), addresses the major weakness of SATCHMO: the uncontrolled use of forward chaining. By marking potentially relevant clause head literals, and then requiring that all the head literals be marked relevant (be totally relevant) before a clause is used for forward chaining, SATCHMORE is able to guide the use of these rules. Furthermore, the relevancy testing is performed without extending the proof search beyond what is done in SATCHMO. A simple implementation of the extended SATCHMO can be written in Prolog. We describe our relevancy testing approach, present the implementation, prove soundness and completeness, and provide examples that demonstrate the power of relevancy testing.This research was partially supported by NSF Grants IRI-8805696 and CCR-9116203. This paper is a major revision of Wilson and Loveland (1989).     

基于开放光路FLRDS技术的C2H2和C2H6气体检测

磷酸铁锂电池因其较长的使用寿命和环保性,被广泛应用于储能系统。然而,近年来,储能电站安全事故频发,给电网稳定运行造成了威胁。在热失控过程中,磷酸铁锂电池会产生C₂H₂和C₂H₆等可燃气体,是造成燃烧、爆炸等灾害的重要原因。因此,实时准确监测储能预制舱内C₂H₂和C₂H₆等可燃气体的浓度是保障其安全稳定运行的关键。文中提出一种基于开放光路光纤环形腔衰荡光谱(fiber loop ring-down spectroscopy,FLRDS)技术的气体检测方法,可实现自由空间内微量气体在线监测。对梯度折射率(gradient index,GRIN)透镜的空间光耦合光学损耗进行理论和实验分析,建立插入损耗为0.95 dB的开放光路FLRDS气体检测系统。根据C₂H₂和C₂H₆红外光谱特性,开展激光光源性能测试。模拟开放空间气体环境研究了C₂H₂和C₂H₆的气体浓度检测方法,结果表明,该系统具有较好的稳定性,N₂背景下测量信号标准偏差S仅为平均值的0.156%。衰荡时间与气体浓度之间存在良好的线性关系,C₂H₂线性拟合度R²为0.998 32,C₂H₆线性拟合度R²为0.994 72。反演计算结果表明,C₂H₂和C₂H₆的最大相对误差分别为3.215%和4.72%,最大绝对误差分别为16.86 μL/L和12.74 μL/L,测量精度良好。     

弱电网下直驱风机网侧换流器建模及稳定运行控制策略分析

直驱风机网侧换流器可能因与弱电网动态交互引发系统失稳问题。为探究系统的交互机理,保证系统的稳定运行,首先对直驱风机并网模型进行了合理简化,建立了弱电网下直驱风机网侧换流器与电网交互的单输入单输出传递函数模型,并应用经典频域判据进行稳定性分析,探究电气与控制环节对于系统稳定性的影响。其次在分析锁相环导致系统失稳的原因基础上,提出了一种新型3阶锁相环控制结构设计方案,并对锁相环参数进行了多目标优化设计。结果表明,3阶锁相环具有更好的谐波衰减效果,在短路比为2的极弱电网下仍可以保持稳定运行。最后基于MATLAB/Simulink仿真平台验证了所提设计方案的有效性。     

虚拟同步直驱风电场经MMC-HVDC并网的低频振荡特性分析

虚拟同步直驱风电场经功率同步环与模块化多电平换流器柔性直流(MMC-HVDC)输电互联,将存在低频振荡风险。考虑MMC-HVDC和直驱风机网侧换流器以及转子侧换流器内部的动态过程,首先建立虚拟同步直驱风电场经MMC-HVDC并网的小信号模型,并通过精细化电磁暂态仿真验证其准确性。随后,利用根轨迹方法,分析风电功率波动和交流系统强度变化对互联系统稳定性的影响,设计功率变化时虚拟同步直驱风电场的参数整定方法。结果表明,由于功率外环和MMC-HVDC送端整流站电压环作用,在风电场输出功率增大和交流系统强度降低的过程中,互联系统存在低频振荡现象。通过合理调整锁相环、虚拟同步机(VSG)有功环和MMC-HVDC送端整流站电压环的控制器参数、改变VSG阻尼项形式,可以抑制振荡并实现稳定运行。