摘要:ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．

摘要:虽然许多研究人员已认识到三维真实感声音在未来人机交互中的重要地位，但是三维真实感声音在计算机领域的真正实现仍有不少障碍有待克服．基于对声学及心理声学最新研究成果的调查和分析，本文设计并实现了一个基于神经网络方法的ＨＲＴＦ（ｈｅａｄ－ｒｅｌａｔｅｄｔｒａｎｓｆｅｒｆｕｎｃｔｉｏｎ）模型，用于三维真实感声音的生成．模型中的数据可通过网络学习进行重新设置，以满足多种场合的需要．并且，通过神经网络的非线性拟合能力，可以获取空间任意位置的ＨＲＴＦ数据．初步的实验表明了该方法的有效性和正确性．

摘要:在利用工作站群集系统进行的协作模式并行计算中，任务调度在很大程度上决定并行计算的性能．本文给出了一个任务调度的模型和算法，它考虑了协作模式并行计算中任务间的同步时间、通信时间、数据加载及结果收集时间．根据这个调度模型，可以选择一组并行执行时间最短的工作站，从而获得较好的并行计算性能．

摘要:本文从词汇－语义角度分析了机器翻译中与汉英语言相关的一些异化现象，探讨了语义－句法映射运算集的有效性和合理性．同时，本文讨论了通过变异映射集、变异类型指示器和参数合一机制解决机器翻译中异化现象的方法．这些方法提高了译准率，使生成的句子既能正确表达原中间语言的语义，又符合目标语言的表述习惯．

摘要:在大规模并行分布处理系统，特别是网络工作站机群（ＮＯＷ）系统中，各结点机之间的负载平衡调度是最为常见的关键性问题之一．本文在简单分析了动态负载平衡调度中接收者驱动和发送者驱动这两个常用策略基础上，提出了一个通用的基于混合驱动策略的动态负载平衡调度模型，并给出了曙光１０００并行机上的部分实验结果.

摘要:本文提出了一种分布式计算的并发测量方法，这些测量使用基于局部时钟的区域向量时钟，延迟向量和计算高度等概念量化了并发计算时间和同步延迟时间，不用定义原子事件和划分事件粒度；测量机制独立于被测量的程序，容易计算，管理简单，同时考虑了处理机间的性能差异.

摘要:本文提出了文法规则的推导概率和归约概率的概念，通过修改Ｉｎｓｉｄｅ－Ｏｕｔｓｉｄｅ算法，将其应用于从未分析语料中获取一般形式的上下文无关文法规则的概率参数．

摘要:本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明．由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价．

摘要:面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力，从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄｕａｌ－Ｏｂｊｅｃｔ模型．该模型通过引入从语义角度出发给出的数据一致特性的描述，在一定程度上解决了实现效率低下的问题．其次，文章通过程序设计实例详细地讨论了基于Ｄｕａｌ－Ｏｂｊｅｃｔ模型的扩展Ｃ＋＋并行程序设计，并给出了部分实际测试结果．

摘要:本文介绍了数据采掘技术的总体研究情况，包括数据采掘的定义、与其他学科的关系、采掘的主要过程、分类和主要技术手段．作为例子介绍了关联规则采掘的研究，同时介绍了一些原型系统和商业产品以及主要应用领域，指出了数据采掘研究的挑战性以及目前的局限性．结合当前数据仓库的发展，本文探讨了数据仓库环境下数据采掘的特点和潜力．

摘要:本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法ＩＶＡＬ．这种方法比Ｂｏｓｓｕ和Ｓｉｅｇａｌ的算法ＶＡＬ简便，效率高．ＩＶＡＬ和ＶＡＬ同时在ＳＵＮ－４上用Ｃ－Ｐｒｏｌｏｇ语言实现．本文给出了ＩＶＡＬ的理论依据，并把两种算法的执行效果作了比较.

摘要:本文在仔细分析了软件故障的物理过程及模型机理后，认为：由于软件故障过程的随机因素太复杂以致于用某一个传统随机过程不足以为软件故障过程建模．传统上采用的马尔可夫非齐次泊松过程模型或二项型式模型只能部分地表述软件的故障行为．若要全面地去表述软件的故障行为，就需要一个补偿随机过程．也就是说本文采用了两个随机函数来为软件故障行为建模．

摘要:数据元素的存储器分配是指令级并行优化编译过程中不可回避的一个关键性问题．该问题解决得好坏直接关系到编译优化的效率．本文第１节主要介绍ＩＬＳＰ（ｉｎｔｅｒｌａｃｅｄｉｎｎｅｒａｎｄｏｕｔｅｒｌｏｏｐｓｏｆｔｗａｒｅｐｉｐｅｌｉｎｉｎｇ）算法的基本思想．第２节以距阵乘法为例阐述了在ＩＬＳＰ算法下多重循环中数据元素的存取特点．第３节则从理论上对该特点进行了深入的分析研究，同时就一般多重循环给出了一个行之有效的ＩＬＳＰ算法下数据元素内存分配算法．第４节给出一个实验比较结果．最后是结论.