摘要:本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．

摘要:需求工程知识库／ＰＬ——ＲＫＢ／ＰＬ（ｒｅｑｕｉｒｅｍｅｎｔ—ｅｎｇｉｎｅｅｒｉｎｇｋｎｏｗｌｅｄｇｅｂａｓｅ／ＰＬ）是保持Ｃ＋＋原有风格对Ｃ＋＋进行的持久性扩充．为支持对象的持久性，ＲＫＢ／ＰＬ在Ｃ＋＋对象类的基础上扩充了以约束声明加强对象状态的用户监控；引入簇来表达对象类的集合含义；引入集合、簇、簇闭包的遍历机制来支持对象查询．为支持这些语言机制，ＲＫＢ／ＰＬ具有一个由一组ｂｕｉｌｄ—ｉｎ对象类层次、类型信息库及接口函数、系统状态表以及系统服务函数等构成的运行时系统．本文讨论了ＲＫＢ／ＰＬ中这些机制的表示、相应的运行时系统的组成以及它们的主要实现技术．ＲＫＢ／ＰＬ已成功地用于实现“软件需求获取助手ＦＲＡ”系统的需求工程知识库子系统．

摘要:自动指纹识别系统ＡＦＩＳ（ａｕｔｏｍａｔｅｄｆｉｎｇｅｒｐｒｅｎｔｉｄｅｎｔｉｆｉｃａｔｉｏｎｓｙｓｔｅｍ）要求对支持该系统的数据库中的指纹图象数据进行压缩，以提高系统实用性，其恢复图象要求有很高的保真度，以避免丢失细节．同时，在实用系统中，还需要有较快的图象恢复时间．本文总结一种基于对称小波变换的高效模糊指纹图象压缩方法，通过对称快速小波变换，选择适当的分解方式，采用自适应标量量化，加上改进的摘编码，实现高速、高保真的要求．同时，设计一种码率控制策略，有效地控制压缩量．实验结果表明：本文的压缩方法能表现出很好的性能．

摘要:本文着重对由抽象符号转化成具体形体的技术作了研究，提出了分层构造的自动造型方法．它支持直接由抽象的设计方案自动生成设计结果的三维表示，因而更适合于以辅助方案设计为核心的智能ＣＡＤ系统．一个基于该自动造型方法的椅子智能ＣＡＤ实验系统已在浙江大学人工智能研究所投入运行．

摘要:进程迁移是分布式系统研究的重要内容，它对实现系统容错和负载平衡起到很重要的作用．本文描述了Ｔｒａｎｓｐｕｔｅｒ网络系统中进程迁移的设计思想、方法及技术实现．首先对所采用的硬件环境及整个容错并行操作系统的层次结构进行了介绍，然后对进程迁移所涉及的关键技术进行了详细讨论．该平台的建立为动态任务调度及容错处理等技术的进一步研究提供了强有力的支持．

摘要:并行程序存在资源竞争、时序紊乱、死锁等复杂问题，加上并行程序的不确定性，给调试带来了很大的困难．基于事件模型的可视化并行调试技术ＥＶＴＰＤ（ｅｖｅｎｔ—ｂａｓｅｄｖｉｓｕａｌｉｚａｔｉｏｎｔｅｃｈｎｉｑｕｅｓｏｎｐａｒａｌｌｅｌｄｅｂｕｇｇｉｎｇ）为解决这些困难提供了一个途径．ＥＶＴＰＤ的基本要素是事件监视与可视化重放．本文讨论了事件监视与可视化重放中的关键技术；事件描述、事件过滤、事件识别、时戳、记录重放、执行重放和视图定义，并且给出了一个基于工作站机群系统的并行调试器的结构．

摘要:本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法；一类是基于模型的方法，但所有这些方法在通常情况下都是难解的．本文讨论基于公式的Ｇｉｎｓｂｅｒｇ更新方法，并给出在公式个数远小于变元个数情况下的一个多项式时间算法．

摘要:本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．

摘要:B^＋树在数据库系统中已成为一种标准的索引结构，其上的并发控制机制对多用户数据库系统的性能有很大的影响．本文提出了一种变种B^＋树──弹性B^＋树－ｅ—B^＋树（ｅｌａｓｔｉｃＢ＋－ｔｒｅｅ），定义了其上的安全点和操作及并发控制方法，对ｅ—B^＋树的重构时机也进行了调整，降低了ｅ—B^＋树上结点的合并／分裂频率，减少了ｅ—B^＋树的维护开销，也缩短了封锁时间，从而使得其上操作的并发度和系统的效率得以提高．