基于中剖面kd-树的光线跟踪加速算法

kd-树算法是光线跟踪加速技术中效果最突出、应用最广泛的算法之一。在深入讨论该算法的基础上,提出了中剖面kd-树算法。该算法通过在预处理阶段加入一个场景层次信息索引表,将剖分平面固定为中剖面,并利用栈存储下一结点所需信息,节约了一半的存储空间;此外,将剖分轴按照最大轴向进行剖分,从而减少了光线同时穿过两个子结点的可能性,减少了访问时间,提高了算法效率。     

可证明安全的需求装载代码协议

主动网络是一种新型的网络,在一些领域已得到初步应用。主动网络中的需求装载代码协议是基于移动代码,装载需求和缓存技术的代码分配协议,可动态配置新的协议和服务。由于已有需求装载代码协议存在被重放的安全缺陷,影响主动节点的性能和效率,为此提出了一个安全有效的改进协议,利用Hash函数的单向性,协议双方无需对报文解密就可判断重放攻击,增强了其抵抗重放攻击的能力,并进行了安全性和计算复杂度分析。     

一种环形Buffer自适应NoC路由器设计

在片上网络(Network-on-Chip,NoC)系统中,对路由器缓存进行有效的设计及管理,能够有效提高系统多方面的性能.设计了一种环形缓冲结构的自适应路由器,该路由器中所有通道的缓冲资源相互连接形成一个封闭的环,繁忙的输入通道能够共享其他通道的空闲缓冲资源.2D Mesh网络中的实验结果表明,环形缓冲结构的路由器与传统路由器相比,能量消耗得到了降低,缓冲使用缩小了5倍.此外,大量的仿真研究表明,该路由器结构提高了网络性能,减少了平均信息延时.     

一种基于变异灰度直方图的视频字幕检测定位方法

为实现视频图像中字幕的快速检测与定位,本文提出一种变异灰度直方图VGH.文章给出VGH的定义,对其中的特征及其与图像中字幕的映射关系作了分析,并在此基础上给出视频字幕的检测与定位方法.该方法将垂直子图像转换为基于行的VGH (VGH^R),将水平子图像转换为基于列的VGH (VGH^C),通过对其中的凹谷特征和梳状凸台特征的识别,实现对字幕的检测与定位.文章最后给出某些实验结果,表明了算法的有效性.     

特征驱动的曲面重建*

提出了基于散乱空间点集进行曲面重建的新方法,从点集的空间位置信息中提取待建曲面的内蕴特征量——法向和曲率,利用点集的这些特征信息来确定拓扑重建的搜索空间,采用面片生长的方式重建曲面。该方法在快速获得正确拓扑连接的同时,直接生成了用较少的面片就能保持曲面特征的优化网格。     

面向冲裁模设计的CBR系统的实例表示

根据冲裁模的设计要求和结构特点，将冲裁模设计实例分为冲裁件和冲裁模两个层次。提出了层次化实例描述策略，建立了面向对象的基于框架的实例描述语言，并以此对实例进行外部描述。而设计实例的内部表示则用编码实现，并给出了相应的编码规则。     

VLSI CAD技术集成与智能化

为了适应超大规模集成电路(VLSI)的迅速发展的需求,各种 VLSI CAD 工具和专家系统不断被开发出来。CAD 工具的集成系统是高性能 VLSICAD 软件发展的一种很好的模式。由于 VLSI 设计中许多问题的求解是非算法的,不大适合用基于算法的程序求解,因而基于知识的设计专家系统的开发与应用受到极大重视。基于算法的程序和基于知识的软件各有其长处,故将两者结合起来,开发智能化辅助设计与决策的 VLSI CAD 环境,是 VLSI 自动设计技术发展的重要趋势。     

条件概率关系数据库模型

现实世界中大量存在着的不确定性信息，关系数据库模型仅视它们为空值，有必要增强其处理这类信息的能力，文章在总结前人工作的基础上推广关系数据库模型，创建有效处理随机型不确定性信息的条件概念关系数据库模型，该模型通过在关系模式中增加一个条件概率测度属性，为每条记录指定适当的条件概率的途径，来表示不确定性信息。文中以对象码为基本工具，创建了条件概率关系结构；以特征函数为基本工具，定义了一套基于该结构的代数运算规则。条件概率的语意比概率的语意广泛，灵活，因而该模型能有效克服概率关系模型的许多不足。     

基于特征保持的曲面网格简化

为了在简化网格的同时保持曲面网格的特征细节, 提出了一种特征保持的曲面网格简化新方法。首先论证并采用了刻画曲面特征的顶点法向量作为统一度量标准, 推导出了基于顶点法向量变化的折叠代价, 以边折叠法对曲面网格进行简化。实验表明, 该方法既能较好地保持曲面的特征细节, 又能同步对网格的高曲率区和低曲率区进行简化, 具有良好的简化特性; 统一的度量标准也为网格简化过程的实际控制提供了很大的方便。     

一种基于串空间的不变集生成算法

在串空间模型中将理想定义为其不变集的代数结构,并利用它的性质描述攻击者攻击行为的能力界限,将安全协议的形式化分析规约为代数系统的不变集生成.引入hash:K×Bn-1→B,扩充了原模型中的子句关系,并给出理想诚实性判定定理在扩充子句关系下仍成立的结论.在此基础之上,提出诚实性判定条件的可满足性定理和一种新的不变集生成算法.