一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

自适应性动态间隔缓存的实现

提出了用于视频服务器的缓存管理策略：自适应性动态间隔缓存。通过间隔缓存与流的状态转换有效地结合起来，满足了视频服务的顺序访问的行性。通过仿真实验证明该机制有效地保证了视频流的持续性与实时性，大大提高了视频服务的并发度。     

专家系统开发工具中表知识的处理及实现

提出了一种专家系统开发工具处理表知识的方法．该方法结合了面向对象的思想，能够处理用户按照一定的语法规范输入的表知识，而且还能获取和处理Access及SQL Server数据库中的表知识，以简便的方式实现了与多种数据库的接口．以一个专家系统开发工具ESP为例，从数据结构和算法上具体介绍了这种表知识处理方式的实现．     

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

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

与Tchebychef网有关的讨论

文中给出了曲面上参数网为Tchebychef网的几个充要条件,并讨论Tchebychef网与Guass映射以及与之相关的一些问题.     

村镇规划中乡(镇)域规划图的设计与编绘

乡（镇）域规划图是村镇规划的主要成果之一．本文就其分类、特点及其设计原则、内容和编绘过程进行探讨．     

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

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

地质体几何造型应用

作者提出的地质体几何造型理论和方法实现了地质体的信息存储、模型构造、几何分析与图形表达，可应用于涉及地质体形态的各个地学领域（构造地质、矿床地质、矿床勘探、矿山开采等）．地测图件自动生成系统AutoGDPS的开发成功是其典型应用．基于地质体几何造型理论和方法，通过矿体边界人工圈定和勘探线剖面图手工编绘过程分析，将勘探剖面图等地测图件中各种地质体及工程元素（如断层基点、钻孔、矿带边界线、矿体、储量分析）表述为相应的地质体几何造型模型，进而给出了矿体边界自动圈定和勘探线剖面图自动生成的基本过程、定量准则和几何造型模型的建立方法，其成果AutoGDPS已应用于攀钢集团朱矿、兰矿、设计研究院和生产处等单位的生产中，大幅度地提高了地测工作效率．