摘要:本文提出持久对象访问的自动捕捉技术，该技术是面向对象数据库系统在保持对象级的并发控制、版本管理和约束检查的条件下，实现持久对象与易变对象访问方式的一致性，进而实现面向对象数据库与程序设计语言的无缝结合的关键技术．

摘要:本文介绍基于网络连接的多协议网络监控器的设计与实现方法，并给出了用其对一个实际的多协议网络监控的实例．

摘要:本文介绍了一个用于描述、生成用户接口的具有彩排功能的图形用户接口编辑器的设计思想和实现方法．叙述了对话控制树和输入数据队列在用户接口和应用程序的分离中所起的作用．最后还讨论了一种基于事件驱动机制的对话控制字解释程序．

摘要:本文提出以实例空间中状态划分概率的大小作为启发式信息，以提供的正反实例集为依据，基于二叉树分类方法的示例式归纳学习算法ＣＡＰ２．它输出的分类规则是谓词演算表达式．该算法可根据用户对精度的要求控制分类深度，得到不同精度的规则，并能处理连续数据、噪音数据和利用用户提供的背景知识，既适用于同时给定概念的正、反例集的情况，也适用于只给正例集的情况．本文还介绍了ＣＡＰ２算法的应用情况，并和著名的ＩＤ３算法进行了比较．ＣＡＰ２已嵌入到一个自动知识获取系统．

摘要:虽然公钥体制中的公开密钥常存放于公开目录中，但并不是说公开密钥不需要保护．本文介绍了公开密钥所面临的威胁及建立公开密钥管理体制的必要性，并分析和设计了这样一种体制──签证机关管理系统，且在ＵＮＩＸ环境上实现了其简单而实用的模型．

摘要:由于词汇量大、句法结构复杂，很难或无法采用列表、ＬＬ、ＬＲ等建立扫描表方法，提高自然语言句法分析的效率．在传统的自顶向下规则扫描和ＡＴＮ网络分析算法基础上，本文提出了有界深度控制早期剪枝的分析技术．该技术可有效地限制分析的搜索范围，减少回溯，提高句法分析效率．

摘要:由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．

摘要:存储管理（特别是辅存管理）是任何一个数据库系统的物理实现层，持久性若不最终落实到辅存上，就是一句空话．本文首先讨论了将程序设计语言和持久对象进行集成的３种途径；然后介绍了ＭＩＤＳ存储管理子系统ＳＭＳ（ＳｔｏｒａｇｅＭａｎａｇｅｍｅｎｔＳｕｂｓｙｓｔｅｍ）的设计：（１）ＳＭＳ的体系结构，（２）ＭＩＤＳ对象的存储结构，（３）对象标识的设计，（４）簇聚与索引，（５）持久性的实现，（６）动态地址转换．

摘要:本文提出一种基于任务图的并行程序设计方法．首先分析欲解的问题，产生数据流程图，并以此设计出表示并行算法的任务图，然后根据任务图选择合适的系统拓扑结构，最后完成并行程序的设计．该方法思路清晰，富有条理，产生的并行程序质量较高．