摘要:本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．本文主要介绍了ＳＤＬ／Ａ语言的设计思想和实现技术.

摘要:参数化设计技术是当代ＣＡＤ技术的核心．作为该技术基础的几何约束系统的建模与求解，要求对约束进行方便、有效的管理．为此，本文基于自由度分析、图论、稀疏矩阵及非线性方程等理论，提出了几何约束最大归约理论，实现了几何约束系统的最大分解，并以归约树的形式清晰地表达了系统内在的串、并、耦合机制，并成功地应用于参数化绘图系统中至关重要的约束一致性检查、快速求解等约束管理问题.

摘要:ＳＩＭＣ（ＳＩＭＤＣ）是通过对Ｃ语言进行语法扩展（未进行语义扩展）得到的支持ＳＩＭＤ（ｓｉｎｇｌｅｉｎｓｔｒｕｃｔｉｏｎｍｕｌｔｉｐｌｅｄａｔａ）并行程序设计的并行语言．ＳＩＭＣ可方便地描述ＳＩＭＤ并行算法，具有ＳＩＭＤ计算机系统结构定义能力，可支持多种系统结构上的并行算法研究．ＳＩＭＣ语言的模拟执行系统已在单机上实现，并作为作者研究开发的ＳＩＭＤ计算机程序设计及性能评价模拟环境的并行程序设计语言，用于ＳＩＭＤ计算机算法及结构的性能评价.

摘要:本文讨论了通用表格处理系统的基本结构和流程，提出了一种全新的表格定位方法──四角定位法，并且阐明了该方法具体实现时应循循的基本原则．实验表明，四角定位法是一种通用、快速、准确的定位方法.

摘要:本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.

摘要:为了解决多重循环的指令级并行编译问题，本文提出了反刍方法，以一种新的思维方式处理多重循环，将其视为一个程序流整体，有效地开发了多重循环的并行度．另外，本文还给出了实现反刍方法的基本步骤以及相应的硬件支持．最后，通过一些初步实验的结果验证了本算法的有效性，并讨论了其时间和空间效益，分析了其主要特点.

摘要:本文根据多目标优化理论、认知科学和神经科学等学科的最新成果，提出了一种基于多目标优化的神经网络快速学习算法．实验结果表明，该学习算法可以解决目前神经网络普遍存在的学习时间长、容易陷入局部极小和网络结构优化难等问题.

摘要:本文为解决知识系统构造过程中的瓶颈问题──知识获取，提出了一种基于神经网络ＮＮ（ｎｅｕｒａｌｎｅｔｗｏｒｋ）的自动获取多级推理产生式规则的Ｎ－Ｒ方法，该方法采用了特有的ＮＮ结构模型和相应的学习算法，使得ＮＮ在学习过程中动态确定隐层节点数的同时，也产生了样例集中没有定义的新概念，学习后的ＮＮ能用本文提出的转换算法转换成推理网络，最终方便地得到产生式规则集.

摘要:本文提出了GF(q)上(n,k)置换多项式的概念，建立了它与函数相关免疫性之间的联系，并研究了它们的性质．得到了GF(q)(q＞2)上一些特殊类型的函数是ｍ阶和所有二次多项式是最大阶相关免疫的充分必要条件．证明了在GF(q)(q＞4)上存在非线性的具有最大阶相关免疫阶的函数，也给出了一种由低次数具有特定相关免疫阶的函数构造非线性次数高的同阶相关免疫函数的有效方法.