智能网的体系结构研究

本文介绍在体系结构和功能上截然不同的两大类智能网－－基于电信网的智能网和基于计算机网的智能网。论述它们的体系结构和功能及其开发研究。     

测评软件生成系统的设计与实现

本文讨论了一个具有通用性的测试评估软件生成系统的设计思想和实现方法，给出了该生成器的系统组成、数据组织结构、查询搜索方式以及用户界面的设计。该系统具广泛的应用领域和实用意义。     

通用报表生成系统的研制和实现

本文系统地阐述了通用报表生成系统的设计目标、方法、构成以及设计和实现的基本原理，并就系统的功能特点以及在研制和实现本系统过程中所遇到的重要技术问题作了说明。     

网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

构造作用对油气生成和运聚的影响

有机质从埋藏开始，就处于极其复杂的地球物理化学场中，环境提的能量，一是热量，二是机械能，机械能，主要是通过机械力作用传递给系统的，另外还以机械波的形式赋予系统一定的机械能。当发生断褶构造运动时，机械力对油气运移的影响尤为突出，它经能量的迁移转化，促成了包括机械力降解和地应力驱动等一系列的连锁反应，制造了一次次高效的成油（生运）事件，本文以突变论为着眼点，按照改造控制建造的思路，大胆提出构造运动制造生排烃事件，成就含油气系统的假说。     

AutoCAD 下非结构网格自动生成

在AutoCAD环境下，从背景网格生成和数据结构两方面对推进阵面法进行修正。采用修理后的方法，使得在流场、泥沙输移和床面冲淤数值计算的前处理过程中无须精心预设内部控制点而只需给边界一个尺度，就能自动生成适应任意复杂边界的非结构网格，从而提高网格生成、优化的效率和通用性。     

HACCP体系用于给水处理厂浊度控制的研究

介绍了危害分析和关键控制点（HACCP）体系的基本原理及其在城市给水系统中的应用进展，并以我国南方某城市的给水处理厂为例，对HACCP体系用于水厂浊度控制开展了探索性研究。应用故障树分析技术识别了水厂中可能导致浊度超标的潜在危害，应用决策树分析技术确定了水厂浊度控制的关键控制点，建立了关键控制点和质量控制点的关键限值、监控系统以及纠偏措施，并分析了对验证程序以及文件和记录保存系统的要求。     

以CAXA为绘图平台的数控冲床CAD／CAM系统

本文介绍了一种自主开发的以CAXA为平台的转塔式数控冲床加工代码自动生成的CAD／CAM的编程系统，它可以通过在华正电子图板中绘制图形，通过华正独有属性查询及输出到文件功能，经过一个软件转换，不需要复杂的操作，就能用冲床转塔上优选的工位自动生成公英制两种制式的数控代码，同时生成多种格式的检查文件及编程日志文件。文中介绍了系统的设计思路，设计原理，绘图图元模块、文字、直线、矩形框，圆的技术处理，数控代码生成等技术内容。