非线性数据结构相关论文
该文对二叉树类问题进行分划，寻找其递推关系，并针对具有队列递推关系的一类问题，给出了其推导过程和形式化证明策略.再结合每个算法......
矩阵计算在科学计算和其它很多的领域中有着广泛的应用.而随着计算机体系结构的不断发展,尤其是分层存储的出现,现有的经典矩阵计......
本文探讨了基于CREW PRAM模型上的一种树的后根遍历的并行算法。 首先介绍了并行计算模型，提出了一种基于CREWPRAM模型上的......
关系数据库管理系统(RDMS)是以线形二维数据表作为存储模型,而在科学研究领域中,许多数据模型并非处于线性状态。讨论的中心问题是......
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对......
随着医学成像技术的发展,越来越多的临床应用要求对来自不同主体,不同时期或不同成像设备的医学图像进行比较和分析。医学图像配准......
开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略，对后序遍历二叉树......
