国际标准COBOL语言的现状与前景

近些年来,COBOL语言在数据处理领域的声誉有些下降,人们为COBOL的前途担扰。本文论述了国际标准COBOL语言存在的问题、COBOL85的改善以及COBOL的前景,并指出COBOL语言的发展要与第四代语言相结合,还强调要加快结合的进程。     

C与COBOL两种语言数据文件的分析与比较

在介绍Ｃ与ＣＯＢＯＬ两种语言数据文件数据存储形式的基础上，详细分析了数值型数据的存储形式，指出用Ｃ语言处理ＣＯＢＯＬ数据文件时所存在的问题，并给出了处理方法。该方法可以实现Ｃ语言对ＣＯＢＯＬ数据文件的访问，提高用Ｃ语言开发软件的效率。     

EGCL—Java程序转换器的研究与实现

以分划递推法等理论为基础,客观地分析了软件开发的全过程,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术,并开发了一套基于Java语言的可重用类库用于支持程序的转换,得到了满意的结果。     

软件测试环境COSTE的设计与实现

介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点．该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术，可以完成对COBOL程序的静态分析和动态测试，提供关于被测软件的程序特性和异常信息，以夏动态测试结果和结构覆盖信息，并可以根据覆盖情况和结构覆盖准则，自动生成补充的测试数据。以期更好地逼近结构覆盖要求，辅助用户更有效地进行软件维护工作．     

通用报表程序生成器的设计与应用

提出了一种已用Ｃ语言实现了的ＳＱＬ＊ＲＥＰＯＲＴ报表程序自动生成新方法，该方法可实现报表生成自动化。     

一种程序设计语言模块系统的研究与实现

GOdel语言是一种新型逻辑程序设计语言。通过对其模块系统进行研究与实现，在实现过程中采用了将用户模块和系统模块分开存放、独立管理的策略，以便使这两部分模块可以被很好地扩充和管理；同时还设计了系统命令．以便及时了解模块运行情况。这样在环境中实现的GOdel语言模块系统不但减轻了GOdel推理机的运行负担，也方便了用户对模块的管理。     

程序设计语言分类探讨

从4个角度对种类繁多的程序设计语言进行了分类，并对不同类型的程序设计语言的特点、应用和现状作了探讨，尤其对按程序设计范型分类的各种语言作了较详细的阐述。对读者全面了解、认识和选择最佳程序设计语言提供了一定的帮助。     

PICASSO——一个用于模糊决策系统的基于规则的程序设计语言

本论文介绍一种新的基于规则的程序设计语言,其名为 PICASSO,它为具体执行模糊决策支持系统(Fuzzy Decision SupportSystem)而设计。PICASSO 已在美国休斯顿大学计算中心的 AT&T 公司的3B2OS 小型计算机上部分运行。整个系统用 Franz Lisp 书写。PICASSO 具有以下特征。它使用正向链接(Forward chaining)推理手段。该语言有三种控制策略:面向宽度优先的系统控制模式,用户控制模式和元规则(meta-rule)~(*2)控制模式。PICASSO 支持匹配变量以及其他类型的变量,以便于使用以模式匹配为主的调用方式。在该语言中,不同规则之间的信息能够用信息传送和数据共享两种方法来进行通讯、交换。PICASSO 的规则工作在可永久保存的知识库上,这个知识库必须预先用称为符号图形(S—diagram)的一种强有力的数据模式来定义。PICASSO 的推理器(inference engine)实施知识库的一致性。知识库中可以保存模糊信息(fuzzy information),这些信息用区间模式的二值法来表示。区间模式允许分配一个概率给一个事实(断言),同时还要表示我们相信这种概率估计的程度,这一点对于模糊决策支持系统来说是重要的,因为这种系统常牵涉到不同程度的经验知识的判定规则。有了对某些事实(断言)的概率估计,又有专家对此概率的相信程度(凭经验),就可较全面地选择某种决策。对于区间模式来说,我们已经提供了一些特定的运算公式,用于对不确定性(uncertainty)知识进行自动推理。PICASSO 支持基于规则的程序设计语言和函数型的程序设计语言两者的组合并支持多个基于规则的程序设计语言和函数型的程序设计语言两者的组合,并支持多个基于规则的程序之间的协同操作:可以容易地把 PICASSO 程序综合成象一般的 LISP 函数那样的 LISP 程序,而且 PICASSO程序本身也可以任意地调用 LISP 函数。     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

