拓广属性文法

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

属性文法及其有关问题

<正> 随着计算机得到越来越广泛的应用,对软件的编制周期和质量提出了更高的要求。特别是要求编译程序自动生成的愿望非常强烈。为了达到这个目的,许多科学工作者作了大量的工作,并取得了可喜的成绩[Aho 80]。在词法分析和语法分析的自动生成方面,从理论上和实践上都可以说是比较完善的。现在就剩下语义分析和代码生成的自动生成问题还没有完全解决。 为了做到语义分析的自动生成,首先就要找到一种方法来形式地描述程序语言的语义。这种方法应该做到:对于程序语言的设计者来     

前后义无关属性文法

本文定义了一种新的属性文法类——前后义无关属性文法。提出了一种适合该属性文法类的属性计算方法——局部多遍属性计算法。 文中证明了,在保证属性计算与具体应用无关的前提下,前后义无关属性文法具有最强的表达能力,而局部多遍属性计算法则具有最佳的实现效率。 基于上述理论,作者构造了编译程序生成系统BSX。     

FORTRAN语言的一个属性文法

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

属性文法的研究与应用

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

属性文法的概念和定理

1.引言属性文法的概念是 Knuth 于1968年提出来的。我们知道,通常的编译程序,当要分析某一字符串时,首先辨认出语法结构,然后调用一语义程序。也就是说,语法分析和语义分析是分两步各自独立地进行的。下     

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

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

属性文法中变元间的关系

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

关于模糊系统研究的认识和评价以及其它

首先 ,十分感谢孙增圻与胡包刚教授组织的“模糊控制与模糊系统”专刊 (见《自动化学报》第 2 7卷第四期 ) .专刊中的许多高水平的文章 ,加深了近年来自己“还没有年轻过 ,就已经老了”的感觉 .但最引起我兴趣的 ,还是王立新博士的文章《模糊系统 :挑战与机遇并存——十年研究之感悟》[1 ] (以下简称《感悟》) .记得第一次与立新见面 ,是 1992年在图森的 IEEE CDC(决策与控制 )会议上 .那时 ,我在亚利桑那大学教书 ,立新也已去伯克利作博士后 .或许是因为我的导师 Saridis和立新的导师 Mendel是好朋友 ,大家很快就开诚布公地谈了许多对…     

闭环系统的极点配置

本文利用文献[1,2]给出的完全能控系统的控制结构相伴标准形的特点,以及它与多项式矩阵的直接联系,给出了在状态反馈下,任意配置闭环系统极点的两种方法.状态反馈阵K是容易确定的.进一步,还给出了具有已给定结构形式的,并有指定的不变因子的多项式方阵的配置算法.上述这些方法,都便于在计算机上实现.     

雷达测距和测速的互耦常增益滤波

本文对同时测距和测速的雷达跟踪系统提出了互耦常增益滤波和互耦分段常增益滤波的方案,在相同的模拟条件下,对其中一些方案和互耦卡尔曼滤波用计算机做了模拟试验,比较了它们的跟踪性能和对计算机的负荷要求.     

灰度-梯度共生矩阵纹理分析方法

本文提出用灰度-梯度共生矩阵模型对图象的纹理进行分析和鉴别.由此模型计算出十五个纹理参数.在482个五类白血球样本上用这些纹理参数分类的识别率为77.8%.     

线性多变量系统的分散Robust控制器

文献[1]利用固定模方法,最早给出了多通道的线性系统存在分散Robust控制器的充分必要条件.本文利用文献[3]的理论,也获得了一个充分必要条件,检验这些条件只需计算一些矩阵的秩,因此是比较容易的.同时,本文还给出了分散鲁棒控制器的设计方法及相应的数值例子.     

直流他激电动机参数的在线辨识与自适应控制

本文探讨直流电动机参数和负载转矩的在线辨识方法.用参数在线估计值自动地校准电力拖动系统调节器参数的设定值,实现具有自适应能力的电力拖动控制系统.文中给出了计算机模拟计算和实验结果.     

电视摄象输入装置的设计

由电视摄象机(TV-Camera)构成的计算机图象输入装置与其它图象输入装置相比,有其独特的优点,即输入速度快、结构轻巧、价格较低、一机多用.既能用于图片(包括正片和负片)的输入,又能用于静态实物场景和显微影象的输入,具有一定的实时性.本文介绍了电视摄象图象输入装置的设计思想.用本文方法设计出的输入装置可用于任何型号的计算机,只须将接口电路稍作改动即可.     

多变量自校正调节器及其在电加热炉上的应用

本文讨论了未知结构多变量系统的自校正调节器和群控双输入双输出电加热炉的工程应用.包括确定被控过程的模型结构,给出一种多变量最小方差控制律的简洁算法和用指数加权递推最小二乘法在线辨识控制器参数.实时控制结果初步表明,STR调节器能适应电网电压波动等因素引起的模型参数的改变,控温效果优于PLD和LQG调节器.     

分岔系统中非零解的近似表示

作者曾研究过带有一个参数的非线性矢量常微分方程所描述的分岔系统,得到了这类系统存在非零平衡解的必要条件和充分条件,获得了非零平衡解的精确个数.本文研究非零平衡解的近似表示问题,得出其近似表示式,所得结果有助于了解平衡解的实际位置及其对参数的依赖状况,有助于研究分岔系统轨线的特性.     

随机服务系统一般模型的仿真和应用

本文提出了多服务台随机服务系统的一般模型,给出了仿真框图及通用计算程序.对某些系统的仿真结果进行理论分析和计算.分析表明:对有理论计算公式的系统,理论值和仿真结果基本一致;对难以用解析理论加以处理的系统,计算机仿真可提供数值解.最后介绍了该仿真模型在机械加工自动线设计中的应用.