分划递推法

作品数：5被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：冷明薛锦云李云清孙凌宇钟林辉更多>>
相关机构：江西师范大学上海大学井冈山学院聊城大学更多>>
相关期刊：《计算机产品与流通》《计算机工程与应用》《江西师范大学学报（自然科学版）》《广西科学院学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于分划递推法的计算机算法研究与运用分析
《计算机产品与流通》2019年第2期82-82,共1页于浩 
分划是将复杂的问题简单化,递推是进行循环不变式以及算法研究的重要组成部分,将分划与递推相互融入,建立一种新的计算机算法,通过举例进一步阐释了分划递推法在实际题目中的运用,有助于对分划递推法进行更好的研究。
关键词：分划递推法 计算机算法 运用 
分划递推法在Hanoi塔问题上的应用被引量：1
《广西科学院学报》2006年第4期342-345,351,共5页孙凌宇 冷明 
采用分划递推法通过功能归约变换,形式化推导和证明H ano i塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储空间与圆盘个数无关的非递归算法,算法比较分析地显示出形式化推导在获得高效和正确性的算法程序中的...
关键词：分划递推法 HANOI塔 归约 变换 形式化推导 算法 
分划递推法及其应用被引量：5
《计算机工程与应用》2001年第17期77-79,88,共4页李云清 
国家自然科学基金高技术探索项目(编号:69783006);江西省跨世纪人才项目资助
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤...
关键词：算法设计 分划递推法 程序设计 软件自动化 
提高ADA可重用程序部件可靠性的两种方法
《计算机工程》2001年第6期9-10,共2页杨庆红 薛锦云 
国家863高技术发展计划;国家自然科学基金;国家共性软件发展计划资助项目
建立可重用程序部件库是克服“软件危机”，提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手，详细阐述了提高ADA可重用程序部件可靠性的方法。
关键词：可重用部件 分划递推法 容错技术 可靠性 ADA 程序设计方法 
EGCL-Java程序转换器的研究与实现
《江西师范大学学报（自然科学版）》2001年第2期137-143,共7页李欣 薛锦云 
国家自然科学基金!资助项目 (6 97830 0 6和 6 99830 0 3)
以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
关键词：分划递推法 EGCL语言 JAVA语言 可重用部件库 程序转换器 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部