快速子空间谱峰搜索方法

利用信号子空间和噪声子空间正交性,可以实现超分辨波达方向(DOA)估计.但实现过程中,谱峰搜索运算量相当大,影响了系统的实时性.新算法在谱峰搜索时,首先设置一个门限,然后通过大步进搜索,寻找出高于门限的谱峰所在一个邻域,再在该邻域内进行小步进搜索,寻找出准确谱峰.介绍了新算法的原理和步骤,并对算法性能进行分析.计算机仿真表明,新算法在实现相同分辨率的性能条件下,比传统谱峰搜索方法减少40%～50%的运算量.     

水质检测中色谱谱峰寻峰算法的设计与实现

水质检测中常用色谱分析法处理数据,针对水质检测中对获取色谱信号数据分析的要求,采用差分运算,实现色谱谱峰起始点和终止点准确识别。该算法在色谱信号数据平滑处理前提下,通过判断一组数据内相邻两点色谱信号数值变化是否符合该组数据所有差值的平均值来确定峰的上升通道起始点和下降通道终止点,对识别出的起始点和终止点进行二次判断,可准确识别峰的类型。实验结果表明,该算法准确率高,运算速度更快,可以避免人工设定阈值时产生的不稳定性,实现了全自动化谱峰识别。     

韩国语定语从句句法特征分析及其自动识别

在自然语言处理(NLP)中,句法分析研究多集中于单句,也取得了很大的成功。复句处理仍是NLP面临的难点之一,如何将复句自动离析为单句日益受到研究人员的关注。该文从嵌套类复句入手,通过分析韩国语定语从句的句法结构特征,归纳总结其左右边界和内部构成的共现关系规则,构建定语从句识别规则集,在语料库中进行匹配运算,实现了定语从句的自动识别。复句成功离析为单句,为提高机器翻译等应用系统的效能打下了坚实的基础。     

基于循环谱的数字信号的自动识别

介绍数字信号调制识别的谱相关法,在利用一些调制信号具有相同的功率谱密度时,它们的谱相关函数却有明显的区别。利用谱相关函数可以识别出低信噪比下的调制信号。通过循环谱中一些参数的提取,对高斯噪声中常见的数字通信信号的自动识别进行了计算机仿真。仿真结果表明,在信噪比不低于15 dB时,信号的平均识别率可以达到95%以上,有很好的实用前景。     

基于谱峰斜率进行变步长搜索的DOA估计方法

针对经典Capon方法存在计算量和存储量庞大、运行时间长、精准度不高的问题,提出一种低复杂度变步长的搜索算法.该方法首次搜索使用大步长的Capon算法,根据谱峰值确定波达方向(DOA)检测范围并求出其斜率值;然后根据斜率首次小于零确定谱峰在其左侧,记斜率小于零点为P,并从点P-2处开始向右进行变步长搜索;最后进行变步长的迭代逼近,得出期望信号的估计角度.所提方法避免了谱峰穷尽搜索,降低了计算量.仿真实验证明,在相同的信噪比下,所提算法准确性的精准度有近9倍的改善;在不同的信噪比下,所提算法的分辨成功率更高;同时,所提算法的均方根误差均明显优于经典的Capon算法.     

人脸自动识别方法综述

简要回顾了人脸自动识别技术的研究背景及发展历程；重点对近年来人脸自动识别方法的研究进展进行综述，并对各种方法加以评价；总结了现在存在的研究困难并提出了解决方法及今后的发展方向。     

数值天气预报中谱方法的并行实现

§1.引 言 谱方法是上世纪七十年代发展起来的应用于大规模数值天气预报模式系统的数值方法.近年来谱方法已成为求解偏微分方程的重要数值方法之一[1,2],与经典的网格点方法相比,它具有计算精度高、稳定性好、程序简单而有效的突出特点.谱方法虽然有计算量和存储量均大的缺点,但超级并行计算技术的发展推动了谱方法的进一步发展和应用[3,4].近十年来,谱方法在数值天气预报领域的应用越来越广泛,不仅应用于全球数值天气预报模式而且应用于有限区域数值天气预报模式.     

无线信号自动识别算法的仿真实现

首先对比Hilbert变换构建的解析信号进行时频分析的方法,探讨了基于决策理论的模拟调制方式识别方法。然后在分析该方法缺陷的基础上,提出了基于神经网络的识别方法。神经网络(NN)在进行信号识别时,主要是依据谱峰位置的不同,小波变换在这里则相当于一个数学显微镜,反映信号类别与谱峰位置间的必然联系。利用小波变换并结合简单的三层BP神经网络,即可提取更加精确的待识别信号的时频特征。     

车牌自动识别的算法研究与实现

基于MATLAB对车牌自动识别系统中的算法进行研究,详细阐述车牌自动识别过程中的车牌定位、字符分割、字符识别的算法思想及算法实现。通过对一些车牌图像进行测试,获得较高的车牌自动识别准确率,表明算法具有可靠可行性。     

