二点边值问题的小波方法

利用Ｄａｕｂｅｃｈｉｅｓ正交小波的性质，通过修改边界上的小波函数，得到了满足齐次边界条件有限区域的小波基，由此可以通过Ｗａｖｅｌｅｔ－Ｇａｌｅｒｋｉｎ方法来解二点边值问题。数值实验表明，所得到的小波近似解能很好地满足边界条件，且解的精度可以通过增加小波函数或增加尺度而得到提高。     

选取小波函数的方法研究

在利用小波变换轮廓术进行三维面型测量时，由于满足存在条件的小波函数很多，而以前的研究论文，很少有针对小波选择问题的讨论，使得我们在如何选择合适的小波函数的问题上存在困惑.通过选取几种不同的小波对同一图像进行利用连续小波变换（CWT），比较不同小波在小波变换系数“脊”处的幅值和恢复图像的效果，得出通过参考小波变换系数幅值表现的方法来选取合适的小波函数的结论.计算机模拟和实验也证实了该方法的正确性.     

一种新的小波基函数及其在雷达信号特征提取中的应用

为进一步准确估计雷达信号的瞬时频率，在现有Morlet小波基函数的基础上，提出了一种新的Morlet小波基函数（New-Morlet）用于小波脊线的提取。通过深入分析小波脊线原理以及正确提取小波脊线对小波基函数的要求，利用Morlet小波基函数提取雷达辐射源信号的小波脊线特征，从而可以估计出辐射源信号的瞬时频率。将New-Morlet小波与现有的Morlet小波进行对比得出New-Morlet小波具有更好的时-频综合特性。同时，分析了利用小波脊线原理估计信号瞬时频率的迭代算法。仿真结果表明：基于New-Morlet小波基函数的特征提取性能优于现有的Morlet小波基函数，且具有良好的抗噪性能，其方法是有效的。     

数值积分公式的Chebyshev小波算法设计及应用

为了求解数值积分,利用第2类Chebyshev小波函数构造了一些求解定积分的数值积分公式。该算法的主要思想是将被积函数利用小波基函数的线性组合来进行表达,通过离散化被积分函数得到相应的Chebyshev小波矩阵,再通过小波基函数在[0,1]区间上的积分得到了求积系数。通过第2类Chebyshev多项式的解析表达式,推导了Chebyshev小波基函数的一般积分公式,从而为该小波的应用提供了方便。通过大量数值实例验证了该方法的可行性及有效性。该算法编程简单,应用方便,也适用于奇异积分、震荡函数积分问题。     

二点边值问题的小波方法

利用Ｄａｕｂｅｃｈｉｅｓ正交小波的性质,通过修改边界上的小波函数,得到了满足齐次边界条件有限区域的小波基,由此可以通过ＷａｖｅｌｅｔＧａｌｅｒｋｉｎ方法来解二点边值问题。数值实验表明,所得到的小波近似解能很好地满足边界条件,且解的精度可以通过增加小波函数或增加尺度而得到提高。     

一种基于小波变换的图像去噪方法

利用小波系数在相邻尺度上的相关性关系，针对小波系数估计中硬阈值方法和软阈值方法的缺点，通过对双重量收缩函数得到的阈值乘以一个合适系数进行修定的折衷方法，提出了一种新的小波域局部自适应去噪算法。实验结果表明，该方法既可以去除噪声，又可以较好地保留图像的高频细节特征。     

插值小波Galerkin法解偏微分方程边值问题

采用插值小波Galerkin法，利用具有插值特性的小波构造解空间的基，使得在用尺度函数线性表示被求函数时，其中的小波系数即为函数在二分点上的离散值，从而使得边界条件的处理更简单、有效。通过实例说明了算法的应用，验证了算法的有效性。     

小波变换与高斯粗糙表面的电磁散射研究

研究小波变换在粗糙表面电磁散射的应用。在用矩量法研究电磁散射问题的时候，基函数的选择是一个非常重要的步骤。不同的基函数对问题的求解规模影响很大。在此，我们利用小波变换中二尺度方程关系，通过对大尺度基函数和小波基函数求解相应的矩阵方程，然后由小尺度基函数与大尺度基函数和小波基函数的合成关系，求出对应于小尺度基函数的矩量法解。这个方法的优点是减少了矩阵方程求解的规模。     

最佳小波基选取的改进遗传算法

