递归数据传送进程的证明系统

本文提出了递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性，其中关键的推理规则是唯一不动点归纳法，这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统推广到数据传送进程，另一方面将Ｈｅｎｎｅｓｓｙ与Ｌｉｎ关于有穷数据传送进程的证明系统推广到无穷进程。     

自然语言句法分析研究现状和发展趋势

本文详细论述了自然语言句法分析研究的现状和发展趋势，综述了句法分析目前存在的困难，详细地介绍了九十年代以来提出的一些新的方法以及国际研究动态，指出统计与规则相结合特点是自然语言句法分析研究的新趋势。     

一类具有相似结构的组合系统的结构可控性与渐近合作性

研究一类由若干个具有相似结构的子系统和一个外部系统所组成的组合系统，并证明在适当的内联条件下，这类系统的结构可控性和渐近合作性等定性性质可由其修正的低阶子系统和解耦系统的相应性质所决定。     

蒙古语短语结构树的自动识别

句法分析在自然语言信息处理中处于非常关键的位置。该文在描述蒙古语特点的同时提出蒙古语句子中短语结构分析难点。根据蒙古语自身特点,归纳了短语标注体系,建立了蒙古语短语树库,尝试实现蒙古语句子的自动分析。初次开发的句法分析器的分析准确率达到62%,自动分析器的测试结果表明该分析器能在较大程度上辨别出短语结构类型,能生成句法树结构,但在短语结构内部关系方面的识别效果还有很大改进空间。最后总结了分析器近期能解决的相关问题。     

数字递推法推导等价组态j-j耦合谱项

ｊ－ｊ耦合谱项的推导对于研究重核原子的结构和光谱十分重要,但用人工方法推导谱项十分繁琐。工作量也很大。其难点在于推导组合组态「（ｊ）＾ｎ」Ｊ的Ｊ值,文章中采用一种新的数字递推法解决了这一难题。     

基于语法树高度的汉语韵律短语预测

在文语转换系统中,从文本中预测出准确的韵律结构对于提高合成语音的自然度具有重要的作用。利用10 000句标注了词性标记的文本语料,在语言学专家的指导下,人工标注了语料的韵律词和韵律短语。选择了标注结果一致性最高的500句语句,标注了语法层级结构,并利用语法树高度描述语法词之间连接的紧密程度。通过分析韵律短语边界与语法结构的关系,发现韵律短语边界受语法树高度、语法词词性和语法词词长的影响,因此选择了这三个特征,利用TBL算法和400句训练语句训练了预测模型。测试集上的预测结果表明,提出的方法在小规模训练语料下,韵律短语预测的精确率达到了75.2%,召回率达到了77.1%,F-Score达到了76.1%。     

基于句法树的藏语最长名词短语识别

最长名词短语携带着丰富的句法和语义信息,经常与句法成分对应,在句子中充当一定的语义角色。最长名词短语识别在自然语言处理中占重要地位,是分析和理解句子结构、意义的基础。该文通过梳理不同概念的最长名词短语的含义,从句法树角度界定了藏语最长名词短语的基本概念;从句法树库中抽取6 038个句子,分析了最长名词短语的结构类型、边界特征和出现频次,最后采用序列标注模型和句法分析模型对最长名词短语进行识别。序列标注模型识别结果的正确率、召回率和F₁值分别为87.14%、84.72%、85.92%。句法分析模型识别结果的正确率、召回率、F₁值分别为85.02%、84.51%、84.76%。     

基于最大熵方法汉语基本短语分析

提出了一个汉语基本短语分析模型,将汉语短语的边界划分和短语标识分开,假定这两个过程相互独立,采用最大熵方法分别建立模型解决。最大熵模型的关键是如何选取有效的特征,文中给出了两个步骤相关的特征空间以及特征选择过程和算法。实验表明,模型的短语定界精确率达到95.27％,标注精确率达到96.2％。     

汉语最长名词短语的自动识别

通过对包含5573个汉语句子的语料文本中的最长名词短语的分布特点的统计分析,提出了两种有效的汉语最长名词短语自动识别算法：基于边界分布概率的识别算法和基于内部结构组合的识别算法.实验结果显示,后者的识别正确率和召回率分别达到了85.4%和82.3%,取得了较好的自动识别效果.     

