基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

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

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

形式语言的Schreier描述系统

形式语言的描述问题,是形式语言研究中的一个重要课题。现有的为Chomsky所定义起来的一类形式语言,有所谓文法,自动机等描述方法。为开展形式语言代数理论的研究,我们移植群论中自由群子群的Schreier方法到语言上,建立了形式语言的Sehreier系统这一新的描述方法。 令∑为一有限集合,则我们有     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

广义形式语言及其拓扑

在泛系理论的框架下,引入广义形式语言——泛语及其文法——泛系文法。通常,文法与它所产生的语言仅仅是松驰地联系在一起,为此需要定义一些考虑到生成过程的结构的文法等价概念,而拓扑的观点正好提供了比较文法与语言的一种可能性。本文详细地讨论了引入泛语上的拓扑途径。     

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

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

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

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

有限变形弹性体的广义虚功原理

通过建立广义能量原理和广义虚功原理,统一地导出了胡海昌 鹫津久一郎广义变分原理、ＨｅｌｌｉｇｅｒＲｅｉｓｓｎｅｒ 广义变分原理、戴天民全能量原理和胡成栋混合能量原理。广义虚功原理给出了现有变分原理的一种统一导出形式,并为发现新的变分原理创造了某种可能的新途径。     

两类Hamilton算子族广义本征函数系的完备性

对源于力学的板弯曲问题,导出了两类Hamilton系统,进而导出了两类无界Hamilton算子族,研究了这两类广义本征函数系的性质,证明了广义本征函数系在Cauchy主值意义下的完备性。最后给出了两类Hamilton系统的一般解,并探讨了解的相容性。     

有限变形弹性体的广义虚功原理

通过建立广义能量原理和广义虚功原理,统一地导出了胡海昌－鹫津久－郎广义变分原理,Ｈｅｌｉｇｅｒ－Ｒｅｉｓｓｎｅｒ广义变分原理,戴天民全能量原理和成成栋混合能量原理。广义虚功人出了现有变分原理的一咎统一导出形式,并为发现新的变分原理创造了某种可能的新途径。     

构造一类场矢量并矢格林函数的方法

对一类广义矢量偏微分方程提出一种新的角法，将一类广义矢量偏微分方程分解成无旋和无散两部分，借助于Bohren分解法，应用矩量法导出了用通常的Hanson矢量波函数表示的一类广义矢量偏微分方程的并矢格林函数的普遍形式，应用这一方法可使一类广义场矢量问题的求解得以普遍解决。     

圆内镜面反射-广义正多边形-广义正多面体

用圆内镜面反射的方法对普通正多边形和正多面体的概念进行推广，分析了广义正多边形和广义正多面体的一些重要性质，导出了广义正多边形和广义正多面体的概念。并第一次给出了广义正多边形的广义面积以及广义周长的定义和算法，最后导出了个人猜想，已通过一些较为简单的（广义）正多面体验证了它的局部正确性。     

加权广义逆递归计算的一种统一方法

用一种统一的方法，简单地导出了矩阵不同类型加权广义逆的递归计算公式，包括加权MoorePenrose广义逆，M最小二乘广义逆和极小N范数广义逆等．     

面向扩展文法语义分析器的自动生成

在扩展巴克斯范式(EBNF)Earley分析的基础上, 提出一个语义分析器的自动生成算法, 给出了一个带有语义动作的扩展文法和一个输入, 即可生成其语义分析器. 通过执行语义动作, 就可以进行类型检查、 中间代码生成及优化等相关工作, 使得该算法成为完整的扩展文法分析技术, 并在实际运用中成为可能.     

逐层压缩有限元中的广义变分方法

应用微分几何语言和加权余量法导出电磁场统一边值问题的广义变分公式,用一静电场实例验证了统一广义变分公式的正确性.     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。     

广义经典力学的积分不变量(英文)

给出广义经典力学的哈密顿正则方程,导出了广义经典力学系统的Poincare和Poincare-Cartan积分不变量。     

广义菲列罗公式及其应用

本文从工程测量中几何图形闭合差相关这一客观实际出发,导出了广义菲列罗公式为 m_o~2=W~TQ_(WW)~(-1)W/N并就其在三角测量中的应用进行了讨论。     

多目标优化中Geoffrion真有效解的一个标量化定理

本文在广义Ｒ＋＾ｍ－次类凸的假设下，导出了多目标优化中Ｇｅｏｆｆｒｉｏｎ真有效的一个标量化定理。这一结果推广和改进了引文〔１，２〕中的相应结果。