提出一种利用改进遗传算法选择最优正交小波基的方法，此法将信号用小波级数展开后得到其在某个期望尺度上的近似表示，由此建立一个表达信号与其近似之间误差的代价函数，然后利用改进遗传算法优化此代价函数以获得全局最优的正交小波基。数值实验结果表明本文的方法能够快速准确地得到全局最优的正交小波基，得到信号在期望尺度上的最佳近似。     

双正交小波的构造

由于多重尺度函数两尺度序列为矩阵序列，使得由尺度函数构造小波函数变得非常困难。通过引入多相矩阵的方法，给出了由紧支撑多重a(a∈Z,a≥2）惊讶双正交尺度函数构造双正交多小波的一种算法。该方法仅需用线性代数的知识可实现，较已有的方法简单易行。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

Modal extension rule

Sinceautomatedtheoremprovingwasintroduced inthe1950s,ithasbeenmaturedintooneofthe mostadvancedareasofcomputerscience.Theresolu tionmethodisoneofthemostdistinguishedandmost widelyappliedmethodsintheoremproving(TP).ResolutionbasedTPtriestodeducetheemptyclause tochecktheunsatisfiabilityofclauseset.Butexten sionrulebasedTP[1]proceedsinverselytoresolution.Namely,extensionrulebasedTPcheckstheunsatis fiabilitybydeducingthesetofclausesconsistingofall themaximumterms.Therefore,itisanewtheorem provi…     

基于四值逻辑的汉字图像识别方法

采用定义在汉字图像平面上的四值逻辑函数对汉字图像特征进行定量描述,建立汉字图像特征的逻辑表达式。通过求解这些表达式的值,即可判断该汉字是否具有某种特征,从而得到一种汉字图像识别的新方法。     

计及非定量不确定性的多种群遗传电网扩展规划

应用证据理论和多种群遗传结构对常规遗传算法作了改进,提出了一种计及非定量不确定性的电网扩展规划方法,该方法能有效地综合不确定性因素对规划方案的影响并作出全面客观的评价。算例结果表明了该方法的有效性。     

基于信息熵的TFIDF文本分类特征选择算法研究

特征权值的选择是文本分类技术的基础环节.在详细分析文本分类技术特点的基础上,基于信息熵理论建立了TF_IDF的改进算法模型;并根据实际工程数据,验证了算法模型的有效性.理论分析和实例验证表明该算法弥补了传统TFIDF算法没有考虑词条文本类间分布的不足,能更好的体现特征词条的权重,从而能有效提高分类的精确度.     

神经网络能量函数在卷积码译码算法中的应用

文章分析了神经网络在信道编码领域的应用 .利用神经网络的退火算法 ,建立了新的基于 Hopfield神经网络的能量函数 ,借助卷积码的栅格 ( Trellis)图和新的能量函数提出了一种卷积码译码算法 ,仿真结果显示新的译码算法和最大似然 ( ML)译码算法的性能相似 ,该译码方案复杂度降低 ,易于软件实现     

结构振动系统辨识理论的幅值分析法

本文在 Natke H.G 提出的相位分离技术和参数调整法的基础上,采用状态矢量,利用被辨识振动结构系统的系统分析理论计算和模型实测的固有频率分布与模态结果,通过建立残差与评价函数,求泛函极值,得到参数估计的调整系数.经过数据处理后的参数矩阵,作为系统分析的原始数据更为合理.     

解任意大型线性方程组的一种有效方法——优化的共轭斜量法

本文给出了求解任意大型线性方程组的一类新方法,它将最优化方法与数值代数理论有机地结合起来,利用优化技术选择共轭方向,这类方法一般也适用于求解超定方程组的最小二乘解。文中导出了O1GCR和ORTHO1GCR(M)两种算法,并分析了这两种算法的计算量、存贮量和收敛速度。     

基于独立分量分析的盲信号分离研究

独立分量分析是一种基于高阶统计量的信号分析方法,近年来作为信号处理的强有力的分析处理工具得到广泛的关注和研究。本文首先介绍了独立分量分析的基本概念和数据模型,然后对比较流行的各种独立分量分析算法进行了剖析和总结,最后对独立分量分析的应用和发展趋势作了展望。     

创作方法在文论教材中的变化及问题

1990年代以来,文论教材中创作方法的内容或者以文学类型出现,或者依然保持用来的语用而在具体讲述上有所调整,或者干脆不提,这都反映了编写者不同的教学理念。创作方法应该保留在教材中,而且其基本类型应该为现实主义、浪漫主义和象征主义三种。