从汉语格关系表示生成日语

本文介绍了一个基于转换翻译的汉日机器翻译系统中日语生成子系统的设计和实现。文章首先描述了一种基于格关系的汉语依存分析树,分析树结点记录语法语义以及格关系信息;然后,针对日语的特征,分析了日语生成中的主要问题,包括译词选择、用言活用形确定、助词添加等;给出基于规则的日语生成系统的组织结构,重点介绍生成规则系统的设计和实现。最后,给出规则描述的实例以及翻译实例,提出进一步改进本系统的初步想法。     

独立语法描述的VHDL词法和语法分析

描述了一个VHDL语言词法和语法分析器的设计与实现,采用语法规则描述与分析引擎分离的方法,首先将VHDL语法规则用GPLD元语言描述,然后生成二进制语法分析表。选择所需语言编写分析引擎程序,在对VHDL代码进行分析时,用分析引擎载入生成的分析表,显示分析过程的移进、规约状态步并构建分析树并报告错误。     

基于数据字典的通用屏幕自动生成系统的设计与实现

一个基于数据字典的通用屏幕自动生成系统,并采用MFOXBASE V2.1语言,运用数据字典技术,使屏幕自动生成器的处理数据自动化、档案化,并能够以数据字典为数据处理对象,自动快速生成具有表格形式的单记录窗口输入画面的输入源程序(PRG文件)。文中描述了系统设计思想和数据字典结构,并给出了自动生成器的工作原理与算法。     

网页树形结构自动生成研究

网页树形结构是网页语言的一种特定描述。根据网页语言这种规整特性,可结合文法理论形式化建模。通过扩展终结符、规则概念,提出非终结符函数、终结符变量函数的构造方法,给出了自动生成特定类型的语言的一种生成模型。最后,给出模型在仪表装配树形中的实例应用。     

面向算法领域的自然语言理解

算法领域的自然语言理解主要是理解算法描述的处理及其规定的数据类型与结构等, 用于由算法自动地生成程序。在分析了各种算法书写的基础上,我们定义了一种用于描述算法的类自然语言, 并给出了理解类有然语言的方法。该方法是利用理解知识, 通过关健字的匹配实现理解的。我们还根据理解方法研制一个理解系统, 作为自动编程系统的一部分。理解系统是用PASCAL语言写成, 在IBM一PC/AT计算机上实现。本文介绍了上述内容。     

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

一种采用一阶动态逻辑表示的数字权限描述模型

针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶动态逻辑,定义了一个用于描述数字权限概念的 一阶动态逻辑符号系统DrFDL,并在DDRM模型基础上给出了DrFDL的语义结构(该语义结构能够 反映动作的动态特性)。基于DDRM模型还给出了一个表达权限证书的文法,应用DrFDL逻辑语言 给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。     

基于XML的GIDO描述和入侵检测规则描述

本文在CIDF框架的基础上,针对通用入侵检测规范语言(CISL)描述通用入侵检测对象(GIDO)难以被人们所理解,提出采用具有易于数据描述和理解等优势的XML语言来对GIDO进行描述。同时,针对Snort入侵检测系统在入侵检测规则的描述上过于粗略、不易扩充等不足,利用XML语言易于理解、扩充和完整描述数据等优点,对Snort的入侵检测规则定义进行了修改和完善,并给出了基于XML的入侵检测规则描述。最后列举了一个完整的应用实例。     

一种基于日语格语法表示的英语生成

本文在已开发的一个具有一定规模的基于转换翻译的日汉机器翻译系统的基础上,为了检验该系统的日语分析结果的表达能力,设计一个基于日语格语法表示的英语生成系统。文章首先描述了一种基于格语法的日语分析及其表示;然后给出了从该格语法表示的日语生成英语的生成过程,重点对生成规则的设计进行描述;最后对英语生成中的一些问题进行探讨。     

