在构件的多个实现间动态选择的算法*

为了提高构件在处理多种类型请求时的效率,构件可以有多个不同的内部实现,每一个实现都是为一种特定类型的请求而优化的。提出了一种在构件的多个实现间动态选择的算法,算法尽可能地为每一种类型的请求挑选最优的实现,同时又尽量避免在不同的实现之间进行切换,从而使构件在处理一个请求序列时所花费的总开销尽可能少。     

VAX／RGL的C语言接口设计

异种语言编写的程序相互调用，是程序设计者为利用已有软件资源而经常涉及的实用技巧，本文基于Ｃ应用程序调用ＶＡＸ／ＲＧＬ图形库绘图的实践，探讨ＶＡＸ／ＶＭＳ环境中Ｃ语言与ＦＯＲＴＲＡＮ语言的接口方法，其关键在于弥补两者采用的ＶＡＸ过程调用参数机构上的差异。然后介绍笔者利用该方法为ＲＧＬ实现的一个Ｃ程序接口软件。     

COSIX BC的设计与实现

ＢＣ是一种支持任意精度算术运算的Ｃ风格语言。本文介绍在国产ＵＮＩＸ版本运行的ＣＯＳＩＸ ＢＣ的设计及其实现，着重描述了它的主要设计特点以及对传统ＢＣ的改进。并对它的一个实现版本进行性能方面的评价。     

一种基于逆向程序流的程序切片算法*

传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法,但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖,造成时空资源的浪费及切片效率的降低。提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率。通过实验发现该算法具有一定的可行性和实用性。本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成。     

一种类属编程方法的应用及分析

传统以C++实现的面向对象的软件系统中,类接口往往以虚拟基类与虚拟函数定义。然而随着软件更新速度的加快,这种方法难以使接口兼顾效率与兼容性。实现一种Policiesbased的设计,以类属组件的形式实现类接口,使其具有按需定制的特点,从而具有更大的复用性。经理论分析和模拟实验证明,这种方法表现优于虚拟函数机制。     

基于UNIX文件系统的进程跟踪

UNIX SYSTEM V／386RELEASE4（简称SVR4）中并存两种进程跟踪机制，本文从程序设计的角度，探讨许多UNIX系统程序员不大熟悉的一种基于文件系统的进程跟踪技术。文中讨论了该技术的特点，介绍了SVR4支持这种跟踪方法的主要机制，并对进程跟踪的程序实现给予了示范。     

软件水平考试题库管理系统的设计

本文所介绍的ＳＰＴｂａｓｅ系统，体现了计算机应用软件人员水平考试题库管理系统的一种设计思想，这种思想包含在系统的结构、数据结构以及各个功能模块的具体实现技术中。一组专用工具提供了试题检索、试卷分析、自动组卷等功能。多窗口画和下拉式功能选择菜单使系统具有良好的用户界面。     

代码缩减技术的研究

随着应用的深入，计算系统对性能的要求越来越高。另一方面，软件规模也越来越大，使得日益庞大的软件与有限的硬件资源之间的矛盾逐渐显现出来。在嵌入式系统、移动计算以及实时控制系统中，这个矛盾尤其突出。如何减少代码、提高代码的效率，成为近年来学术界和产业界关注的问题，许多组织和机构正围绕着此论题开展广泛而深入的研究。本文介绍代码缩减（code-size reduction）的研究背景，以及两种主要的代码缩减方法——代码压缩（code compression）和代码紧缩（code compaction）；着重讨论代码紧缩技术，包括：代码肾缩的主要方法、各个方法的特点及其中的关键技术；分析代码特缩技术尚存在的问题和面临的挑战，并对代码肾缩技术的未来发展趋势做了一些预测。     

基于渐开线分析的可转位齿轮滚刀磨削数学模型构建及磨削方法

基于渐开线的成型原理，提出了可转位齿轮滚刀渐开线基圆半径求解的数学模型，以便在某些无法得知齿轮模数、分度圆半径等参数的情况下，仅根据刀具上渐开线的CAD模型来确定渐开线对应的基圆半径；分析了可转位刀具周边刃磨床的磨削机理，建立可转位齿轮滚刀磨削的数学模型，得到可转位刀具周边刃磨床X轴和B轴的联动点位，并在周边刃磨床上使用金刚石平行砂轮进行渐开线曲面磨削试验。使用超景深显微镜和图像尺寸测量仪对刀具表面形貌与尺寸误差进行分析。试验结果验证了可转位齿轮滚刀磨削数学模型的准确性，并为其他齿轮滚刀数学模型的建立提供一定的理论参考。