江西省教育厅科学技术研究项目(GJJ09142)

作品数：2被引量：3H指数：1
导出分析报告
相关作者：化志章杨庆红揭安全更多>>
相关机构：江西师范大学更多>>
相关期刊：《江西师范大学学报（自然科学版）》更多>>
相关主题：循环不变式解法遍历序列二叉树遍历遍历更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于遍历序列恢复二叉树的新解法及其证明被引量：2
《江西师范大学学报（自然科学版）》2013年第3期268-272,共5页化志章 
江西省教育厅科技课题(GJJ09142)资助项目
提出了一种基于前序和中序遍历序列恢复二叉树的解法,算法以数学公式形式呈现,反映了建树过程中相关数据变化的一般规律,具备数学上的引用透明性,由此能机械获得非递归程序和循环不变式,并进行了正确性证明.通过简单变换,获得了后序+中...
关键词：状态变迁 二叉树遍历 恢复二叉树 循环不变式 
树非递归遍历统一的新解法及其形式证明被引量：1
《江西师范大学学报（自然科学版）》2010年第2期123-127,共5页化志章 杨庆红 揭安全 
国家"973"前期预研项目(2003CCA02800);国家自然科学基金(60273092);江西省自然基金(2008GQS0056);江西省教育厅科技项目(GJJ09142)资助
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义...
关键词：树遍历 非递归算法 循环不变式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部