摘要:本文从关键帧动画、变形物体动画、过程动画、关节动画和人体动画、基于物理的动画几个方面，对计算机动画作了一个较全面的综述.

摘要:本文给出多层反馈神经网络的ＦＰ学习和综合算法，并讨论此类网络的性质，指出将它应用于聚类分析能给出不粒度的聚类，且具有收敛速度快（是样本个数的线性函数）、算法计算量少（是样本个数和输入、输出维数的双线性函数）、网络元件个数少、权系数简单（只取３个值）、网络容易硬件实现等优点．作为聚类器的神经网络的学习和综合问题已得到较圆满地解决.

摘要:ＦＴＡＲＴ（ｆｉｅｌｄｔｈｅｏｒｙ－ｂａｓｅｄＡＲＴ）算法结合了ＡＲＴ（ａｄａｐｔｉｖｅｒｅｓｏｎａｎｃｅｔｈｅｏｒｙ）算法、ＡＲＴＭＡＰ算法、域理论的思想，以样本在实例空间中出现的概率为启发信息修改学习中生成的分类，采用了不同于其它算法的解决样本间的冲突和动态扩大分类区域的方法．本文在对ＦＴＡＲＴ算法的研究的基础上进行了改进，使算法在学习连续函数的映射时更加有效．同时给出了算法的测试结果和对测试结果的分析，测试表明，ＦＴＡＲＴ算法在模式识别和连续函数映射的学习方面具有比较好的性能.

摘要:本文简要介绍了智能操作系统ＫＺ３，其主要功能包括大规模并行处理系统中资源管理、友善人机接口、支持知识处理和并行处理能力等．通过一实例，讨论了ＫＺ３的实现.

摘要:ＰｅｔｅｒＢ．Ａｎｄｒｅｗｓ提出了自动定理证明的配对方法的理论和算法．本文针对该算法的缺点，给出了一个无需回溯的实现算法，并得到一个高阶逻辑的自动定理证明系统.

摘要:本文给出了一种比较类相似程度的近似度量方法，讨论了它在类库检索中的应用，并给出了一个基于规则的类库检索工具ＲＢＲＴ．

摘要:本文描述了用户界面开发工具ＺＤＩＳ（ＺｈｅＤａｉｎｔｅｒａｃｔｉｖｅｓｙｓｔｅｍ）系统的设计思想、体系结构和实现技术．ＺＤＩＳ系统包括５部分：基于事例学习的自适应环境、基于直接操纵技术的可视化操作环境、基于事件模式的任务调度器、基于面向对象技术的交互类集和运行支持工具集、基于形式文法的界面描述语言．ＺＤＩＳ系统支持并发、多线索的用户界面机制，并提供了动态用户界面的构筑方法，此外在用户界面的测试、评价方法上也进行了有益的探索.

摘要:针对定性推理在有冲突情况下进行传播时所存在的问题，本文提出了一种因果关系形式，引入了“时间”和“效果”概念，给出了因果推理过程：先建立因果关系图，再传播原因变量的行为，并应用定性代数方法来处理冲突问题．这种因果推理形式推广了Ｉｗａｓａｋｉ因果推理方法.

摘要:软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用，并通过一个实例介绍了Ａｄａ软件测试用例生成工具ＴＣＧＴ（ｔｅｓｔｃａｓｅｇｅｎｅｒａｔｉｏｎｔｏｏｌ).

摘要:本文用信息论的观点，给出了在设计单个分类器时使系统性能得以提高的条件，基于群组决策理论和模糊积分方法提出了一种多证据条件下进行信息融合的方法．该方法被用于被动声纳目标分类，数值模拟表明了该方法的有效性.

摘要:因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解决参数化设计中的几何推理问题，还可用作概念设计的工具，用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作．算法具有应用性强、效率和稳定性好、支持欠约束和多解问题等优点.

摘要:溯因问题是人工智能中的一个重要研究方向，它在许多领域中有着广泛的应用，但在很多情形下，溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法，对于满足完备性公理和正原因假设的理论，可以证明其限定中的相容解释就是溯因解释，并且对Ｈｏｒｎ子句集给出具体的求解算法.