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

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

数据流图的存贮模型

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

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

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

多媒体数据流描述模型及同步化的实现

通过对视频、音频、文本及静止图像等多媒体数据流序列结构化描述模型的建立,实现以此为基础的多媒体数据流分类、分割及同步描述等功能。为确定多媒体数据流的每个对象在时间和空间上的位置问题,提供了描述、传输、存储的结构化同步描述方法。     

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

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

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

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

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

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

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

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

基于数据流的频繁集挖掘

针对数据流特殊的数据类型,提出了一种新的数据流挖掘算法.该算法引入了一个全新的优化方法,将边界集和频繁产生集结合起来.频繁产生集是频繁集的一种无损简缩表达方式.它所包含的模式数量比频繁集所包含的模式数量小若干数量级.边界集是频繁产生模式和其他模式之间的边界,通过观察边界集的变化可以生成新的频繁产生模式.实验结果表明,该算法的性能有明显的提高.     

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

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