Novel reconstruction method for frequency-hopping signals

The reconstruction of the Frequency Hopping(FH) signal is studied in the noise environment. After analyzing the sparse characteristics of the FH signal at the receiving end, an atomic decomposition is constructed based on the parameters of the FH signal.Then a signal reconstruction method for the FH signal is presented based on the Generalized Regularized FOCUSS Algorithm. By choosing the proper regular parameter, the FH signal is reconstructed in the noise environmet. Simulation results demonstrate that the method is correct and effective.     

Lazy Slicing for State-Space Exploration

CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods.     

小波变换在心电信号处理及特征提取中的应用

首先利用小波变换方法,滤除心电信号中各种干扰,包括工频干扰、肌电干扰和基线漂移等.再用基于haar的连续小波变换方法对R波峰值进行特征提取.然后根据医生的临床经验需要,提出了一种交互式提取ST段的方案.最后对心电信号发生器产生的心电信号进行实验,实验结果表明:用连续小波变换方法对R波峰值进行定位准确度可达到99.84%,用交互式方法对ST段特征点的定位比较准确,采用小波变换方法滤波对低频基漂也有较好的滤波效果,能克服信号-噪声频带重叠.     

MATLAB在小波分析中的程序设计

MATLAB 是一种建立在向量、数组和矩阵基础上,面向科学与工程计算的高级语言,为科学研究和工程计算提供了一个方便有效的工具,通过智能超声测试系统进行实验测试,对火灾后砼构件的超声检测信号进行小波分析和处理,在 MATLAB 中实现小波消噪。     

Development of Cutting Condition Monitoring System for ID-blade Saw Slicing Machine

1 Introduction There are two ways ,the multi-wire sawslicing method and the inner-diameter blade slicing method,re-cently used for cutting wafers froma single crystal ingot . Multi-wire sawbecomes more popular iningot slicingprocesses ,because it has an advantage for slicinglarge diameter or long siliconingot and has efficiency for massproduction.However ,this method is difficult to control the wire cutting the ingot along its crystal orientationandit is less correspond to the request of some …     

Analysis of digital spectral processing of laser Doppler vibration meter signals

A digital spectral method of the maximum harmonic for processing laser Doppler vibration meter signals from a surface vibrating according to a harmonic rule is analyzed. A digital model for this signal in the presence of additive and multiplicative noises is suggested. Examples are given for the effect of signal discretization frequency on the error of determining vibration amplitude. __________ Translated from Izmeritel’naya Tekhnika, No. 9, pp. 42–45, September, 2006.     

变电站自动化系统遥信去抖方法分析

在辨别电网故障时各类事件发生的先后顺序中,SOE记录具有重要意义。该文对目前采用的遥信去抖方法进行分析,指出不同方法的特点。构建测试系统环境,在不同遥信去抖方法下,对SOE结果进行对比统计和分析。最后建议能够统一遥信去抖设计方法,保证SOE记录的精确性。     

基于AGR提取PD信号的应用研究

提出了一种从混合有色背景噪声环境提取变压器局部放电信号的方法一自适应高斯基表示。自适应高斯基表示是一种参数化最优联合时频分析工具，它能够有效地去除交叉项干扰，滤除有色噪声。系统运行中存在的服从高斯或非高斯分布的有色噪声．具有不满足细节小波分解系数趋于零的特性，不能有效地被小波分解滤除。基于信号匹配原则，通过自适应估计最优高斯基分解参数，将信号分解为最优高斯基函数的线性组合，滤除噪声，无限逼近原信号．弥补了局部放电信号检测精确性的不足。大量的仿真结果表明自适应高斯基表示是一个有效的局部放电检测方法，它将在电力系统局部放电信号检测中得到广泛的应用。     

A Comparative Study of the Use of Visual Communicative Signals in Interactions Between Dogs (Canis familiaris) and Humans and Cats (Felis catus) and Humans.

Dogs' (Canis familiaris) and cats' (Felis catus) interspecific communicative behavior toward humans was investigated. In Experiment 1, the ability of dogs and cats to use human pointing gestures in an object-choice task was compared using 4 types of pointing cues differing in distance between the signaled object and the end of the fingertip and in visibility duration of the given signal. Using these gestures, both dogs and cats were able to find the hidden food; there was no significant difference in their performance. In Experiment 2, the hidden food was made inaccessible to the subjects to determine whether they could indicate the place of the hidden food to a naive owner. Cats lacked some components of attention-getting behavior compared with dogs. The results suggest that individual familiarization with pointing gestures ensures high-level performance in the presence of such gestures; however, species-specific differences could cause differences in signaling toward the human. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Sleeping Beauties in Psychology: Comparisons of "Hits" and "Missed Signals" in Psychological Journals.

Scientific publications tend to be forgotten quickly. A few works, however, are still cited 100 years and more after their publication. The author used bibliometric methods to compare "hits" (works noticed by the scientific community soon after their publication) with "missed signals" (works that went unnoticed until much later) by investigating 2 psychological journals founded in the 1890s: Zeitschrift für Psychologie and Psychological Review. All articles that were published in either of these journals up to 1920 and cited more than 25 times in the Web of Science up to the year 2000 were considered for inclusion in the analysis. It emerged that hits corresponded more closely to the focus of scientific attention at the time of publication than missed signals. (PsycINFO Database Record (c) 2010 APA, all rights reserved)