泛型程序设计的常用技术

泛型程序设计是继面向对象程序设计之后对程序设计领域的又一次大的冲击，它对问题高效，而优雅的处理方法是很值得计算机专业人员参考与借鉴的，总结了一些最常用的泛型程序设计技术，实践证明，掌握这些常用技术，不仅可以在实践中收到立竿见影的效果，而且可以更好的理解泛型程序设计的精髓。     

华容道问题最优解的搜索策略

本文讨论了有关华容道问题最优解的搜索策略、数据结构、算法优化及程序设计，并对程序运行结果作了分析。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。     

塑料注射模具冷却水道CAD

介绍了塑料注射模具冷却水道的计算机辅助设计。本软件为Ｐｃ级，主要应用传热学、化工原理的基本原理，开发设计了模具冷却水道计算模块，并对模具的冷却系统进行设计。     

ORACLESQL* FORMS触发器运行分析

对ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ触发器运行的分析，表明触发器的运行机制与普通的程序设计技术既有相似之处，又有区别，正确掌握触发器的运行机制是触发器设计过程的重要一环。     

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

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

电算化会计教学实验系统的分析与设计

为配合会计专业电算化教学以及会计模拟实验，运用结构化设计方法，对电算化会计的帐务处理子系统做了分析和设计，并进行了具体实施，给出了一套比较完整的教学实验系统     

函数程序设计在软件开发中的应用

从函数程序设计的角度对速成原型方法进行研讨，采用形式方法解释其应用上的优劣。并结合林业实例，说明该方法的优越性。     

结构化开发方法和面向对象开发方法的研究

分析了结构化设计方法的特点，探讨了面向对象方法的两大流派及其优缺点，得出了结构化方法和面向对象方法都具有良好的设计基础，但是前者更注重于设计方法，后者更注重于思想方法，这为今后综合这两种不同软件设计方法奠定了基础。