二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

属性文法及其制导翻译

叙述了属性文法的简明定义及其在语法分析，语义分析和翻译过程中的作用，通过实例说明如何将预测文法改造成Ｌ属性文法，怎样构造相关的替换表，具体翻译时，将分析线与属性语义栈熔为一体，称作下推栈，通过总控程序对栈中符号的处理而实现对程序语言的翻译。     

基于属性文法的研究生教育评价系统设计

使用属性文法设计了研究生教育评价系统,非终结符表示一级和二级评价指标,终结符表示输入的数据,文法符号的属性表示相应数据的值,并设计语义规则实现了对这些属性的加工处理,完成了对某一单位研究生培养的评价.该设计方法不仅节省内存空间,而且提高了系统的灵活性.     

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

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

由语言自动构造文法的递推描述算法

通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性．该算法根据具有无穷句子的语言L,首先写出由L中基本符号组成的初值集ΣG,再确定体现规则式右部符号串形式,并由L中基本符号和（或）文法符号组成的递推性质的描述f（）,在ΣG和,（）的基础上,经有限次逐步递推得到一系列规则式,消除冗余规则式后的结果即为符合该语言的文法的规则式．实例表明：若能确定f（）,可得到文法的所有规则式．     

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系,进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机,并详细讨论了二者的关系,达到了自动识别Ｆｕｚｙ２型属性文法语言的目的     

Fuzzy属性文法及在心电图识别中的应用

本文基于Ｆｕｚｚｙ半群的观点研究了一种有效的Ｆｕｚｚｙ模式识别方法－Ｆｕｚｚｙ属性文法，并将Ｆｕｚｚｙ上下文无关属笥言语法用来描述心电图信号，从而达到了识别心电图的目的。     

本体匹配的形式化描述

本体匹配问题虽然已经得到了广泛的关注,但并没有对本体匹配问题描述专门进行研究.尝试建立一个本体匹配的形式化描述.将本体表示为有向标记图.使本体之间的匹配转化为有向标记图的匹配问题,并将问题进一步形式化为约束优化问题,这样有助于理解本体匹配问题,提高问题的求解质量,实现大规模的匹配工作.     

采用属性文法的知识表示及推理方法

本文利用属性文法表示不确定性的知识,并采用这种形式化的知识给出了进行不精确推理的方法。本文提出的方法为不确定性知识的表示及其推理提供了一个良好的支持。     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

本体定义及本体代数

基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.     

基于描述逻辑的语义Web本体研究

语义Web出现的目的就是为了解决机器和人对知识的理解的问题,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。首先讨论了传统知识表示方式的缺陷,然后对本体论的逻辑基础———描述逻辑进行了研究。由于OWLDL和描述逻辑的一致关系,因此使用OWLDL来表示本体。介绍了描述逻辑推理系统RACER。最后提出了解决本体层知识表示方法的解决方案。     

一种改进的基于相似度的本体映射方法

本体映射是解决本体异构的通用方法.发现来自不同本体的元素间的关系的过程可以转化为它们之间的语义相似度的计算, 本文从名称、结构、实例、属性四个方面改进相似度计算方法,并给出融合的相似度计算公式,通过实验说明新相似度计算方法在实际应用中是有效的.     

安全苛求系统的形式化开发方法

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.     

基于关系数据库的OWL本体存储及查询方法

针对当前本体存储管理效率低的问题,对如何将本体在尽可能保持语义的情况下存储到关系数据库中进行了研究.以OWL作为本体描述语言设计了关系数据库存储模式来存储本体,并以物流OWL本体片段为实例展示了存储和查询方法.     

基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

分布式环境下基于形式化领域本体的查询处理

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.     

一种基于本体的图像检索方法

在图像数据库中,针对图像的检索方法很多,但以传统的基于内容的图像检索方法效率低,而且误差较大。文章提出一种基于OBFM(ontology based feedback model)方法首先得到基本相似图像库,从中提取相应的特征元素,并在此基础上进行关联规则挖掘。该算法采用本体论和相关反馈技术相结合的方法。实验证明,该方法比单纯的相关反馈技术准确率高。