Application of Wavelet Packet De-noising in Time-Frequency Analysis of the Local Wave Method

The local wave method is a very good time-frequency method for nonstationary vibration signal analysis. But the interfering noise has a big influence on the accuracy of time-frequency analysis. The wavelet packet de-noising method can eliminate the interference of noise and improve the signal-noise-ratio. This paper uses the local wave method to decompose the de-noising signal and perform a time-frequency analysis. We can get better characteristics. Finally, an example of waveletpacket denoising and a local wave time-frequency spectrum application of diesel engine surface vibration signal is put forward.     

瞬时吸收率检测与高频噪声的剔除

在高分辨率处理过程中，由于地震数据记录中存在着一类并不被人们十分注意的，但影响却十分严重的高频噪声，使得高分辨率处理结果陷入一种“混沌”状态。为此，本文仔细分析和研究了这类噪声产生的物理机制和原因，并提出瞬时吸收率检测与高频噪声剔除的方法。     

光外差系统噪声等效功率的一种测量方法

本文介绍了利用工作于Bragg衍射的Ge晶体声光调制器作为外差系统中的频移器来测量外差系统的噪声等效功率(NEP)的方法。该方法具有测试系统简单、信号光功率、偏频可调的优点。实验测试与理论分析吻合。     

塔里木盆地塔中沙漠区高分辨率地震勘探效果

塔中沙漠区地表被北东—南西向条带状沙层所覆盖,地形起伏剧烈,松散沙层厚度变化巨大,给地震资料采集、处理、解释带来了很大的困难。通过联合攻关,从地震波激发能量下传和反射波接收的研究入手,实现了全部潜水面以下激发,因地制宜、避高就低埋置检波器优化观测系统;针对该区石炭系和志留系低幅度构造、薄储层圈闭难以落实,奥陶系内幕地震资料反射波能量弱、信噪比低、叠加成像困难等问题,开展了沙丘对地震波吸收衰减分析和补偿技术、地表一致性处理技术、多域迭代静校正技术、精细速度场模型确立和偏移成像等配套技术的研究开发与应用。从而极大地改善了塔中沙漠区地震资料的品质,使中深层的石炭系、志留系、奥陶系对应的地震剖面主频从18～20Hz提高到36～40Hz;形成了塔中沙漠区油气勘探技术系列,精细刻画了塔中Ⅰ号带,锁定了油气勘探目标,推动了台盆区油气勘探再掀新高潮。     

钻井液波信号处理方法比较

无线随钻测量系统中的脉冲信号受各种噪声的干扰,在井口需要还原脉冲信号,实时监测井底的情况。采用傅立叶变换和小波变换2种方法对钻井液波信号进行了处理,并尝试性地采用相关系数来评判去噪效果的优劣。对巴特沃斯、切比雪夫和小波变换3种处理方法的结果进行了比较。结果表明:小波变换对这种信号的噪声抑制效果较好;对于钻井液波信号噪声的处理,小波变换明显地优于傅里叶变换;相关系数能够用来评判钻井液波信号处理结果的优劣。     

激光陀螺随机噪声参数估计和滤波方法研究

激光陀螺(RLG)中随机噪声是影响其精度的一个重要因素,针对其噪声的特殊性质,采用小波方法去除随机噪声,提高激光陀螺的精度。通过小波分析的参数估计方法获得噪声参数,并用小波阈值滤波方法去除噪声,对某型号的RLG的滤波结果表明了该方法的有效性。     

开关电源的噪声及其抑制

介绍开关电源的常态噪声和共态噪声产生的原因，以及几种抑制噪声的方法。     

某接收机测试台系统设计

介绍某接收机测试台设计方案、主要技术特点及实现方法。     

图像匹配中噪声分析和预处理

提出和证明了在三坐标测量机单镜头三维视觉系统中的图像噪声主要有三种：（1）电磁干扰噪声；（2）季节、气候和时间变化引起的噪声；（3）物体的位置和视角变化引起的噪声。相应地提出了一种基于优化图像搜索模块的有效减少和消除噪声的预处理方法。理论分析和实验均表明，该方法具有简便、可靠和速度快的优点。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.