任职经济责任审计系统设计与实现

该系统严格遵照国家干部经济责任审计的有关准则与规定，能够对企事业单位、行政单位等不同部门各个层次的领导干部，从内控制度、管理、经营、财务等多方面、多角度、全方位地进行跟踪审计，客观公正、实事求是地对有关报表数据进行科学分析，恰如其分地认定干部实绩和经济责任。     

几种磁带格式的比较与探讨

本文首先介绍了数据备份系统中经常采用的几种磁带格式,并根据不同的应用需求以及适用的系统,比较和探讨其异同点。     

数据流图的存贮模型

本文给出了一个数据流图的存贮模型。并在此基础上，给出了数据流图的操作算法。可以解决ＳＡ方法中的文档管理。     

实现梯形图编辑功能的新方法

采用Ｃ语言实现内装型ＰＭＣ梯形绘制和编辑功能，使软件整体结构紧凑，可靠性高。使用双向链表数据结构描述和记录梯形图的各种信息，以实现汉字菜单方式的全屏幕编辑功能，操作灵活，处理方法简捷，具有良好的人机界面。     

一种新型基于磁带测功机的异步电机T—n曲线测试

提出了一种基于磁带测功机和微机原理的新型异步电机T－n曲线自动测试方法，着重介绍了该方法的理论依据及其具体实现的原理框图。     

土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》（软件）的开发背景，软件的需求。功能、特点及实施过程，并提出了土地管理信息系统建设的一点思考。     

土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》(软件 )的开发背景 ,软件的需求 .功能、特点及实施过程 ,并提出土地管理信息系统建设的一点思考 .     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

将向量处理引入数据流计算机

数据流计算机解决了多机系统存储器延时和同步２个不易解决的基本问题，可以充分利用程序的各级并行成分．这种计算机在算术运算等方面性能优越，但在结构数据（如向量）处理方面开销大、效率低．将向量处理技术引入数据流计算机，能有效地解决这个问题．通过在类似Ｍａｎｃｈｅｓｔｅｒ的数据流计算机上增加向量处理功能，并进行了矩阵乘运算的模拟．结果表明，增加向量处理后，矩阵乘运算的效率比近几年提出的Ｍｏｎｓｏｏｎ和Ｅｐｓｉｌｏｎ等数据流计算机提高一倍，甚至２倍以上．     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.