A Syntactic Approach to Foundational Proof-Carrying Code

Proof-carrying code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language-specific typing rules; they certify safety but only if there is no bug in the typing rules. In foundational proof-carrying code (FPCC), on the other hand, proofs are constructed and verified by using strictly the foundations of mathematical logic, with no type-specific axioms. FPCC is more flexible and secure because it is not tied to any particular type system and it has a smaller trusted base. Foundational proofs, however, are much harder to construct. Previous efforts on FPCC all required building sophisticated semantic models for types. Furthermore, none of them can be easily extended to support mutable fields and recursive types. In this article, we present a syntactic approach to FPCC that avoids all of these difficulties. Under our new scheme, the foundational proof for a typed machine program simply consists of the typing derivation plus the formalized syntactic soundness proof for the underlying type system. The former can be readily obtained from a type-checker, while the latter is known to be much easier to construct than the semantic soundness proofs. We give a translation from a typed assembly language into FPCC and demonstrate the advantages of our new system through an implementation in the Coq proof assistant.     

一种无方向剖析算法及其在波形识别中的应用

本文阐述的无方向剖析算法是将作为结构模型的问题归约表示的求解变换为状态空间搜索,从而实现既能自上而下,又能自下而上,无左右顺序的无方向剖析.本算法用于心电图波形的剖析,取得了比运用国际上专用识别心电图的IBM程序分析更满意的结果.     

一种ARMA谱估计公式

近年来,国内外刊物上发表了一些介绍只估计AR参数的ARMA(p,q)谱估计方法的文章.本文指出了上述文章中存在的问题,并导出了一种正确的较完善的ARMA(p,q)谱估计公式.     

得到误差检验式的频域方法

误差检验式是线性系统误差检验中常用的关系式.本文首先建立了误差检验式的时域和频域之间的关系.由此出发,证明了只要得到多项式矩阵[C'(zl-A)']'的左零空间的基,则可得到所有的误差检验式;证明了用"按行搜寻格子"(searching the crate by Rows)的方法可以得到[C'(zl-A)']'的左零空间的最小基,从而得到误差检验式的频域方法.     

设计Robust控制器的一个新准则和新算法

本文讨论具有最优输出调节品质的Robust控制器,利用绝对能观子系统的概念研究干扰对闭环系统输出的影响.在一定条件下,从原系统中可分离出一个绝对能观子系统,这样使输出调节的最优化计算得到简化. 本文给出了完成上述任务的一个算法.     

一种识别线划图形的方法

把模式识的统计方法和句法方法统一起来成为一种有效的方法,已经有过一些研究,取得了进展.本文在作者用属性文法来统一两种方法的工作基础上,借鉴认知心理学关于记忆和语言的一些论点,讨论了高维属性文法的句法和词意之间的折衷关系,对于线划图形,给出句法、词义以及模块之间关系信息的距离度量,从而可以用最小距离准则来进行线划图形(尤其是汉字)的识别.     

一种指纹图象的识别方法

本文提出了一种指纹自动识别的方法,包括指纹数字图象的二值化、平滑化、细化、特征抽取及自动查对等,并给出在DJS-130机上的实验结果.实验证明,这个方法是可行的.     

模式识别的一种词意句法距离度量

本文讨论噪声模式和畸变模式的识别问题.用带有位置坐标的树状文法描述图象,对区域的边界进行分析,建立与产生式相对应的词意规则.这里既考虑模式的统计特征,又通过词意、句法指导下的变换来描写畸变模式的结构.在此基础上提出一种包括词意及句法的距离度量,从而用最小距离准则来进行识别.     

模式识别的一类属性文法

本文叙述了在通常的文法中引入两个基元间连接属性的重要性,从而看出在属性文法中,句法和词意两部分间可以有折衷的关系,即增加后者的复杂性将会使前者得到简化,反之亦然,这样使便于应用的有限状态属性文法成为基本的形式.这里作者吸取了PDL,PlexGrammar,Tree Grammar中连接关系的优点,引入连接属性,提出一类关联属性文法.这类文法可以有效地描述和识别曲线段构成的图形,如汉字、电子线路图等.     

一种提高姿态测量精度的新途径--冗余量测法

关于单轴姿态确定的一般方法和精度分析,国外已有不少文献论及[1],但无论哪种姿态确定方法都有不可避免的奇点存在.在这些奇点附近确定姿态精度差,没有实用价值.为了获得较好的姿测效果,人们只得精心选择发射卫星的日期和时刻;使得姿测期间避开这些奇点.为了克服这一困难,本文提出了冗余量测的概念.使用冗余量测信息模型确定姿态,改善了通常方法的奇点分布,提高了姿测精度,扩大了发射窗口.