混合编程与FORTRAN计算程序图形界面的实现

针对FORTRAN语言计算效率高而图形功能弱,VisualBasic(VB)计算效率低而图形功能强的特点,采用VB和FORTRAN2种语言混合编程,充分利用各自的优点,实现FORTRAN计算程序资源的再利用．此外,探讨了2种实现FORTRAN计算程序可视化的方法一是通过磁盘文件在VB程序和FORTRAN程序间交换数据,并借助WindowsAPI(应用程序编程接口)函数实现FORTRAN外壳程序在VB中同步运行,使FORTRAN外壳程序的计算结果在VB图形界面上显示;二是将FORTRAN程序转化为动态链接库函数,通过函数参数传递使VB程序和FORTRAN动态链接库函数之间交换数据,将FORTRAN的计算结果在VB窗体上显示并进行作图处理,从而实现了FORTRAN计算程序的图形界面及计算结果的可视化     

JAIN SLEE中异步持久化方案的设计与实现

JAIN SLEE是一种异步、事件驱动的融合网络应用环境核心,其可靠性需要持久化方案来保存并恢复业务处理组件的相关状态,但目前缺少JAIN SLEE异步持久化技术．本文提出一种异步持久化方案,并设计和实现了持久化资源适配器,经测试方案能保障JAIN SLEE的可靠性,且相比J2EE成熟的同步持久化方案,具有更高的性能．     

分布式二维图形环境系统的设计与实现

详细介绍了分布式交互性三维图形环境系统的主要功能、体系结构和数据一致性模型以及系统实现过程中面向对象技术的应用、虚拟环境的高度可交互性以及分布式网络的通信机制。     

一个面向对象软件集成环境的设计与实现

本文提出并初步实现了这样一个面向对象软件集成环境,它能把面向对象技术结合到软件分析、软件设计、软件生成及软件维护等阶段,并最终生成符合软件工程标准的软件产品．在设计该环境时着重考虑了理论方面与技术方面的实用性和先进性,建立了适合于一般软件系统特别是信息系统的应用框架和对象环境库模型以及与之相适应的一套开发方法和流程．在本文的最后,根据课题研究成果实现了一个简单的应用,它是某大学教务管理系统中有关学籍管理的一部分．     

维汉机器翻译系统电子词典的研究与设计

根据维、汉文不同的语言特点,在维汉机器翻译系统研究的基础上,提出了该系统不可缺少的子系统——“维汉机器翻译电子词典”的研究与设计方案.     

BASIC和FORTRAN语言混合编程方法

用Prolog.C,汇编等语言对Quick BASIC和FORTRAN之间的混合编程问题进行了探讨.用Prolog和C语言设计了自动搜索程序Autol和Auto2,解决了FORTRAN和BASIC语言之间各种类型参数的自动传送问题.用MS-DOS的Link程序将两种语言的目标文件连接成一可执行文件,形成了一个集成混合语言开发环境,并完善成为一混合编程软件(MLD).该软件可在普通PC机及其兼容机上运行.     

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

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

MPEG-1的索引系统设计与实现

文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。     

基于教科网的中学校园计算机网络的设计与实现

针对中学建设校园计算机网络问题，提出了基于中国教科网的总体设计方法，通过网际互联，系统设计，服务平台，网络配置等方面，论述了中学校园计算机网络的实现方案．     

网络教育环境下知识测评系统的设计与实现

介绍了采用ASP技术设计网络考试系统的过程及考试系统所实现的主要功能。网络考试系统共分两个模块:考生考试模块和管理员实施管理模块。考生考试模块主要实现动态随机出题、考试时间锁定、系统自动判卷和突发问题应对等功能。管理员实施管理模块实现考试信息管理、考生资料管理、考试题库管理和辅助信息管理等功能。