利用VB实现复杂数据报表的输出

针对目前常见的数据报表设计软件(或控件)只能生成简单格式数据报表的问题，通过实例，给出了在Ⅶ中实现复杂报表输出的具体方法。     

自适应菜单生成程序的设计思想及实现方法

提出了一种设计“具有自适应能力的菜单生成程序”的基本方法，在Ｖｉｓｕａｌ ＦｏｘＰｒｏ平台上，开发一种新的自动化编程器，使生成的菜单程序具有用户干预下的自完善能力，同时使整个操作过程更简洁。     

一种通用的资产评估报表生成程序

本文利用数据库技术和参数传递方法，提出一种通用的报表生成，打印定位程序，解决了自动分页，打印不同表头及每页部分项目的小计和合计栏次等一系列问题。     

数据报表的生成方法

报表作为一种重要的信息载体,在企业的信息管理、统计分析当中起着不可替代的作用。根据企业的具体业务需求,本文给出了数据报表的生成方案,并给出了相应的程序设计,本文使用XML作为从关系数据库中获取数据进行映射的中间媒介,以Java的可示化开发程序进行系统的开发,动态、高效地实现企业数据报表的生成。     

自适应菜单生成程序的设计思想及实现方法

ＶｉｓｕａｌＦｏｘＰｒｏ在其它方面已经提供了面向对象的编程方法，为软件开发提供了全新的手段，但在菜单制作上却没有多大进展。鉴于此，本文提出了一种设计“具有自适应能力的菜单生成程序”的基本方法，在ＶｉｓｕａｌＦｏｘＰｒｏ平台上，开发一种新的自动化编程器，使生成的菜单程序具有用户干预下的自完善能力，同时使整个操作过程更简捷。     

自适应菜单生成程序的设计思想及实现方法

提出了一种设计具有自适应能力的菜单生成程序的基本方法,在Ｖｉｓｕａｌ ＦｏｘＰｒｏ平台上,开发一种新的自动化编程器,使生成的菜单程序具有用户干予下的自完善能力,并使整个操作过程更简洁。     

基于JasperReports的web数据报表的设计与实现

本文介绍在web应用程序中生成动态数据报表的方法,阐述报表生成组件JasperReports与iReport的工作原理和关键技术,并给出具体的设计实例。     

数据报表的实现

在各种数据库应用程序设计中,都会涉及数据的报表.介绍在DELPHI的数据库用应程序设计中,如何设计以票据的方式进行报表与打印,并介绍票据打印中金额大小写转换算法及在报表中控制打印内容.     

动态生成程序映象的新方法

新的代码优化的方法 Just In Time Code L ayout,它不同于传统的静态链接生成可执行程序映象文件的方法 ,而是在运行时通过动态链接生成执行程序的映象 ,对比研究了此方法生成的程序映象和传统方法生成的程序映象及用 Pettis方法优化生成程序映象三者之间在运行时 Cache性能的差异 ,证明了这种方法对程序运行的明显效果     

词典数据库程序设计技术

本文从软件开发角度出发、分析了DBASEⅢ数据库系统功能的不足之处,提出了解决问题的办法。通过C—DBASEⅢ的实例具体阐述了词典数据库的建立及其在系统维护、软件开发、文件管理及数据处理等方面的使用技术。     

Application of Dynamic Slicing in Test Data Generation

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.     

1：1万DEM数据生产和建库主要问题探讨

讨论了DEM的矢量数据类型,即等高线下的DEM数据生产与建库的基本问题,阐述了DEM数据生产方面的问题及其解决办法和建库中的问题及处理方法,并介绍了其简单的应用。     

F-畸变数据的生成与修复

P-集合是研究动态信息系统的一个新数学工具,应用P-集合的外P-集合与补充集合的关系,提出了F-畸变数据与-冗余数据的概念;给出F-畸变数据的生成定理和修复定理,包括F-畸变数据的辨识定理.最后给出F-畸变数据的修复准则与修复实例,其结果为研究动态信息系统的数据扩张提供了1种新方法.     

程序测试数据的生成

研制了为Ｐａｓｃａｌ模块测试生成测试数据的工具，介绍了测试数据成生技术、测试工具的结构及其实现     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

在Delphi应用程序中提高录入效率的方法

利用Delphi的ComboBox组件和系统初始信息、DBGrid组件、代码和设置文本输入框的输入模式等4种方法，提高了录入效率。给出1个例程的详细代码。     

物理化学实验数据的通用计算机处理程序

介绍了一个用于学生的物理化学实验的通用计算机处理程序，使教师可以即时监控学生的实验结果从而大大提高了实验的教学效果．     

数据查询计算机化的实现

为了解决机械工程设计中手工查询数据耗时耗力的问题，采用Delphi中的ADO组件连接加密的MS—ACCESS数据库来实现数据的自动化查询，并以键宽和键高查询为例，以小见大阐述了数据查询的实现过程。     

面向断言的测试数据生成方法及其应用

提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上插入断言来限制和跟踪程序的执行，以保证程序能到达目标节点，从而生成相关测试数据．利用这种测试数据生成方法，对轨道交通列车自动监控系统软件（ATS）的部分功能模块进行单元测试，并给出测试结果．