基于类型理论的领域数据建模和验证及案例

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换。本文面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）。DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t：T?。DDMM给出了领域数据建模的方法,即构建K₁（原子类型）、K₂（数据元）、K₃（数据元目录）三层框架,生成表示K3层数据元目录之间关系的类型规则。在此基础上,给出了数据元目录序列的定义及其正确性判定算法。基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证。     

汉英机器翻译中描述型复句的关系识别与处理

汉英机器翻译的复句处理不仅要依托于单句的处理,而且还要超越单句的辖域,深入考察复句内分句之间的内在联系.其中,在汉语描述型复句中存在着大量的无特定语言标记的非并列关系复句,为了辨别其中的内在联系,实现英语译文的正确生成,针对不同情况,给出了完整的关系判定规则,并提出采用中心分句动态判定方法来解决部分复句处理规则局部性的问题,最后通过实验系统得以验证.     

复合型报表结构的逻辑描述方法

报表结构描述是报表生成的前提。本文通过复合型报表结构的推理分析，提出运用表达式描述的总体思想，并给出描述表达工的定义及编译与的生成方法，旨在为ＭＩＳ或其他应用系统报表的描述与与生成提供一个更加简单、高效的新途径。     

基于SSH框架的高校科研管理系统的设计与实现

研究了高校科研管理系统的现状,分析了当前流行的JavaEE技术,并利用SSH （Struts＋Spring＋Hibernate）框架进行系统建模;给出了一个基于SSH的科研管理系统结构图,详细分析了该框架结构中的三个层次,即展现层、业务逻辑层、持久化层.分析了系统的功能结构,并结合不同的用户权限描述了每个模块的功能.总结了基于SSH的科研管理系统的优点.     

IFS与L系统的统一描述语言及其分类

为了更高效地表示分形图形,依据形式语言的文法结构及正则表达式的文法规则,通过引入代数运算,提出了一个能够对L系统和迭代函数系统(IFS)统一描述的语言代数系统。根据语言代数系统产生式的文法规则,将此系统的产生式集划分为五类。结合分形理论,此语言代数系统着重将DOL系统、迭代函数系统(IFS)、带凝聚集迭代函数系统(凝聚IFS)、随机迭代函数系统(IFSP)和再归迭代函数系统(RIFS)等进行描述,同时用此系统的正则表达式方程解将分形吸引子进行代数表示,并给出一些实例。通过实例表明,分形图形可以用该语言代数系统简单、明了、高效地表示。     

基于概念格的语言真值不确定性推理*

利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规则,进而验证了这两种规则的还原性。     

IBM PC机上的一个全屏幕处理例程及其自动生成系统

本文叙述一个在LBM PC机上用C语言实现的全屏幕处理例程及其自动生成系统。作为背景,首先简要地讨论了全屏幕处理的概念;然后,提出了对全屏幕处理例程的要求,给出了该例程的结构框架及其生成过程;最后,介绍了生成系统的主要功能,并用一个实例说明了该系统的使用。     

一种基于模糊规则的神经网络结构及其学习算法研究

文章提出了一种基于模糊规则的神经网络结构,并用形式化语言进行描述。基于模糊规则的神经网络由输入层、规则层和输出层三层网络结构组成,以隶属度函数（语义值）作为网络权值,输入值沿权值的传播即进行隶属度计算。在充分分析三角形函数特征的基础上,应用启发式方法,导出了FRBNN网络的学习算法。最后应用FRBNN评价船舶碰撞危险度,表明FRBNN兼备神经网络和模糊推理系统的优点。     

基于关联度分析的遗传算法研究及其应用

简要分析了关联规则数据挖掘技术的研究现状,给出了关联规则问题描述,引出了基于关联度的适应度函数,最终建立了一个基于关联度分析的遗传算法。并应用于银行卡分析系统,建立特征提取的具体实例即客户信用度预测模型。实例结果表明具有较好的分类预测能力。