一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。     

自动按幅面要求编排打印程序清单

本文提供一个能自动按幅面大小编排打印源程序清单的BASIC程序,不但简单快速,而且在改排以后能保持幅面的整齐与语句的可读性。利用BASIC语言较强的打印功能,还可以选择不同的字体打印标题、正文和注释等。     

基准程序法

本文系统地介绍了基准程序测试法经历了三十多年的发展历史.基准程序法从早期仅仅面向CPU的评价发展到如今对整个系统的评价,并且和计算机的发展密切相关.编译程序,操作系统和体系结构的发展提高了计算机的性能,作为评价方法的基准程序法也相应地发展.对目前广泛应用的工作站和联机事务处理系统的评价,基准程序法也进行了尝试.远程终端仿真器RTE的引入使得基准程序测试活动领域的进展更为迅速.     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

常驻内存程序及其驻留方法

本文通过对常驻内存程序的实质分析,揭示了这类程序的基本组成和特性,比较全面地论述了实现常驻内存程序的引导驻留、常用驻留和通过修改内存块控制链的驻留方法,给出具体实现算法和程序。     

恢复BASIC程序的方法

本文简述了BASIC用户程序在内存中存在的条件及存储结构,在此基础上提出了恢复遭破坏的BASIC用户程序的方法,给出了在各种情况下恢复用户程序的实例。     

LOCK89加密程序的不足及其对策

LOCK89程序是近来十分流行的一个较好的加密程序。笔者曾在文献[1]中介绍过它的主要优点。但是,如果说它是个十全十美的程序却是不现实的。本文对其存在的不足之处进行探讨,并以此找出解密的方法。     

同步FTP上载/下载程序的实现技术

通常意义上的FTP客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中。FTP功能往往需要与特定的应用相结合。对于某些特殊的应用。通常的异步FTP程序设计方法不适用系统的需求。需要设计同步的FTP上载／下载程序。但开发工具如VB不提供直接的同步FTP支持。本文结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

程序缺陷分析与安全保护技术研究

程序安全是信息安全研究的一个重要方向,主要研究程序缺陷分析和安全保护技术等.介绍程序缺陷分析研究及其分类方法,然后将程序安全保护研究分为三类主要途径进行重点阐述和分析,最后讨论程序安全研究的发展趋势.     

TSR程序的驻留及其撤离

通过分析MCB链结构、TSR程序驻留及其撤离应考虑的问题，提出了一种安全性、可移植性和可操作性较好的TSR程序设计思路。     

定制自己的Palm设备—Hack与DA

与采用封闭系统的掌上设备不同,Palm　OS在开发的初期就为程序员们留出了充分的发挥自己特长的空间。我们可以通过网络获得成千上万的程序,而为Palm OS开发的Hack和DA程序无疑是其中的主角。正是因为有了各种各样的Hack和DA程序,Palm OS才令如此之多的爱好者为之痴迷,使用者可以在自己的基于Palm OS的设备上随意安装、卸载能够实现各种功能的Hack和DA程序,使其功能更完备、更强大,也更符合自己的需求。     

一个解决程序间的数据传递的好办法

在实际应用中,我们经常需要多个程序相互配合来完成某些特定功能,这就需要程序间相互传递数据以保持通讯,利用WM_COPYDATA消息可以方便地解决这个问题。使用该消息涉及一个TcopyDataStruct结构类型的指针。该结构中有三个成员: dwData是一个32位的附加参数 cbData表示要传递的数据区的大小 IpData表示要传递的数据区的指针下面我以一个Delphi程序举例说明。这个例子由两     

A Knowledge-Based Approach to Program Synthesis from Examples

This paper proposes an approach to synthesize functional programs of Backus‘ FP system^[1,2] from input/output instances.Based on a theory of orthogonal expansion of programs^3[,4],the task of program synthesis is expressed in program equations,and fulfilled by solving them according to the knowledge about the equivalence between programs.Some general knowledge of solving program equations with a number of examples are given in the paper.     

同步FTP上载／下载程序的实现技术

通常意义上的FTP（文件传输协议）客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中，FTP功能往往需要与特定的应用相结合，对于某些特殊的应用，通常的异步FTP程序设计方法不适用系统的需求，需要设计同步的FTP上载／下载程序，但开发工具如VB不提供直接的同步FTP支持。文章结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

函数式语言方法在网络交互程序中的应用

网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之问切换,这样不可避免的会造成控制信息的丢失.为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(eontinuationpassing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现.     

函数式程序的分层λ抽象

本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.     

Datalog程序的正规变换及其实现

文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的ＡＯ＾＊搜索算法及相关文献中的算法相比具有更高的效率。     

程序阶段性分析和阶段检测技术

对称多处理器的飞速发展和近年来提出的动态异构处理器(DHMP)为性能优化提供了新的机遇。一个机遇是找出程序每个阶段的性能瓶颈,提出了静态程序阶段分析方法,即通过分析结构参数和计算相似度矩阵来找出程序每个阶段的资源瓶颈;另一个机遇是给出动态异构处理器重构的时间节点,提出了DPDA和HTPD两种动态阶段检测算法,检测出阶段的变化能够为动态可重构处理器提供重构的时间节点。DPDA算法效果很好且软硬件实现代价小,而HTPD算法是目前为止第一个使用统计学方法进行动态检测阶段的算法。实验表明,与BBV相比,DPDA和HTPD能避免BBV离线、动态算法需添加额外硬件、结果与编译器相关等限制,并且阶段划分的稳定性和正确率与BBV相当。DPDA和HTPD算法由于本身不依赖额外硬件,因此都能直接在主流处理器和动态异构处理器(DHMP)中使用。