基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.     

多级文法的构造及实现

从基于客户／服务器体系结构的分布式环境入手，引入基于三维文法表的多级文法，全面分析了多级文法的构造方法及实现，实现了接插式协议自动机的自动生成，最后，对多级文法的具体实现进行了讨论。     

一种基于句子分割的文法自动推导算法

信息咨询口语对话系统中的领域文法规则往往需要专家来人工设计。该文针对一种面向汉语口语的上下文无关增强文法,提出了一种基于句子分割的文法自动推导算法。其基本思想是:用初始规则集对训练例句进行分析,若不能得到完整的语法树,则先对分析结果进行消歧和归一化,然后根据顶层成分递归地推导出缺少的规则,并更新已有的规则集。为了提高最终文法的性能,在例句处理顺序和规则更新上对算法基本流程做了改进。在天气预报查询领域进行了实验,结果文法的句法分析准确率在初始规则集为空时达到了64.8%,在初始规则集只包含日期相关规则时达到了86.4%。     

正则式上右线性文法生成算法

本文旨在给出一种由正则式RE生成有限自动机再生成右线性文法的算法。     

基于网络缩减的递推分解算法

根据生命线工程网络的特点,介绍了串联边缩减、并联边缩减和源点合并这三种有效的网络缩减规则,并将这些网络缩减规则引入到改进最小路递推分解算法和改进最小割递推分解算法之中,大大简化了上述算法分解出来的子网,减少了网络可靠度分析的复杂程度.实例分析表明,通过引入网络缩减技术,可以有效地降低网络的复杂程度,并能大幅度地提高计算效率.     

一种形式化上下无关文法关系驱动的设计模式检测方法

针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法。依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法。在此基础上,改进该文法检测设计模式实例参与者间的附加关系,并识别共享实例的模式。实验结果表明,新方法不仅减少了模式实例的假阴性结果,还解决了模式实例识别的重叠问题,与其他检测方法的精确度、召回率及F-score指标比较,新方法取得了较好的效果。     

幻方的递推构造法

本文提出一种由两个已知的低阶幻方递推构造一个高阶幻方的新方法，并给出具体算法。     

英蒙机器翻译系统的规则库及连接文法

本文主要研究英蒙机器翻译系统的设计方法和具体实现算法，介绍了英蒙机器翻译系统的规则库及连接文法。     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.     

关于由分式线性递推式确定的数列的存在性

讨论了由分式线性递推式xn+1=(αxn+b)/(cxn+d)(其中a,b,c,d,x1∈C,且c≠0,adbc≠0)确定的数列{xn}的存在性,得到了以a,b,c,d,x4直接表示的一个充分必要条件.     

我国扩张性货币政策实施的原因及效果分析

近年来我国政府推行了扩张性的货币政策 ,它的实施一方面是为了扩大投资需求 ,保证经济增长速度的持续和稳定 ,另一方面为了刺激消费需求的增长实现社会主义的生产目的。但目前我国的经济环境限制了货币政策作用的充分发挥 ,因此为配合货币政策的实施 ,今后必须进一步深化经济体制改革     

浅析二外学习中的母语语法迁移

探讨了母语语法在目的语学习中的迁移,着重分析了母语迁移在语法上的主要表现,指出了由于各种语言的语法体系的不同,因而在动词形式、词序、并列句、复合句等方面的形式也不相同.学习者应在学习中注意两种语言的异同,及时输入新的信息,避免语言语法学习中的石化现象,尽快地排除母语所造成的负迁移.     

系统功能语法对外语教学的启示

系统功能语法可以最大限度地把语法教学和学生的交际能力的提高有效地结合起来，促使学生把所学语法知识和文化知识尽快转化为语言能力，将所学知识应用于语言交际中。功能语法在教学中着眼点放在了语篇整体的分析上，这是与传统的教学法的最大差别，也是对外语教学对大的启示。     

德语语法教学中的交际能力培养

探讨如何在德语语法教学过程中提高学习者的语言交际能力。分析目前大学德语A语法教学环节中存在的问题,从课堂语法导入和练习2个角度出发,结合实例分析,提出可以通过建构上下文和利用"信息落差"设计符合课堂交际任务,以实现从语法知识到交际能力的转化。     

论计算机英语的语法与词汇特点

计算机的迅猛发展和互连网的广泛应用，使我们面临大量用英语书写的计算机信息，并要求我们将专业信息用英形式表达出来以进行国际间交流。掌握计算机英语的语法特点和词汇特点有助于提高专业技术人员的专业英语水平。     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

基于C语言的“穷举”与“递推”算法的研究

结合实际问题对"穷举"和"递推"算法的基本思想进行分析,研究算法的实现方法,借助C语言将算法转化为可执行的程序代码。"穷举"算法的关键是找到数据的测试范围和测试标准,并对测试标准的转化技巧、测试范围的控制方法进行了阐述。"递推"算法的归结到对递推初值、递推法则、递推次数三个条件的研究,并从顺推、逆推两个方向分别进行了阐述。     

求解复杂约束问题的基因表达式编程文法模型

基因表达式编程GEP是进化计算算法家族的新成员.GEP富有特色的个体编码能很方便地表达和解决一批NP问题. 但基本GEP难以表达和求解复杂约束. 主要工作包括:(1) 提出了GEP的上下文无关文法模型gepGram; (2) 从理论上证明了gepGram的表达能力和含单个非终结符的上下文无关文法相同; (3) 给出了gepGram文法可描述约束问题的GEP求解算法, 算法与基因长度具有线性伸缩性; (4) 实验证明了本文提出算法具有较高的效率,当基因长度为106时,解码仅需0.4 s.     

A Suggested approach to teaching and learning grammar

The teaching and learning of grammar used to be processed at the sentence level with paying little attention to discourse and context. Students were familiar with a lot of grammatical terms and were able to remember many rules. However, they often wondered why they could not use English properly and fluently although they had learned the grammatical rules quite well. This essay, taking grammar as resource for communication, suggests an approach by using ideational frameworks to the teaching and learning of ...