增量程序设计环境中属性文法的增量计值

近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。     

拓广属性文法

一、引言属性文法被普遍用作为基于语言的环境中增量语义分析的基础。传统属性文法中,属性是局部的,即语义等式仅能引用相同产生式实例中属性的值。对于以属性文法为基础的增量语义分析,属性的局部性无法有效地传递语义树中符号定义点和引用点之间的语义信息。换言之,为了把符号的定义信息传送到引用点上,定义信息必须逐结点地经过许多中介属性;一个符号的定义和删     

属性文法中变元间的关系

本文从模式的语义、句法描述着眼,分析了一个属性文法的产生式变元间的几种关系,把 这些关系作为语义部分的内容,从而推广了属性文法,以推广后的属性文法为基础,引入控制 连接图作为主要的限制条件,提出一种"语义程序文法",并把标准模式与畸变模式之间的联系 用限制条件描述.最后利用变元间的关系,把模式的描述与知识的表达联系起来.     

增量数据流分析及其在增量程序设计环境中的应用

本文提出了一种以交互式PASCAL程序设计环境FPE/1中的增量属性计值机制为基础的增量数据流分析方法,并给出了对循环依赖属性的计值方法.此外还讨论了应用数据流信息建立起来的新的软件开发和软件维护设施,如语义辅助编辑和错误检测与局部化方法等.     

利用多重依赖关系的增量属性计值方法

本文利用属性文法中各个属性之间的多重依赖关系,针对某一类属性文法提出了一种新的增量属性计值算法。它不仅空间开销少,而且在时间上可以被证明是最优的。更进一步,我们还将该算法推广到能适用于一般的属性文法。同时保持了时间最优性与空间复杂性的价不变。     

用于表示知识的形式文法

本文提出了一个所谓的关系-属性-程序文法,用它作为知识表示模型。该文法具有各种知识表示方法的优点,能有效地表示上下文环境、专有知识和控制信息,可以描述产生式系统、语义网络、框架等使用最多的知识表示方法,并将上述知识表示方法统一起来,阐明了该文法表示知识所具有的能力。     

FORTRAN语言的一个属性文法

本文介绍了用属性定义语言ALADIN写的FORTRAN语言的属性文法。该文法描述了FORTRAN语言的语法结构及其静态语义,包括作用域规则、说明的建立、表达式分析和出错处理等。     

网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.     

采用属性文法实现语法制导协议开发环境

近年来协议工程支撑环境的研究得到了迅速的发展，正逐渐趋于工程化，规范化、形式化、属性文法是描述程序设计语言语义特性的工具，本文介绍了采用属性文法及增量式语法分析法构造ＡＳＮ．１语法制导编辑环境的方法，本系统采用面向对象的语言ＪＡＶＡ实现。     

一种层次化的LSD规则体系及其分析算法

本文提出了一种基于词汇属性结构描述和规则继承的层次化LSD规则体系,讨论了该规则体系下的规则搜索策略和词汇化规则索引的实现方法,并在此基础上首次给出了LSD文法的非确定性分析算法。该规则系统具有从传统属性文法到现代词汇文法的可伸缩性,同时较好地解决了线性规则库中复杂的规则交互问题。     

基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.     

中文文法规则的化简及其语义计算效果对比

为在自然语言处理中进行更快的语义计算,分析自然语言中最普适语法规则的基本特征,在此基础上,将语义功能相似的文法符号合并,构造一个更为简洁的文法规则,用来描述自然语言;依据自然语言语义计算模型,通过语义计算,进行模型求解,求出最符合语义逻辑的语法分析方案。通过实验比较文法简化前后的计算复杂度和正确率,得到模型求解“时间复杂度”和“正确率”之间的关系。     

属性文法的研究与应用

本文详细讨论了有关属性文法的基本概念,属性文法的两种分类方法,两种分类之间的关系及属性文法的判定问题。本文还讨论了如何用属性文法定义编译程序的遍体制说明及与指称语义的关系。最后讨论了属性文法在编译程序中的应用与属性计算器的程序处理。     

一种语义网络

本文提出了一种语义网络.它是以模式识别中的语义句法方法[1,2]为基础,结合专家系 统研究中发展的专家工具网络(ETN)1],2]而形成的. 网络的基本单元是知识块(Course),每个知识块由上下文无关的属性文法描述.为了描 述整个网络,对属性文法作了如下的扩展:(1)将导出树的节点标号、"支"标号理解为可加以 描述的概念;(2)在属性文法中引入控制策略.这种网络结构不仅可用在模式识别的"模式描 述"中,而且可用于人工智能的知识表达.     

一种XACML规则冲突及冗余分析方法

基于属性的声明式策略语言XACML表达能力丰富,满足开放式环境下资源访问管理的复杂安全需求,但其自身缺乏对规则冲突检测、规则冗余分析的支持.文中利用规则状态思想描述分析了属性层次操作关联带来的多种冲突类型,在资源语义树策略索引基础上利用状态相关性给出规则冲突榆测算法;利用状态覆盖思想分析造成规则冗余的原因,给出在不同规则评估合并算法下的冗余判定定理.仿真实验首先分析了冲突检测算法的运行效率;然后针对多种策略判定系统,验证了基于语义树的策略索引和冗余规则处理可以显著提高判定性能.     

纹理图像分割的非局部Mumford-Shah-TV模型及其ADMM算法

为了提高纹理图像分割的准确率,解决纹理图像中纹理图像成分及纹理区域边界难以描述的问题.基于总变差(total variation, TV)规则项可得到纹理图像区域隐藏的图像结构、非局部算子可以描述纹理图像特征的特点,综合TV模型、非局部Mumford-Shah模型,并用二值标记函数划分区域,提出纹理图像分割的非局部Mumford-Shah-TV变分模型;为了提高计算效率,对所提出的模型设计了相应的交替方向乘子算法,将原问题分解为一系列优化子问题求解.数值实验结果表明,该模型计算的纹理图像区域边界较好,并具有较高的准确率.     

图符语言CQL解释器的实现

为了有效地实现数据库图符查询语言解释器,引入了图卡解析树;开发出二维文法规则;定义出一套适宜于模式分析、语法分析及语义解析的图符程序内部存储机制;并使用临时图卡的方法来解决带有嵌套结构的复杂语句的编译问题。     

计算机产生和显示植物树木的三维逼真图形

本文运用一种并行产生式系统,给出关于这一类景物结构特征的文法描述,较详细地研究了链语言的分枝骨架表示以及产生式规则与形态模式的关系,并提出较有效的属性算法,从而可以用计算机产生出较为逼真的植物树木三维图形。     

一个并行自动语义分析算法

本文提出了一个以有序属性文法为基础的并行自动语义分析算法,它通过构造所谓的并行访问序列和相应地扩充原来的属性计值驱动器来实现并行处理。为了实验的目的,该算法已通过模拟的方法获得实现。