Stratus：一种容错计算机处理系统

Stratus是八十年代推出的—种以硬件为基础的容错计算机处理系统。所谓容错，是为了提高计算机处理系统的可靠性而采取的—种技术措施，它利用冗余技术抵消故障的影响，不论系统的那一部份发生故障，它都能继续准确地工作。

计算碰撞检测中接触位置的算法

介绍了一种针对用三角形网面表示的不规则物体的碰撞检测中接触点,接触法线和刺穿深度的计算方法。该方法先将两三角形网面的交线投影到一个坐标轴上,然后对交线端点的投影点进行排序,从而将交线分成一组或多组,每组交线首尾相连构成一个圈,每个圈代表一个接触区域;针对每个接触区域,利用交线计算接触点,接触法线,并根据三角形网面在接触位置的拓扑关系,分顶点,边和面三种刺穿情况计算出刺穿深度。通过实际应用,证明了该方法在解决不规则物体的多点碰撞检测中的可行性和可靠性,适用于三维游戏制作、虚拟现实中的物理仿真等各项应用研究。

试析加密算法的评价方法

一、引言 随着分布式计算机系统和网络的大规模使用,通讯安全已成为一个极为敏感的问题。在此需求下发展起来的各种加密算法不胜枚举。但是,要确定一个加密算法的优劣程度却是一个十分困难的问题。一种可能的方法是对该算法赋以一个评价值。现在已有的确定评价直的方法多用信息论和复杂性理论。然而,这些方法不一定都很有成效。

综述人工智能与数据库技术的结合

人工智能与数据库技术是计算机科学的两大重要领域,越来越多的研究成果表明,这两种技术的相互渗透将会给计算机应用带来更广阔的前景.本文综合论述了人工智能(AI)和数据库(DB)技术结合的重要性和必要性及其目前的研究概况,主要介绍了目前AI和DB结合的几个主要研究领域.

基于图论的开关级模型

本文通过对以往开关级模拟经验的分析,通过对VLSI设计制造的讨论,介绍了基于图论的开关级模型,并对节点模型、晶体管模型和开关图进行了详细的介绍。 开关图的研究基于以往经验的总结,文中指出了基于格代数理论的开关级模拟在采样和晶体管模型方面的不足,以及逻辑模拟掩盖了晶体管电路的某些现象的事实,指出基于图论的开关级模拟模型是较优的。

用Transputer实现FP的研究

本文讨论了Transputer(算元)和Occam语言以及用它们构筑并行处理系统的优越性;非冯诺依曼的函数式程序设计FP(Functional Programming)及其与Occam并行模型的对应关系;还提出了一个用Transputer实现FP的设计方案。