完善Jackson的设计方法

Jackson方法所得到的程序模块结构差，形式化描述能力弱.因此，结构性不理想，使得Jackson方法在使用中受到限制.本文提出一种方法.将数据结构按其性质划分成若干个数据结构，对每一个数据结构设计出相应的CSP，它们之间接口是CSP通讯.在设计每个CSP时给出所处理数据的属性文法的形式说明，其描述能力比Jackson的数据结构树更严格.由此形成说明导出相应的进程.所设计的方法实质上是融合了当前属性文法，模块程序设计以及Jackson方法，而获得一个更好、更为有力的程序设计方法.     

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

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

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

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

一个面向对象的扩展Select语句的设计与实现

标准SQL是一种基于关系数据模型的库查询语言，其中的select语句基本不具备复杂类型数据查询能力。因此，在设计多媒体数据支持环境E－Support时，针对其对象描述和查询方面的需求，提出一个面向对象数据模型。在此基础上，给出一个基于面向对象数据模型的扩展select语句的文法。介绍其解释程序的实现技术，重点讨论复杂类型属性和对象引用属性的处理方法以及如何将查询结果封装成对象。     

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

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

CORBA环境中分布式构件的构造

提出了一个基于CORBA的构件式的分布式系统构造模型。对于分布式构件和基于构件的分布式软件系统,均可用基于属性文法的软件构架描述语言进行形式化定义。通过例子描述了将基于属性文法的软件构架映射为CORBA对象的方法,同时还讨论了如何在CORBA环境中实现基于属性文法的软件构架的有关问题。     

EL语言属性文法

介绍面向过程的程序设计语言－－ＥＬ语言属性文法的构成方法及其典型实例，它是属性文法编译程序生成系统的基础。     

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

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

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

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

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

属性文法及其制导翻译

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

二级属性文法的设计

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

多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言,也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式．     

用一种新的属性文法识别无限制手写体数字

近年来所发表的识别无限制手写体数字的方法大多是几种已知方法的不同组合形式,因而在结构与技术上比较繁杂。本文从理论的角度出发,发展了一种带有位置和形状属性的文法,以描述和识别模式,它能有效地克服模式的形状差异对识别的影响。这种方法的进一步发展和完善,可能为识别无限制手写体数字提供一个有效的途径。     

可计算性和计算复杂性的研究及其进展

我们知道一个计算机程序是由数据结构和算法所组成的，即可以描述为数据结构十算法一程序一个被求解问题所处理的对象，总存在着一种或几种相应的数据结构作为程序代码的一部分。然而，求解问题所采用的算法就不是那么简单了，它要涉及到算法的可计算性和计算复杂性的问题。所谓可计算性是相对于函数而言的一种性质。如果一个n元函数f是一个完全函数，并且是部分可计算的，那么称它为可计算函数。函数的这种性质称为可计算性。不同的计算问题具有不同的计算复杂性，或者说不同的计算难度。对于计算机来说，计算复杂性一般是以计算时间长短或…     

数据结构与软件设计

软件产业是当今世界最大的产业之一。本文通过对操作系统，汉字系统的结构和设计方法分析，说明软件设计的关键在对问题的系统分析和数据组织，强调提高软件支在重视培养数据结构的分析能力。     

一个用户界面工具环境的研究与设计

从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。该工具环境采用分层体系结构,在○-○图形表示的基础上,利用属性文法对用户界面进行形式描述,并最终实现一个集成化的用户界面自动生成工具环境。     

面向对象技术的机械刚架结构分析系统设计

对机械刚架进行了单元定义和各类单元特征属性的提取，并构造了用于描述各类单元特征属性的数据结构，采用先进的面向对象技术，利用ＶｉｓｕａｌＣ＋＋５．０开发环境，设计了一种新型的平面机械刚架结构分析系统。     

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

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

一种适合于描述无限制手写字符图像的语言CPDL

人们曾为解决特定的识别问题提出了许多图像描述语言,但至今还没有任何一种能有效地克服手写字符的形状差异对句法识别的影响。本文在K.S.Fu的形状属性文法的基础上,进一步发展了一种带有位置和形状属性的文法。它只需7个简单的模式元,句子的长度可以人为地加以控制。这种语言的优点是:具有较强的描述能力及灵活性,能有效地克服形状的各种变化对句法识别的影响。