基于递归算法的树型结构图的设计与实现

公交集团运营组织与调度系统加快了公交集团信息化建设步伐,提高了其管理水平和效率。在系统中需要用树型图来体现公交集团的组织结构,利用递归算法、开发工具和数据库三者结合来生成公交集团从总公司到分公司再到车队的三级结构图,从而为后续各模块的实现打下了基础。     

汉语句法树库检索系统的设计与实现

句法树库是一项重要资源,它能为汉语语言研究和信息处理提供一个有利的数据平台。汉语句法树库检索的实现用到了流操作和GD I+图形操作。汉语句法库检索系统是基于句法树库的应用系统,提供了对句法树库的检索和统计,并且能够根据树库中的合法语句画出该语句的树状结构图,进而使用户对语句的句法结构有一个形象、直观的了解。     

C~(++)语言结构编辑器的设计

本文详细讨论了Ｃ＋＋语言结构编辑器的理论基础、组成结构、基本功能和原型设计,本文结果为进一步研究Ｃ＋＋语言增量开发环境提供了可参考的材料     

区间结构的组合与析取映射

本文提出了组合区间结构的一种方法。该方法先是用乘积空间来表示的新的证据空间，然后组合衙个子空间结构在同一乘积空间上的柱面扩缍。     

拓广的右线性递归变换算法及其正确性

本文给出拓广的右线性递归变换算法并证明其正确性.拓广的右线性递归中可以包含一个或多个IDB谓词,它是右线性递归的一般化.和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现.     

Smith图导出关系模式的分解算法与递归处理

本文提出了一种由优化的Ｓｍｉｔｈ图导出规范化关系模式的分解算法,包括确定根结点、,生成森林、导出规范化、关系模式等。这些都是用递归处理实现的,本文给出了这些递归处理的描述,最后介绍了一个例子。     

一种改进Viterbi算法的应用研究

为降低现代汉语句法分析的难度,以北大和哈工大语料为基础,利用改进的Viterbi算法对汉语真实文本进行了短语识别研究.提出了在隐马尔可夫模型(HMM)框架下,训练阶段依据统计概率信息,以极大似然法获取HMM参数,识别阶段用一种改进的Viterbi算法进行动态规划,识别同层短语;在此基础上,运用逐层扫描算法和改进Viterbi算法相结合的方法来识别汉语嵌套短语.实验结果表明,识别正确率在封闭测试中可达93.52%,在开放测试中达到77.529%,证明该算法对短语识别问题具有良好的适应性和实用性.     

基于规则的哈萨克语基本名词短语识别研究*

以哈萨克语基本名词短语识别为目标,采用基于规则的方法,从基本名词短语结构语法模型出发,利用哈萨克语基本名词短语的词性标记信息及构形附加成分信息,建立了基本名词短语规则集,设计了哈萨克语基本名词短语自动识别系统,实现了对30万词级哈萨克语语料库的基本名词短语标注。实验结果表明,该方法可行,识别精确率达到80.8%。     

树的RVA存储结构

本文提出了一种四元树的存储模式——RVA 存储结构。它能使我们用较少的空间存储四元树且保持子树的随机访问功能。我们对 RVA 结构上的图象处理运算的讨论证实了这是一种高效率的四元树存储结构。我们的方法和技术可以方便地推广到三维图象的八元树结构、K 维图象的 K-树结构上去。最后,我们在一般树上拓广了我们的思想,提出了一般树的 RVA 存储结构。     

一种现代汉语句法分析方法的建立与实现

本文以7万小学生语文课本分词语料为基础,建立一个隐马尔可夫模型与层次分析法相结合的完全句法分析方法,实现了现代汉语完全句法分析。实验结果表明,该方法具有一定的独创性和高效性,其完全句法分析正确率在封闭和开放测试中分别为92．43％和65．374％。     

TAG覆盖多播加入延迟的仿真和分析

TAG(Topology Aware Grouping)是一种利用内在网络拓扑信息构建多播传递树的覆盖多播技术。使用NS-2网络模拟器对TAG的加入延迟进行仿真,分析结点多播传递路径长度、结点数量、拓扑类型和网络负载等因素对加入延迟的影响。