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

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

纳米结构陶瓷(n-WC/12Co)涂层材料精密磨削的试验研究

对纳米结构陶瓷(n—WC／12Co)涂层材料在金刚石砂轮精密磨削过程中的磨削力进行了较详细的试验研究，对常规结构陶瓷(c—WC／12Co)和n—WC／12Co涂层材料的磨削力作了对比磨削试验。分析了磨削工艺参数如砂轮磨削深度、工件进给速度、金刚石砂轮粘结剂类型和磨粒尺寸以及被磨试件材料特性等对磨削力的影响。结合被磨试件表面的扫描电镜(SEM)的观察，分析了n—WC／12Co涂层材料磨削的材料去除机理。     

CUIT∶ 一个通用界面工具箱的设计

用面向对象的方法，为满足不同窗口环境下界面的通用性，设计了一个通用界面工具箱ＣＵＩＴ     

面向对象多数据库系统的模式集成

讨论了使用面向对象技术解决多数据库系统模式集成的问题，针对全局模式多数据库系统提出了一个五级模式集成结构：局部模式、成员映射模式、成员对象模式、全局对象模式和全局外模式，详细描述了每级模式的定义和构成．     

多目标决策中确定权值的一种新方法

在分析和理论推导的基础上，利用最优传递矩阵对传统的层次分析法（ＡＨＰ）进行改进，建立了改进的层次分析法（ＩＡＨＰ）。利用ＩＡＨＰ求得的判断矩阵能自然满足一致性要求，不需要进行一致性检验，可直接求得各因素的权值     

大系统分解协调理论在电力系统动态调度中的应用研究

提出了电力系统动态优化调度问题的目标分解协调的新算法．基于大系统的分解协调理论，将动态优化调度模型按时段进行分解，通过目标函数的修正来协调时段间经济性与可靠性的要求．该方法既避免了统一解算所造成的维数灾问题，又系统化了各种解耦算法（正推、反推及双向推），将模型的算法统一起来．     

面向对象和结构程序设计的分析与比较

给出面向对象的结构程序设计的基本概念，从封装，继承和消息三个特征出发分析和比较了面向对象与结构程序设计的兼容性，指出了继承所涉及的两种接口，还讨论了我态和动态绑定引起的问题。     

用空间滤波法显示位相型物体非均匀位相分布的较为普遍的分析与讨论

对空间滤波法的零频滤波与刀口滤波显示位相型物体的非均匀位相分布进行较为普遍且详尽的分析讨论，并给出一些实验结果．     

分光计调节中值得注意的一个问题

对分光调节过程出现的一些光学现象进行分析，指出产生这些现象的原因，同时提出了改进的方法。     

双圆n边形再探

推广了文献［１］的结果，圆满地解决了广义双圆ｎ（３≤ｎ≤６）边形的存在性问题．