非线性数据结构相关论文
该文对二叉树类问题进行分划，寻找其递推关系，并针对具有队列递推关系的一类问题，给出了其推导过程和形式化证明策略.再结合每个算法......
本文探讨了基于CREW PRAM模型上的一种树的后根遍历的并行算法。 首先介绍了并行计算模型，提出了一种基于CREWPRAM模型上的......
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对......
随着医学成像技术的发展,越来越多的临床应用要求对来自不同主体,不同时期或不同成像设备的医学图像进行比较和分析。医学图像配准......
开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略，对后序遍历二叉树......
